🔢 mathematics

Torsion in abelian fundamental group and its application

This paper establishes the finiteness of the torsion subgroup of the abelian fundamental group for regular geometrically integral projective varieties over local fields, analyzes the structure of $SK_1(X)$ , and derives class field theory for regular projective curves over such fields.

Original authors: Rahul Gupta, Jitendra Rathore

Published 2026-08-12

📖 7 min read🧠 Deep dive

CC BY 4.0

Original authors: Rahul Gupta, Jitendra Rathore

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 exploring a vast, invisible city built not of brick and mortar, but of pure mathematical relationships. This is the world of arithmetic geometry, a place where numbers and shapes dance together to solve deep puzzles about the universe. In this city, one of the most important landmarks is the "fundamental group." Think of this group as a master map that records every possible way you can walk around the city without getting lost, capturing all the loops and twists that define its shape. When mathematicians look at this map, they often focus on the "abelian" part, which is like simplifying the city's complex traffic rules into a straight, orderly grid.

However, this grid isn't always perfectly smooth. Sometimes, it has "torsion"—tiny, stubborn knots or loops that twist back on themselves in a finite number of steps before disappearing. These knots are the torsion subgroups. For decades, mathematicians knew that if the city was perfectly smooth (a "smooth" variety), these knots were finite in number and easy to count. But what if the city had rough patches, cracks, or irregularities (making it "regular" but not "smooth")? Would the knots still be finite, or would they multiply into an endless, chaotic swarm? This question is crucial because the size and shape of these knots help mathematicians understand the deep laws of "class field theory," a kind of universal rulebook for how numbers interact with shapes in specific types of mathematical worlds called "local fields."

In this paper, Rahul Gupta and Jitendra Rathore tackle this exact mystery. They investigate a specific type of mathematical city: a regular, projective variety (a well-behaved, closed shape) sitting over a "local field" of positive characteristic (a number system that behaves like a clock with a finite number of hours). Their main finding is a proof that even when the city has rough edges and isn't perfectly smooth, the number of these stubborn "knots" (the torsion subgroup) remains finite. They didn't just guess; they proved it with rigorous mathematical logic. Furthermore, they used this discovery to update the "rulebook" of class field theory for these rougher shapes, showing that the fundamental laws still hold true even when the geometry is imperfect. They also mapped out the structure of a related group called $SK_1(X)$ , revealing it to be a mix of a finite, twisting part and a smooth, infinitely divisible part, much like a river that has a few rocky eddies but flows endlessly.

The Story of the Knots and the Map

To understand what Gupta and Rathore achieved, let's first look at the tools they used. Imagine you have a shape, like a donut or a sphere, but made of numbers. In the world of algebraic geometry, we can ask: "How many different ways can I wrap a string around this shape and tie a knot?" The collection of all these possible knots forms a group. The authors are interested in the "abelian" version of this group, which is a simplified, orderly version of the knot collection.

Within this collection, there are two types of knots. Some are "torsion" knots: if you wrap the string around them a certain number of times, they untie themselves completely. Others are "divisible" knots, which can be split into smaller and smaller pieces forever. The big question the authors asked was: If the shape is a bit rough (regular but not smooth), are the torsion knots still a finite, countable pile, or do they explode into infinity?

In the past, mathematicians knew the answer was "finite" if the shape was perfectly smooth. But for shapes with rough edges, it was an open question. The authors proved that yes, the torsion knots are still finite, even for these rougher shapes. This is a big deal because it means the mathematical "rulebook" (class field theory) doesn't break just because the shape isn't perfect.

The Two-Step Proof: Taming the Knots

The authors didn't just jump to the conclusion; they broke the problem into two distinct challenges, like a detective solving a case by separating the suspects.

Step 1: The "Prime to p" Knots
First, they looked at the knots that are not related to the specific "clock size" (characteristic $p$ ) of the number system they were working in. They called this the "prime to $p$ " torsion. To solve this, they used a clever trick involving "alterations." Imagine you have a rough, crumpled piece of paper (your shape). You can't easily count the knots on it. But, you can find a smooth, perfect piece of paper that covers the crumpled one, like a transparent sheet laid over a map. By studying the smooth sheet and carefully translating the results back to the rough paper, they showed that the number of these specific knots must be finite. They proved that if you can count the knots on a smooth version of the shape, you can also count them on the rough version.

Step 2: The "p" Knots
Next, they tackled the knots related to the specific "clock size" $p$ . This was trickier. They used a structure theorem that describes the overall shape of the knot map. They showed that the "geometric" part of the map (the part that comes from the shape itself, not the number system) looks like a finite group plus some infinite, straight lines. By analyzing this structure, they proved that the $p$ -related knots are also finite.

The Application: Updating the Rulebook

Once they proved the knots are finite, they applied this to a famous problem: Class Field Theory. Think of Class Field Theory as a translation dictionary between two languages: the language of shapes (geometry) and the language of numbers (arithmetic). For a long time, this dictionary was only fully written for "smooth" shapes.

The authors used their new proof to extend this dictionary to "regular" shapes (which can be rough). They focused on a specific group called $SK_1(X)$ , which acts like a bridge between the shape and the numbers. They discovered that this bridge is made of two parts:

A Divisible Part ( $D$ ): This is like an infinite, smooth river that can be divided forever.
A Torsion Part ( $T$ ): This is a finite collection of knots.

They proved that for these rough shapes, the bridge still works perfectly. Specifically, they showed that the "reciprocity map"—the main translator in this dictionary—has a very specific behavior:

Its "kernel" (the part of the bridge that gets lost or doesn't translate) is divisible, meaning it's part of that infinite, smooth river.
Its "image" (the part that successfully translates) is a finite group.
The "cokernel" (the part of the target language that remains untranslated) has a finite number of knots.

Why This Matters

Why should a curious teenager care about counting knots on mathematical shapes? Because these knots are the hidden gears that make the universe of numbers work. By proving that these gears are finite even when the shapes are imperfect, Gupta and Rathore have shown that the fundamental laws of arithmetic geometry are robust. They don't crumble when the shapes get rough. This gives mathematicians the confidence to apply these powerful rules to a much wider variety of shapes, potentially unlocking new secrets about how numbers and geometry interact in the most complex corners of mathematics.

In short, the paper says: "Even if the shape is bumpy, the knots are still countable, and the rulebook still works." It's a victory for order in a world that can sometimes feel chaotic.

Technical Summary: Torsion in Abelian Fundamental Group and Its Application

Problem Statement
The paper addresses the structure of the abelianized étale fundamental group, denoted $\pi_1^{ab}(X)$ , for regular geometrically integral projective varieties $X$ defined over a local field $k$ of positive characteristic $p > 0$ . While the finiteness of the torsion subgroup $\pi_1^{ab}(X)_{tor}$ is well-established for smooth projective varieties over such fields (via results by Grothendieck, Yoshida, and others), the behavior of this group for regular (but not necessarily smooth) varieties remains a gap in the literature. Specifically, the authors aim to extend finiteness results to regular projective varieties and utilize these results to generalize unramified class field theory from smooth to regular curves.

Methodology
The authors employ a combination of étale cohomology, alteration techniques, and duality theorems to establish their results.

Separation of Torsion: The study of $\pi_1^{ab}(X)$ is decomposed into prime-to- $p$ torsion ( $\{p'\}$ ) and $p$ -primary torsion ( $\{p\}$ ).
Alteration and Reduction: To handle the lack of smoothness, the authors utilize de Jong's and Gabber's alteration theorems. They construct a generically finite morphism $\phi: W \to X$ where $W$ is a smooth projective scheme over a finite extension of $k$ . This allows them to relate the cohomology and fundamental groups of the singular (regular) variety $X$ to the smooth variety $W$ .
Cohomological Finiteness:
- For prime-to- $p$ torsion, the authors use support cohomology sequences and purity theorems (Gabber's purity) to show that the cohomology groups $H^i_Z(X, (\mathbb{Q}/\mathbb{Z})')$ are finite for closed subsets $Z$ of codimension $\ge 1$ . This establishes that the prime-to- $p$ torsion of $\pi_1^{ab}(X)$ is finite if and only if it is finite for a dense open subset, which is then reduced to the smooth case.
- For $p$ -primary torsion, the authors analyze the geometric part of the fundamental group, $\pi_1^{ab}(X)_{geom} = \text{Ker}(\pi_1^{ab}(X) \to \pi_1^{ab}(\text{Spec}(k)))$ . They prove a structure theorem showing $\pi_1^{ab}(X)_{geom}$ is a topologically finitely generated profinite group (isomorphic to $\hat{\mathbb{Z}}^r \oplus F$ ). Since the absolute Galois group of a local field of characteristic $p$ has no $p$ -torsion, the finiteness of $\pi_1^{ab}(X)_{geom}$ 's $p$ -torsion implies the finiteness of the total $p$ -torsion.
Structure of $SK_1(X)$ : The authors investigate the group $SK_1(X)$ , defined via the cokernel of a boundary map on $K$ -groups. They analyze the kernel $V(X/k)$ of the norm map $SK_1(X) \to k^\times$ . By reducing higher-dimensional schemes to curves via generic hyperplane sections and utilizing alterations to smooth curves, they determine the structure of $V(X/k)$ .
Duality and Reciprocity: In the application section, the authors establish duality pairings for regular projective curves (both prime-to- $p$ and $p$ -primary cases) using trace maps and Gabber's purity. These duality results are used to prove the injectivity of the reciprocity map modulo $n$ , which is crucial for class field theory.

Key Contributions and Results

Theorem 1.1 (Finiteness of Torsion):
- If $X$ is a regular projective scheme over a local field of characteristic $p > 0$ , the torsion subgroup $\pi_1^{ab}(X)_{tor}$ is finite.
- If $X$ is regular and quasi-projective, the torsion subgroup excluding $p$ -torsion is finite.
- This extends previous results known only for smooth varieties to the regular case.
Theorem 1.2 (Structure of $V(X/k)$ ):
- For a geometrically irreducible projective integral scheme $X$ over a local field of characteristic $p > 0$ , the group $V(X/k) = \text{Ker}(SK_1(X) \to k^\times)$ decomposes as $T \oplus D$ , where $T$ is a torsion group and $D$ is a divisible group.
- Furthermore, for regular projective curves, the torsion summand $T$ is shown to be of finite exponent.
Theorem 1.3 (Class Field Theory for Regular Curves):
- For a regular projective curve $X$ $X$ over a local field, the reciprocity map $\rho_X: SK_1(X) \to \pi_1^{ab}(X)$ $ρ_{X} : S K_{1} (X) \to π_{1}^{ab} (X)$ satisfies:
  1. $\text{Ker}(\rho_X)$ is divisible by every integer prime to $p$ . If $X$ is generically smooth, $\text{Ker}(\rho_X)$ is the maximal divisible subgroup of $SK_1(X)$ .
  2. $\text{Image}(\rho_{X,0})$ (the image in the geometric part) is a finite group.
  3. $\text{Coker}(\rho_X)_{tor}$ is a finite group.

Significance and Claims
The paper claims to extend the foundational finiteness results of the abelian fundamental group from smooth to regular projective varieties over local fields of positive characteristic. This is significant because regular quasi-projective schemes over finite fields are automatically smooth, making this question unique to the local field setting.

The primary application presented is the extension of unramified class field theory. By proving the finiteness of the torsion subgroup and establishing the structure of $SK_1(X)$ for regular curves, the authors generalize the class field theory results previously known only for smooth projective curves (due to Bloch, Saito, and Yoshida) to the case of regular projective curves. The paper asserts that these results provide the necessary structural control over the reciprocity map to formulate class field theory for this broader class of varieties.

The authors explicitly state that their work relies on the finiteness of the torsion subgroup as a key ingredient for studying class field theory, thereby bridging a gap between the theory of smooth varieties and regular (potentially singular) varieties in the context of local fields.

The Story of the Knots and the Map

The Two-Step Proof: Taming the Knots

The Application: Updating the Rulebook

Why This Matters

More like this