[论文解读] On the Rasmussen-Tamagawa conjecture for QM-abelian surfaces

Keisuke Arai|arXiv (Cornell University)|Nov 3, 2012

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

一句话总结

本文證明了在更高次數的數體上，QM-阿貝爾簇的Rasmussen-Tamagawa猜想，推廣了先前在虛二次域上的結果。在特定的伽羅瓦理論與四元數代數條件下，利用局部-整體原則與類域論，證明了有界分歧下同構類的有限性。

ABSTRACT

In the previous article, we showed the Rasmussen-Tamagawa conjecture for QM-abelian surfaces over imaginary quadratic fields. In this article, we generalize the previous work to QM-abelian surfaces over number fields of higher degree. We also give several explicit examples.

研究动机与目标

• 將Rasmussen-Tamagawa關於有界分歧下阿貝爾簇有限性的猜想，推廣至次數大於2的數體。
• 在不包含任何虛二次域的希爾伯特類場的Q的伽羅瓦擴張上，建立QM-阿貝爾簇同構類的有限性。
• 提供涉及分裂素數與二次擴張上四元數代數非同構的明確條件。
• 在確保存在合適素數與相關二次型局部可解的條件下，驗證該猜想。

提出的方法

• 使用在p處非分歧的極大p進擴張，以控制p冪扭點的伽羅瓦表示。
• 應用哈塞原理，將二次型的整體可解性簡化為所有素位上的局部可解性。
• 運用類域論與伽羅瓦下降，分析K(A[p^∞])在K(μ_p)上的擴張結構。
• 透過計算數體中給定素數上的分歧指數、剩餘次數與素數個數，構造具體例子。
• 使用亨澤爾引理與p進分析，判斷QM-阿貝爾簇模空間定義方程的局部可解性。
• 透過二次擴張中素數的分裂性質，驗證B⊗Q(√−q)與M2(Q(√−q))之間的非同構性。

实验结果

研究问题

• RQ1 在何種數體K的條件下，有界分歧的QM-阿貝爾簇K-同構類集合是有限的？
• RQ2 Rasmussen-Tamagawa猜想是否對次數大於2的Q的伽羅瓦擴張上的QM-阿貝爾簇成立？
• RQ3 當K不包含任何虛二次域的希爾伯特類場，且存在一素數q在K中完全分裂時，是否可建立有限性結果？
• RQ4 四元數代數B在Q(√−q)上的非分裂性在確保模空間有限性中扮演何種角色？
• RQ5 如何利用QM-阿貝爾簇定義方程的局部可解性來推導整體有限性？

主要发现

• 若數體K是Q的伽羅瓦擴張，且不包含任何虛二次域的希爾伯特類場，且存在一素數q在K中完全分裂，使得B⊗Q(√−q)不與M2(Q(√−q))同構，則K-同構類的集合𝒜(K,2)_B是有限的。
• 對於K = Q(√3,√−5)、Q(ζ5)或Q(ζ17)，以及d ∈ {6,10,22}，集合M^B(K)是無限的，除非(d,K) = (22, Q(ζ5))，這表明存在無限多個K-同構類的QM-阿貝爾簇。
• 當(d,K) ≠ (22, Q(ζ5))時，四元數代數B⊗Q K同構於M2(K)，確保模空間在K上具有有理點。
• 數域K = Q(√3,√−5)不是任何虛二次域的希爾伯特類場，因其子域Q(√−5)與Q(√−15)的類數大於1，且該擴張在3與2的素數之上是分歧的。
• 對於K = Q(ζ5)與K = Q(ζ17)，其唯一的二次子域分別為Q(√5)與Q(√17)，兩者類數均不為1，因此K不包含任何希爾伯特類場。
• 存在一素數q在K中完全分裂，且B⊗Q(√−q) ≇ M2(Q(√−q))，確保相關伽羅瓦表示滿足所需的濾子條件，進而使主有限性定理得以應用。