[论文解读] Projective spaces as orthogonal modular varieties

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

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

一句话总结

本文構造了16個作用於IV型赫爾米特對稱域的反射群，其正交模形式的分次代數由同種權的模形式自由生成，進而導致Satake–Baily–Borel緊化同構於複射影空間。作者利用Borcherds乘積與一個基於模形式在反射鏡面上恰好以重數一為零的自由性判據，統一並推廣了已知結果。

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_*(Γ)由同種權的模形式自由生成。
• 統一並重證四個已知情況：模形式變種同構於複射影空間，使用正交模形式。
• 發現新的模群，其模形式代數自由生成，進而實現射影空間作為模形式變種的新實例。
• 應用先前工作中的判據——基於模形式在反射鏡面上恰好以重數一為零——系統性地構造此類群。

提出的方法

• 使用Wang（2020）的判據：若存在一個模形式在Γ的所有反射鏡面上恰好以重數一為零，且等於生成元的雅可比行列式，則M_*(Γ)自由生成。
• 在IV型對稱域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)的反射群Γ會使得模形式變種D_n/Γ的Satake–Baily–Borel緊化同構於複射影空間？
• RQ2 對於哪些格L，正交模形式代數M_*(Γ)由同種權的模形式自由生成？
• RQ3 能否統一地透過Borcherds乘積與反射群理論重新推導出模形式變種同構於P^3(C)與P^4(C)的已知情況？
• RQ4 是否存在新的反射群，使得M_*(Γ)由n+1個同種權的模形式自由生成，進而導致緊化同構於P^n(C)？
• RQ5 如何利用一個模形式在反射鏡面上恰好以重數一為零的存在性作為構造此類自由代數的判據？

主要发现

• 作者構造了16個新的反射群Γ，作用於IV型域，使得分次代數M_*(Γ)由同種權的模形式自由生成。
• 其中四個情況對應於先前已知結果：Runge（P^3）、Matsumoto（P^4）、Freitag–Salvati Manni（P^4）與Perna（P^3），現已統一重新導出。
• 對於格2U(2)⊕2A_1，發現兩個新的自由代數：一個由五個權1模形式生成（緊化同構於P^4），另一個由四個權2與一個權1模形式生成（亦同構於P^4）。
• 對於格2U(3)⊕A_2，構造了兩個新的自由代數：一個由五個權2模形式生成（P^4緊化），另一個由四個權2與一個權1模形式生成（P^4緊化）。
• 發現八個新的反射群，其緊化同構於P^3(C)，其中三組與2U(2)⊕A_1相關，生成元權重分別為{2,2,2,2}、{1,1,1,1}與{1,2,2,2}。
• 本文透過Borcherds乘積與基於生成元雅可比行列式及在鏡面上零點的判據，統一處理了所有已知與新情況。