2025-11-28T22:31:19.148874

On Galois Extensions of Local Fields with a Single Wild Ramification Jump

Goodman
For a given positive integer $n$ and $K/\mathbb{Q}_p$ a finite extension of ramification degree $e$, we determine the number of finite Galois extensions $L/K$ with inertia degree $f$ and a single nonnegative ramification jump at $n$ as long as $(p,e)$ is outside of a finite set. This builds upon the tamely ramified case, which is a classical consequence of Serre's Mass Formula, exhibiting a more restrictive behavior than in the tamely ramified case because the degrees of such extensions are bounded. We do this by working in a fixed Lubin-Tate extension and exploiting the surjectivity of a map corresponding to the ramification jump to reconstruct the $U^1$ part of the norm subgroup (coming from local class field theory) from its fibers and then by understanding how the fibers interact by studying them in terms of properties of the formal logarithm and partitions.
academic

On Galois Extensions of Local Fields with a Single Wild Ramification Jump

Basic Information

  • Paper ID: 2406.14845
  • Title: Galois Extensions of Local Fields with One Wild Ramification Jump
  • Author: Samuel Goodman
  • Classification: math.NT (Number Theory)
  • Publication Date: November 2025 (arXiv v4)
  • Paper Link: https://arxiv.org/abs/2406.14845

Abstract

This paper determines the number of finite Galois extensions L/KL/K with inertia degree ff and a unique wild ramification jump at nn, for a given positive integer nn and finite extension K/QpK/\mathbb{Q}_p with ramification index ee, provided (p,e)(p,e) lies outside a finite set. This work builds upon the classical case of tamely ramified extensions, which is a classical result of Serre's mass formula. The research proceeds by working within a fixed Lubin-Tate extension, utilizing the surjectivity of the map corresponding to the ramification jump to reconstruct the U1U^1 part of norm subgroups from its fibers, and understanding fiber interactions through properties of formal logarithms and partitions.

Research Background and Motivation

Research Problem

This paper investigates the counting problem for extensions of local fields, specifically the number of Galois extensions with a single wild ramification jump.

Problem Significance

  1. Generalization of Classical Problems: The counting of tamely ramified extensions is a classical problem, completely solved by Serre's mass formula. For tamely ramified extensions of degree nn with p∤np \nmid n, there exist exactly σ0(n)\sigma_0(n) such extensions (where σ0(n)\sigma_0(n) is the sum of divisors of nn coprime to pp).
  2. Deepening Ramification Theory: Ramification groups are central concepts in local class field theory. Tamely ramified extensions can be viewed as (−1,0)(-1,0) extensions (with ramification jumps only at −1-1 and 00). The natural next question is to count (−1,n)(-1,n) extensions, i.e., extensions with a unique wild ramification jump.
  3. Restrictive Behavior: Unlike the tamely ramified case, wild ramification extensions exhibit stronger restrictions, as the degrees of such extensions are bounded.

Limitations of Existing Methods

  • Kummer Theory Approach: While applicable to the tamely ramified case, it quickly becomes complex in the wild ramification setting, involving fixed point counting under Galois action.
  • Lack of Systematic Framework: For general wild ramification extensions, there is no unified counting tool analogous to Serre's mass formula.

Research Motivation

This paper aims to establish a systematic framework for counting extensions with a single wild ramification jump by:

  1. Using local class field theory to transform the problem into counting norm subgroups
  2. Working within Lubin-Tate extensions to obtain explicit control
  3. Understanding these subgroups through fiber structure and formal logarithm theory

Core Contributions

  1. Complete Resolution of the n=2n=2 Case: For the case of a single ramification jump at n=2n=2, a complete counting formula is provided (Theorem 1.2).
  2. **Nearly Complete Answer for General nn: For general nn, an explicit counting formula is given for all (p,e)(p,e) pairs outside a finite set (Theorem 1.1). The unresolved cases are limited to finitely many (p,e)(p,e) pairs satisfying p−1≤e<np-1 \leq e < n.
  3. Closed-Form Formula for Totally Ramified Case: When K/QpK/\mathbb{Q}_p is totally ramified, a particularly elegant closed-form formula is provided involving the ζ\zeta-function of the characteristic pp polynomial ring (Corollary 1.3).
  4. Novel Technical Framework:
    • Fiber reconstruction method to understand norm subgroup structure
    • Using formal logarithms and partition theory to establish functional equations
    • Introduction of Teichmüller lifting in the ramified setting
  5. Revealing Interesting Dichotomy: When n=2n=2, there is a remarkable duality between ramified extensions at p=2p=2 and ramified extensions at other primes.

Detailed Methodology

Task Definition

Input:

  • Local field K/QpK/\mathbb{Q}_p with ramification index ee, inertia degree f′f', and residue field kk
  • Positive integer nn (ramification jump location)
  • Positive integer ff (desired inertia degree)

Output:

  • Number of (−1,n)(-1,n) Galois extensions L/KL/K where L/KL/K has inertia degree ff and wild ramification jump only at nn

Constraints:

  • Ramification groups: Gi={σ∈G:∀α∈OL,σ(α)≡α(modmi+1)}G_i = \{\sigma \in G : \forall \alpha \in O_L, \sigma(\alpha) \equiv \alpha \pmod{m^{i+1}}\}
  • Ramification jump: L/KL/K has a ramification jump at ii if and only if Gi≠Gi+1G_i \neq G_{i+1}

Overall Strategy

The paper employs a multi-layered strategy:

Layer One: Local Class Field Theory Transformation (Section 2)

Through local class field theory, Galois extensions correspond to norm subgroups:

  • Proposition 2.2: For a tower M/L/KM/L/K where M/LM/L is abelian and L/KL/K is Galois, let HH be the norm subgroup corresponding to MM. Then M/KM/K is Galois if and only if σ(H)=H\sigma(H) = H for all σ∈Gal(L/K)\sigma \in \text{Gal}(L/K).

This transforms the problem into counting Galois-invariant norm subgroups.

Layer Two: Characterization in Lubin-Tate Extensions (Section 3)

Working within the Lubin-Tate extension Kπ,n/KK_{\pi,n}/K with Galois group G≅OK×/(1+mn)G \cong O_K^\times/(1+m^n).

Proposition 3.1 (Key Characterization): Assume n≥k+1n \geq k+1. A subextension L/KL/K has a unique wild ramification jump at kk if and only if the corresponding subgroup H⊂GH \subset G satisfies:

  1. HH contains (1+mk+1)/(1+mn)(1+m^{k+1})/(1+m^n)
  2. The canonical map H→OK×/(1+mk)H \to O_K^\times/(1+m^k) is surjective

The key aspect of this characterization is the surjectivity condition.

Layer Three: Fiber Structure Theory (Section 6)

Core Idea: Using surjectivity, reconstruct subgroups HH through their fibers.

Lemma 6.1 (Fiber Reconstruction Lemma): Let GG be a finite group, S⊂GS \subset G a subset, and H⊂GH \subset G a normal subgroup. Assume:

  • The quotient map S→G/HS \to G/H is surjective
  • Sg1H⋅Sg2H=Sg1g2HS_{g_1H} \cdot S_{g_2H} = S_{g_1g_2H} (fiber compatibility)
  • SHS_H is a subgroup of GG

Then SS is a subgroup of GG.

This lemma shows that as long as fibers satisfy compatibility conditions, the entire subgroup can be reconstructed from the fibers.

Layer Four: Characteristic pp Field Isomorphism (e≥ne \geq n Case)

When e≥ne \geq n, the key technical breakthrough is:

Lemma 6.3 (Teichmüller Isomorphism): The map ϕ:(1+Tk0[T])/(1+Tn+1k0[T])→(1+m)/(1+mn+1)\phi: (1+Tk_0[T])/(1+T^{n+1}k_0[T]) \to (1+m)/(1+m^{n+1}) defined by 1+∑i=1naiTi↦1+∑i=1nai′πi1+\sum_{i=1}^n a_iT^i \mapsto 1+\sum_{i=1}^n a_i'\pi^i is a Galois-equivariant isomorphism.

Here ai′a_i' denotes the Teichmüller lift of aia_i. This isomorphism transforms the problem from mixed characteristic local fields to formal power series rings in characteristic pp, which have better algebraic structure.

Proposition 6.4 (Fiber Characterization): When e≥ne \geq n, the data of a Galois-invariant subgroup HH is equivalent to:

  • A Galois-invariant subgroup h⊂k0+h \subset k_0^+
  • A Galois-equivariant function f:k0n−1→k0/hf: k_0^{n-1} \to k_0/h satisfying the functional equation: f(a1,…,an−1)+f(b1,…,bn−1)+∑i=1n−1aibn−i≡f(c1,…,cn−1)(modh)f(a_1,\ldots,a_{n-1}) + f(b_1,\ldots,b_{n-1}) + \sum_{i=1}^{n-1} a_ib_{n-i} \equiv f(c_1,\ldots,c_{n-1}) \pmod{h} where ci=ai+bi+∑j=1i−1ajbi−jc_i = a_i + b_i + \sum_{j=1}^{i-1} a_jb_{i-j}.

Formal Logarithm Theory (Section 4)

To understand the above functional equation, the paper introduces formal logarithms:

Lemma 4.1 (Logarithmic Expansion): log⁡(1+∑i=1∞aiTi)=∑n=1∞(∑pn∈Pn(−1)ℓ(pn)m(pn)ℓ(pn)∏i=1naipni)Tn\log(1+\sum_{i=1}^\infty a_iT^i) = \sum_{n=1}^\infty \left(\sum_{p_n \in P_n} \frac{(-1)^{\ell(p_n)}m(p_n)}{\ell(p_n)} \prod_{i=1}^n a_i^{p_{ni}}\right)T^n where PnP_n is the set of partitions of nn, ℓ(pn)\ell(p_n) is the partition length, and m(pn)m(p_n) is the number of permutations of the partition.

Define rn(x1,…,xn)=∑pn∈Pn(−1)ℓ(pn)m(pn)ℓ(pn)∏i=1nxipnir_n(x_1,\ldots,x_n) = \sum_{p_n \in P_n} \frac{(-1)^{\ell(p_n)}m(p_n)}{\ell(p_n)} \prod_{i=1}^n x_i^{p_{ni}}.

Lemma 4.4 (Additivity): Let zi=xi+yi+∑j=1i−1xjyi−jz_i = x_i + y_i + \sum_{j=1}^{i-1} x_jy_{i-j}. Then rn(x1,…,xn)+rn(y1,…,yn)=rn(z1,…,zn)r_n(x_1,\ldots,x_n) + r_n(y_1,\ldots,y_n) = r_n(z_1,\ldots,z_n)

This shows that g(x1,…,xn−1)=rn(x1,…,xn)−xng(x_1,\ldots,x_{n-1}) = r_n(x_1,\ldots,x_n) - x_n satisfies the required functional equation (up to a cross term).

Functional Equations over Finite Fields (Section 5)

Theorem 5.1 (Main Counting Theorem): Let k0/kk_0/k be a finite field extension with Galois group GG, h⊂k0+h \subset k_0^+ a Galois-invariant subgroup, and q=∣k∣q=|k|. The number of Galois-equivariant functions f:k0n−1→k0+/hf: k_0^{n-1} \to k_0^+/h satisfying the functional equation is:

0 & p|n \\ q^{(n-1-\lfloor \frac{n-1}{p}\rfloor)\text{codim}_{\mathbb{F}_p}(h)} & p \nmid n \end{cases}$$ **Proof Strategy**: 1. When $p \nmid n$, $-g$ provides a solution 2. Other solutions have the form $-g + f_2$, where $f_2$ satisfies the homogeneous equation 3. Homogeneous solutions correspond to Galois-equivariant group homomorphisms: $$(1+Tk_0[T])/(1+T^nk_0[T]) \to k_0/h$$ 4. Use Proposition 2.3's topological basis to count these homomorphisms 5. When $p|n$, derive a contradiction through iterated $p$-th derivation ### Proof of Main Theorem (Section 7) **Theorem 7.1** (Main Result): Let $b = n-1-\lfloor \frac{n-1}{p}\rfloor$, $q' = q^f$, and $t$ be the trace-zero subspace. Then the number of $(-1,n)$ Galois extensions is: $$\begin{cases} 0 & p|n, e \geq n \\ q^{bf'f+1} \sum_{h \in S} \frac{|h \cap t|}{|h|^{bf'+1}} & e \geq n, p \nmid n \\ 0 & e < n, p > e+1 \end{cases}$$ **Proof Highlights**: 1. Use Proposition 6.4 to transform the problem into choosing $(h,f)$ pairs 2. For each $h$, Theorem 5.1 gives $q^{b\text{codim}(h)}$ functions $f$ 3. Count Galois fixed points: $x \in k_0/h$ satisfying $x^q - x \in h$ 4. The map $x \mapsto x^q - x$ has kernel $\mathbb{F}_q$ and image the trace-zero subspace $t$ 5. Number of fixed points is $q|h \cap t|/|h|$ 6. Summing yields the final formula For the case $e < n, p > e+1$, use Remark 2.5: $(1+m)^p = 1+m^{e+1} \supset 1+m^n$, which contradicts surjectivity. ## Experimental Setup As a pure mathematics theory paper, this work does not include experiments in the traditional sense. All results are obtained through rigorous mathematical proof. ### Verification Methods The paper verifies the correctness of the theory through: 1. **Special Case Verification**: Checking whether known tamely ramified cases conform to the results 2. **Consistency Checks**: Whether results obtained by different methods (e.g., special treatment of $n=2$) are consistent 3. **Boundary Case Analysis**: Checking the reasonableness of formulas in boundary cases ### Concrete Examples **Corollary 1.3** (Totally Ramified Case): When $K/\mathbb{Q}_p$ is totally ramified, let $m(x) = \frac{x^f-1}{(x-1)^{p^{v_p(f)}}}$, $d = f - p^{v_p(f)}$, $\zeta_m(s) = \sum_{i=0}^d \frac{a_i}{p^{is}}$ (where $a_i$ is the number of $i$-th monic factors of $m$). Then the count is: $$\begin{cases} 0 & p|n, e \geq n \\ \frac{(p^{(f+1)b} - p^{fb} + p^{(f-1)b+1} - p^{db+1})}{p^b-1} \zeta_m(b) & e \geq n, p \nmid n \\ 0 & e < n, p > e+1 \end{cases}$$ ## Experimental Results ### Main Results **Explicit Formula of Theorem 1.1**: For $e \geq n, p \nmid n$, the count is $q^{bf'f+1} \sum_{h \in S} \frac{|h \cap t|}{|h|^{bf'+1}}$, where: - $b = n-1-\lfloor \frac{n-1}{p}\rfloor$ is the "effective dimension" - The sum ranges over all Galois-invariant subspaces - Each term involves the intersection with the trace-zero subspace **Special Results of Theorem 1.2** ($n=2$, $p=2$ unramified case): When $K/\mathbb{Q}_2$ is unramified, the number of $(-1,2)$ Galois extensions is $2^{n+1}$ (independent of inertia degree). ### Key Findings 1. **Growth Behavior**: The number of extensions grows rapidly with the degree of the unramified part (exponential growth) 2. **Dependencies**: - General case (Theorem 1.1): Depends on complete data of residue field extension - Special cases (Theorem 1.2): Depends only on the base residue field 3. **Obstruction Phenomena**: - When $p|n$, no such extensions exist ($e \geq n$) - When $e < n, p > e+1$, no extensions exist either - Dichotomy when $n=2$: Obstruction for $p=2$ ramified, no obstruction for other primes ramified 4. **Finite Exceptions**: For each $n$, only finitely many $(p,e)$ pairs are not covered by the theorem (those satisfying $p-1 \leq e < n$) ### Case Analysis **Example 1: Totally Ramified with $f=1$ (No Unramified Extension)** Here $m(x) = \frac{x-1}{x-1} = 1$, $d=0$, $\zeta_m(s) = 1$. The count becomes $\frac{p^{2b} - p^b + p^{b+1} - p}{p^b-1}$. **Example 2: $n=2$, $p$ odd, $K/\mathbb{Q}_p$ unramified** Here $b=1$, $e \geq 2$ is automatically satisfied (since for odd $p$, $e \geq p-1 \geq 2$). The count is $q^{f+1} \sum_h \frac{|h \cap t|}{|h|^2}$. ## Related Work ### Tamely Ramified Theory 1. **Serre's Mass Formula**: Shows there are exactly $n$ totally tamely ramified extensions of degree $n$ (with $p \nmid n$) 2. **Kummer Theory**: Can be used to construct and count tamely ramified extensions 3. **Hasse Number Theory**: Contains fundamental theory of tamely ramified extensions ### Local Class Field Theory 1. **Neukirch's Algebraic Number Theory**: Systematic exposition of local class field theory 2. **Serre's Local Fields**: Classical treatment of ramification group theory 3. **Fesenko-Vostokov**: Modern treatment of local fields and their extensions ### Lubin-Tate Theory - Lubin-Tate theory provides explicit constructions of abelian extensions of local fields - This paper uses Lubin-Tate extensions as the working space, a key technical choice ### Innovations of This Paper 1. **First Systematic Treatment of Wild Ramification Jumps**: Previous work focused mainly on tamely ramified cases 2. **Fiber Reconstruction Method**: A new perspective for handling surjectivity conditions 3. **Combination of Formal Logarithms and Partitions**: Introducing combinatorial tools into local field theory 4. **Nearly Complete Resolution**: Explicit formulas for all but finitely many cases ## Conclusions and Discussion ### Main Conclusions 1. **Main Theorem**: For $(p,e)$ outside a finite set, provides exact counting formulas for $(-1,n)$ Galois extensions 2. **Complete Resolution of $n=2$**: Including the unique exceptional case $(p,e) = (2,1)$ 3. **Structural Understanding**: - Extension count is determined by residue field extension structure - Systematic obstructions exist ($p|n$ or $e$ too small) - Fiber structure provides deep geometric intuition ### Limitations 1. **Finite Exceptions**: For each $n$, $(p,e)$ pairs satisfying $p-1 \leq e < n$ are not completely resolved 2. **Single Jump Restriction**: The method is specifically designed for single wild ramification jumps; multiple jumps are more complex 3. **Technical Conditions**: The condition $e \geq n$ is crucial for the fiber method but limits applicability 4. **Explicitness**: While formulas are provided, in some cases (e.g., Corollary 1.3) they involve $\zeta$-functions, requiring additional computational work ### Future Directions 1. **Multiple Jumps**: Generalize to extensions with multiple wild ramification jumps 2. **Complete Exceptional Cases**: Resolve remaining cases with $p-1 \leq e < n$ 3. **Higher-Dimensional Generalization**: Consider analogous problems for higher-dimensional local fields or global fields 4. **Algorithm Implementation**: Develop algorithms for practical computation of these extensions 5. **Application Exploration**: Applications of these counting results in arithmetic geometry or representation theory ## In-Depth Evaluation ### Strengths 1. **Theoretical Depth**: - Skillfully combines local class field theory, Lubin-Tate theory, and formal group theory - Fiber reconstruction method demonstrates deep structural insight - Connection between formal logarithms and partition theory is original 2. **Result Completeness**: - Nearly completely resolves the problem (except finite exceptions) - Provides explicit computable formulas - Special case ($n=2$) is completely resolved 3. **Method Innovation**: - Teichmüller isomorphism (Lemma 6.3) is a key technical breakthrough - Fiber compatibility condition (Lemma 6.1) provides new organizational principle - Strategy for linearizing nonlinear problems is instructive 4. **Clarity of Exposition**: - Clear structure, progressing from special to general cases - Key lemmas clearly marked - Technical details are sufficient but not redundant ### Weaknesses 1. **Exceptional Cases**: - No unified treatment for cases with $p-1 \leq e < n$ - Case $n=2, p=2$ unramified requires special argument (Section 7, Theorem 7.3) 2. **Readability**: - Requires deep background in algebraic number theory - Some technical jumps (e.g., Lemmas 5.3, 5.4) are abrupt - Connection between formal logarithm section and main line could be clearer 3. **Computational Complexity**: - Corollary 1.3's $\zeta$-function expression, while closed-form, still requires factorization for computation - Summation in Theorem 7.1 may be complex in practical computation 4. **Generalizability**: - Method heavily depends on single jump assumption - Applicability to more general ramification patterns unclear ### Impact 1. **Theoretical Contribution**: - Significantly advances counting theory for local field extensions - Provides new tools for handling wild ramification - Fiber method may have applications to other counting problems 2. **Technical Impact**: - Use of Teichmüller isomorphism may inspire similar techniques - Connection between formal logarithms and partitions may have independent value - Method for counting Galois fixed points has general applicability 3. **Practical Value**: - Provides theoretical foundation for numerical computation - Can be used to verify existence of local field extensions - May have applications in cryptography or coding theory 4. **Reproducibility**: - All proofs are constructive - Formulas are explicit and in principle implementable - Requires specialized computer algebra systems ### Applicable Scenarios 1. **Pure Mathematics Research**: - Deep study of local class field theory - Applications of ramification theory - Galois representation theory 2. **Arithmetic Geometry**: - Study of local properties of arithmetic varieties - $p$-adic cohomology theory - Point counting on moduli spaces 3. **Number Theory Applications**: - Study of local-global principles - Construction of class field towers - Iwasawa theory 4. **Computational Number Theory**: - Construction of local field databases - Enumeration algorithms for extensions - Numerical verification tools ### Open Problems 1. **Complete Resolution of Exceptional Cases**: Can all cases with $p-1 \leq e < n$ be handled by a unified method? 2. **Generalization to Multiple Jumps**: Counting of $(-1, n_1, n_2, \ldots, n_k)$ extensions? 3. **Asymptotic Behavior**: Asymptotic formula for extension count as $n \to \infty$? 4. **Global Correspondence**: Relationship between these local counting results and global number field extensions? 5. **Non-Abelian Generalization**: Can non-abelian but still single-jump cases be handled? ## References Key references cited in the paper: 1. **[1] Fesenko-Vostokov**: Local Fields and Their Extensions - Provides foundational local field theory 2. **[2] Hasse**: Number Theory - Contains classical results on tamely ramified extensions 3. **[3] Neukirch**: Algebraic Number Theory - Standard reference for local class field theory 4. **[4] Serre**: Local Fields - Classical treatment of ramification group theory 5. **[5] Serre**: Original mass formula paper - Foundation for tamely ramified counting --- **Overall Assessment**: This is a high-quality pure mathematics paper that makes substantial progress on the classical problem of counting local field extensions. Through innovative fiber reconstruction methods and formal logarithm techniques, the author nearly completely resolves the counting problem for extensions with a single wild ramification jump. While finite exceptional cases and technical limitations exist, the paper achieves high levels of theoretical depth, method innovation, and result completeness, making important contributions to local class field theory and ramification theory. This work provides a solid foundation and powerful tools for further research into more general ramification patterns.