[論文レビュー] Projective spaces as orthogonal modular varieties

Haowu Wang, Brandon Williams|arXiv (Cornell University)|Aug 19, 2020

Advanced Algebra and Geometry参考文献 19被引用数 4

ひとこと要約

本稿では、型IVの対称領域上で作用する16個の反射群Γを構成し、その整数重みの直交モジュラー形式の代数が、同じ重みの形式によって自由生成されることを示した。これにより、Satake–Baily–Borelコンパクト化が複素射影空間に同型となる。著者らは、Borcherds積と、反射鏡上での重複度1で正しく消失するモジュラー形式に基づく自由性の基準を用いて、既知の結果を統一的かつ拡張的に扱った。

ABSTRACT

We construct $16$ reflection groups $Γ$ acting on symmetric domains $\mathcal{D}$ of Cartan type IV, for which the graded algebras of modular forms are freely generated by forms of the same weight, and in particular the Satake--Baily--Borel compactification of $\mathcal{D} / Γ$ is isomorphic to a projective space. Four of these are previously known results of Freitag--Salvati Manni, Matsumoto, Perna and Runge. In addition we find several new modular groups of orthogonal type whose algebras of modular forms are freely generated.

研究の動機と目的

• 型IVのエルミート対称領域上で作用する反射群Γを特定・構成し、そのモジュラー形式の代数M_*(Γ)が同じ重みの形式によって自由生成されることを示すこと。
• 複素射影空間に同型である既知の4つの事例を、直交モジュラー形式を用いて統一的に再証明すること。
• モジュラー形式の代数が自由生成される新たなモジュラー群を発見し、それらを用いて射影空間をモジュラー多様体として新たに実現すること。
• 先行研究における基準（反射鏡上での重複度1で正しく消失するモジュラー形式）を応用し、このような群を体系的に構成すること。

提案手法

• Wang (2020) が提示した基準を用いる。M_*(Γ) が自由生成されるための十分条件は、Γ に属するすべての反射鏡上で重複度1で消失し、かつ生成子のヤコビアンに等しいモジュラー形式が存在することである。
• 型IVの対称領域 D_n における直交モジュラー形式の枠組みを用いる。D_n は O^+(n,2)/SO(n) × O(2) として実現される。
• Borcherds積を用いて、反射超平面での指定された消失除数を持つモジュラー形式を構成する。
• 2U(2)⊕A_1, 2U(3)⊕A_1, 2U(2)⊕2A_1, 2U(3)⊕A_2 の格子構造を分析し、新しい反射群を構成する。
• 特異重みのBorcherds積およびそれに関連する*-集合の明示的計算を用い、代数の自由性を検証する。
• 代数が同じ重みの n+1 個の生成子による多項式環であること、したがって Satake–Baily–Borelコンパクト化 Proj(M_*(Γ)) が射影空間に同型であることを確認することで、コンパクト化が射影空間に同型であることを検証する。

実験結果

リサーチクエスチョン

• RQ1 O^+(n,2) に含まれるどの反射群Γが、型IVの領域 D_n/Γ のSatake–Baily–Borelコンパクト化が複素射影空間に同型となるか？
• RQ2 どの格子Lに対して、直交モジュラー形式の代数M_*(Γ) が同じ重みの形式によって自由生成されるか？
• RQ3 既知のP^3(C)およびP^4(C)に同型であるモジュラー多様体の事例が、Borcherds積および反射群論を用いて一様に再導出可能か？
• RQ4 M_*(Γ) が n+1 個の同じ重みの形式によって自由生成されるような、新たな反射群は存在するか？ それらにより得られるコンパクト化がP^n(C)に同型となるか？
• RQ5 反射鏡上で重複度1で正しく消失するモジュラー形式の存在が、自由代数を構成する基準としてどのように利用可能か？

主な発見

• 著者らは、型IVの領域上で作用する16個の新たな反射群Γを構成し、その整数重みのモジュラー形式の代数M_*(Γ) が同じ重みの形式によって自由生成されることを示した。
• そのうち4つの事例は、既に知られていた結果に対応する：Runge（P^3）、Matsumoto（P^4）、Freitag–Salvati Manni（P^4）、Perna（P^3）—これらは一様に再導出された。
• 格子 2U(2)⊕2A_1 に対して、2つの新たな自由代数が得られた：1つは重み1の5つの形式によって生成され（コンパクト化はP^4に同型）、もう1つは重み2の4つと重み1の1つの形式によって生成される（同様にP^4に同型）。
• 格子 2U(3)⊕A_2 に対しても、2つの新たな自由代数が構成された：1つは重み2の5つの形式（P^4コンパクト化）、もう1つは重み2の4つと重み1の1つの形式（P^4コンパクト化）。
• P^3(C)に同型となる8つの新たな反射群が同定された。そのうち3つは 2U(2)⊕A_1 に関連し、生成子の重みは {2,2,2,2}、{1,1,1,1}、{1,2,2,2} である。
• 本稿では、Borcherds積および生成子のヤコビアンと鏡上での消失に関する基準を用いて、既知および新規のすべての事例を一様に扱った。