[论文解读] 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

一句话总结

本文通过引入一个量子模不变量 $ j^{mqt} $，即在 $ k_{\infty} = \mathbb{F}_q((T^{-1})) $ 上的多值模函数，解决了正特征情况下马宁实乘法程序的一个关键方面。证明了实二次扩张 $ 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} $。
• 建立 $ H_{\mathcal{O}_K} $ 在 $ K $ 上由 $ j^{mqt}(f) $ 的多值乘积生成，其中 $ f $ 为二次单位。

提出的方法

• 在完备化 $ k_{\infty} = \mathbb{F}_q((T^{-1})) $ 上引入量子模不变量 $ j^{mqt}: k_{\infty} \multimap k_{\infty} $，作为多值且模不变的函数。
• 定义 $ k = \mathbb{F}_q(T) $，并考虑一个实二次扩张 $ K = k(f) $，其中 $ f $ 是 $ k_{\infty} $ 中的二次单位。
• 利用 $ 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 $-不变量推广到量子情形。
• 对于一个实二次扩张 $ K = k(f) $，其中 $ f $ 为二次单位，希尔伯特类域 $ H_{\mathcal{O}_K} $ 在 $ K $ 上由 $ j^{mqt}(f) $ 的多值乘积生成。
• 该构造为 $ H_{\mathcal{O}_K} $ 提供了显式类域论生成元，解决了正特征下马宁实乘法程序的一个关键情形。
• $ j^{mqt}(f) $ 的多值性质编码了类域上伽罗瓦群的完整作用，确保其值的乘积能生成整个扩张。
• 该方法依赖于指数函数和模不变量的量子类比，为正特征下的显式类域论提供了新途径。
• 该结果在量子模函数与全局函数域算术之间建立了桥梁，尤其适用于实二次扩张。