[论文解读] 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

一句话总结

本文建立了在正则基 scheme 上对齐的、对数半稳定曲线退化情形下，相对对数 Picard 函子的一个子函子的表示性。证明了该函子的最大分离商是光滑代数空间，且当全空间为正则时，构成光滑部分相对 Picard 函子的 Néron 模型。主要贡献在于通过对数几何，特别是从离散赋值环的横截拉回情形，对 Néron 模型给出了函子性解释。

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.

研究动机与目标

• 研究在正则基 scheme 上对齐的、对数半稳定曲线族的对数 Picard 函子的表示性。
• 将对数 Picard 函子的最大分离商与光滑部分上相对 Picard 函子的 Néron 模型联系起来。
• 在离散赋值环的横截拉回情形下，通过对数几何对 Néron 模型提供函子性解释。
• 证明对齐性条件足以保证对数上同调平坦性，从而支持表示性结果。

提出的方法

• 将对数 Picard 函子 $\underline{\mathrm{Pic}}^{\log,[0]}_{C/S}$ 定义为 $M_C^{gp}$-挠子在基变换至 $\overline{M}_X^{gp}$ 后具有平凡化的同构类的 étale 她化。
• 定义 $\underline{\mathrm{Pic}}^{\log,[0]}_{C/S}$ 的最大分离商 $Q^{\log}$，并证明其由光滑代数空间表示。
• 利用 Néron 模型的普遍性质，证明当 $C$ 为正则时，$Q^{\log}$ 满足 Néron 延拓性质。
• 应用对数上同调平坦性理论，证明对齐性蕴含曲线族的对数上同调平坦性。
• 对任意映射到基的离散赋值环 $T$，建立自然同构 $Q_T^{\log} \cong \underline{\mathrm{Pic}}^{\log,\dagger}_{C_T/T}$。
• 利用基变换相容性与 étale 下降，验证对数 Picard 函子在拉回下的行为。

实验结果

研究问题

• RQ1 在对齐的曲线退化情形下，对数 Picard 函子的最大分离商在什么条件下可表示为光滑代数空间？
• RQ2 对数 Picard 函子与光滑部分上相对 Picard 函子的经典 Néron 模型之间有何关系？
• RQ3 在从离散赋值环出发的横截拉回情形下，是否能通过对数几何对 Néron 模型给出函子性解释？
• RQ4 对齐性条件是否足以保证对数半稳定曲线族的对数上同调平坦性？
• RQ5 当全空间为正则时，对数 Picard 函子与 Néron 模型之间的确切关系是什么？

主要发现

• 当 $C/S$ 对齐且 $S$ 为正则时，$\underline{\mathrm{Pic}}^{\log,[0]}_{C/S}$ 的最大分离商 $Q^{\log}$ 可由 $S$ 上的光滑代数空间表示。
• 若全空间 $C$ 为正则，则 $Q^{\log}$ 是 $\underline{\mathrm{Pic}}_{C_U/U}$ 的 Néron 模型，符合定义 0.1 的意义。
• 对任意离散赋值环 $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}$ 的经典 Néron 模型。
• 对齐性蕴含对数半稳定曲线族的对数上同调平坦性，从而确保对数 Picard 函子的表示性。