[論文レビュー] Von Zahlen und Figuren

Yuri I. Manin|ArXiv.org|Jan 1, 2002

History and Theory of Mathematics被引用数 6

ひとこと要約

本稿は、アイゼル・関数と関数方程式を通じて、代数的数論と非可換幾何学の相乗的関係を探る。ヘッケ格子と双対性を用いた数体のアーベル拡大の構成に関する予想的枠組みを提示する。モジュラー変換の下で、関数方程式を満たすアイゼル関数 $\theta_{\theta}$ を確立し、虚二次体における擬格子上のポアソン和公式およびフーリエ変換を通じて、ガロア対称性と調和解析を結びつける。

ABSTRACT

Talk at the International Conference ``Géométrie au vingtième ciècle: 1930--2000'', Paris, Institut Henri Poincaré, Sept. 2001. The title is a homage to Hans Rademacher and Otto Toeplitz whose book fascinated the author many years ago.

研究の動機と目的

• 幾何的直感と代数的記法の相互作用が、特に数体のアーベル拡大の文脈において、数学的アイデアの出現に果たす役割を調査すること。
• アイゼル関数とモジュラー性質を用いた代数的数体のアーベル拡大の予想的構成を探索すること。
• 虚二次体におけるヘッケ格子とその双対との双対性が、算術不変量への到達路として果たす役割を検討すること。
• ガウスの17角形作図可能性に関する古典的結果と、現代の非可換幾何学およびガロア群 $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ を結びつけること。
• アイゼル関数の関数方程式が、コンヌのリーマン予想とガロア対称性の破れにインspiredされた、算術幾何におけるより深い対称性をどのように反映するかを分析すること。

提案手法

• トレース形式 $\mathrm{tr}_{K/\mathbb{Q}}(l'm)$ を用いて定義されたペアリングを持つヘッケ格子 $\Lambda_t \subset \mathbb{C}$ にポアソン和公式を適用する。
• 線形形式 $ (\lambda_0 + \lambda) \cdot \eta $ とガウス型重み $ e^{\pi i v |\lambda|^2} $ を含むアイゼル関数 $\theta_{\Lambda_t, \eta}(v)$ を定義する。
• $ f_{v,\eta}(x) = (x \cdot \eta) e^{\pi i v |x|^2} $ に対するフーリエ変換を計算し、その変換を $ g_{v,\eta}(y) = \frac{i}{v^2} (y \cdot i\bar{\eta}) e^{-\frac{\pi i}{v} |y|^2} $ として得る。
• シフトされたアイゼル関数にポアソン和公式を適用することで、関数方程式を導出し、$ \theta_{\Lambda_t, \eta} $ の $ v $ における値と $ \theta_{\Lambda_t^!, i\bar{\eta}} $ の $ -1/v $ における値を関連付ける。
• 双対格子 $ \Lambda_t^! = \{ m e^{t/2} + i m' e^{-t/2} \mid m \in M \} $ を導入する。ここで $ M = L^? $ は $ L $ の擬格子双対であり、体積 $ \int_{V/\Lambda_t} dx = \Delta(L) $ である。
• 統一アイゼル関数 $ \Theta_L^U $ に対して、モジュラー型関数方程式を確立し、$ \Theta_L^U \left( \frac{l_0}{m_0} \right)(v) = \frac{1}{\Delta(L) v} \Theta_{L^?}^U \left( \frac{m_0}{-l_0} \right) \left( -\frac{1}{v} \right) $ を示す。

実験結果

リサーチクエスチョン

• RQ1 幾何的直感と代数的記法の相互作用が、類体論における新しい構成を生み出す仕組みは何か？
• RQ2 ガロア群 $ \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) $ は、特にアイゼル関数を通じて、数体の算術不変量をどのように整理するか？
• RQ3 虚二次体におけるヘッケ格子上のアイゼル関数の関数方程式が、アーベル拡大に関する情報を符号化できるか？
• RQ4 格子 $ \Lambda_t $ とその双対 $ \Lambda_t^! $ の双対性は、微分イデアル $ \mathfrak{d}^{-1} $ などの算術的性質をどのように反映するか？
• RQ5 アイゼル関数のパrameter $ v $ のモジュラー変換が、非可換幾何学およびコンヌのリーマン予想プログラムに関連する隠れた対称性をどのように明らかにするか？

主な発見

• アイゼル関数 $ \theta_{\Lambda_t, \eta} $ に対して関数方程式が導出された：$ \theta_{\Lambda_t, \eta} \left( \frac{\lambda_{0,t}}{\mu_{0,t}} \right)(v) = \frac{i}{\Delta(L) v^2} \theta_{\Lambda_t^!, i\bar{\eta}} \left( \frac{\mu_{0,t}}{-\lambda_{0,t}} \right) \left( -\frac{1}{v} \right) $、$ v $ と $ -1/v $ を結びつける。
• トレース形式を用いて、トーラス $ V/\Lambda_t $ の体積が $ \Delta(L) $、すなわち擬格子 $ L $ の生成子の行列式の絶対値に等しいことが示された。
• 関数 $ f_{v,\eta}(x) = (x \cdot \eta) e^{\pi i v |x|^2} $ のフーリエ変換が明示的に計算され、$ g_{v,\eta}(y) = \frac{i}{v^2} (y \cdot i\bar{\eta}) e^{-\frac{\pi i}{v} |y|^2} $ として得られた。これによりポアソン和公式の適用が可能になった。
• 双対格子 $ \Lambda_t^! $ は $ \{ m e^{t/2} + i m' e^{-t/2} \mid m \in M \} $ として明示的に構成され、ここで $ M = \{ m \in K \mid \mathrm{tr}_{K/\mathbb{Q}}(l' m) \in \mathbb{Z} \} $ であり、$ \Lambda_t^! $ と可換測度であることが示された。
• 統一アイゼル関数 $ \Theta_L^U $ は関数方程式 $ \Theta_L^U \left( \frac{l_0}{m_0} \right)(v) = \frac{1}{\Delta(L) v} \Theta_{L^?}^U \left( \frac{m_0}{-l_0} \right) \left( -\frac{1}{v} \right) $ を満たし、$ v \mapsto -1/v $ の下でモジュラー不変性を示している。
• 構成により、ガロア群 $ \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) $ が $ \zeta \mapsto \zeta^k $ として作用するが、これは $ \mathbb{C} $ 上の乗法と加法とに整合するが、幾何的回転とは整合しないことが明らかになった。これにより、空間的直感よりも代数的構造の優位性が強調された。