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

一句话总结

本文在正特征下，建立了对符号归一化的秩一德林费尔德模的史特ark单位与安德森的等变A-调和级数之间的直接联系，从而为安德森的对数代数性定理提供了新证明，并将其推广至多变量情形。关键贡献是定理A，它表明史特ark单位模来自等变A-调和级数，进而导出类公式（类比塔埃曼）及多变量对数代数性定理，即使环A不是主理想整环亦成立。

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.

研究动机与目标

• 建立符号归一化的秩一德林费尔德模的史特ark单位与安德森的等变A-调和级数之间的结构性联系。
• 通过希图卡与调和级数，为安德森的对数代数性定理提供新证明。
• 通过希图卡理论方法，将安德森的对数代数性推广至多变量。
• 为非必为主理想整环的环A上的德林费尔德模，证明类公式（类比塔埃曼）。
• 将史特ark单位理论推广至任意秩的德林费尔德模及高维希图卡结构。

提出的方法

• 通过级数 expeφ = ∑ ei(φ)ziτi 在Tate代数中收敛，引入与德林费尔德模φ/B相关的z-单位模。
• 定义等变A-调和级数 L(φ/B; 1; z) = ∑ zdeg I / ψ(I) σI ∈ Tz(H∞)[G]，其中ψ(I)为φI的常数项。
• 建立定理A：U(eφ/B[z]) = L(φ/B; 1; z)B[z]，表明史特ark单位直接源自调和级数。
• 利用调和级数算子的行列式，将其与zeta函数的特殊值关联，具体为 detK∞L(φ/B) = ζB(1)。
• 通过在Hs = Frac(A⊗s ⊗Fq B)上构造s重希图卡，将框架推广至s个变量，定义L(ϕs; n; z)与expeϕs。
• 证明推论4.10：U(eϕs/Ws(B[z])) = L(ϕs; 1; z)Ws(B[z])，将对数代数性推广至多变量。

实验结果

研究问题

• RQ1 符号归一化的秩一德林费尔德模的史特ark单位与安德森的等变A-调和级数之间有何关系？
• RQ2 能否在不假设A为主理想整环的条件下，利用史特ark单位与调和级数证明类公式（类比塔埃曼）？
• RQ3 高秩德林费尔德模与多变量情形下，史特ark单位模的结构如何？
• RQ4 能否通过希图卡理论方法与调和级数，重新证明安德森的对数代数性定理？
• RQ5 调和级数的行列式与古斯L-函数的特殊值之间的确切关系为何？

主要发现

• 定理A表明，z-单位模U(eφ/B[z])由等变A-调和级数生成：U(eφ/B[z]) = L(φ/B; 1; z)B[z]。
• 调和级数算子的行列式满足 detK∞L(φ/B) = ζB(1)，即古斯zeta函数在s=1处的特殊值。
• 定理B证明了商模U(φ/B)/USt(φ/B)的Fitting理想等于塔埃曼类模的Fitting理想：FittA(U(φ/B)/USt(φ/B)) = FittAH(φ/B)。
• 定理C确认了塔埃曼类公式：ζB(1) = [B : USt(φ/B)]A = [B : U(φ/B)]A[H(φ/B)]A，即使A非主理想整环亦成立。
• 多变量对数代数性定理（定理4.2）推广了安德森的结果：expeϕs(L(ϕs; 1; z)Ws(B[z])) ⊂ Ws(B[z])，对s ≥ 0成立。
• 推论4.10表明，s变量情形下史特ark单位模由s变量调和级数生成：U(eϕs/Ws(B[z])) = L(ϕs; 1; z)Ws(B[z])。