[论文解读] Algebraic cycles on Hilbert modular fourfolds and poles of L-functions

Dinakar Ramakrishnan|ArXiv.org|Oct 11, 2003

Advanced Algebra and Geometry参考文献 34被引用 13

一句话总结

本文通過將與伽羅瓦表示相關的L函數的極點與代數循環的存在性聯繫起來，為希爾伯特模四繫數上codimension 2的代數循環的 Tate 猜想提供了強有力的證據。研究證明，對於具有二次子域的四次全實數域K，L函數L(s, Vₗ)在s = 3處的極點階數等於codimension-2代數循環的非CM部分的維數，從而驗證了(2,4)情形下的猜想。

ABSTRACT

In this paper we give some evidence for the Tate (and Hodge) conjecture(s) for a class of Hilbert modular fourfolds X, whose connected components arise as arithmetic quotients of the fourfold product of the upper half plane by congruence subgroups Γof SL(2, O_K), where O_K denotes the ring of integers of a quartic, Galois, totally real number field K. The expected relationship to the orders of poles of the associated L-functions is verified for abelian extensions of \Q. Also shown is the existence of homologically non-trivial cycles of codimension two which are not intersections of divisors.

研究动机与目标

• 為希爾伯特模四繫數上codimension-2代數循環的Tate猜想提供非平凡證據。
• 精確建立與ℓ-進伽羅瓦表示相關的L函數極點階數與代數循環空間維數之間的聯繫。
• 分析上同調的非CM部分及其與希爾伯特模形式的Asai L函數的關係。
• 修正先前工作[Ra3]中關於Asai表示與L函數恆等式之符號規範錯誤。
• 改進並修正關於Asai轉移及其與函子性及L函數分解相容性的早期結果。

提出的方法

• 使用Baily-Borel與Toroidal緊化方法研究數域上希爾伯特模四繫數的上同調與代數循環。
• 應用Hecke特徵與希爾伯特模新形式理論構造伽羅瓦表示，並與L函數關聯。
• 分析GL(2)/K上尖點自守表示π的Asai L函數L(s, As(π))，並與Rankin-Selberg L函數L(s, As(π) × As(π)∨)關聯。
• 利用基變換公式As(π)ₖ ≅ π ⊠ (π∘θ)研究Asai表示的結構及其自守性。
• 應用Mackey理論與誘導機制分解伽羅瓦情形下的Asai表示，並在θ-不變情形下推導其可約性。
• 透過將Asai表示與二次特徵δ扭轉，修正[Ra3]中的符號規範錯誤，確保與Langlands張量誘導框架的一致性。

实验结果

研究问题

• RQ1 L函數L(s, Vₗ)在s = 3處的極點階數是否等於希爾伯特模四繫數上codimension-2代數循環的非CM部分的維數？
• RQ2 在何種條件下Asai L函數L(s, As(π))為尖點形式？其與π∘θ ≇ π⊗μ不構同的關係為何？
• RQ3 Asai表示定義中的符號規範錯誤如何影響[Ra3]中L函數恆等式？需要何種修正？
• RQ4 能否透過函子性與L函數恆等式L(s, Π × η) = L(s, π; r ⊗ η)來表徵希爾伯特模形式π的Asai轉移Π？
• RQ5 在希爾伯特模四繫數背景下，H⁴中的Tate類與L函數極點之間的精確關係為何？

主要发现

• 與希爾伯特模四繫數ℓ-進上同調相關的L函數L(s, Vₗ)在ℂ上可延拓為亞純函數，且在s = 3處的極點階數等於ℤ²(Xₖ)′的維數，從而確認了(2,4)情形下的Tate猜想。
• 對於與CM擴張M/K上Hecke特徵Ψ相關的希爾伯特模新形式g_Ψ，Asai L函數L(s, As(π))為尖點形式，當且僅當π∘θ不與π⊗μ同構（對任意Idele類特徵μ）。
• 若M/K為伽羅瓦擴張，則2維伽羅瓦表示σ的Asai表示As(σ)可約，導致L(s, As(σ) × As(σ)∨)出現二階極點，這表明As(π)非尖點形式。
• 修正[Ra3]中符號規範錯誤需將Asai表示與二次特徵δ扭轉，因此關鍵公式中As(σ)應以As(σ)⊗δ替代。
• 至GL(4)/F的Asai轉移Π滿足對所有GL(2)/F的等價自守表示η，有L(s, Π × η) = L(s, π; r ⊗ η)，從而確認其函子性與正確的局部分量。
• 局部分量Π_v為透過函子性關聯的GL(4, F_v)的正確可綴表示，從而驗證了全局Asai轉移的正確性。