[論文レビュー] Stark units in positive characteristic

Bruno Anglès, Tuân Ngô Dac+1 more|arXiv (Cornell University)|Jun 17, 2016

Algebraic structures and combinatorial models参考文献 31被引用数 22

ひとこと要約

本稿は、正標数における符号正規化されたランク1のDrinfeld加群に対して、Stark単位とAndersonの等変A調和級数の直接的な関係を確立し、Andersonの対数代数的定理の新たな証明と、複数変数への一般化を可能にする。主たる貢献は定理Aであり、Stark単位のなす加群が等変A調和級数から生じることを示し、Taelman風のクラス公式と、AがPIDでない場合でも成り立つ複数変数の対数代数的定理が得られる。

ABSTRACT

We show that the module of Stark units associated to a sign-normalized rank one Drinfeld module can be obtained from Anderson's equivariant $A$-harmonic series. We apply this to obtain a class formula \`a la Taelman and to prove a several variable log-algebraicity theorem, generalizing Anderson's log-algebraicity theorem. We also give another proof of Anderson's log-algebraicity theorem using shtukas and obtain various results concerning the module of Stark units for Drinfeld modules of arbitrary rank.

研究の動機と目的

• 符号正規化されたランク1のDrinfeld加群に対して、Stark単位とAndersonの等変A調和級数の構造的関係を確立すること。
• shtukaと調和級数を用いて、Andersonの対数代数的定理の新たな証明を提供すること。
• shtuka理論的手法を用いて、Andersonの対数代数的定理を複数変数に一般化すること。
• Aが必ずしも主理想整域でない場合でも、Drinfeld加群に対してTaelman風のクラス公式を証明すること。
• Stark単位の理論を任意のランクのDrinfeld加群および高次元のshtuka構造へと拡張すること。

提案手法

• Tate代数内で収束する級数 expeφ = ∑ ei(φ)ziτi を用いて、Drinfeld加群 φ/B に付随する z-単位の加群を導入する。
• ψ(I) を φI の定数項とするとき、等変A調和級数 L(φ/B; 1; z) = ∑ zdeg I / ψ(I) σI ∈ Tz(H∞)[G] を定義する。
• 定理Aの確立：U(eφ/B[z]) = L(φ/B; 1; z)B[z] により、Stark単位が調和級数から直接生じることを示す。
• 調和級数作用素の行列式を用いて、ゼータ関数の特別値と関係づけ、特に detK∞L(φ/B) = ζB(1) を得る。
• s 個の変数に一般化するため、Hs = Frac(A⊗s ⊗Fq B) 上に s 重の shtuka を構成し、L(ϕs; n; z) と expeϕs を定義する。
• 補題4.10の証明：U(eϕs/Ws(B[z])) = L(ϕs; 1; z)Ws(B[z]) により、対数代数的性が複数変数に拡張されることを示す。

実験結果

リサーチクエスチョン

• RQ1 符号正規化されたランク1のDrinfeld加群に対するStark単位は、Andersonの等変A調和級数とどのように関係しているか？
• RQ2 AがPIDでない場合でも、Stark単位と調和級数を用いて、Taelman風のクラス公式を証明できるか？
• RQ3 高ランクのDrinfeld加群および複数変数設定におけるStark単位の加群の構造はいかなるものか？
• RQ4 shtuka理論的手法と調和級数を用いて、Andersonの対数代数的定理を再証明できるか？
• RQ5 調和級数作用素の行列式とGoss L関数の特別値との正確な関係は何か？

主な発見

• 定理Aにより、z-単位の加群 U(eφ/B[z]) が等変A調和級数によって生成されることが示された：U(eφ/B[z]) = L(φ/B; 1; z)B[z]。
• 調和級数作用素の行列式は、detK∞L(φ/B) = ζB(1) を満たし、これはGossゼータ関数の s=1 における特別値に一致する。
• 定理Bにより、商加群 U(φ/B)/USt(φ/B) のFittingイデアルは、Taelmanクラス加群のFittingイデアルに等しいことが証明された：FittA(U(φ/B)/USt(φ/B)) = FittAH(φ/B)。
• 定理Cにより、Taelmanのクラス公式が確認された：ζB(1) = [B : USt(φ/B)]A = [B : U(φ/B)]A[H(φ/B)]A であり、AがPIDでない場合でも成り立つ。
• 複数変数の対数代数的定理（定理4.2）により、Andersonの結果が一般化された：expeϕs(L(ϕs; 1; z)Ws(B[z])) ⊂ Ws(B[z]) が s ≥ 0 に対して成り立つ。
• 補題4.10により、s変数におけるStark単位の加群がs変数調和級数によって生成されることが示された：U(eϕs/Ws(B[z])) = L(ϕs; 1; z)Ws(B[z])。