この問題では、単射環準同型 B → A が与えられたとき、アフィンスキームの射 f:Spec(A) → Spec(B) の構造層間の射 O_B → f_＊ O_A が単射であることを証明する必要があります。特に、f_＊ O_A の点 p ∈ Spec(B) におけるストークマップがどのように書けるかについても説明します。
アフィンスキームと構造層
アフィンスキームは、ある環 A に対するスペクトル空間 Spec(A) に関連する幾何学的対象です。Spec(A) は A の素イデアルの集合をポイントとする空間であり、各点には対応する構造層が定義されます。構造層はその点周辺の代数幾何学的な情報を提供します。
また、準同型 B → A に基づいて構造層間の射が定義され、f_＊ O_A は A 上の構造層から B 上の構造層への推移を表します。このようにして、Spec(A) から Spec(B) への射が具体的にどのように作用するかを理解することができます。
f_＊ O_A の点 p におけるストークマップ
問題の重要なポイントは、f_＊ O_A の点 p ∈ Spec(B) におけるストークマップがどのように書けるかということです。ストークマップは、局所環の間の準同型を示すもので、各点における構造層間の対応を具体的に記述します。
f_＊ O_A の点 p におけるストークマップは、B 上の点 p に対して、A 上の対応する構造層 O_A に基づいて定義されます。ここで重要なのは、環準同型 B → A が単射である場合、このストークマップが単射であることを証明する必要があるということです。
単射性の証明の概要
f_＊ O_A の点 p におけるストークマップが単射であることを証明するためには、まず環準同型 B → A が単射であることを利用します。単射環準同型により、B 上の任意の元が A 上で一意に対応することが保証されます。この性質を基に、構造層間の射 O_B → f_＊ O_A がどのように作用するかを詳細に調べ、単射性を示すことができます。
具体的には、B 上の点 p において O_B → f_＊ O_A のストークマップが単射であることを確認するため、f_＊ O_A がB 上の点に対応する局所環と A 上の点に対応する局所環の関係を解析し、その間に非自明な核が存在しないことを示すことが求められます。
証明のステップ
証明の主要なステップは以下の通りです。
- 環準同型が単射であることを確認：与えられた環準同型 B → A が単射であることを確認します。
- 構造層間の射が単射であることの示唆：O_B → f_＊ O_A の点 p におけるストークマップが単射であることを示すため、対応する局所環間の準同型を考察します。
- 核の非自明性を証明：ストークマップにおいて、核が自明であることを示すために、局所環の構造に基づく詳しい解析を行います。
これにより、f_＊ O_A のストークマップが単射であることが確立されます。
まとめ
アフィンスキームの射 f:Spec(A) → Spec(B) における構造層の間の射 O_B → f_＊ O_A が単射であることを証明するためには、まず環準同型 B → A が単射であることを確認し、その後、ストークマップが単射であることを示す必要があります。この証明では、局所環の構造と準同型の性質を利用して、単射性が確立されます。
コメント