[论文解读] Picard groups of Siegel modular threefolds and theta lifting

Hongyu He, J. William Hoffman|ArXiv.org|Dec 21, 2007

Advanced Algebra and Geometry参考文献 22被引用 5

一句话总结

本论文通过结合Weissauer的theta提升对H^{1,1}类的描述、特殊循环理论（Kudla-Millson与Tong-Wang）以及Howe的振子表示理论，确立了Humbert曲面有理生成Siegel模三倍的Picard群。关键结果是，所有有理Picard群类均来自SL~_2(R)上权5/2的尖点形式的theta提升，且theta提升中最小K型5⊗1的出现确认了Humbert曲面的有理生成性。

ABSTRACT

We show that the Humbert surfaces rationally generate the Picard groups of Siegel modular threefolds.

研究动机与目标

• 确定Siegel模三倍的Picard群结构，该结构在 genus 1 之外仍知之甚少。
• 证明H^{1,1}中的有理上同调类由代数循环生成，特别是Humbert曲面。
• 确立所有此类类均来自SL~_2(R)上权5/2的全纯尖点形式到Sp_4(R)的theta提升。
• 通过振子表示的表示论分析，证明权5/2尖点形式的theta提升在H^{1,1}类空间中张成全空间。

提出的方法

• 利用Weissauer的结果，将Pic(X_Γ)⊗C实现为H^{1,1}(X_Γ)，其中非典范类来自SL~_2(R)上权5/2尖点形式的theta提升。
• 特殊循环理论（Kudla-Millson与Tong-Wang）将自守上同调类与几何循环联系起来，特别是Hecke代数作用下Humbert曲面的变换。
• 稳定范围条件1 < (3+2)/4 确保theta提升与代数循环之间的上同调对应关系有效。
• 应用Howe对偶性定理于对偶李群对，证明一般theta提升θ(σ)位于与Humbert循环相关的特殊theta提升θ_special(σ)的张成空间中。
• 表示论分析确认theta提升θ(π_{5/2})的最小K型为5维表示5⊗1，与Humbert曲面上同调类的K型一致。
• 通过Przebinda公式计算theta提升的无穷小特征，显示其与平凡表示(3/2, 1/2)的特征一致，从而确认该提升为H^{1,1}非零的A_q表示。

实验结果

研究问题

• RQ1 Humbert曲面是否对Siegel模三倍的Picard群有有理生成作用？
• RQ2 Siegel模三倍上的所有有理H^{1,1}类是否均可实现为SL~_2(R)上权5/2尖点形式的theta提升？
• RQ3 SL~_2(R)上权5/2尖点形式的theta提升是否包含在Hecke代数作用下特殊循环（Humbert曲面）的张成空间中？
• RQ4 theta提升θ(π_{5/2})的最小K型是否与Humbert曲面上同调类的K型一致，从而确认其几何来源？
• RQ5 theta提升θ(π_{5/2})的无穷小特征是否等于(3/2, 1/2)，从而将其识别为正确的A_q表示？

主要发现

• Siegel模三倍的Picard群由Humbert曲面有理生成，即所有有理余维数一的代数循环有理等价于这些曲面的线性组合。
• 所有不来自典范极化的H^{1,1}(X_Γ)类均来自SL~_2(R)上权5/2尖点形式的theta提升，依Weissauer结果。
• theta提升θ(π_{5/2})的最小K型为5⊗1，与Humbert曲面的上同调类K型一致，从而确认其几何来源。
• θ(π_{5/2})的无穷小特征为(3/2, 1/2)，与平凡表示的特征一致，因此根据Vogan-Zuckerman定理，其为唯一具有非零H^{1,1}的A_q表示。
• 表示θ(π_{5/2})是theta提升中最小K型为5⊗1的唯一不可约分量，且在上同调中以重数一出现。
• Hecke代数作用下特殊循环（Humbert曲面）的张成空间包含所有有理H^{1,1}类，从而证明了有理生成性。