[論文レビュー] Compactified Jacobians as Mumford models

Karl Christ, Sam Payne+1 more|arXiv (Cornell University)|Dec 8, 2019

Algebraic Geometry and Number Theory参考文献 21被引用数 4

ひとこと要約

本稿では、ノード曲線の1パrameter平滑化における相対的コンパクト化ヤコビアンが、スケルトンの多面体的分解を用いて構成されるムーディモデルとして、一般化されたファイバーのピック群多様体と正確に対応することを確立している。主な結果は、各コンパクト化ヤコビアンが安定性データに結びついた特定の分解に対応し、特に次数gの場合は、トロピカルブレークデバイソル分解によって一意に実現されることである。

ABSTRACT

We show that relative compactified Jacobians of one-parameter smoothings of a nodal curve of genus g are Mumford models of the generic fiber. Each such model is given by an admissible polytopal decomposition of the skeleton of the Jacobian. We describe the decompositions corresponding to compactified Jacobians explicitly in terms of the auxiliary stability data and find, in particular, that in degree g there is a unique compactified Jacobian encoding slop stability, and it is induced by the tropical break divisor decomposition.

研究の動機と目的

• ノード曲線の1パrameter平滑化の文脈において、相対的コンパクト化ヤコビアンとムーディモデルの明確な対応関係を確立すること。
• これらのコンパクト化ヤコビアンを実現するスケルトンの多面体的分解を、補助的な安定性データを用いて記述すること。
• スロープ安定性を符号化する次数gのコンパクト化ヤコビアンが、トロピカルブレークデバイソル分解に一意に対応することを示すこと。
• 古典的なコンパクト化ヤコビアンの構成と、ムーディモデルによる非アルキメデス解析的均質化を統合すること。
• コンパクト化ヤコビアンの特別ファイバーが、形式的モデルを格子で割った商と同型であることを証明し、ムーディモデル構造を確認すること。

提案手法

• 著者たちは、ピック群多様体の解析的化のスケルトンの多面体的分解から、ムーディモデルを非アルキメデス解析的均質化を用いて構成する。
• 各コンパクト化ヤコビアンを、φ-ポリスタブルな層の組み合わせ的型をパrameter化するスケルトンの分解に関連付ける。多重度とノード集合は不変量として用いられる。
• この分解は、度量グラフに対するナミカワの分解を一般化しており、セルは双対グラフ上のトロピカルデバイソルに加え、安定なノードに追加の点を持つものに対応する。
• 証明は、ムーディモデルの均質化から得られる形式的モデルと、コンパクト化ヤコビアンから得られる形式的モデルの2つを構成し、アフィンイソパッチとトロピカル化を用いてそれらの標準的同型を示すことにより行われる。
• 鍵となる技術的段階は、アフィン開集合上で両形式的モデルの一般ファイバーが一致することを示すことである。これは、線分束の同型類が、トロピカル同値類に一致するように、一意に拡張可能な一意な自由層に延長されることに依拠する。
• 同型はアトラス全体に滑らかに貼り合わされ、射影的スキームの形式的完成の一意代数化可能性を用いて、代数的同型にまで下がり込む。

実験結果

リサーチクエスチョン

• RQ1 ノード曲線の1パrameter平滑化における相対的コンパクト化ヤコビアンは、どのようにムーディモデルとして実現できるか？
• RQ2 コンパクト化ヤコビアンの構成における与えられた数値的極性φに対応するスケルトンの多面体的分解は何か？
• RQ3 スロープ安定性を実現する次数gのコンパクト化ヤコビアンは一意に存在するか？ また、トロピカル幾何とどのように関係するか？
• RQ4 特別ファイバー上のφ-ポリスタブル層のモジュライは、スケルトン分解の組み合わせ的型とどのように関係するか？
• RQ5 コンパクト化ヤコビアンの形式的モデルは、均質化を介してムーディモデルと標準的に同一視可能か？

主な発見

• コンパクト化ヤコビアン $\overline{J}_{\mathcal{X}}(\phi)$ は、解析的化のスケルトンの多面体的分解から構成されるムーディモデル $\mathrm{Pic}^d(\mathcal{X}_K)$ と同型である。
• $\overline{J}_{\mathcal{X}}(\phi)$ に対応する分解は、頂点における多重度 $\underline{d}$ を持つトロピカルデバイソルをパラメータ化し、層の台 $S$ に属するノードに対応する辺に1つの追加点を持つ。
• 次数 $g$ において、スロープ安定性を一意に実現するコンパクト化ヤコビアンは、スケルトンのトロピカルブレークデバイソル分解によって誘導される。
• 一般ファイバー $\mathrm{Pic}^d(\mathcal{X}_K)$ から $\overline{J}_{\mathcal{X}}(\phi)$ への包含写像は、トロピカル的である。つまり、あるトロピカル多様体内の分解されたトーラスに局所的にエタール同型である。
• 特別ファイバー $\overline{J}_X(\phi)$ は、形式的モデル $\mathfrak{E}$ を格子 $\Lambda$ で割った商と同型であり、ムーディモデル構造を確認する。
• ムーディモデルの均質化から得られる形式的モデルと、コンパクト化ヤコビアンから得られる形式的モデルは、標準的に同型であり、これによりムーディモデルとコンパクト化ヤコビアンの間の代数的同型が得られる。