スキームの圏におけるモノ射に関するメモ
モノ射の性質はちょっと考えれば結構よくわかるっぽいことに気づいたから気づいたことのメモをします。
〜〜〜〜〜〜〜〜〜〜
圏論の一般論からくることに関しては割愛します。
たとえば「 がモノ射 ⇔ が同型」とか、「モノ射の合成はモノ射」などは特に断りなく使います。
【命題1】
をスキームの射とします。
が埋め込みならモノ射です。
〔証明〕
開埋め込みと閉埋め込みのときに示せば良いので、まずは開埋め込みとします。
を取り とします。
このときまず は位相空間の間の射として等しく、次に の合成が層の射として等しいので は構造層の間の射も等しいです。
次に閉埋め込みのとき、同じく を取れば位相空間の間の射として等しく の合成が層の射として等しいですが は全射なのでこれから です。 ◻︎
アフィンスキームの間のモノ射は環のエピ射に対応します。
次はよく知られていることです:
【補題2】
を環、 とすると は環の圏のエピ射。
〔証明〕
射 のレトラクション(=掛け算) は同型です。 ◻︎
【系3】
をスキーム、 を点とすると はモノ射。
〔証明〕
まず開埋め込みはモノなので のAffine近傍からの包含 はモノ射です。
次に補題1より はモノ射です。
最後に閉埋め込みはモノ射なので はモノ射です。
あと は点 に対応する素イデアルです。 ◻︎
【系4】
を相異なる点とすると、 はモノ射です。
〔証明〕
を取って との合成が等しいとします。
ある点 で なら なので矛盾します。
よって位相空間の射として です。
従って系3よりスキームの射としても等しいです。 ◻︎
スキームのモノ射が位相空間の間の単射を引き起こすことを示します。
【補題5】
を体とすると、環の射 がエピ射なら同型。
〔証明〕
は環の同型ですが は忠実平坦なので 自身も同型です。◻︎
(注)
体の圏のエピ射は同型とは限りません。
たとえば純非分離拡大はエピ射です。
【系6】
とすると がモノ射なら同型。
〔証明〕
の任意のアフィン開集合は補題5より と同型です。 ◻︎
【系7】
がモノ射のとき、
(1) 位相空間の射として単射、とくに は準有限射。
(2) 任意の に対してfiberは または 。
(3) は普遍的に単射。
(4) が有限表示なら不分岐。
〔証明〕
モノ射のpullbackはモノ射であることと系6からわかります。
また不分岐は が同型であることからもわかります。◻︎
【系8】
が有限表示かつ平坦なモノ射のとき開埋め込み。
〔証明〕
有限表示平坦射は開写像なので は の開部分集合の上への単射です。◻︎
平坦は開っぽい感じの条件ですが、閉っぽい感じの条件と組み合わせます。
〔証明〕
有限生成 -加群 が であれば良いので、各素イデアル について が全射になれば良いですが、これは補題5から従います。◻︎
【系10】
がproper射かつモノ射なら閉埋め込み。
〔証明〕
モノ射なので準有限射ですがproper射なので(Stein分解を考えることで)とくに有限射となり、補題9より閉埋め込みです。 ◻︎
〜〜〜〜〜〜〜〜〜〜
スキームの圏にはpullbackがあるのでモノ射の性質はそれなりにわかるっぽいですが、エピ射の方は難しそうです。
〜〜〜〜〜〜〜〜〜〜
以前の記事
貼り合わせに関するメモ - yujitomoのブログ
でGrassmannianのPlücker埋め込みについて言及したのですが証明はしてませんでしたので、ここで示しておこうと思います。
【Plücker埋め込み】
をネータースキーム、 を 上ランク の局所自由層、 を自然数とします。
このときランク の商 の 次外積を取ることで直線束への商 が出て、この対応により射 が出ます。
このとき、射 は閉埋め込みです。
〔証明〕
まず層の射 が単射となることを言います。
を -スキームとして、二つの同値でない商 を取ります。
このとき核が異なるので、ある点 において となります。
の基底を 内から 個 取り、残りの 個 のうち一つが に入るように取ります。
すると 次外積を取った商 は点 上で異なる核を持つことがわかります(なぜなら は では に写り では に写るからです)。
よってこの二つの商は同値ではなく、射 はモノ射です。
proper射であることを付値判定法で示します。
をDVR、 をその商体として、可換図式
\begin{CD}
\mathrm{Spec}(K) @>>> \mathrm{Grass}(r,\mathcal{E}) \\
@VVV @VV j V \\
\mathrm{Spec}(R) @>>> \mathbb{P}(\bigwedge ^r \mathcal{E})
\end{CD}
を取ります。
と置いておきます。これはランク の自由 -加群(に対応する自由層)です。
射に対応する商を とおきます。ここで はランク の自由加群で です。
つまり可換図式
\begin{CD}
\bigwedge ^r E @>\subset >> \bigwedge ^r E\otimes _RK \\
@V p VV @VVV \\
R @>>\subset > \bigwedge ^r N
\end{CD}
ができます。
付値判定法でproper射となることを示すには、ランク の商 で となるものが構成できれば良いです。
まず の像を と置けば、これはランク の自由 -加群です。
射 は全射で、 になります。
すると となって は同値な商です。
よってproper射であることもわかりました。
最後に、モノ射かつproper射は閉埋め込みなので、 は閉埋め込みになります。 ◻︎