[論文レビュー] Local zeta factors and geometries under Spec Z

Yuri I. Manin|arXiv (Cornell University)|Jul 18, 2014

Advanced Mathematical Identities参考文献 20被引用数 10

ひとこと要約

本稿は、ヘッケ尖型形式の奇数周期多項式にロドリゲス＝ヴィレガス変換を適用することでゼータ多項式を構成し、それが臨界線の中心軸上に非自明な零点をもつ関数等式を満たすことを示している。さらに、ハビロ環の部分環にチェビシェフのλ構造を導入することで、$ℝ_1$ 上の実解析的幾何をモデル化し、標準的なトーリック構造とは区別され、ゼータ関数における実ガンマ因子への幾何的ブリッジを提供する。

ABSTRACT

The first part of this note shows that the odd period polynomial of each Hecke cusp eigenform for full modular group produces via Rodriguez--Villegas transform ([Ro--V]) a polynomial satisfying the functional equation of zeta type and having nontrivial zeros only on the middle line of its critical strip. The second part discusses Chebyshev lambda--structure of the polynomial ring as Borger's descent data to $\bold{F}_1$ and suggests its role in possible relation of $Γ_{\bold{R}}$--factor to "real geometry over $\bold{F}_1$" (cf. also [CoCons2]).

研究の動機と目的

• ヘッケ尖型形式と、臨界線の中心軸上に零点をもつ関数等式を満たすゼータ多項式との間の関係を確立すること。
• ハビロ環上の異なるλ構造が、$ℝ_1$ 上の異なるアーキメデス的幾何（特に複素構造と実解析的構造）をどのようにモデル化できるかを調査すること。
• ボルガーのλ構造フレームワークを用いて、$ℝ_1$ への降下データとして、ゼータ関数における実ガンマ因子の幾何的解釈を提供すること。
• 周期多項式とゼータ的多項式を結びつけることで、$ℝ_1$ 上のゼータ関数と無限次元射影空間との類似性を拡張すること。

提案手法

• ヘッケ尖型形式の奇数周期多項式にロドリゲス＝ヴィレガス変換を適用し、臨界線の中心軸上に零点をもつ関数等式を満たすゼータ多項式を生成する。
• 特定の生成子 $r = 1 + q + \sum_{n=1}^\infty q^n(1-q)\cdots(1-q^n)$ を用いて、ハビロ環 $\mathcal{H}$ の部分環 $\mathcal{H}_0$ を定義し、$r = q + q^{-1}$ を満たすことを示す。
• $k$-番目のチェビシェフ多項式 $T_k$ を用いて、$\psi^k(r) = T_k(r)$ として、$\mathcal{H}_0$ にチェビシェフのλ構造を導入する。
• このチェビシェフ構造が、標準的なトーリックλ構造 $\psi^k(q) = q^k$ とは異なり、$\mathcal{H}_0$ が $\mathcal{H}$ よりも厳密に小さいこと（$q \notin \mathcal{H}_0$）を示し、$q \mapsto q^{-1}$ に関して不変でないことを示す。
• $r = q + q^{-1}$ が単位根上で実数値をとることを用いて、$\mathcal{H}_0$ が$ℝ_1$ 上の実解析的幾何をモデル化していると解釈する。これは、トーリック構造の複素幾何と対照的である。
• ボルガーの降下理論を用いて、2つのλ構造を$ℝ_1$ への降下データとして解釈し、ゼータ関数における複素および実アーキメデス的因子の区別を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ヘッケ尖型形式の奇数周期多項式は、臨界線の中心軸上に非自明な零点をもつ関数等式を満たすゼータ多項式に変換可能か？
• RQ2 ハビロ環上の異なるλ構造は、ゼータ関数における複素および実アーキメデス的因子の違いをどのように反映するか？
• RQ3 部分環 $\mathcal{H}_0 \subset \mathcal{H}$ 上のチェビシェフλ構造の幾何的意義は何か？ また、トーリック構造とはどのように異なるか？
• RQ4 ハビロ環およびその部分環は、単位根上の実数値関数を符号化することで、'$ℝ_1$ 上の実幾何' のモデルとして機能できるか？
• RQ5 周期多項式のロドリゲス＝ヴィレガス変換は、特徴1におけるメリン変換およびゼータ関数とどのように関係するか？

主な発見

• ヘッケ尖型形式の奇数周期多項式に対するロドリゲス＝ヴィレガス変換により、$s = c/2$ を中心として対称な関数等式を満たし、すべての非自明な零点が臨界線の中心軸上にあるゼータ多項式が得られる。
• 得られたゼータ多項式 $H_f$ の次数は $e = w - 10$ であり、$w = k - 2$ は重みに関連するパラメータである。その零点は複素平面上の単位円上にある。
• 生成子 $r = 1 + q + \sum_{n=1}^\infty q^n(1-q)\cdots(1-q^n)$ を用いて生成される部分環 $\mathcal{H}_0 \subset \mathcal{H}$ は、チェビシェフλ構造 $\psi^k(r) = T_k(r)$ に関して不変であり、これは標準的なトーリック構造とは異なる。
• $\mathcal{H}_0$ は $\mathcal{H}$ よりも厳密に小さい。これは $q \notin \mathcal{H}_0$ であることに起因し、$\mathcal{H}_0$ の元は $\zeta \mapsto \zeta^{-1}$ に関して不変であるが、$q$ はそうではない。
• チェビシェフλ構造は、$r = q + q^{-1}$ が単位根上で実数値をとることから、$ℝ_1$ 上の実解析的幾何に対応する。これは、複素数値をとるトーリック構造とは対照的である。
• 本構成により、ゼータ関数における実ガンマ因子が、チェビシェフλ構造による$ℝ_1$ への降下から生じることを幾何的に解釈でき、複素の場合とは明確に区別される。