[论文解读] Etude locale des torseurs sous une courbe elliptique

Jilong Tong|arXiv (Cornell University)|May 4, 2010

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

一句话总结

本文研究了在完备离散赋值域上椭圆曲线 $ J_K $ 的 torsor 的最小正则完备模型 $ X $ 上，典范态射 $ q: \mathrm{Pic}^\circ_{X/S} \to J $ 与 $ \mathcal{I} $-adic 和 $ \pi $-adic 赋值滤子的相容性。研究证明了 $ q(S) $ 与这些滤子相容，从而构造出类似于局部类域论中 Herbrand 型函数，并证明了相应的分次映射是同态，其核可通过理想 $ \mathcal{I} $ 的幂显式描述。

ABSTRACT

This article concerns the geometry of torsors under an elliptic curve. Let $\OO_K$ be a complete discrete valuation ring with algebraically closed residue field and function field $K$. Let $π$ be a generator of the maximal ideal of $\OO_K$, and $S=\mathrm{Spec}(\OO_K)$. Suppose that we are given $J_K$ an elliptic curve over $K$, with $J$ the connected component of the $S$-N?ron model of $J_K$. Given $X_K/K$ a torsor of order $d$ under $J_K$, let $X$ be the $S$-minimal regular proper model. Then there is an invertible id?al $\mathcal{I}\subset \OO_K$ such that $\mathcal{I}^{d}=π\OO_X\subset \OO_X$. Moreover, there exists a canonical morphism $q:\Pic^{\circ}_{X/S} ightarrow J$ which induces a surjective map $q(S):\Pic^{\circ}(X) ightarrow J(S)$. The purpose of the article is to prove this last morphism $q(S)$ is compatible with respect to the $\mathcal{I}$-adic filtration on $\Pic^{\circ}(X)$, and the $π$-adic filtration on $J(S)$. As a byproduct, we obtain { extquotedblleft Herbrand functions extquotedblright}, similar to those Serre used in his description of local class fields (\cite{Serre})

研究动机与目标

• 理解具有代数闭剩余域的完备离散赋值域上椭圆曲线 torsor 的结构。
• 分析最小正则完备模型 $ X $ 中上同调平坦性的失效，以及由此导致的 $ \mathrm{Pic}^\circ_{X/S} $ 的非表示性。
• 建立典范态射 $ q: \mathrm{Pic}^\circ_{X/S} \to J $ 与 $ \mathrm{Pic}^\circ(X) $ 上的 $ \mathcal{I} $-adic 滤子和 $ J(S) $ 上的 $ \pi $-adic 滤子之间的相容性。
• 利用滤子相容性构造类似于 Serre 局部类域论中的 Herbrand 型函数。
• 证明在分次部分上诱导的映射是同态，其核由理想 $ \mathcal{I} $ 的幂生成。

提出的方法

• 使用 torsor $ X_K $ 关于 $ J_K $ 的阶 $ d $ 的 $ S $-最小正则完备模型 $ X $，并识别一个可逆理想 $ \mathcal{I} \subset \mathcal{O}_X $，使得 $ \mathcal{I}^d = \pi \mathcal{O}_X $。
• 应用刚性化理论与 Greenberg 实现，将 Picard 赋值函子 $ \mathrm{Pic}^\circ_{X/S} $ 表示为光滑群概形的极限。
• 通过 $ \mathcal{I} $ 的幂构造 $ \mathrm{Pic}^\circ(X) $ 上的滤子，通过 $ \pi $ 的幂构造 $ J(S) $ 上的滤子，并分析在分次部分上的诱导态射。
• 利用群概形的稀释（dilatation）技术，通过归纳法构造光滑群概形 $ G^{[n]'} $ 和态射 $ \theta^{[n]'}: G^{[n]'} \to J^{[n]} $，利用稀释的普遍性质。
• 证明诱导态射 $ q_n: \mathrm{Gr}(\mathrm{Pic}^\circ(X/S)) \to \mathrm{Gr}_n(J) $ 是同态，其核由 $ \mathcal{I}^i $ 模 $ \psi(n) $ 生成。
• 建立 $ q_n $ 的核恰好是由 $ \mathcal{I}^i|_{X_{\psi(n)}} $ 生成的子群，并证明核概形是正规的，且在足够大的 $ n $ 时变得光滑。

实验结果

研究问题

• RQ1 典范态射 $ q: \mathrm{Pic}^\circ_{X/S} \to J $ 如何与 $ \mathrm{Pic}^\circ(X) $ 上的 $ \mathcal{I} $-adic 滤子和 $ J(S) $ 上的 $ \pi $-adic 滤子相互作用？
• RQ2 $ \mathrm{Pic}^\circ(X) $ 上滤子的分次部分的结构是什么？它们与 $ J(S) $ 上分次部分有何关系？
• RQ3 能否从滤子相容性构造 Herbrand 型函数？它们与 Serre 在局部类域论中的函数有何比较？
• RQ4 滤子分次部分上诱导态射 $ q_n $ 的核是什么？
• RQ5 在何种条件下核概形 $ N^{[n]'} = \ker(\theta^{[n]'}) $ 是光滑或正规的？

主要发现

• 典范态射 $ q: \mathrm{Pic}^\circ_{X/S} \to J $ 诱导出在 $ \mathcal{I} $-adic 与 $ \pi $-adic 滤子分次部分上的态射 $ q_n: \mathrm{Gr}(\mathrm{Pic}^\circ(X/S)) \to \mathrm{Gr}_n(J) $，该态射是同态。
• $ q_n $ 的核由 $ \mathcal{I}^i|_{X_{\psi(n)}} $ 在 $ \mathrm{Gr}(\mathrm{Pic}^\circ(X_{\psi(n)})) $ 中的像生成，当 $ d $ 为素数时，该核同构于 $ \mathbb{Z}/d\mathbb{Z} $。
• 态射 $ q_n $ 与滤子结构相容，其在 $ k $-点上的诱导映射是具有有限核的满同态。
• 核概形 $ N^{[n]'} = \ker(\theta^{[n]'}) $ 是正规的，且当 $ n $ 足够大时，它在 $ S $ 上变得光滑。
• 通过滤子相容性构造出 Herbrand 型函数，其结构类似于 Serre 在局部类域论中的函数，且编码了 torsor 的分歧信息。
• 通过沿约化核的稀释构造 $ G^{[n]'} $，确保 $ G^{[n]'} $ 是光滑的 $ S $-群概形，且 $ \theta^{[n]'} $ 是忠实平坦的。