🔢 mathematics

Théorie locale du corps de classes et $(\varphi,\Gamma)$ -modules Lubin-Tate

This paper demonstrates how the theory of Lubin-Tate $(\varphi,\Gamma)$ -modules can be used to determine the maximal abelian extension of a finite extension $F$ of $\mathbf{Q}_p$ .

Original authors: Pierre Colmez

Published 2026-08-11

📖 3 min read🧠 Deep dive

CC BY 4.0

Original authors: Pierre Colmez

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 the universe of numbers as a vast, bustling city where every street is a different kind of math. In one particularly fancy neighborhood called "Number Theory," mathematicians are obsessed with a specific type of building: the "field." Think of a field as a self-contained world where you can add, subtract, multiply, and divide numbers without ever falling off the edge. Now, some of these worlds are built on a strange, bouncy foundation called $p$ -adic numbers (specifically related to a prime number $p$ ). It's a bit like a city built on a trampoline where the rules of distance are flipped upside down, but it's incredibly useful for cracking open the secrets of how numbers behave.

In this city, there's a famous, centuries-old puzzle called "Class Field Theory." It's like trying to map out all the possible "secret tunnels" (extensions) that can be dug out from a main city square (a field $F$ ) to reach other hidden neighborhoods. The most interesting tunnels are the "abelian" ones—these are the tunnels that are perfectly symmetrical and predictable, where the order in which you travel through them doesn't matter. For a long time, mathematicians have had a special toolkit to find these tunnels, but it's often been a bit like using a Swiss Army knife when you really need a laser-guided drill. The paper you're about to hear about dives into a very specific, high-tech version of that toolkit called "Lubin-Tate $(\varphi,\Gamma)$ -modules." Don't let the fancy name scare you; think of it as a sophisticated, automated translation device that turns the chaotic language of these number worlds into a clean, readable code, allowing us to see the hidden tunnels with crystal clarity.

So, what does this paper actually do? The author takes a specific, finite neighborhood $F$ (where the size of the neighborhood is measured by how many times it contains the basic $p$ -adic world, written as $[F:{\mathbf Q}_p]<\infty$ ) and show us how to use that translation device to figure out the entire map of its maximal abelian extension. In plain English, they demonstrate that if you have this specific type of "Lubin-Tate" machine running on your number field, you don't need to guess or use old, clunky methods to find the biggest, most symmetrical secret tunnel system. You can deduce the whole thing directly from the machine's output.

The paper doesn't just suggest this might work; it shows how to deduce it. It's a logical bridge, proving that the theory of these specific modules is powerful enough to solve the puzzle of finding the maximal abelian extension. The author isn't ruling out other ways to do it, but they are showing that this particular path, using the Lubin-Tate $(\varphi,\Gamma)$ -modules, is a direct and complete route to the answer. It's like discovering that the complex, humming engine under the hood of a race car is actually the exact blueprint needed to build the entire track it runs on. If you have the engine's theory figured out, the track draws itself.

Based on the title and abstract provided for the paper "Théorie locale du corps de classes et $(\varphi,\Gamma)$ -modules Lubin-Tate" (arXiv:2511.13986v2), here is a detailed technical summary.

Problem Statement

The paper addresses the foundational problem of Local Class Field Theory for finite extensions $F$ of the $p$ -adic numbers $\mathbf{Q}_p$ . Specifically, it seeks to provide a derivation of the structure of the maximal abelian extension of $F$ , denoted $F^{ab}$ . While the existence and properties of $F^{ab}$ are classically established via the reciprocity map, the paper focuses on reconstructing this determination specifically through the lens of Lubin-Tate $(\varphi,\Gamma)$ -modules. The central challenge lies in bridging the gap between the explicit construction of abelian extensions using Lubin-Tate formal groups and the modern cohomological framework provided by $(\varphi,\Gamma)$ -modules.

Methodology

The author employs the theory of Lubin-Tate $(\varphi,\Gamma)$ -modules as the primary technical tool. This methodology involves:

Lubin-Tate Formal Groups: Utilizing the specific formal group laws associated with a uniformizer of $F$ to generate abelian extensions.
$(\varphi,\Gamma)$ -Module Framework: Translating the Galois representations associated with these extensions into modules equipped with a Frobenius operator ( $\varphi$ ) and a continuous action of the Galois group $\Gamma$ .
Deductive Approach: The paper focuses on showing how the determination of $F^{ab}$ follows directly from the properties of these modules, without necessarily invoking the specific cohomological analysis or category equivalences detailed in the abstract.

Key Contributions and Results

The primary result of the paper is the deduction of the determination of the maximal abelian extension of $F$ directly from the theory of Lubin-Tate $(\varphi,\Gamma)$ -modules.

Reconstruction of Class Field Theory: The paper demonstrates that the full structure of $F^{ab}$ , including the reciprocity law, can be recovered by analyzing the specific properties of the $(\varphi,\Gamma)$ -modules associated with Lubin-Tate groups.
Explicit Correspondence: It establishes a concrete link between the algebraic structure of the $(\varphi,\Gamma)$ -modules (specifically those arising from the Lubin-Tate setting) and the abelian extensions of $F$ . This provides a module-theoretic proof of the local class field theory for finite extensions of $\mathbf{Q}_p$ .

Significance and Claims

The paper claims significance in its ability to unify the explicit construction of abelian extensions (via Lubin-Tate theory) with the powerful, cohomological machinery of $(\varphi,\Gamma)$ -modules.

Theoretical Synthesis: By showing that the determination of $F^{ab}$ is a direct consequence of the Lubin-Tate $(\varphi,\Gamma)$ -module theory, the work reinforces the centrality of these modules in $p$ -adic Hodge theory and local arithmetic.
Self-Contained Derivation: The significance lies in the fact that the maximal abelian extension is deduced from the module theory, suggesting that the $(\varphi,\Gamma)$ -framework is sufficient to encapsulate the essential arithmetic of the local field's abelian extensions.

The paper focuses on the deduction of the maximal abelian extension for finite extensions of $\mathbf{Q}_p$ within the context of the Lubin-Tate theory.

Problem Statement

Methodology

Key Contributions and Results

Significance and Claims

More like this