[論文レビュー] A Solution to the Real Multiplication Program in Positive Characteristic I: Quantum Modular Invariant and Hilbert Class Fields

L. Demangos, T. M. Gendron|arXiv (Cornell University)|Jul 8, 2016

Algebraic Geometry and Number Theory参考文献 8被引用数 3

ひとこと要約

本稿は、正標数におけるマニンの実乗法プログラムの主要な側面を、$ k_{\infty} = \mathbb{F}_q((T^{-1})) $ 上の多価なモジュラー関数である量子モジュラー不変量 $ j^{mqt} $ を導入することによって解決する。この関数を用いて、実二次体拡張 $ K = k(f) $ のヒルベルト類体 $ H_{\mathcal{O}_K} $ が、$ j^{mqt}(f) $ の多価値の積によって $ K $ 上に生成されることを証明し、正標数における明示的類体論の構成を与える。

ABSTRACT

This is the first of a series of two papers in which we present a solution to Manin's Real Multiplication program -- an approach to Hilbert's 12th problem for real quadratic extensions of $\mathbb{Q}$ -- in positive characteristic, using quantum analogs of the exponential function and the modular invariant. In this first paper, we treat the problem of Hilbert class field generation. If $k=\mathbb{F}_{q}(T)$ and $k_{\infty}$ is the analytic completion of $k$, we introduce the quantum modular invariant \[ j^{ m qt}: k_{\infty}\multimap k_{\infty}\] as a multivalued, modular invariant function. Then if $K=k(f)\subset k_{\infty}$ is a real quadratic extension of $k$ where $f$ is a quadratic unit, we show that the Hilbert class field $H_{\mathcal{O}_{K}}$ (associated to $\mathcal{O}_{K}=$ integral closure of $\mathbb{F}_{q}[T]$ in $K$) is generated over $K$ by the product of the multivalues of $j^{ m qt}(f)$.

研究の動機と目的

• 正標数における $ \mathbb{F}_q(T) $ の実二次体拡張に対してヒルベルトの12番目の問題を解決すること。
• 完成化 $ k_{\infty} $ 上で多価かつモジュラー不変な関数としての量子モジュラー不変量 $ j^{mqt} $ を開発すること。
• 実二次体拡張 $ K $ の整数環 $ \mathcal{O}_K $ のヒルベルト類体 $ H_{\mathcal{O}_K} $ を構成すること。
• $ f $ が二次単数であるとき、$ H_{\mathcal{O}_K} $ が $ j^{mqt}(f) $ の多価値の積によって $ K $ 上に生成されることを確立すること。

提案手法

• 完成化 $ k_{\infty} = \mathbb{F}_q((T^{-1})) $ 上で、多価かつモジュラー不変な関数としての量子モジュラー不変量 $ j^{mqt}: k_{\infty} \multimap k_{\infty} $ を導入する。
• $ k = \mathbb{F}_q(T) $ を定義し、$ f $ を $ k_{\infty} $ 内の二次単数とする実二次体拡張 $ K = k(f) $ を考察する。
• $ j^{mqt}(f) $ の多価性を活用して、ヒルベルト類体 $ H_{\mathcal{O}_K} $ の代数的生成子を抽出する。
• 量子モジュラー関数の性質と正標数における類体論を用いて、$ j^{mqt}(f) $ の多価値の積が $ K $ 上で $ H_{\mathcal{O}_K} $ を生成することを示す。
• $ j^{mqt} $ のモジュラー不変性を活用して、類体のガロア作用との整合性を保証する。
• 構成が $ \mathcal{O}_K $ の算術に内在的であることを確立し、単数群と類群の構造に依存することを示す。

実験結果

リサーチクエスチョン

• RQ1 正標数において、$ \mathbb{F}_q(T) $ の実二次体拡張のヒルベルト類体を生成するための量子モジュラー不変量を構成できるか？
• RQ2 $ j^{mqt}(f) $ の多価性は、ヒルベルト類体拡張のガロア群とどのように関係するか？
• RQ3 $ H_{\mathcal{O}_K} $ の $ K $ 上での正確な代数的生成子は何か？ そしてそれは $ j^{mqt}(f) $ の値にどのように符号化されているか？
• RQ4 量子モジュラー不変量 $ j^{mqt} $ は、正標数において必要なモジュラー変換性を満たすか？
• RQ5 古典的モジュラー形式に依存せずに、$ j^{mqt}(f) $ の値のみを用いて $ \mathcal{O}_K $ のヒルベルト類体を明示的に生成できるか？

主な発見

• $ j^{mqt} $ は、$ k_{\infty} = \mathbb{F}_q((T^{-1})) $ 上で定義された多価かつモジュラー不変な関数として定義され、古典的モジュラー $ j $-不変量を量子的設定に一般化する。
• 二次単数 $ f $ を持つ実二次体拡張 $ K = k(f) $ に対して、ヒルベルト類体 $ H_{\mathcal{O}_K} $ は、$ j^{mqt}(f) $ の多価値の積によって $ K $ 上に生成される。
• この構成により、正標数におけるマニンの実乗法プログラムの主要なケースに対する明示的類体論の生成子が得られ、重要な解決をもたらす。
• $ j^{mqt}(f) $ の多価性は、類体上のガロア作用を完全に符号化しており、その値の積が拡張全体を生成することを保証する。
• この手法は、指数関数とモジュラー不変量の量子アナロジーに依拠し、正標数における明示的類体論の新たなアプローチを提供する。
• この結果により、量子モジュラー関数とグローバル関数体の算術、特に実二次体拡張において、橋渡しの役割が果たされる。