[論文レビュー] 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のθリフトによるH^{1,1}類の記述、特殊サイクルの理論（Kudla-MillsonおよびTong-Wang）、およびHoweのオシレーター表現理論を組み合わせることで、ヒューマーベル多様体がシーゲルモジュラー3次元多様体のピカール群を有理数体上で生成することを確立する。主な結果は、すべての有理ピカール群類が、重み5/2の尖点形式のθリフトから生じることであり、θリフトにおける最小K型5⊗1がヒューマーベル多様体による有理数生成を確認する。

ABSTRACT

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

研究の動機と目的

• シーゲルモジュラー3次元多様体のピカール群の構造を特定すること。これは、種数1を越えてはあまり理解されていない。
• H^{1,1}における有理コホモロジー類が代数的サイクル、特にヒューマーベル多様体によって生成されることを示すこと。
• すべてのこのような類が、SL~_2(R) 上の重み5/2の正則尖点形式からSp_4(R)へのθリフトによって生じることを確立すること。
• オシレーター表現の表現論的解析を通じて、重み5/2の尖点形式からのθリフトがH^{1,1}類の全空間を張ることを証明すること。

提案手法

• Weissauerの結果を用いて、Pic(X_Γ)⊗CをH^{1,1}(X_Γ)として実現し、SL~_2(R) 上の重み5/2尖点形式のθリフトから生じる非標準的類を導出する。
• 特殊サイクルの理論（Kudla-MillsonおよびTong-Wang）により、自動形式的コホモロジー類が幾何的サイクル（特にHecke代数によるヒューマーベル多様体の変換）と結びつく。
• 安定範囲条件1 < (3+2)/4により、θリフトと代数的サイクルのコホモロジー的対応が有効であることが保証される。
• Howeの双対性定理（双対再帰的対）を適用し、一般のθリフトθ(σ)が、ヒューマーベルサイクルに関連する特別なθリフトθ_special(σ)の張りに属することを示す。
• 表現論的解析により、θリフトθ(π_{5/2})の最小K型が5次元表現5⊗1であることが確認され、これはヒューマーベル多様体のコホモロジー類のK型と一致する。
• Przebindaの公式を用いてθリフトの無限小特性を計算し、自明表現（3/2, 1/2）の特性と一致することが示され、リフトがH^{1,1}が非ゼロとなるA_q表現であることが確認される。

実験結果

リサーチクエスチョン

• RQ1 ヒューマーベル多様体は、シーゲルモジュラー3次元多様体のピカール群を有理数体上で生成するか？
• RQ2 シーゲルモジュラー3次元多様体上のすべての有理H^{1,1}類は、SL~_2(R) 上の重み5/2尖点形式からのθリフトとして実現可能か？
• RQ3 SL~_2(R) 上の重み5/2尖点形式のθリフトは、Hecke代数による特別なサイクル（ヒューマーベル多様体）の張りに含まれるか？
• RQ4 θリフトθ(π_{5/2})の最小K型は、ヒューマーベル多様体のコホモロジー類のK型と一致するか？これは幾何的起源を確認する。
• RQ5 θリフトθ(π_{5/2})の無限小特性は(3/2, 1/2)に等しいか？これにより、正しいA_q表現と特定される。

主な発見

• シーゲルモジュラー3次元多様体のピカール群は、ヒューマーベル多様体によって有理数体上で生成される。これは、すべての有理コ dimension 1 代数的サイクルが、これらの多様体の有理線形結合に同値であることを意味する。
• Weissauerの結果に従い、X_ΓのH^{1,1}(X_Γ)に属する、標準的極性から由来しないすべての類は、SL~_2(R) 上の重み5/2尖点形式のθリフトとして生じる。
• θリフトθ(π_{5/2})の最小K型は5⊗1であり、これはヒューマーベル多様体のコホモロジー類のK型と一致し、幾何的起源を確認する。
• θ(π_{5/2})の無限小特性は(3/2, 1/2)であり、自明表現の特性と一致する。Vogan-Zuckermanにより、これはH^{1,1}が非ゼロとなる唯一のA_qである。
• 表現θ(π_{5/2})は、最小K型5⊗1を持つ唯一の既約成分であり、コホモロジーにおいて重複度1で現れる。
• Hecke代数による特別なサイクル（ヒューマーベル多様体）の張りは、すべての有理H^{1,1}類を含み、有理数生成を証明する。