[論文レビュー] Models of Jacobians of curves

David Holmes, Samouil Molcho+2 more|arXiv (Cornell University)|Jul 21, 2020

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

本稿は、トロイダル多様体上のプリステーブル曲線のヤコビアンに対して、Néronモデルの存在を確立し、古典的なNéronモデルを高次元の基底へ一般化する。また、捩れセクションの拡張性を持つ最大の擬コンパactかつ分離された群モデルとしての「飽和モデル」を導入し、対数幾何を用いて対数ヤコビアンが対数Néronモデルであることを証明することで、理論を統一する。

ABSTRACT

We show that the Jacobians of prestable curves over toroidal varieties always admit Néron models. These models are rarely quasi-compact or separated, but we also give a complete classification of quasi-compact separated group-models of such Jacobians. In particular we show the existence of a maximal quasi-compact separated group model, which we call the saturated model, which has the extension property for all torsion sections. The Néron model and the saturated model coincide over a Dedekind base, so the saturated model gives an alternative generalisation of the classical notion of Néron models to higher-dimensional bases; in the general case we give necessary and sufficient conditions for the Néron model and saturated model to coincide. The key result, from which most others descend, is that the logarithmic Jacobian of \cite{Molcho2018The-logarithmic} is a log Neron model of the Jacobian.

研究の動機と目的

• 分離的かつ擬コンパクトなモデルがほとんど存在しない高次元の基底への古典的Néronモデルの概念の拡張。
• トロピカルヤコビアンの部分群を用いて、ヤコビアンのすべての分離的かつ擬コンパクトな群モデルを分類すること。
• 飽和モデルを最大の擬コンパクトかつ分離された群モデルとして導入し、捩れセクションの拡張性を持つことの特徴づけ。
• 対数ヤコビアンによるNéronモデルの対数幾何的解釈を確立すること。
• 高次元においてNéronモデルと飽和モデルが一致するための必要十分条件を提示すること。

提案手法

• log正則な基底上のプリステーブル曲線における次数0の対数ラインバンドルを表す、厳密な対数Picard函子 sLPic⁰ としてNéronモデルを構成する。
• トロピカルヤコビアンを、Néronモデルからその単位成分を除いた商として定義し、基底上にエタールな群代数的空間をなす。
• トロピカルヤコビアンを用いて、擬有限な開部分群を分類し、これらがヤコビアンの分離的かつ擬コンパクトな群モデルと一対一対応することを示す。
• 対数準同型写像に関して普遍拡張性を満たすことを検証することで、対数ヤコビアンが対数Néronモデルであることを証明する。
• Picard函手における飽和操作を通じて、飽和モデルの存在を確立する。
• スケームの大きいサイト上で降下および代表可能性の技法を適用し、関連する函手の代表可能性を証明する。

実験結果

リサーチクエスチョン

• RQ1 高次元のトロイダル基底上のプリステーブル曲線のヤコビアンに対して、Néronモデルは常に存在するか？
• RQ2 高次元において、Néronモデルと飽和モデルが一致するための必要十分条件は何か？
• RQ3 ヤコビアンの分離的かつ擬コンパクトな群モデルは、トロピカル不変量を用いてどのように分類できるか？
• RQ4 対数幾何は、高次元基底におけるNéronモデルの構成と特徴づけにおいて、どのような役割を果たすか？
• RQ5 飽和モデルは、捩れセクションに対する普遍拡張として特徴づけられるか？

主な発見

• トロイダル多様体上のプリステーブル曲線のヤコビアンのNéronモデルは、常に存在し、かつ擬分離的である。
• 対数ヤコビアン sLPic⁰ は対数Néronモデルであり、対数ラインバンドルによるモジュラー解釈を提供する。
• 飽和モデルは、ヤコビアンの最大の擬コンパクトかつ分離された群モデルであり、すべての捩れセクションに対して拡張性を持つ。
• トロピカルヤコビアンの擬有限な開部分群と、ヤコビアンの分離的かつ擬コンパクトな群モデルとの間に、自然な全単射が存在する。
• Néronモデルと飽和モデルが一致するための必要十分条件は、滑らかさパラメータの整合性に関連する条件を満たすことである。
• 厳密なトロピカルヤコビアン sTPic⁰ は、局所デデキンド基底上でのNéronモデルの成分群と同型である。