🔢 mathematics

Hopf-Galois module structure of degree p extensions of p-adic fields

This paper provides a complete characterization of the conditions under which the ring of integers of a degree $p$ extension of $p$ -adic fields is free as a module over its associated order within the unique Hopf-Galois structure, where $p$ is an odd prime.

Original authors: Daniel Gil-Muñoz

Published 2026-05-06

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Daniel Gil-Muñoz

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a master architect trying to build a perfect house (the Ring of Integers, denoted as $O_L$ ) on a very specific, tricky piece of land (a degree $p$ extension of $p$ -adic fields).

In the world of mathematics, this "land" is a type of number system that behaves like the $p$ -adic numbers (a way of measuring distance based on divisibility by a prime number $p$ ). The "house" is the collection of all the "whole numbers" within this system.

Usually, to build a house, you need a blueprint and a set of tools. In this paper, the "tools" are provided by a mathematical structure called a Hopf-Galois structure. Think of this structure as a unique, custom-made set of instructions that tells you how to move around and manipulate the numbers in your new land.

The Big Question: Is the House "Free"?

The main question the author, Daniel Gil-Muñoz, is asking is: Can we build this house using exactly one set of tools without any leftovers or gaps?

In math-speak, this is asking if the ring of integers is "free" over its associated order.

Free: Imagine you have a set of Lego bricks (the tools). If you can build the entire house using only these bricks, stacking them perfectly without needing to glue them together or cut them, the house is "free." It's a perfect, clean fit.
Not Free: If you have to glue bricks together, or if you have leftover pieces that don't fit, or if you need extra, non-standard tools to finish the job, the house is not free.

The author wants to know: Under exactly what conditions is this house a perfect, "free" build?

The Three Scenarios

The paper breaks down the answer into three main scenarios, depending on how "rough" or "smooth" the terrain (the extension) is.

1. The "Perfectly Flat" Terrain (Maximally Ramified)

Sometimes, the land is in a state of "maximal ramification." Think of this as the land being stretched to its absolute limit.

The Result: If the land is stretched this far, the answer is always YES. The house is always free. The tools fit perfectly. It's like building on a flat, paved road; there are no surprises.

2. The "Mostly Smooth" Terrain (Almost Maximally Ramified)

Most of the time, the land isn't stretched to the absolute limit, but it's close. This is the "typical" case. Here, the answer depends on a specific number called the ramification jump (let's call it the "bumpiness" of the land).

The Rule: The author found that if you take this "bumpiness" number and divide it by $p$ , the remainder (let's call it $a$ ) is the key.
The Condition: If this remainder $a$ divides the number $p-1$ evenly, then YES, the house is free.
The Metaphor: Imagine trying to fit a square peg into a round hole. If the "bumpiness" of the land aligns perfectly with the shape of your tools (mathematically, if $a$ divides $p-1$ ), the peg slides right in. If it doesn't align, you'll have gaps.

3. The "Very Rough" Terrain (The Edge Case)

What if the land is almost as rough as it can possibly get, but not quite? This is the "almost maximally ramified" case.

The Twist: In this tricky zone, the simple rule from Scenario 2 isn't enough. You need to look at the land's "bumpiness" through a special mathematical lens called a Continued Fraction.
The Analogy: Imagine the "bumpiness" is a recipe. A continued fraction is like breaking that recipe down into a list of steps.
- If the list of steps is short (4 steps or fewer), the house is free. You can build it perfectly.
- If the list of steps is long (5 steps or more), the house is not free. The instructions are too complex, and the tools don't fit right.

The "Magic Tool" (The Scaffold)

To figure this out, the author uses a concept called a Scaffold.

What is it? Imagine a construction scaffold (the metal frame you build around a building). In this math world, the scaffold is a special set of numbers and rules that helps measure the "height" (valuation) of the land at every point.
How it helps: By using this scaffold, the author can predict exactly how the tools (the Hopf-Galois structure) will interact with the land. It's like having a laser level that tells you exactly where the ground is uneven before you even start building.

The "Secret Ingredient" (The Generator $\Psi$ )

In previous studies, mathematicians used complicated, messy tools to try to build these houses. This author discovered a "secret ingredient": a specific mathematical object called $\Psi$ (Psi).

Why it's special: $\Psi$ follows a very simple rule ( $\Psi^p = \lambda \Psi$ ). It's like finding a Swiss Army knife that does everything you need with a single, simple button press, whereas previous tools required a complex sequence of levers and gears.
The Benefit: Because $\Psi$ is so simple, the author could prove the rules for when the house is free much more clearly and generally than anyone had done before.

Summary

The paper solves a long-standing puzzle in number theory: When does a specific type of number system have a "perfect" structure?

The answer is a complete checklist:

If the system is stretched to the max, it's always perfect.
If it's typical, check the remainder of the "bumpiness" number. If it divides nicely, it's perfect.
If it's on the edge of being too rough, look at the "recipe" (continued fraction) of the bumpiness. If the recipe is short (4 steps or less), it's perfect. If it's long, it's not.

The author didn't just guess; they built a new, simpler set of tools ( $\Psi$ ) and a measuring system (the scaffold) to prove these rules with absolute certainty.

Technical Summary: Hopf-Galois Module Structure of Degree $p$ Extensions of $p$ -adic Fields

Problem Statement
The paper addresses the classical problem of determining the module structure of the ring of integers $\mathcal{O}_L$ for a finite extension $L/K$ of $p$ -adic fields. Specifically, it focuses on extensions of degree $p$ where $p$ is an odd prime. While the case where $L/K$ is Galois is well-understood (characterized by Bertrandias, Bertrandias, and Ferton), the general case where $L/K$ is not necessarily Galois presents significant challenges. In the non-Galois setting, $L/K$ is always Hopf-Galois, admitting a unique Hopf-Galois structure $H$ . The central problem is to characterize the necessary and sufficient conditions under which $\mathcal{O}_L$ is a free module over its associated order $\mathcal{A}_{L/K}$ within this unique structure.

Methodology
The authors employ a combination of ramification theory, Hopf algebra classification, and the theory of scaffolds. The methodology proceeds through several key stages:

Reduction to the Totally Ramified Case: The authors first establish that the problem can be reduced to the case where the normal closure $\tilde{L}/K$ is totally ramified. By considering the inertia fields of the extension, they demonstrate that the freeness of $\mathcal{O}_L$ over $\mathcal{A}_{L/K}$ is invariant under arithmetically disjoint unramified extensions.
Classification of the Hopf Algebra: For the unique Hopf-Galois structure $H$ on a degree $p$ extension, the authors utilize the classification of rank $p$ Hopf algebras by Tate and Oort. They explicitly construct a generator $\Psi$ for $H$ (where $H = K[\Psi]$ ) satisfying a simplified degree $p$ equation $\Psi^p = \lambda \Psi$ for some $\lambda \in \mathcal{O}_K$ . This contrasts with previous approaches for Galois and dihedral cases, which relied on generators satisfying more complex polynomial relations.
Scaffold Theory: The paper utilizes the theory of scaffolds introduced by Byott, Childs, and Elder. They construct a scaffold on $L/K$ using the generator $\Psi$ and a specific family of elements $\{\lambda_n\}$ . This scaffold is characterized by a shift parameter $b$ and a precision $c$ .
Continued Fractions and Semiconvergent Analysis: To handle the "almost maximally ramified" case (where the ramification jump $\ell$ is large), the authors analyze the continued fraction expansion of the ratio $b/p$ . They relate the freeness condition to the length of this expansion and the properties of its semiconvergents, specifically identifying a set $E$ of integers derived from even-indexed semiconvergents that govern the valuation of basis elements.

Key Contributions and Results
The paper provides a complete characterization of the $\mathcal{A}_{L/K}$ -freeness of $\mathcal{O}_L$ for any degree $p$ extension of $p$ -adic fields. Let $e$ be the ramification index of $K/\mathbb{Q}_p$ , $\ell$ the ramification jump of $L/K$ , and $a$ the residue of $\ell$ modulo $p$ . Let $r$ be the order of the Galois group of the normal closure modulo the subgroup fixing $L$ (so $r | p-1$ ).

The main result, Theorem 1.2, establishes the following conditions:

Maximally Ramified Case ( $a=0$ ): If $a=0$ (which implies $\ell = \frac{pe}{p-1}$ ), then $\mathcal{A}_{L/K}$ is the maximal $\mathcal{O}_K$ -order in $H$ , and $\mathcal{O}_L$ is free over $\mathcal{A}_{L/K}$ .
Explicit Basis Construction: If $a \neq 0$ , the authors provide an explicit $\mathcal{O}_K$ -basis for $\mathcal{A}_{L/K}$ of the form $\{\pi_K^{-w(i)} \Psi^i\}_{i=0}^{p-1}$ , where the exponents $w(i)$ are determined by the shift parameter $b$ and the ramification data.
Non-Almost Maximally Ramified Case ( $\ell < \frac{pe}{p-1} - 1$ ): In this range, $\mathcal{O}_L$ is free over $\mathcal{A}_{L/K}$ if and only if $a$ divides $p-1$ . This result improves upon previous work by Elder, which required the stricter condition $\ell < \frac{pe}{p-1} - 2$ .
Almost Maximally Ramified Case ( $\ell \ge \frac{pe}{p-1} - 1$ ): For this range, the freeness condition depends on the continued fraction expansion of $b/p$ . Let $n$ be the length of the continued fraction expansion of $b/p$ . Then $\mathcal{O}_L$ is free over $\mathcal{A}_{L/K}$ if and only if $n \le 4$ .

Significance and Claims
The authors claim that their work provides a "complete picture" for the module structure of the ring of integers in arbitrary degree $p$ extensions of $p$ -adic fields, removing previous restrictions on the Galois nature of the extension or the ramification index.

Unification: The results unify the known Galois case ( $r=1$ ) and the dihedral case ( $r=2$ ) into a single framework. The paper notes that when specialized to these cases, the results recover known theorems (Theorem 1.1) but offer alternative, often simpler, proofs.
Simplification of Proofs: A significant technical contribution is the use of the generator $\Psi$ satisfying $\Psi^p = \lambda \Psi$ . The authors argue that this equation is substantially simpler than the polynomial relations satisfied by generators in the Galois ( $f = \sigma - \text{Id}$ ) or dihedral cases, thereby streamlining the calculations required to determine the associated order and its freeness properties.
Extension of Scaffold Theory: The paper demonstrates that the scaffold theory, previously applied with stronger assumptions, can be extended to characterize freeness in the "almost maximally ramified" case by linking the algebraic structure to the arithmetic properties of continued fractions.

The paper concludes that the behavior of $\mathcal{O}_L$ as a module is entirely determined by the ramification jump $\ell$ , the residue $a$ , and the continued fraction expansion of the derived parameter $b/p$ , offering a definitive criterion for freeness in all scenarios.