[論文レビュー] On the Log-Picard functor for aligned degenerations of curves

Alberto Bellardini|arXiv (Cornell University)|Jul 2, 2015

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

ひとこと要約

この論文は、正則なベーススキーム上の整列済み、対数的半安定な曲線の退化の相対対数的ピカード関手の部分関手の表現可能性を確立する。この関手の最大分離商が滑らかな代数的空間であることを証明し、全空間が正則である場合には、滑らかな部分の相対ピカード関手のネロンモデルをなす。主な貢献は、対数的幾何を用いたネロンモデルの関手的解釈であり、特に離散付値環からの横断的引き戻しのケースに特化している。

ABSTRACT

We show that a particular subfunctor of the relative logarithmic Picard functor for families of aligned, log semistable curves over a regular base scheme and smooth over an open dense subscheme of the base is representable by a smooth algebraic space which is slightly more separated than the classical relative Picard functor. We show the existence of its maximal separated quotient and give a new functorial interpretation in terms of logarithmic geometry for the Néron model of the relative Picard functor of the smooth locus when we restrict to transversal pull backs from spectra of discrete valuation rings. We also show that aligned degenerations are log cohomologically flat.

研究の動機と目的

• 正則なベーススキーム上の整列済み、対数的半安定な曲線の族に対して、対数的ピカード関手の表現可能性を研究すること。
• 対数的ピカード関手の最大分離商が滑らかな部分の相対ピカード関手のネロンモデルとどのように関係するかを明らかにすること。
• 特に離散付値環からの横断的引き戻しのケースにおいて、対数的幾何を用いてネロンモデルの関手的解釈を提供すること。
• 整列性が、対数的コホロロジー的平坦性を満たすことを確立し、これにより表現可能性の結果を得ること。

提案手法

• エタール・シャーファイケーションにより、$M_C^{gp}$-torsor で、$\overline{M}_X^{gp}$ への基底変換後に自明化されるものたちの同型類のエタール・シャーファイケーションとして、対数的ピカード関手 $\underline{\mathrm{Pic}}^{\log,[0]}_{C/S}$ を定義する。
• 対数的ピカード関手の最大分離商 $Q^{\log}$ を定義し、それが滑らかな代数的空間によって表現可能であることを証明する。
• ネロンモデルの普遍性を用いて、$C$ が正則であるとき、$Q^{\log}$ がネロン拡張性質を満たすことを示す。
• 対数的コホロロジー的平坦性の理論を適用し、整列性が曲線の対数的コホロロジー的平坦性を意味することを示す。
• 任意の離散付値環 $T$ に対して、$Q_T^{\log} \cong \underline{\mathrm{Pic}}^{\log,\dagger}_{C_T/T}$ なる自然同型を確立する。
• 基底変換の整合性とエタール・降下を用いて、対数的ピカード関手の引き戻しにおける挙動を検証する。

実験結果

リサーチクエスチョン

• RQ1 整列した曲線の退化において、対数的ピカード関手の最大分離商が滑らかな代数的空間として表現可能となる条件は何か？
• RQ2 対数的ピカード関手は、滑らかな部分の相対ピカード関手の古典的ネロンモデルとどのように関係するか？
• RQ3 離散付値環からの横断的引き戻しのケースにおいて、対数的幾何を用いてネロンモデルを関手的に解釈できるか？
• RQ4 整列性は、対数的半安定な曲線の族において、対数的コホロロジー的平坦性を保証する十分条件か？
• RQ5 全空間が正則であるとき、対数的ピカード関手とネロンモデルの正確な関係は何か？

主な発見

• 整列済みで $S$ が正則であるとき、$\underline{\mathrm{Pic}}^{\log,[0]}_{C/S}$ の最大分離商 $Q^{\log}$ は $S$ 上の滑らかな代数的空間によって表現可能である。
• 全空間 $C$ が正則であるとき、$Q^{\log}$ は定義 0.1 の意味で $\underline{\mathrm{Pic}}_{C_U/U}$ のネロンモデルである。
• 任意の離散付値環 $V$ と $T = \mathrm{Spec}(V) \to S$ で、一般点が $U$ にマッピングされるような写像に対して、自然同型 $Q_T^{\log} \cong \underline{\mathrm{Pic}}^{\log,\dagger}_{C_T/T}$ が存在する。
• $C$ が $\mathrm{Spec}(V)$ 上の固有なノーディング曲線であるとき、$\underline{\mathrm{Pic}}^{\log,\dagger}_{C/T}$ は $T$ 上の滑らかで分離された代数的群として表現可能である。
• $C$ が正則であるとき、$\underline{\mathrm{Pic}}^{\log,\dagger}_{C/T}$ は $\underline{\mathrm{Pic}}_{C_\eta/\eta}$ の古典的ネロンモデルに同型である。
• 整列性は、対数的半安定な曲線の族において、対数的コホロロジー的平坦性を意味し、これにより対数的ピカード関手の表現可能性が保証される。