[論文レビュー] 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

ひとこと要約

本稿では、関数体におけるカルツィング素数べき torsion 拡張の整数環の整基底を、固定された無限素数ではない多項式 𝔪 の根におけるアンドリソン＝タカール関数 ω のハイパーデリバティブの単項式を用いて構成する。さらに、これらの拡張に対して明示的な体正規基底を提供し、アングルス＝ペラリンの先行研究を簡略化・拡張する。特に、野生的分岐および整正規基底の非存在という文脈において顕著である。

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.

研究の動機と目的

• カルツィング $ \frak{p}^n $-torsion 拡張における $ A[\theta, \nu_n] $ の $ A[\theta] $ 上の整基底を構成すること。
• $ K_n = K(C[\frak{p}^{n+1}]) $ である拡張 $ K_n(\theta)/K_0(\theta) $ に対して明示的な体正規基底を提供すること。
• アンドリソン＝タカール関数 $ \nu $ のハイパーデリバティブを用いて、アングルス＝ペラリンの解析的基底構成を簡略化・拡張すること。
• 標数を割り切る次数の拡張における、整正規基底の非存在の理由を、野生的分岐の観点から解明すること。

提案手法

• 基底は、$ \nu^{(k)} $ を $ \frak{p} $ の根 $ \theta $ におけるアンドリソン＝タカール関数 $ \nu $ のハイパーデリバティブとする、形の単項式 $ \nu^{(k)}(\theta)^{e_k} $ から構成される。
• 構成は、カルツィング指数関数と、カルツィングモジュールの散乱行列を生成するアンドリソン＝タカール関数 $ \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 カルツィング $ \frak{p}^n $-torsion 拡張において、$ A_n[\theta] $ の $ A[\theta] $ 上の整基底を明示的に構成できるか？
• RQ2 体拡張 $ K_n(\theta)/K_0(\theta) $ は正規基底をもつのか？ もしそうなら、それを明示的に記述できるか？
• RQ3 アンドリソン＝タカール関数 $ \nu $ の $ \theta $ におけるハイパーデリバティブは、捩れ点の生成子および整基底とどのように関係するか？
• RQ4 なぜ $ A_n[\theta]/A[\theta] $ において整正規基底が存在しないのか？ そして、それでも体正規基底を構成できるか？

主な発見

• $ A[\theta] $ 上の整数環 $ A_n[\theta] $ は、$ 0 \leq e_k \leq q-1 $ を満たす単項式 $ \prod_{k=1}^n (\nu^{(k)}(\theta))^{e_k} $ からなる整基底をもつ。
• 要素 $ \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) $ 全体を張るため、これは体正規基底として正当化される。
• この構成は、アングルス＝ペラリンの結果を簡略化・精錬したものであり、特に野生的分岐の文脈で顕著である。
• $ A_n[\theta]/A[\theta] $ における整正規基底の非存在は、$ \theta - \zeta_i $ を上に持つ素点における野生的分岐に起因し、これはレオポルト型の障害と整合的である。