[Paper Review] On Iwasawa Theory over Function Fields

Ka-Lam Kueh, King Fai Lai+1 more|ArXiv.org|Jan 2, 2007

Algebraic Geometry and Number Theory7 references3 citations

TL;DR

This paper proves the p-part of Iwasawa's main conjecture for global function fields of characteristic p, showing that the characteristic ideal of the p-adic class group in a Z_p^d-extension is generated by the Stickelberger element of Gross. The proof uses Tate duality, properties of pseudo-null modules, and functoriality of Stickelberger elements across subextensions.

ABSTRACT

Let $k_{\infty}$ be a $\Z_p^d$-extension of a global function field $k$ of characteristic $p$. Let $\Cl_{k_{\infty},p}$ be the $p$ completion of the class group of $k_{\infty}$. We prove that the characteristic ideal of the Galois module $\Cl_{k_{\infty},p}$ is generated by the Stickelberger element of Gross which calculates the special values of $L$ functions.

Motivation & Objective

• To establish the p-part of Iwasawa's main conjecture for global function fields in characteristic p.
• To show that the characteristic ideal of the Iwasawa module of the p-adic class group in a Z_p^d-extension is generated by the Stickelberger element of Gross.
• To handle the case where the extension is unramified outside a finite set S and no place in S splits completely.
• To account for the correction factor δ arising from unramified places in S that do not split completely.
• To demonstrate that the Stickelberger element generates the same ideal as the characteristic ideal of the class group module, up to units in the Iwasawa algebra.

Proposed method

• Use Tate duality and the structure of the Iwasawa algebra Λ_Γ = Z_p[[t_1,...,t_d]] as a UFD.
• Apply results on the leading term of the Stickelberger element conjectured by Gross and proven via Greenberg's theory of pseudo-null modules.
• Construct the Stickelberger element θ_{k_∞/k,S,T} as a projective limit of elements in Z_p[Gal(k_n/k)] over finite layers.
• Use functoriality of Stickelberger elements under projection maps to relate ideals across subextensions.
• Employ induction on the rank d of the Galois group, reducing to the rank-one case using the structure of characteristic ideals.
• Apply Corollary 3.1 and Lemma 3.13 to relate characteristic ideals of modules to those of their projections, especially in the case of pseudo-null modules.

Experimental results

Research questions

• RQ1 How does the characteristic ideal of the p-adic class group in a Z_p^d-extension of a function field relate to the Stickelberger element?
• RQ2 What correction factor δ is needed when some places in S are unramified but not split in the extension?
• RQ3 How does the functoriality of Stickelberger elements under Galois projections affect the ideal generation in the Iwasawa algebra?
• RQ4 What role does the pseudo-nullity of certain modules play in the inductive proof structure?
• RQ5 Why is the case d ≥ 2 different from d = 1 in the final step of the proof?

Key findings

• The characteristic ideal of the Iwasawa module Cl_{k_∞,p} is generated by the Stickelberger element θ_{k_∞/k,S,T} up to multiplication by δ.
• The correction factor δ is ∏_{v∈S₀}(1−[v]) if S₀ ≠ S, and (1−Fr)^{-1}∏_{v∈S₀}(1−[v]) if S₀ = S, where Fr is the Frobenius element.
• For d ≥ 2, the ideal χ_Γ(Z_p) equals the full Iwasawa algebra Λ_Γ, so the characteristic ideal of Cl_{k_∞,p} is exactly (θ_{k_∞/k,S,T}).
• For d = 1, χ_Γ(Z_p) = (σ−1), and the result follows from Corollary 3.1 after verifying that the Stickelberger element generates the same ideal.
• The proof reduces the general case to the rank-one case via induction and the use of characteristic ideals under projections.
• The Stickelberger element θ_{k_∞/k,S,T} is well-defined as a projective limit in the Iwasawa algebra Λ_Γ, and its image under projection maps corresponds to the Stickelberger element of subextensions.