[論文レビュー] Equivariant birational geometry and modular symbols

Maxim Kontsevich, Vasily Pestun+1 more|arXiv (Cornell University)|Feb 26, 2019

Advanced Algebra and Geometry参考文献 1被引用数 9

ひとこと要約

本稿は、有限アーベル群 $G$ に関連する記号的モジュール $\mathcal{B}_n(G)$ および $\mathcal{M}_n(G)$ を用いて、等変双有理幾何における新しい不変量を導入し、滑らかで射影的な多様体 $X$ に対して、クラス $\beta(X) \in \mathcal{B}_n(G)$ が $G$-等変双有理変換に関して不変であることを示している。主な貢献は、これらの不変量とモジュラー記号、算術群のコホモロジーとの間の深い関係の発見であり、明示的な計算によりモジュラー形式やヘッケ作用素との関連が明らかになった。

ABSTRACT

We introduce new invariants in equivariant birational geometry and study their relation to modular symbols and cohomology of arithmetic groups.

研究の動機と目的

• 有限アーベル群 $G$ に対して、記号的モジュール $\mathcal{B}_n(G)$ および $\mathcal{M}_n(G)$ を用いて、等変双有理幾何における新しい不変量を定義し、それらを研究すること。
• $G$-固定点の軌道と接表現から構成されるクラス $\beta(X) \in \mathcal{B}_n(G)$ が、$G$-等変双有理変換に関して不変であることを確立すること。
• これらの記号的モジュールとモジュラー記号、算術群のコホモロジー、およびモジュラー形式との関係を調査すること。
• $\mathcal{M}_n(G)$ 上でのヘッケ作用素の作用を探索し、$\mathbb{Q}$ および $\mathbb{F}_\ell$ 上でのこれらのモジュールの構造を分析すること。
• $\mathcal{B}_n(G)$ および $\mathcal{M}_n(G)$ の定義関係が著しく過剰に定義されていること、および高い冗長性にもかかわらず非自明な解が存在することの理由を理解すること。

提案手法

• $A = G^\vee$ の元 $a_i$ を持つ記号 $[a_1,\dots,a_n]$ で生成される $\mathbb{Z}$-モジュールとして $\mathcal{B}_n(G)$ を定義し、すべての $2 \leq k \leq n$ に対して、対称性 (S) および一般化されたベズォー型関係 (B) を満たすものとする。
• $\mathcal{M}_n(G)$ を、(S) および (M) の関係を満たすが、和の項における相異なる条件を除いたものとして定義し、繰り返しのあるキャラクターを対称的に扱えるようにする。
• $G$-作用が一般に自由である滑らかで射影的な多様体 $X$ に対して、$G$-固定点における接表現の分解を用いて、$G$-等変双有理不変量 $\beta(X) \in \mathcal{B}_n(G)$ を構成する。
• $\mathcal{M}_n(G) \otimes \overline{\mathbb{Q}}$ や $\mathcal{M}_n(G) \otimes \overline{\mathbb{F}}_p$ 上に作用するヘッケ作用素 $T_{\ell,r}$ を導入し、そのスペクトル的性質を研究する。
• コンピュータ代数を用いて、$G = \mathbb{Z}/N\mathbb{Z}$ の場合の $\mathcal{B}_n(G) \otimes \mathbb{Q}$、$\mathcal{M}_n(G) \otimes \mathbb{Q}$、$\mathcal{B}_n(G) \otimes \mathbb{F}_\ell$ の次元を計算し、パターンや torsion を明らかにする。
• $n$ が小さい場合の $\dim(\mathcal{B}_n(G) \otimes \mathbb{Q})$ と $\dim(\mathcal{M}_n(G) \otimes \mathbb{Q})$ を比較し、$n=2,3,4,5$ で一致することが観察され、より深い構造的同型の可能性を示唆する。

実験結果

リサーチクエスチョン

• RQ1 $G$-固定点のデータから構成されるクラス $\beta(X) \in \mathcal{B}_n(G)$ は、$G$-等変双有理多様体 $X$ に対して、$G$-等変双有理写像に関して不変であるか。
• RQ2 記号的モジュール $\mathcal{B}_n(G)$ および $\mathcal{M}_n(G)$ は、特にモジュラー記号や算術群のコホモロジーと関連して、算術的・自動形式的構造をどの程度反映しているか。
• RQ3 $\mathcal{B}_n(G)$ および $\mathcal{M}_n(G)$ の極めて過剰に定義された関係系が、$n \geq 3$ の場合に非自明な解を許容する理由は何か。
• RQ4 $\mathcal{B}_n(G) \otimes \mathbb{Q}$ および $\mathcal{M}_n(G) \otimes \mathbb{Q}$ の次元は、類数やモジュラー形式の次元といった既知の算術的不変量とどのように関係しているか。
• RQ5 ヘッケ作用素は $\mathcal{M}_n(G)$ の構造において果たす役割は何か。また、$\overline{\mathbb{Q}}$ および $\overline{\mathbb{F}}_p$ 上でのスペクトルは、$G$ の算術的性質をどのように反映しているか。

主な発見

• $p \geq 5$ を素数とする $G = \mathbb{Z}/p\mathbb{Z}$ に対して、$\mathcal{B}_2(G)$ の $\mathbb{Q}$-ランクは $\frac{p^2 + 23}{24}$ であり、モジュラー形式との関係を示唆している。
• $p = 37$ の場合、群 $\mathcal{B}_2(\mathbb{Z}/37\mathbb{Z})$ は $\ell = 3$ および $19$ の $\ell$-torsion を持つことが判明し、不変量に非自明な torsion が存在することを示している。
• $G = \mathbb{Z}/27\mathbb{Z}$ および $G = \mathbb{Z}/43\mathbb{Z}$ の場合、$\mathcal{B}_4(G)$ の $\mathbb{Q}$-ランクは 1 であり、高次元における非自明な解の存在を示している。
• $n=2,3,4,5$ および小さな $N$ に対して、$\dim(\mathcal{B}_n(G) \otimes \mathbb{Q})$ と $\dim(\mathcal{M}_n(G) \otimes \mathbb{Q})$ が一致しており、深い構造的同型の可能性を示唆している。
• $n=4$ の場合、$\dim(\mathcal{B}_4(\mathbb{Z}/43\mathbb{Z}) \otimes \mathbb{Q}) = 1$ であり、$\dim(\mathcal{B}_4(\mathbb{Z}/59\mathbb{Z}) \otimes \mathbb{Q}) = 1$ であるため、まれではあるが非自明な不変量が存在することが示された。
• $G = \mathbb{Z}/N\mathbb{Z}$ の場合、$\mathcal{B}_n(G)$ および $\mathcal{M}_n(G)$ の $\mathbb{F}_2$-次元は $N$ と共に増加し、$N=32$ のとき $\dim(\mathcal{B}_5(G) \otimes \mathbb{F}_2) = 1$ であることが判明し、mod 2 コホモロジーにおける torsion と非自明な構造が存在することが示された。