🔢 mathematics

The norm residue symbol for formal Drinfeld modules

This paper provides an explicit description of the Kummer pairing for formal Drinfeld modules with stable reduction of height one in terms of the module's logarithm, a specific derivation, torsion points, and the trace, thereby generalizing previous results on Carlitz and sign-normalized rank one Drinfeld modules to arbitrary finite extensions of local fields.

Original authors: Marwa Ala Eddine, Behzad Omidi Koma

Published 2026-07-15

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Marwa Ala Eddine, Behzad Omidi Koma

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 detective trying to crack a secret code hidden inside a very specific type of mathematical machine called a formal Drinfeld module. These machines live in "local fields," which are like tiny, self-contained universes of numbers with their own rules for measuring size and distance. For a long time, mathematicians knew how to crack the code for a few special, simple machines (like the Carlitz module), but the more complex, flexible machines were a mystery.

This paper acts as a master key. The authors, Marwa Ala Eddine and Behzad Omidi Koma, have figured out a way to describe a specific "pairing" (a way two numbers interact to reveal a secret) for a broad new class of these machines. They call this the norm residue symbol. Think of this symbol as a handshake between two numbers that tells you if one is a "norm" of the other—a fancy way of saying if one number can be built from the other using the machine's special operations.

The Main Discovery: A New Recipe
The authors didn't just guess; they built a concrete recipe. They found that this secret handshake can be calculated using three main ingredients:

The Logarithm: A special function that translates the machine's complex actions into a simpler, straight-line language.
Trace Maps: A way of summing up information as it moves between different layers of the number universe.
Derivations: This is the star of the show. In math, a "derivation" is like a sensor that measures how fast things are changing. The authors constructed a very specific sensor (which they call $\bar{D}_{L,v_n}$ ) that is perfectly tuned to the machine.

By mixing the logarithm, the trace, and this custom sensor, they produced a single, computable formula. It's like finding a universal remote control that works not just for one TV, but for a whole family of complex models, provided they have a specific "stable reduction" and "height one" (technical terms meaning the machine behaves nicely and has a specific level of complexity).

What They Did NOT Do
It is important to note what this paper does not claim. The authors did not solve the problem for every possible mathematical machine. Their formula works specifically for formal Drinfeld modules of stable reduction and height one over local fields. They did not claim to have cracked the code for machines of higher dimensions or mixed characteristics in this specific work, though they mention that other researchers have asked if their method could be extended there. They also didn't just simulate this on a computer; they provided a rigorous mathematical proof that their formula works under the stated conditions.

The "Sensor" and the "Generator"
To make this work, the authors had to invent a new tool: a derivation that is determined entirely by its value at a single "uniformizer" (a special number that acts like a ruler for the field). They proved that if you know how this sensor reacts to that one ruler, you know how it reacts to everything else.

They also connected this to a "representation" (a way of mapping the machine's symmetries to units in a ring). By looking at these symmetries, they derived a specific congruence (a rule about remainders) for local norm maps. This means they can now predict exactly how these numbers behave when you take their "norm" (a specific type of product) in these extensions, as long as the extensions contain enough "torsion points" (special points that return to zero after a certain number of operations).

The Result: A Unified Formula
The paper concludes with a unified formula that generalizes previous results. Before this, we had separate rules for the Carlitz module and for sign-normalized rank-one Drinfeld modules. Now, thanks to this work, there is a single, explicit description that covers all these cases and extends to arbitrary finite extensions containing sufficient torsion.

In short, the authors have taken a complex, abstract problem in number theory and turned it into a clear, step-by-step calculation. They proved that by using a cleverly constructed "derivation" (a change-measuring tool) alongside the machine's logarithm, you can explicitly calculate the norm residue symbol. This isn't just a suggestion or a guess; it is a proven fact for the specific class of Drinfeld modules they studied, offering a powerful new tool for anyone working in local class field theory.

Technical Summary: The Norm Residue Symbol for Formal Drinfeld Modules

Problem Statement
This paper addresses the problem of obtaining explicit formulas for the Kummer pairing (and consequently the norm residue symbol) associated with formal Drinfeld modules of stable reduction and height one over local fields. While explicit reciprocity laws are well-established for specific cases—namely the Carlitz module and sign-normalized rank-one Drinfeld modules—there is a lack of a unified, computable framework for arbitrary finite extensions containing sufficient torsion. The authors aim to generalize these known results to a broader setting involving formal Drinfeld modules $\rho: \mathcal{O}_K \to \mathcal{O}_H\{\{\tau\}\}$ over a local field $K$ .

Methodology
The authors build upon the explicit reciprocity framework initiated by Kolyvagin for formal groups in characteristic zero and extended to Drinfeld modules by Anglès and Bars–Longhi. The core methodological innovation involves the construction of an explicit derivation to replace the abstract homomorphism $\Psi_{L, v_n}$ found in previous works.

Kummer Pairing Setup: The paper defines the pairing $(\alpha, \beta)_{L,n} = \Phi_L(\beta)(\xi) - \xi$ , where $\rho_{\eta^n}(\xi) = \alpha$ , linking the pairing to the Galois action on torsion points.
Derivation Construction: Following Kolyvagin's approach, the authors construct an $\mathcal{O}_K$ -derivation $\bar{D}_{L, v_n}$ from the valuation ring $\mathcal{O}_L$ into a specific submodule of $L$ . This derivation is constructed by reducing a map $D_{L, v_n}$ (derived from the pairing's properties) modulo a carefully chosen submodule $X^{(n)}_{L,1}$ .
Logarithmic Derivative: A logarithmic derivative $d\log \bar{D}_{L, v_n}$ is defined for units and uniformizers, allowing the pairing to be expressed in terms of the trace map, the logarithm of the Drinfeld module $\lambda_\rho$ , and the values of the derivation.
Representation Theory Invariants: The values of the derivation are linked to invariants of a continuous representation $r: \text{Gal}(\Omega|H) \to \mathbb{U}_K$ induced by the Galois action on the inverse limit of torsion modules. This connection allows for the explicit calculation of the derivation's value at specific torsion points.

Key Contributions and Results

Explicit Formula for the Pairing (Theorem 1.1 / Theorem 3.8): The primary result is an explicit formula for the Kummer pairing:
$(\alpha, \beta)_{L,n} = T_{L|K}(\lambda_\rho(\alpha) \, d\log \bar{D}_{L, v_n}(\beta)) \cdot_\rho v_n$
This formula holds for $\alpha$ with sufficiently high valuation and $\beta \in L^\times$ . It expresses the pairing using the logarithm $\lambda_\rho$ , the trace map $T_{L|K}$ , and the explicitly constructed derivation.
Computability via Uniformizers: The paper demonstrates that the derivation $\bar{D}_{L, v_n}$ is uniquely determined by its value at a uniformizer $\pi_L$ . Specifically, for any $x \in \mathcal{O}_L$ represented as a power series $f(\pi_L)$ , the derivation satisfies $\bar{D}_{L, v_n}(x) = f'(\pi_L)\bar{D}_{L, v_n}(\pi_L)$ .
Explicit Values in Specific Cases (Proposition 1.2 / Proposition 3.13): In the specific case where $L = E_m^\rho$ (the field generated by $m$ -th torsion) and $\rho_\eta \equiv \tau^{m_0} \pmod{p_H}$ , the authors prove that:
$\bar{D}_{E_m^\rho, v_n}(v_m) = \frac{1}{\eta^m}$
This provides a concrete, computable value for the derivation at torsion points.
Explicit Congruences for Norm Maps (Proposition 1.3 / Corollary 3.14): As a direct application, the paper derives explicit congruences for local norm maps associated with torsion points. For a unit $u \in L$ with sufficiently high valuation of $1-u$ , the norm $N_{L|K}(u^{-1}) - 1$ satisfies a congruence involving the trace of a term dependent on the logarithmic derivative and the power series defining $u$ :
$N_{L|K}(u^{-1}) - 1 \equiv T_{L|K}\left( \left(1 - \frac{u}{u}\right) \left(1 - \frac{g'(v_m)}{u v_m}\right) \right) \pmod{p_K^{(n+m)m_0}}$
(Note: The term $1 - u/u$ in the source text appears to be a typo for $1-u$ or similar, but the structure relies on the trace of the product of the unit's deviation and the derivative ratio).

Significance and Scope
The paper claims to provide a unified and computable formula for the norm residue symbol in the context of formal Drinfeld modules of stable reduction and height one. By extending results previously limited to the Carlitz module and sign-normalized rank-one cases, the authors offer a framework applicable to arbitrary finite extensions containing sufficient torsion.

The significance lies in the method of using derivations to bypass the non-explicit nature of the homomorphism $\Psi_{L, v_n}$ used in prior works (such as Anglès [2] and Bars–Longhi [3]). The authors explicitly state that their results generalize Kolyvagin's work on formal groups in characteristic zero and Iwasawa/Wiles' work on multiplicative and Lubin-Tate groups.

The paper concludes by noting a potential direction for future research: whether these results can be generalized to local fields of higher dimension, following the path taken by Florez for formal groups in mixed characteristic. However, the current work is strictly confined to the one-dimensional local field setting.

More like this