[論文レビュー] Stable Schottky-Jacobi Forms

Jae-Hyun Yang|arXiv (Cornell University)|Feb 28, 2017

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

ひとこと要約

本稿は、普遍ヤコビアン多様体の族に対して安定シュットキー・ヤコビ形式が存在しないことを確立している一方で、普遍ハイパーオービック曲線の族に対して非自明な安定シュットキー・ヤコビ形式が存在することを示している。シーゲル・ヤコビ作用素およびヤコビ形式のヤコビモジュラー群における性質を用いて、消滅結果を証明し、theta リフトと安定モジュラー形式を用いて明示的な形式を構成することで、これらの2つの族のモジュライ的挙動における根本的な相違を示している。

ABSTRACT

In this article, we prove that there do not exist stable Schottky-Jacobi forms for the universal Jacobian locus and also prove that there exist non-trivial stable Schottky-Jacobi forms for the universal hyperelliptic locus.

研究の動機と目的

• 普遍ヤコビアン多様体の族に対して安定シュットキー・ヤコビ形式が存在するかどうかを特定すること。
• 普遍ハイパーオービック曲線の族に対して非自明な安定シュットキー・ヤコビ形式が存在するかどうかを調査すること。
• 安定ヤコビ形式の代数的・モジュラー構造がシュットキー問題とどのように関係するかを明確化すること。
• シーゲル・ヤコビ作用素およびtheta リフトを用いて、安定シュットキー・ヤコビ形式の特徴付けを確立すること。

提案手法

• g + h > 2k + 1 のとき、同型写像であるシーゲル・ヤコビ作用素 Ψg,M: Jk,M(Γg) → Jk,M(Γg−1) を用いる。
• ヤコビモジュラー群 ΓgJ = Γg ⋉ HZ(g,h) の作用を介して定義される安定ヤコビ形式の理論を適用する。
• 安定モジュラー形式とtheta級数の積として安定シュットキー・ヤコビ形式を構成する。具体的には (ΘP − ΘQ)Θ2M の形をとる。
• イケダ理論における canonical lifting I_{g,k} を用いて、シーゲル尖点形式と高次形式との関係を定式化する。
• 形式がハイパーオービック曲線の族上に消えることに対応する理想 I(M) を持つ、graded ring A(M) = ⊕_{k,ℓ} A_{k,ℓM} を分析する。
• 2k ≢ h (mod 8) の条件を用いて Jk,M(Γg) = 0 を示し、非消滅形式のためには k ≡ 0 (mod 4) が必要であることを示す。

実験結果

リサーチクエスチョン

• RQ1 普遍ヤコビアン多様体の族に対して、インデックス M の非自明な安定シュットキー・ヤコビ形式は存在するか？
• RQ2 普遍ハイパーオービック曲線の族に対して、非自明な安定シュットキー・ヤコビ形式は存在するか？
• RQ3 安定ヤコビ形式の環 A(M) がどのような代数的構造を持つのか？
• RQ4 theta リフトと安定モジュラー形式は、このような形式の構成にどのように寄与するか？

主な発見

• 2k ≢ h (mod 8) のとき Jk,M(Γg) = 0 であるため、普遍ヤコビアン多様体の族に対して非自明な安定シュットキー・ヤコビ形式は存在しない。非消滅形式が存在するためには k ≡ 0 (mod 4) が必要である。
• 普遍ハイパーオービック曲線の族に対して非自明な安定シュットキー・ヤコビ形式が存在する。具体的には、P, Q がランク m ≡ 0 (mod 8) の正定値偶数単模形式であるとき、(ΘP − ΘQ)Θ2M の形をとる。
• ハイパーオービック曲線の族のための安定シュットキー・ヤコビ形式の空間 B^{[4]}(M)_1 は、m ∈ 8ℤ⁺ であるような (ΘP − ΘQ)Θ2M の形の形式によって張られる。
• 安定ヤコビ形式の環 A(M) は二重次数付き環であり、A(M)_0 は多項式環であり、I(M) はハイパーオービック曲線の族上で消える形式に対応するその中の理想である。
• 4次、重さ8のイグザモジュラー形式 φ4 はハイパーオービック曲線の族上で消えるため、canonical lifts を通じたこのような形式の存在を支持する。
• canonical lifting I_{2,6} は尖点形式 Δ を φ4 の非ゼロ倍に写すため、ハイパーオービック曲線の設定において非消滅形式が存在することを確認する。