[论文解读] Special points and Poincaré bi-extensions, with an Appendix by Bas Edixhoven

Daniel Bertrand|arXiv (Cornell University)|Apr 27, 2011

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

一句话总结

本文在曲线上构造了一个半阿贝尔概形的截面，将纤维中的扭点上拉为全空间中的扭点，展示了半阿贝尔情形下相对Manin-Mumford猜想的一个反例。然而，当在混合Shimura簇的语境下重新诠释时，该构造支持Pink关于特殊子簇的一般猜想。

ABSTRACT

The paper gives a counter-example to the relative version of the Manin-Mumford conjecture.

研究动机与目标

• 研究半阿贝尔概形背景下相对Manin-Mumford猜想，特别是存在半常数扩张时的情形。
• 通过构造一个涉及Ribet截面的反例，解决Masser-Zannier方法在Pink猜想研究中可能遇到的障碍。
• 表明当该反例在混合Shimura簇框架下重新诠释时，实际上支持Pink的一般猜想。
• 通过显式使用反对称同源和Poincaré双扩张，控制构造中扭点的阶。
• 澄清Ribet截面与通过Poincaré双扩张构造的新截面之间的关系，特别是关于扭点行为和Hecke轨道方面。

提出的方法

• 将非平凡的半阿贝尔概形 $ B/X $ 构造为常数椭圆概形 $ E_0 \times X $ 沿 $ \mathbb{G}_m $ 的1-扩张，由非扭点截面 $ q \in \hat{E}(X) $ 参数化。
• 通过拉回和扩张的对偶性，利用Ribet构造定义概形 $ B/X $ 的一个截面 $ \beta $，确保在 $ E(X) $ 中有 $ \pi \circ \beta = 2\varphi \circ q $。
• 建立一个‘上拉性质’：若 $ p(\xi) = 2\varphi(q(\xi)) $ 在 $ E_\xi \simeq E_0 $ 中为扭点，则 $ \beta(\xi) $ 在 $ B_\xi $ 中为扭点。
• 利用Poincaré双扩张和Weil互反律计算 $ \beta(\xi) $ 的阶，证明当 $ n $ 为奇数且与某些次数互素时，有 $ n^2 \beta(\xi) = 0 $。
• 通过 $ \hat{E}_0 $ 上的自同态 $ a $ 构造第二个截面 $ \beta_J $，并证明其与Ribet截面相差一个单位根。
• 在混合Shimura簇的语言下重新诠释该构造，表明 $ \beta_J(X) $ 位于某个特殊子簇的Hecke轨道中，从而支持Pink的猜想。

实验结果

研究问题

• RQ1 在半阿贝尔概形上，是否存在一个截面，其不通过任何真闭子概形子群，却在纤维中无限次地与扭点相交？
• RQ2 此类截面的存在是否与半阿贝尔情形下的相对Manin-Mumford猜想相矛盾？
• RQ3 当 $ p(\xi) \in E_\xi $ 为阶 $ n $ 的扭点时，$ \beta(\xi) \in B_\xi $ 的精确阶是多少？
• RQ4 Ribet截面 $ \beta_R $ 与新截面 $ \beta_J $ 之间有何关系，特别是在扭点行为和Hecke轨道方面？
• RQ5 当该构造在几何上重新诠释时，是否支持混合Shimura簇中关于特殊子簇的Pink一般猜想？

主要发现

• 通过Ribet方法构造的截面 $ \beta $ 不通过 $ B/X $ 的任何真闭子概形子群，因为 $ q $ 和 $ \varphi \circ q $ 均具有无限阶。
• 图像 $ Y = \beta(X) $ 在纤维 $ B_\xi $ 的扭点中具有Zariski稠密性，因为存在无穷多个 $ \xi \in X(\mathbb{C}) $ 使得 $ p(\xi) $ 为扭点。
• 对于 $ n > 1 $ 为奇数且与 $ \deg((a^2 - 1)(\bar{a} - a)) $ 互素的情形，存在 $ \xi \in X $，使得 $ \beta_J(\xi) $ 在 $ B_\xi $ 中的阶恰好为 $ n^2 $。
• 截面 $ \beta_J $ 满足 $ n^2 \beta_J(\xi) = 0 $ 在 $ B_\xi $ 中，且Weil互反律计算确认 $ \left( \frac{g_a(q)}{g_a(-q)} \right)^n = 1 $，从而保证了扭点性质。
• 截面 $ \beta_J $ 在混合Shimura簇 $ S(\varphi) $ 中通过了特殊点的Zariski稠密集，支持了Pink的猜想。
• 在猜想成立的前提下，差值 $ \beta_R - \beta_J $ 为一个单位根，意味着 $ \beta_J $ 位于由 $ \beta_R(X) $ 定义的特殊子簇的Hecke轨道中。