[論文レビュー] Height zeta functions of equivariant compactifications of semi-direct products of algebraic groups

Sho Tanimoto, Yuri Tschinkel|arXiv (Cornell University)|Apr 1, 2011

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

ひとこと要約

この論文は、数体上の代数群の半直積の等変コンパクト化における有理点の漸近的分布を研究するために高さゼータ関数を適用する。アデール群上のスペクトル理論を用いて、スペクトル展開の主要項がマニン予想の予測と一致することを証明し、$ r $ をピカール数として $ c \cdot B \log(B)^{r-1} $ の形の主要項を持つ。また、マニン予想を満たす新しい有理曲面の例を提示する。

ABSTRACT

We apply the theory of height zeta functions to study the asymptotic distribution of rational points of bounded height on projective equivariant compactifications of semi-direct products.

研究の動機と目的

• 代数群の半直積の等変コンパクト化における、高さが有界な有理点の漸近的分布を確立すること。
• 高さゼータ関数を用いて、これらの多様体におけるマニン予想の予測を検証すること。
• 高さゼータ関数のスペクトル展開における主要項が、期待される漸近形 $ c \cdot B \log(B)^{r-1} $ と一致することを示すこと。
• 高さゼータ関数の手法を用いて、マニン予想を満たす新しい有理曲面の例を提供すること。

提案手法

• 非常に豊富なラインバンドルに付随するアデール的メトライゼーションに関連する高さゼータ関数を用いて、高さが有界な有理点を数える。
• アデール群上のスペクトル理論を適用し、ゼータ関数を1次元表現および無限次元表現からの寄与に分解する。
• アデール環上の調和解析を用いて、ゼータ関数の局所因子を分析し、特にp進積分と特徴和に注目する。
• 可解な線形代数的群の等変コンパクト化の理論を用いて、境界除数の幾何構造とそのピカール群構造を記述する。
• 定常位相の方法とp進積分を用いて、局所因子 $ \widehat{\mathsf{H}}_p $ を推定し、一様収束性と評価を得る。
• ゼータ関数がシフトされた有効コーンの上にあるチューブ領域で正則であることを確立し、スペクトル展開の収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 代数群の半直積の等変コンパクト化における高さゼータ関数は、マニン予想と一致する主要項を示すか？
• RQ2 高さゼータ関数のスペクトル展開を用いて、高さが有界な有理点の予測される漸近的増加 $ c \cdot B \log(B)^{r-1} $ を導出できるか？
• RQ3 これらの多様体における高さゼータ関数のスペクトル分解において、1次元表現の寄与は果たす役割は何か？
• RQ4 p進積分と特徴和は、ゼータ関数の局所因子の収束性および解析的性質にどのように寄与するか？
• RQ5 この手法により、マニン予想を満たす新しい有理曲面の例を生成できるか？

主な発見

• 高さゼータ関数のスペクトル展開における主要項は、正確にマニン予想が予測する主要項 $ c \cdot B \log(B)^{r-1} $ に一致する。ここで $ r $ はピカール数である。
• ゼータ関数 $ \mathsf{Z}_1(\mathbf{s}, \text{id}) $ は、シフトされた有効コーン $ -K_X + \Lambda_{\text{eff}}(X) $ の開近傍の上にあるチューブ領域で正則であり、スペクトル級数の収束を保証する。
• 局所因子 $ \widehat{\mathsf{H}}_p $ は $ C' / p^{1+\epsilon} $ で一様に有界であり、グローバルゼータ関数は適切な領域のコンパクト部分集合上で絶対的かつ一様に収束する。
• $ \iota \in \mathcal{I}_3 $ に対して、積分 $ \int_{\rho^{-1}(\tilde{x})} $ は $ e_\iota > 1 $ ならば消え、$ e_\iota = 1 $ ならば $ -p^{-(s_\iota - d_\iota + 2)}/(p-1) $ に等しい。これにより、特徴和における正確なキャンセルが示される。
• この手法により、トーラスに基づく手法の範囲を超えて、マニン予想を満たす新しい有理曲面の例が得られる。
• スペクトル解析により、1次元表現の寄与が支配的であり、期待される漸近形と一致することが確認され、これは基礎となる数体とは無関係である。