[論文レビュー] Degenerating the Jacobian: the N\'eron Model versus Stable Sheaves

Jesse Leo Kass|arXiv (Cornell University)|Dec 12, 2010

Algebraic Geometry and Number Theory参考文献 15被引用数 3

ひとこと要約

この論文は、底が正則な1次元スキームであるとき、純層のコンパクト化されたモジュライ空間の族におけるラインバンドルの局所が、ネロンモデルに同型であるための条件を確立する。退化群多様体と退化層のモジュライ空間を比較することで、エステーヴス、シンプソン、および他の研究者の結果を拡張し、適切な条件下でネロンモデルが層のモジュライ空間内に自然に現れることを示している。

ABSTRACT

A basic technique for studying a family of Jacobian varieties is to extend the family by adding degenerate fibers. Constructing an extension requires a choice of fibers, and one typically chooses to include either degenerate group varieties or degenerate moduli spaces of sheaves. Here we relate these two different approaches when the base of the family is a regular, 1-dimensional scheme such as a smooth curve. Specifically, we provide sufficient conditions for the line bundle locus in a family of compact moduli spaces of pure sheaves to be isomorphic to the N\'eron model. The result applies to moduli spaces constructed by Eduardo Esteves and Carlos Simpson, extending results of Busonero, Caporaso, Melo, Oda, Seshadri, and Viviani.

研究の動機と目的

• 正則な1次元スキームを底とする族において、ネロンモデルと層のモジュライ空間を関係づけること。
• 純層のコンパクトモジュライ空間におけるラインバンドル局所がネロンモデルに同型となる条件を特定すること。
• ブゾネロ、カポラーゾ、メロ、オダ、セーシャドリ、ビヴィアーニ、および他の研究者の退化ジャコビアンの文脈における先行研究を拡張すること。
• 退化ジャコビアンの2つのアプローチを統合すること：群スキーム（ネロンモデル）によるものと、層のモジュライによるもの。

提案手法

• 正則で1次元の底スキーム上の純層のコンパクトモジュライ空間の族を構成する。
• モジュライ空間内でのラインバンドル局所を、ネロンモデルの候補として特定する。
• エステーヴスとシンプソンの層のモジュライに関する結果を適用し、適切なコンパクト化と良い幾何的性質を保証する。
• 半安定還元理論と退化技術を用いて、ネロンモデルと層のモジュライ空間を比較する。
• 普遍性と基底変換の議論により、ネロンモデルとラインバンドル局所の同型を確立する。
• 純層の幾何とそのコンパクト化に依拠することで、局所が適切に扱われ、算術的にも良好であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 純層のコンパクトモジュライ空間の族におけるラインバンドル局所が、どのような条件下でネロンモデルに同型となるか。
• RQ2 正則な1次元スキームを底とする退化ジャコビアン族の文脈において、ネロンモデルとモジュライ空間の層はどのように関係するか。
• RQ3 適切な幾何的・算術的条件下で、ネロンモデルを層のモジュライ空間の部分多様体として実現できるか。
• RQ4 エステーヴスとシンプソンの構成が、層論的コンパクト化を通じてネロンモデルを実現するためのフレームワークをどの程度提供するか。
• RQ5 ネロンモデルが純層のモジュライ空間にラインバンドル局所として埋め込まれるための必要十分条件は何か。

主な発見

• 底と層族に関する適切な条件下で、純層のコンパクトモジュライ空間の族におけるラインバンドル局所はネロンモデルに同型である。
• この結果は、ブゾネロ、カポラーゾ、メロ、オダ、セーシャドリ、ビヴィアーニらの先行研究を、エステーヴスとシンプソンが構築したモジュライ空間の設定へ一般化したものである。
• 普遍性と基底変換を用いて同型が確立され、退化データと整合的であることが示された。
• ネロンモデルは自然に層のモジュライ空間の部分空間として現れ、群論的退化（ネロンモデル）と層論的コンパクト化の間の深い関係を幾何的に実現する。
• この構成は、滑らかな曲線などの正則で1次元のスキーム上の族に適用可能であり、退化技術の適用範囲を拡張する。
• この結果は、ジャコビアンの研究において、群論的退化（ネロンモデル）と層論的コンパクト化の間の深いつながりを裏付けている。