[論文レビュー] Finiteness of stable orthogonal modular varieties of non-general type

Shouhei Ma|arXiv (Cornell University)|Sep 27, 2013

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

ひとこと要約

この論文は、$n \geq 15$ である偶数のラティス $L$ で符号型 $(2,n)$ のものについて、安定正格的モジュラー多様体 $ olinebreak[4]\mathcal{F}_L$ が一般型でないようなものは有限個であることを証明している。証明は判別群の性質を用いて問題を準巡回的ラティスに還元し、モジュラー形式および尖点形式理論を用いて有限性を確立する。$n \geq 42$ では $ olinebreak[4]\mathcal{F}_L$ が一般型であることが示され、高次元における非一般型モジュラー多様体は例外的であることが確認される。

ABSTRACT

We prove that there are only finitely many even lattices L of signature (2,n) with n>14 such that the modular variety defined by the stable orthogonal group of L is not of general type.

研究の動機と目的

• $n$ が大きいとき、符号型 $(2,n)$ の偶数ラティス $L$ に対応するモジュラー多様体 $\mathcal{F}_L$ がほとんど常に一般型であることを確立すること。
• すべての $n \geq 15$ に対して、$ olinebreak[4]\mathcal{F}_L$ が一般型でないようなラティス $L$ は有限個であることを証明すること。
• 判別群の性質を活用して、一般の場合を、判別群の挙動が制御可能で尖点形式の持ち上げが可能な準巡回的ラティスのクラスに還元すること。
• 一般型の代数的タイプが $ olinebreak[4]\mathcal{F}_L$ のほとんど至るところで成立することを示し、高次元正格的モジュラー多様体における非一般型例の稀少性を強調すること。

提案手法

• 判別群の指数が制御可能な準巡回的上ラティスの存在を用いて、主問題を準巡回的ラティスに還元する。
• 安定正格的群 $\widetilde{\rm O}^+(L)$ を用いて、$ olinebreak[4]\mathcal{F}_L = \widetilde{\rm O}^+(L)\backslash \mathcal{D}_L$ を定義し、次元 $n$ の準射影的多様体とする。
• ジャコビ持ち上げを尖点形式に適用し、準巡回的条件により持ち上げが依然として尖点形式のままであることを保証する。
• 特に $p=2$ を含む各素数 $p$ における局所的解析により、判別群 $A_L$ 内の極小部分群 $G$ を構成し、$G^\perp/G$ が準巡回的かつ高い指数を保つようにする。
• モジュラー形式の尖点における消失の順序を用いて非一般型の挙動を検出する。特に、ある種のモジュラー形式が消失しないことを利用する。
• Gritsenko, Hulek, Sankaran による正格的モジュラー多様体のコルデイア次元に関する結果を活用し、有限性の議論を支援する。

実験結果

リサーチクエスチョン

• RQ1 符号型 $(2,n)$ の偶数ラティス $L$ で $n \geq 15$ であるものについて、$ olinebreak[4]\mathcal{F}_L$ が一般型でないようなものは有限個に限られるか？
• RQ2 非一般型モジュラー多様体の有限性は、準巡回的ラティスのクラスに還元することで確立可能か？
• RQ3 判別群の指数および構造が $ olinebreak[4]\mathcal{F}_L$ の双有理型の決定に果たす役割は何か？
• RQ4 安定正格的群 $\widetilde{\rm O}^+(L)$ は $ olinebreak[4]\mathcal{F}_L$ の双有理幾何にどのように影響を与えるか？
• RQ5 モジュラー形式および尖点形式の持ち上げ法を用いて、正格的モジュラー多様体における非一般型の挙動を検出することはどの程度可能か？

主な発見

• 符号型 $(2,n)$ で $n \geq 15$ である偶数ラティス $L$ に対して、$ olinebreak[4]\mathcal{F}_L$ が一般型でないようなものは有限個に限られる。
• すべての $n \geq 42$ に対して $ olinebreak[4]\mathcal{F}_L$ は一般型であることが示され、これは鋭い有効な境界を示している。
• 理論的には、十分な計算を用いればすべての例外的 $L$ を列挙可能であるため、有限性結果は有効である。
• 任意の符号型 $(2,n)$ の偶数ラティス $L$ に対して、$n \geq 15$ であるとき、その判別群 $A_L$ の指数が特定の $D$ よりも大きいならば、$ olinebreak[4]\mathcal{F}_L$ は一般型である。
• 一般問題を還元するには、準巡回的ラティスのクラスが十分であり、任意のラティスは判別群の指数が制御可能な準巡回的上ラティスをもつ。
• 2-群上の準巡回的形式の判別群の長さは最大で5であるため、このような形式の複雑さが上限を持つ。