[论文解读] An Integral Digit Derivative Basis for Carlitz Prime Power Torsion Extensions

Andreas Maurischat, Rudolph Perkins|arXiv (Cornell University)|Jan 1, 2016

Algebraic Geometry and Number Theory参考文献 15被引用 5

一句话总结

本文通过在固定不可约多项式 𝔪 的根处求值，构建了函数域中 Carlitz 质数幂次扭扩张的整数环的积分基，使用 Anderson-Thakur 函数 ω 的高阶导数的单项式。此外，本文还为这些扩张提供了显式的域正规基，简化并扩展了 Anglès-Pellarin 的先前工作，特别是在野性分歧和整数正规基不存在的背景下。

ABSTRACT

Let $\\mathfrak{p}$ be a monic irreducible polynomial in $A:=\\mathbb{F}_q[\ heta]$, the ring of polynomials in the indeterminate $\ heta$ over the finite field $\\mathbb{F}_q$, and let $\\zeta$ be a root of $\\mathfrak{p}$ in an algebraic closure of $\\mathbb{F}_q(\ heta)$. For each positive integer $n$, let $\\lambda_n$ be a generator of the $A$-module of Carlitz $\\mathfrak{p}^n$-torsion. We give a basis for the ring of integers $A[\\zeta,\\lambda_n] \\subset K(\\zeta, \\lambda_n)$ over $A[\\zeta] \\subset K(\\zeta)$ which consists of monomials in the hyperderivatives of the Anderson-Thakur function $\\omega$ evaluated at the roots of $\\mathfrak{p}$. We also give an explicit field normal basis for these extensions. This builds on (and in some places, simplifies) the work of Angl\\`es-Pellarin.

研究动机与目标

• 为 Carlitz 𝔪^n-扭扩张中的整数环 $ A[ heta, u_n] $ 在 $ A[ heta] $ 上构造一个积分基。
• 为扩张 $ K_n(\theta)/K_0(\theta) $ 提供一个显式的域正规基，其中 $ K_n = K(C[\frak{p}^{n+1}]) $。
• 通过 Anderson-Thakur 函数 $ \nu $ 的高阶导数，简化并扩展 Anglès-Pellarin 的解析基构造。
• 解决由于扩张次数被特征值整除而导致的整数正规基失效问题，特别是在野性分歧背景下。

提出的方法

• 基由形如 $ \nu^{(k)}(\theta)^{e_k} $ 的单项式构成，其中 $ \nu^{(k)} $ 是 Anderson-Thakur 函数 $ \nu $ 在 $ \frak{p} $ 的根 $ \theta $ 处的高阶导数。
• 该构造依赖于通过 Carlitz 指数和生成 Carlitz 模块散射矩阵的 Anderson-Thakur 函数 $ \nu(t) $ 对扭点进行解析统一化。
• 作者利用展开式 $ \nu(t) = \sum_{n \geq 0} \nu^{(n)}(\theta)(t - \theta)^n $ 提取高阶导数 $ \nu^{(n)}(\theta) $。
• 一个关键技术工具是：在 $ \mathbb{F}_q(\theta) $ 上使用拉格朗日插值，将 $ \nu^{(n)}(\theta) $-单项式表示为 $ K_0(\theta) $-线性组合的伽罗瓦共轭。
• 域正规基的证明依赖于对 $ n $ 的归纳法，利用伽罗瓦群 $ \operatorname{Gal}(K_n(\theta)/K_0(\theta)) \cong (A/\frak{p}^{n+1}A)^\times $ 的作用。
• 该构造利用了 $ \eta_n = \prod_{k=1}^n (\nu^{(k)})^{q-1} $ 生成 $ K_n(\theta)/K_0(\theta) $ 的正规基这一事实，尽管不存在整数正规基。

实验结果

研究问题

• RQ1 能否在 Carlitz 𝔪^n-扭扩张中显式构造整数环 $ A_n[\theta] $ 在 $ A[\theta] $ 上的积分基？
• RQ2 扩张 $ K_n(\theta)/K_0(\theta) $ 是否存在正规基？若存在，能否显式描述？
• RQ3 Anderson-Thakur 函数 $ \nu $ 在 $ \theta $ 处的高阶导数如何与扭点的生成元及积分基相关？
• RQ4 为何 $ A_n[\theta]/A[\theta] $ 中整数正规基缺失？是否仍可构造域正规基？

主要发现

• 整数环 $ A_n[\theta] $ 在 $ A[\theta] $ 上的积分基由形如 $ \prod_{k=1}^n (\nu^{(k)}(\theta))^{e_k} $ 的单项式构成，其中 $ 0 \leq e_k \leq q-1 $。
• 元素 $ \eta_n = \prod_{k=1}^n (\nu^{(k)}(\theta))^{q-1} $ 生成了域扩张 $ K_n(\theta)/K_0(\theta) $ 的正规基。
• 元素 $ \eta_n $ 的伽罗瓦共轭在 $ K_0(\theta) $ 上张成整个扩张 $ K_n(\theta) $，从而确认其为域正规基。
• 该构造简化并改进了 Anglès-Pellarin 的基结果，特别是在野性分歧背景下。
• 整数正规基在 $ A_n[\theta]/A[\theta] $ 中的缺失是由于在 $ \theta - \zeta_i $ 上方的素理想处存在野性分歧，这与 Leopoldt 类型的障碍一致。