[論文レビュー] Campana points on biequivariant compactifications of the Heisenberg group

Huan Xiao|arXiv (Cornell University)|Apr 28, 2020

Advanced Algebra and Geometry参考文献 23被引用数 5

ひとこと要約

この論文は、有理数体上でのヘイゼンベルク群の双不変コンパクト化におけるCampana点の対数Manin予想を、表現論とスペクトル分解を用いた高さゼータ関数の分析により確認した。その結果、$b^\prime - 1$ 階の対数的項を含む漸近的数え上げ公式が得られ、ここで $b^\prime$ は有限集合 $S$ 内の場所における局所的不変量と除数配置から導かれる幾何的不変量である。この結果により、このクラスのファノ多様体におけるCampana点の予想される漸近的成長率が裏付けられた。

ABSTRACT

We study Campana points on biequivariant compactifications of the Heisenberg group and confirm the log Manin conjecture introduced by Pieropan, Smeets, Tanimoto and Várilly-Alvarado.

研究の動機と目的

• 有理数体上でのヘイゼンベルク群の双不変コンパクト化におけるCampana点の対数Manin予想を検証すること。
• これらの多様体上での高さ有界なCampana点の分布を、高さゼータ関数を用いて分析すること。
• Campana点の数え上げ関数の正確な漸近的成長率を計算し、対数的項と主要定数を特定すること。
• 高さゼータ関数のスペクトル分解を確立し、幾何的不変量 $b^\prime$ に対応する $s=1$ における極の位数を特定すること。

提案手法

• 双不変コンパクト化上のアデール的に度が付けられたラインバンドルに関連する高さゼータ関数を用いる。
• ヘイゼンベルク群の表現論を用いて、高さゼータ関数を $\mathsf{Z}_{0,\varepsilon}(sL)$、$\mathsf{Z}_{1,\varepsilon}(sL)$、$\mathsf{Z}_{2,\varepsilon}(sL)$ の成分にスペクトル分解する。
• 極の位数を、$D_{\mathrm{red}}$ のkltおよび非klt部分の寄与を分析し、有限集合 $S$ 内の場所における局所的不変量を用いて決定する。
• スペクトル分解にタウバリアン定理を適用し、極の位数から漸近公式を導出する。
• 背理法を用いて、唯一 $\mathsf{Z}_{0,\varepsilon}(sL)$ の成分が $b^\prime$ 階の主要極に寄与することを示す。
• 不変量 $b^\prime$ は $\#\mathcal{A}^{\mathrm{klt}} + \sum_{v\in S} b(\mathbb{Q}_v, (X,D_{\mathrm{red}}), L)$ として定義され、グローバルおよび局所的な幾何的データを統合する。

実験結果

リサーチクエスチョン

• RQ1 有理数体上でのヘイゼンベルク群の双不変コンパクト化において、Campana点の対数Manin予想は成立するか？
• RQ2 このような多様体上での高さ有界なCampana点の数の正確な漸近的成長率は何か？
• RQ3 高さゼータ関数のスペクトル分解は、コンパクト化の幾何的および算術的構造をどのように反映するか？
• RQ4 除数配置と局所的不変量は、高さゼータ関数の極の位数を決定する上で果たす役割は何か？
• RQ5 漸近公式における対数的項は、コンパクト化の幾何とCampana除数から明示的に計算可能か？

主な発見

• 高さゼータ関数 $\mathsf{Z}_{\varepsilon}(sL)$ は $s=1$ に位数 $b^\prime$ の極を持つ。ここで $b^\prime = \#\mathcal{A}^{\mathrm{klt}} + \sum_{v\in S} b(\mathbb{Q}_v, (X,D_{\mathrm{red}}), L)$ である。
• $\mathsf{Z}_{0,\varepsilon}(sL)$ は位数 $b^\prime$ の極を寄与するが、$\mathsf{Z}_{1,\varepsilon}(sL)$ および $\mathsf{Z}_{2,\varepsilon}(sL)$ はより低い位数の極を寄与する。
• Campana点の数え上げ関数は、$T \to \infty$ のとき $\mathsf{N}(G(\mathbb{Q})_{\varepsilon},\mathcal{L},T) \sim \frac{\overline{c}}{(b^\prime-1)!} T (\log T)^{b^\prime-1}$ を満たし、対数Manin予想が確認された。
• 定数 $\overline{c} > 0$ は有限集合 $S$、整数モデル $(\mathcal{X}, \mathcal{D}_{\varepsilon})$、およびアデール的度が付けられたラインバンドル $\mathcal{L}$ に依存する。
• 背理法により、$s=1$ における極の位数が正確に $b^\prime$ であることが示され、より大きな除数配置が極に寄与することはないことが証明された。
• この結果により、このクラスの多様体における対数Manin予想が裏付けられ、これまでのトーリックおよびベクトル群コンパクト化に関する結果が、非トーリック的で非トーリックに似た構造を有する、非自明な群構造を有するファノ多様体へと拡張された。