🔢 mathematics

The étale Brauer-Manin obstruction for classifying stacks

This paper proves that the étale Brauer-Manin obstruction is the sole obstruction to strong approximation for classifying stacks $BG$ of linear algebraic groups over number fields, a result achieved by developing a theory of torsors and Galois twists for algebraic stacks.

Original authors: Ajneet Dhillon, Nicole Lemire, Jonathan Martin, Yidi Wang

Published 2026-04-17

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Ajneet Dhillon, Nicole Lemire, Jonathan Martin, Yidi Wang

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

The Big Picture: The "Lost and Found" of Math

Imagine you are a detective trying to solve a mystery. The mystery is: "If we have clues scattered all over the world, can we be sure the solution exists in one specific place?"

In mathematics, specifically in a field called Arithmetic Geometry, this is known as a "local-to-global" problem.

The "Local" clues: These are solutions you can find in specific neighborhoods (like the real numbers, or numbers with a specific remainder).
The "Global" solution: This is the "perfect" solution that works everywhere at once (a rational number).

Usually, if you have clues everywhere, you expect a global solution. But sometimes, the clues are misleading. There are "traps" or "obstacles" that make it look like a solution exists locally, but it actually doesn't exist globally.

The Cast of Characters

The Variety (The Map): Think of a standard algebraic variety as a map of a city. You want to find a specific address (a point) on this map.
The Stack (The Map with Symmetry): This paper studies something called a Classifying Stack ($BG$).
- Analogy: Imagine a map where every location isn't just a point, but a bundle of identical twins. If you visit a spot, you don't just see "a house"; you see a house and all its symmetrical rotations.
- In math terms, these stacks classify "torsors," which are like twisted versions of groups. They are more complex than standard maps because they keep track of symmetries.
The Group ( $G$ ): This is the set of rules for how the "twins" can rotate or swap places.
The Obstruction (The Fog): Sometimes, you can't find the global solution because of a "fog" that hides the truth.
- The Old Fog (Brauer-Manin): For a long time, mathematicians knew about one type of fog. If you cleared this fog, you could usually find your solution.
- The New Fog (Étale Brauer-Manin): The authors discovered that for these complex "twisted maps" (stacks), the old fog isn't enough. There is a thicker, more subtle fog that can hide the solution even when the old fog is gone.

The Main Discovery

The paper proves a very strong statement: If you clear away this "New Fog" (the Étale Brauer-Manin obstruction), you are guaranteed to find the solution.

In other words:

"There are no other hidden tricks or traps preventing us from finding the global solution, other than this specific, sophisticated fog."

How They Did It: The "Galois Twist"

To prove this, the authors had to invent a new way of looking at these twisted maps. They used a concept called Galois Twists.

The Analogy: Imagine you have a standard Rubik's Cube (the group $G$ ). Now, imagine you take that cube and twist it inside a different dimension (a "twist" based on a specific number system). The cube looks different, but it's still fundamentally the same object, just viewed through a different lens.
The Innovation: While mathematicians knew how to twist standard maps (varieties), they didn't have a clear rulebook for twisting these complex "stacks" (maps with symmetries).
The Breakthrough: The authors spent a lot of time in the "2-Category" (a high-level mathematical structure) to write the rulebook for twisting these stacks. They showed that if you twist the stack correctly, you can break the problem down into smaller, manageable pieces.

Why Does This Matter? (The "Malle's Conjecture" Connection)

Why should a general audience care about twisted maps and fogs?

The paper mentions a connection to Malle's Conjecture, which is a famous problem about counting how many different ways you can arrange numbers to create specific patterns (Galois extensions).

The Connection: Counting these patterns is like counting how many "twisted maps" exist with a certain size.
The Impact: By understanding exactly where the "fog" hides these patterns, mathematicians can now predict the number of these patterns much more accurately. It's like realizing that a certain type of cloud always blocks the view of a specific mountain peak; once you know that, you can calculate exactly how many peaks are hidden.

Summary in One Sentence

This paper proves that for complex mathematical objects called "classifying stacks," the only thing stopping us from finding global solutions is a specific, well-understood type of arithmetic "fog," and they figured out how to map that fog perfectly by inventing new rules for twisting these objects.

1. Problem Statement

The paper addresses the Strong Approximation Problem for classifying stacks $BG$, where $G$ is a linear algebraic group over a number field $k$ .

Context: Strong approximation asks whether the set of rational points $X(k)$ is dense in the adelic points $X(\mathbb{A}_k)$ (or off a finite set of places $S$ , $X(\mathbb{A}_{k,S})$ ).
The Obstruction: For algebraic varieties, the failure of strong approximation is often explained by the Brauer-Manin obstruction. However, for disconnected groups or specific stacky contexts, the standard Brauer-Manin obstruction may be insufficient.
Specific Gap: Previous work (Dhillon, [4]) established that the Brauer-Manin obstruction is the only obstruction for $BG$ when $G$ is connected. The open question remained for disconnected groups $G$ , particularly when the component group $G/G^\circ$ is non-abelian. In these cases, the standard Brauer-Manin locus might not capture all arithmetic obstructions.
Goal: To determine if the étale Brauer-Manin obstruction (a finer obstruction involving finite étale covers) is the only obstruction to strong approximation for $BG$ for any linear algebraic group $G$ .

2. Methodology

The authors develop a robust theoretical framework to handle algebraic stacks, specifically focusing on torsors and Galois twists in the context of 2-categories.

A. Formalization of Torsors and Galois Twists for Stacks

Torsors over Stacks: The paper rigorously defines $G$ -torsors over an algebraic stack $Y$ (Definition 2.2), ensuring representability and local triviality in the fppf topology.
Galois Twists: The authors generalize the concept of twisting varieties by Galois cohomology classes to algebraic stacks.
- Given a $G$ -torsor $X \to Y$ and a left $G$ -torsor $P$ (representing $\sigma \in H^1(k, G)$ ), they define the twisted stack $X^\sigma = X \times_G P$ .
- Key Technical Achievement: They formalize this in the language of 2-categories, defining strict and weak group actions on stacks (Appendix A) and proving that twisting preserves the stack structure (Proposition 2.5).
Reduction to Connected Components: They utilize the exact sequence $1 \to G^\circ \to G \to H \to 1$ (where $H = G/G^\circ$ ). They show that the classifying stack $BG$ can be decomposed into a disjoint union of twists of the connected component stack $BG^\circ$ indexed by $H^1(k, H)$ (Proposition 2.8 and Lemma 3.2).

B. Topology on Adelic Points of Stacks

The authors rely on the topology defined in [4] for adelic points of stacks.
They define $S$ -liftable stacks and $S$ -lifting presentations (Definition 3.1) to ensure that the adelic topology behaves well (e.g., allowing descent arguments).
They prove that for proper representable morphisms, the induced map on adelic points is topologically proper (Proposition 3.3), which is crucial for establishing closedness properties.

C. The Étale Brauer-Manin Locus

Definition: The étale Brauer-Manin locus $X(\mathbb{A}_k)^{\text{ét,Br}}$ is defined as the intersection over all finite étale group schemes $H$ and all torsors $f: Y \to X$ of the union of Brauer-Manin loci of the twists $Y^\sigma$ .
Closedness: A critical technical step is proving that this locus is closed in the adelic topology (Proposition 3.6 and Corollary 3.7). This relies on the finiteness of the set of relevant Galois cohomology classes (Proposition 3.5) and the properness of the morphisms involved.

3. Key Contributions

Theory of Stacky Twists: The paper provides the first comprehensive formulation of Galois twists and torsors specifically for algebraic stacks, resolving technical difficulties arising from the 2-categorical nature of stacks (Appendix A).
Decomposition of Classifying Stacks: They establish an equivalence between the category of $G$ -torsors and a disjoint union of twists of $G^\circ$ -torsors, effectively reducing the problem for disconnected groups to the connected case.
Closedness of the Étale Locus: They prove that the étale Brauer-Manin locus for algebraic stacks is closed, a non-trivial result given the infinite nature of the intersection over all finite étale covers.

4. Main Results

The central theorem of the paper is Theorem 1.1 (and its detailed proof in Section 4):

Theorem: Let $G$ be a linear algebraic group over a number field $k$ , and let $S$ be a finite set of places containing all infinite places.

The étale Brauer-Manin locus $BG(\mathbb{A}_{k,S})^{\text{ét,Br}}$ is closed.

The image of the rational points $BG(k)$ is dense in $BG(\mathbb{A}_{k,S})^{\text{ét,Br}}$ .

Conclusion: The étale Brauer-Manin obstruction is the only obstruction to strong approximation for the classifying stack $BG$.

Proof Sketch:

Decomposition: Using Lemma 3.2, $BG(k)$ is the union of $k$ -points of the twists $(BG^\circ)^\sigma$ for $\sigma \in H^1(k, H)$ .
Reduction: The problem reduces to showing strong approximation for each twist $(BG^\circ)^\sigma$ with respect to its own Brauer-Manin obstruction.
Lifting: The authors show that $(BG^\circ)^\sigma$ is isomorphic to a quotient stack $[P \times_G SL_n / SL_n]$ (Theorem 4.2).
Application of Known Results: Since $SL_n$ is connected and simply connected, strong approximation holds for the underlying homogeneous space $P \times_G SL_n$ (by [1]). The Brauer group of the stack is controlled by the Brauer group of the homogeneous space.
Density: Rational points on the homogeneous space lift to rational points on the stack, proving the density of $BG(k)$ in the étale Brauer-Manin locus.

5. Significance

Resolution of a Major Open Problem: The paper settles the question of strong approximation for classifying stacks of disconnected groups, extending previous results that were limited to connected groups.
Malle's Conjecture: The authors highlight a potential application to Malle's Conjecture, which predicts the number of Galois extensions with a fixed Galois group and bounded discriminant.
- Counting such extensions is equivalent to counting $k$ -points on $BG$ with bounded height.
- Recent work (Loughran–Santans) suggests a correlation between Malle's conjecture and cohomological obstructions on $BG$.
- By characterizing the obstruction to strong approximation as purely étale Brauer-Manin, this paper provides a foundational step toward understanding the distribution of rational points on $BG$, which is essential for refining the asymptotic formulas in Malle's Conjecture.
Foundational Tool: The developed theory of torsors and twists for stacks serves as a necessary toolkit for future arithmetic geometry research involving algebraic stacks, particularly in the context of the Hasse principle and strong approximation.