🔢 mathematics

Théorie d'Iwasawa des motifs d'Artin et des formes modulaires de poids 1

This paper investigates the structure of cyclotomic Greenberg-Selmer groups for Artin motives and weight one modular forms, establishing their torsion property under specific conjectures, computing characteristic series constants via $p$ -adic regulators, and proving one divisibility of the Iwasawa Main Conjecture using Kato's theorem.

Original authors: Alexandre Maksoud

Published 2026-02-09

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Alexandre Maksoud

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

This paper is a deep dive into the hidden architecture of numbers, specifically looking at how certain mathematical objects called "motifs" behave when we zoom in on a specific prime number (let's call it $p$ ). The author, Alexandre Makoud, is trying to build a bridge between two different ways of measuring these objects: one way is purely algebraic (counting and grouping), and the other is analytic (using functions that flow and change).

Here is the story of the paper, broken down into simple concepts and analogies.

The Big Picture: The "Greenberg-Selmer" Group

Imagine you have a complex, multi-layered crystal (this is our Artin Motif). You want to understand its structure. To do this, mathematicians build a "shadow" of the crystal called the Greenberg-Selmer group.

Think of this group as a filing cabinet. Inside this cabinet, there are folders containing information about how the crystal behaves in different "neighborhoods" (number fields).

The Goal: The author wants to prove that this filing cabinet isn't infinite and chaotic. Instead, he wants to show it is finite and organized (mathematically, "torsion"). If it's organized, we can write down a single "instruction manual" (a characteristic polynomial) that describes the entire cabinet.

Part 1: Taming the Chaos (The Algebraic Side)

The first half of the paper is about proving that this filing cabinet is indeed organized.

The Problem: Usually, these cabinets can get messy. They might have infinite folders or weird gaps.
The Solution: Makoud uses a powerful mathematical tool called the weak p-adic Schanuel conjecture. Think of this conjecture as a "magic ruler" that guarantees certain numbers don't accidentally line up in a way that creates chaos.
The Result: With this ruler, he proves that the filing cabinet is indeed organized. He also discovers a phenomenon called "trivial zeros."
- Analogy: Imagine a song that is supposed to be silent at a specific note. Sometimes, the song is silent because the musician stopped playing (a "trivial" reason). Sometimes, it's silent because of a deep, hidden harmony (a "non-trivial" reason). Makoud identifies exactly when the silence is just a "trivial" pause caused by the structure of the crystal itself.

Part 2: The Special Case of Weight 1 Forms

The paper then zooms in on a specific type of crystal: those attached to Modular Forms of Weight 1.

Analogy: If the general crystal was a complex, abstract sculpture, these are specific, famous statues that mathematicians have studied for a long time. They are special because they are "odd" (a technical term meaning they behave differently under reflection) and have a dimension of 2.
The Challenge: For these specific statues, we can't easily write down the "instruction manual" using standard methods because they don't behave like the heavier, more common statues (Weight 2 and above).
The Workaround: The author uses a technique called Hida Families.
- Analogy: Imagine you have a specific statue (Weight 1) that is hard to study. But, you realize this statue is actually the tip of a long, smooth elevator shaft (the Hida family) that connects it to many other, easier-to-study statues (Weights 2, 3, 4...).
- The author rides the elevator down to the heavy statues (where we know the rules), proves the connection there, and then rides back up to the Weight 1 statue. He shows that the rules proven at the bottom still hold true at the top.

The Main Conjecture: Connecting Two Worlds

The heart of the paper is a Main Conjecture.

World A (Algebraic): The "Instruction Manual" derived from the filing cabinet (the Selmer group).
World B (Analytic): The "Instruction Manual" derived from a complex, flowing function (the p-adic L-function).

The Conjecture: These two manuals are actually the same book, just written in slightly different dialects. They should match perfectly, perhaps differing only by a simple unit (like a typo or a formatting choice).

What the Paper Proves:
Makoud cannot prove they are exactly the same book yet. However, he proves a divisibility.

Analogy: He proves that the Algebraic Manual is a chapter of the Analytic Manual. The Analytic Manual contains everything in the Algebraic one, plus potentially more. This is a huge step forward because it confirms that the two worlds are pointing in the same direction.

The "Regulator" and the Constant Term

The paper also calculates a specific number called the p-adic regulator.

Analogy: If the filing cabinet has a specific "zero" (a point where the data vanishes), the size of that zero is determined by this regulator. It's like measuring the volume of a hole in a sponge. The author shows that the size of this hole is directly related to the "class number" of the number field (a measure of how "messy" the arithmetic of that field is).

Summary of Achievements

Structure: Proved that the algebraic "filing cabinets" for these specific number motifs are organized and finite.
Trivial Zeros: Identified exactly when and why these structures have "silent" points (zeros) that are just structural artifacts.
The Bridge: Used the "elevator" of Hida Families to connect difficult Weight 1 forms to easier Weight 2 forms.
The Main Conjecture: Proved that the algebraic description divides the analytic description, providing strong evidence that the two ways of looking at these numbers are fundamentally linked.

In short, the paper takes a very abstract, chaotic-looking problem in number theory, organizes it into a neat filing system, and proves that this system matches the predictions of a complex mathematical function, using a clever "elevator" trick to get there.

Technical Summary of "Iwasawa Theory of Artin Motifs and Weight 1 Modular Forms" by Alexandre Makoud

Problem Statement
The paper addresses the Iwasawa theory of Artin motives over $\mathbb{Q}$ , specifically focusing on the structure of Greenberg-Selmer groups attached to irreducible Artin representations $\rho$ with coefficients in a number field $E$ . A central challenge in this domain is the formulation of a Main Conjecture of Iwasawa theory for such motives. While the case of motives attached to representations of totally real fields is well-understood (via Wiles' results), the general case presents difficulties: Artin motives do not necessarily possess critical values, and the classical Deligne-Ribet construction of $p$ -adic $L$ -functions is not directly applicable.

The author investigates the structure of the cyclotomic Greenberg-Selmer group $X_\infty(\rho, \rho^+)$ associated with a $p$ -stabilized Artin motive. The primary goals are:

To establish that this Selmer group is a torsion module over the Iwasawa algebra $\Lambda = \mathcal{O}[[\Gamma]]$ , a prerequisite for defining an algebraic $p$ -adic $L$ -function.
To analyze the "trivial zeros" phenomenon, relating the order of vanishing of the algebraic $L$ -function at $T=0$ to the dimension of local invariants.
To specialize these results to Artin motives arising from classical modular forms of weight 1, where the associated automorphic representations are not cohomological, complicating the construction of analytic $p$ -adic $L$ -functions.

Methodology
The paper employs a combination of Galois cohomology, class field theory, and the theory of Hida families.

Algebraic Structure: The author defines the Selmer group $X_\infty(\rho, \rho^+)$ as the Pontryagin dual of the kernel of a global-to-local restriction map in Galois cohomology. The proof of torsion relies on analyzing the finiteness of Selmer groups at finite levels $X_n$ via the inflation-restriction sequence. This reduces the problem to studying the Galois group of the maximal pro- $p$ abelian extension of $H_n$ (where $H$ is the field cut out by $\rho$ ) unramified outside $p$ .
Regulators and Transcendence: The finiteness of Selmer groups and the non-vanishing of the algebraic $L$ -function are linked to the non-vanishing of a $p$ -adic regulator $R_p(\rho, \rho^+)$ . This regulator is defined via the $p$ -adic logarithm of global units. The author invokes the weak $p$ -adic Schanuel conjecture (or the case where the dimension of the ordinary subspace $d^+=1$ ) to ensure the linear independence of $p$ -adic logarithms, thereby proving the regulator is non-zero.
Weight 1 Specialization: For modular forms of weight 1, the author utilizes Hida families. Since direct analytic constructions of $p$ -adic $L$ -functions for weight 1 forms are not standard (due to non-cohomological nature), the paper constructs an analytic $p$ -adic $L$ -function $L_p^{an}(f_\alpha; T)$ by specializing a two-variable $p$ -adic $L$ -function defined on a Hida family $f$ that specializes to the weight 1 form $f_\alpha$ . This relies on the smoothness of the eigencurve at weight 1 points (Bellaïche-Dimitrov).
Divisibility via Limits: To relate the algebraic and analytic $L$ -functions, the author employs a limiting argument. They consider a sequence of classical weight $k \ge 2$ forms $g_n$ in the Hida family converging $p$ -adically to $f_\alpha$ . Using Kato's theorem on the divisibility of $L$ -functions for weight $k \ge 2$ , they establish a divisibility relation in the limit, proving that the algebraic $L$ -function divides the analytic one.

Key Contributions and Results

Torsion of Selmer Groups (Theorem A):
Under the assumption that $d^+=1$ or the weak $p$ -adic Schanuel conjecture holds, the author proves that $X_\infty(\rho, \rho^+)$ is a torsion $\Lambda$ -module. Furthermore, if the intersection of the field $H$ and the cyclotomic tower is trivial, the algebraic $L$ -function $L_p^{alg}(\rho, \rho^+; T)$ does not vanish at roots of unity $\zeta-1$ (for $\zeta \neq 1$ ).
Trivial Zeros and Regulators (Theorem B):
The paper identifies a "trivial zero" phenomenon. The order of vanishing of $L_p^{alg}$ at $T=0$ is shown to be at least $e(\rho, \rho^+) = \dim_L H^0(\mathbb{Q}_p, V_p^-)$ . Under specific hypotheses (non-ramified at $p$ , $p$ does not divide the order of the image or the dimension), if $e(\rho, \rho^+) = 0$ , the constant term of the algebraic $L$ -function is explicitly given by:
$L_p^{alg}(\rho, \rho^+; 0) \doteq R_p(\rho, \rho^+) \cdot \frac{p}{\#(Cl_p(H)^\rho)}$
where $R_p$ is the $p$ -adic regulator and $Cl_p(H)^\rho$ is the $\rho$ -isotypic component of the $p$ -class group.
Main Conjecture for Weight 1 Forms (Theorem C):
For a classical modular form $f$ of weight 1, the author formulates a Main Conjecture stating that the algebraic $L$ -function $L_p^{alg}(f_\alpha; T)$ and the analytic $L_p^{an}(f_\alpha; T)$ (constructed via Hida families) differ only by a unit in $\Lambda$ .
- Result: The paper proves a divisibility: $L_p^{alg}(f_\alpha; T)$ divides $L_p^{an}(f_\alpha; T)$ in $\Lambda \otimes \mathbb{Q}_p$ .
- Conditional Equivalence: The paper shows that if the Main Conjecture holds for weight $k \ge 2$ forms in the Hida family, then it holds for the weight 1 specialization.

Significance
The paper provides a rigorous algebraic framework for the Iwasawa theory of general Artin motives, filling a gap where critical values are absent. It successfully extends the theory of trivial zeros and regulator formulas to this setting, contingent on standard conjectures in transcendence theory.

Crucially, the work bridges the gap between algebraic and analytic Iwasawa theory for weight 1 modular forms. By leveraging the geometry of Hida families and the smoothness of the eigencurve at weight 1 points, the author constructs a well-defined analytic $L$ -function and establishes the fundamental divisibility predicted by the Main Conjecture. This result is significant because it treats weight 1 forms, which lie outside the scope of classical cohomological constructions, using purely algebraic and deformation-theoretic methods. The paper does not claim to prove the Main Conjecture unconditionally but establishes the necessary structural properties and the key divisibility direction, reducing the full conjecture to the known cases of higher weights.