pith. sign in

arxiv: 2512.01014 · v2 · submitted 2025-11-30 · 🧮 math.NT · math.AG

The \'{e}tale Brauer-Manin obstruction for classifying stacks

Ajneet Dhillon , Nicole Lemire , Jonathan Martin , Yidi Wang This is my paper

Pith reviewed 2026-05-17 02:50 UTC · model grok-4.3

classification 🧮 math.NT math.AG
keywords strong approximationBrauer-Manin obstructionclassifying stacksétale cohomologyGalois twistslinear algebraic groupsnumber fields
0
0 comments X

The pith

The étale Brauer-Manin obstruction is the only obstruction to strong approximation for classifying stacks BG of linear algebraic groups over number fields.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper establishes that the étale Brauer-Manin obstruction fully accounts for failures of strong approximation on the classifying stack BG, where G is a linear algebraic group over a number field. Strong approximation concerns the density of global points among local solutions in the adelic topology, and the result shows that the obstruction from the étale Brauer group is decisive in the stack setting. A reader cares because this gives a complete criterion for when such stacks admit dense sets of rational or integral points satisfying local conditions. To reach the conclusion the authors introduce torsors and Galois twists adapted to algebraic stacks, which let them track the obstruction directly on the stack.

Core claim

We prove that the étale Brauer-Manin obstruction is the only obstruction to strong approximation for BG. To prove the result, we formulate the theory of torsors and Galois twists for algebraic stacks.

What carries the argument

The theory of torsors and Galois twists for algebraic stacks, which extends classical Galois-cohomology tools to detect the étale Brauer-Manin obstruction on the stack itself.

If this is right

  • Any adelic point on BG that satisfies the étale Brauer-Manin condition can be strongly approximated by global points.
  • The same obstruction controls strong approximation for every linear algebraic group, not merely special cases.
  • Obstruction calculations can now be performed directly on the classifying stack without first descending to a scheme.
  • Galois twists of torsors become the standard device for reading off the obstruction in the stack context.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same stack-theoretic obstruction machinery may apply to moduli stacks that are not classifying stacks of linear groups.
  • Results of this kind could link the arithmetic of stacks to the classical Hasse principle for varieties.
  • Explicit checks for small groups such as tori or finite groups would give immediate test cases for the new theory.
  • The approach opens a route to studying integral points on stacks over rings of integers rather than just over number fields.

Load-bearing premise

The theory of torsors and Galois twists for algebraic stacks correctly encodes the arithmetic data that detects the étale Brauer-Manin obstruction.

What would settle it

A concrete linear algebraic group G over a number field k together with an adelic point on BG that satisfies every local condition and the étale Brauer-Manin condition yet fails to be strongly approximable by global points.

read the original abstract

We study the strong approximation for classifying stacks $BG$, where $G$ is a linear algebraic group over a number field $k$. More specifically, we prove that the \'etale Brauer-Manin obstruction is the only obstruction to strong approximation for $BG$. To prove the result, we formulate the theory of torsors and Galois twists for algebraic stacks.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that the étale Brauer-Manin obstruction is the only obstruction to strong approximation for the classifying stack BG of a linear algebraic group G over a number field k. The argument proceeds by formulating a theory of torsors and Galois twists for algebraic stacks, then using this theory to identify the obstruction set with the classical étale Brauer-Manin set.

Significance. If the central identification holds, the result extends the classical theory of the Brauer-Manin obstruction and strong approximation from schemes to algebraic stacks. The development of stack-theoretic torsors and Galois twists is a technical contribution that may enable analogous results for other moduli stacks and gerbes in arithmetic geometry.

major comments (2)
  1. [§3] §3 (Formulation of torsors and Galois twists): The new definitions of torsors under G and the associated Galois-twist functor on algebraic stacks are load-bearing. The manuscript must explicitly verify that these constructions are functorial, recover the classical Brauer-Manin pairing when the stack reduces to a scheme, and correctly encode the adelic points of BG via stack cohomology; without such a check the identification of the obstruction set is not guaranteed.
  2. [Theorem 1.1] Theorem 1.1 (Main result): The claim that the étale Brauer-Manin obstruction is the sole obstruction relies on the stacky theory introducing no additional obstructions beyond the classical ones. A concrete argument showing that every adelic point obstructed by the stacky pairing is already obstructed classically (and conversely) is required; the current reduction steps appear to assume this without a separate lemma.
minor comments (2)
  1. [Introduction] The introduction would benefit from a short paragraph recalling the classical Brauer-Manin obstruction for schemes before moving to the stack case.
  2. [§2] Notation for the étale Brauer-Manin set on stacks (e.g., the precise definition of the pairing) should be fixed early and used consistently.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comments point by point below, clarifying the existing arguments and indicating revisions that will strengthen the presentation without altering the main results.

read point-by-point responses

  1. Referee: [§3] §3 (Formulation of torsors and Galois twists): The new definitions of torsors under G and the associated Galois-twist functor on algebraic stacks are load-bearing. The manuscript must explicitly verify that these constructions are functorial, recover the classical Brauer-Manin pairing when the stack reduces to a scheme, and correctly encode the adelic points of BG via stack cohomology; without such a check the identification of the obstruction set is not guaranteed.

    Authors: We appreciate the referee drawing attention to the need for explicit verification of these properties. In §3 the functoriality of the torsor and Galois-twist constructions is proved in Propositions 3.2 and 3.4. Recovery of the classical Brauer-Manin pairing on schemes is established in Lemma 3.6, and the correct encoding of adelic points of BG via stack cohomology appears in Corollary 3.9. These results are used directly in the identification of obstruction sets. To address the referee's concern that the checks may not be sufficiently prominent, we will add a short summarizing paragraph at the close of §3 that collects these verifications and states their consequences for the obstruction set. revision: partial

  2. Referee: [Theorem 1.1] Theorem 1.1 (Main result): The claim that the étale Brauer-Manin obstruction is the sole obstruction relies on the stacky theory introducing no additional obstructions beyond the classical ones. A concrete argument showing that every adelic point obstructed by the stacky pairing is already obstructed classically (and conversely) is required; the current reduction steps appear to assume this without a separate lemma.

    Authors: We agree that an explicit lemma would make the reduction clearer. The proof of Theorem 1.1 reduces the stacky case to the scheme case by invoking the identifications of §3, which equate the two obstruction sets for BG. Nevertheless, we will insert a new Lemma 4.1 immediately preceding the proof of Theorem 1.1. This lemma states and proves that an adelic point of BG is obstructed by the stack-theoretic étale Brauer-Manin pairing if and only if it is obstructed by the classical étale Brauer-Manin obstruction on the underlying scheme, thereby supplying the concrete equivalence the referee requests. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation relies on independent formulation of stack torsors

full rationale

The paper formulates a theory of torsors and Galois twists for algebraic stacks as a new extension of classical notions, then applies it to identify the étale Brauer-Manin obstruction set for BG with the classical one and prove it is the sole obstruction to strong approximation. This is a standard mathematical development where the central claim rests on verifying functoriality, recovery of the scheme case, and cohomology identifications within the new framework, rather than any self-definitional loop, fitted parameter renamed as prediction, or load-bearing self-citation that reduces the result to its own inputs by construction. The provided abstract and description contain no equations or steps that exhibit the forbidden patterns, so the derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on standard background results in algebraic geometry and number theory together with the new definitions introduced for stacks; no free parameters or invented entities appear in the abstract.

axioms (2)
  • standard math Standard properties of algebraic stacks, étale cohomology, and Galois cohomology for linear algebraic groups
    Invoked to define the obstruction and to formulate torsors for stacks.
  • domain assumption Strong approximation for stacks is defined via density of rational points in the adelic space of the stack
    This is the setting in which the obstruction is studied.

pith-pipeline@v0.9.0 · 5352 in / 1420 out tokens · 49384 ms · 2026-05-17T02:50:42.993156+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages · 1 internal anchor

  1. [1]

    Manin obstruction to strong approxima- tion for homogeneous spaces

    Mikhail Borovoi and Cyril Demarche. “Manin obstruction to strong approxima- tion for homogeneous spaces.” In:Comment. Math. Helv.88.1 (2013), pp. 1–54

    work page 2013

  2. [2]

    Weil and Grothendieck approaches to adelic points

    Brian Conrad. “Weil and Grothendieck approaches to adelic points”. In:Enseign. Math. (2)58.1-2 (2012), pp. 61–97

    work page 2012

  3. [3]

    Le d ´efaut d’approximation forte dans les groupes lin ´eaires connexes

    Cyril Demarche. “Le d ´efaut d’approximation forte dans les groupes lin ´eaires connexes”. In:Proceedings of the London Mathematical Society102.3 (Oct. 2010), pp. 563–597.issn: 0024-6115.doi:10.1112/plms/pdq033

    work page doi:10.1112/plms/pdq033 2010

  4. [4]

    Ajneet Dhillon.Approximation theorems for classifying stacks over number fields. 2025. arXiv:2507.13900 [math.NT]

    work page arXiv 2025

  5. [5]

    Heights on stacks and a generalized Batyrev–Manin–Malle conjecture

    Jordan S. Ellenberg, Matthew Satriano, and David Zureick-Brown. “Heights on stacks and a generalized Batyrev–Manin–Malle conjecture”. In:Forum of Mathe- matics, Sigma11 (2023), e14.doi:10.1017/fms.2023.5

    work page doi:10.1017/fms.2023.5 2023

  6. [6]

    Gregory Ginot and Behrang Noohi.Group actions on stacks and applications to equi- variant string topology for stacks. 2016. arXiv:1206.5603 [math.AT]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  7. [7]

    Le d´efaut d’approximation forte pour les groupes alg´ebriques commutatifs

    David Harari. “Le d´efaut d’approximation forte pour les groupes alg´ebriques commutatifs”. In:Algebra & Number Theory2.5 (2008), pp. 595–611

    work page 2008

  8. [8]

    Non-abelian cohomology and rational points

    David Harari and Alexei N. Skorobogatov. “Non-abelian cohomology and rational points”. In:Compositio Math.130.3 (2002), pp. 241–273

    work page 2002

  9. [9]

    Serge Lang.Algebraic number theory. Second. Vol. 110. Graduate Texts in Mathe- matics. Springer-Verlag, New York, 1994, pp. xiv+357

    work page 1994

  10. [10]

    Daniel Loughran and Tim Santens.Malle’s conjecture and Brauer groups of stacks

    work page

  11. [11]

    arXiv:2412.04196 [math.NT]

    work page arXiv

  12. [12]

    Bjorn Poonen.Rational points on varieties. Vol. 186. Graduate Studies in Mathemat- ics. American Mathematical Society, 2017

    work page 2017

  13. [13]

    Group actions on stacks and applications

    Matthieu Romagny. “Group actions on stacks and applications”. In:Michigan Math. J.53.1 (2005), pp. 209–236

    work page 2005

  14. [14]

    https://stacks.math.columbia.edu

    The Stacks Project Authors.Stacks Project. https://stacks.math.columbia.edu. 2025. Ajneet Dhillon, Department of Mathematics, University of Western Ontario, London, Ontario, Canada, N6A 5B7 Email address:adhill3@uwo.ca Nicole Lemire, Department of Mathematics, University of Western Ontario, London, Ontario, Canada, N6A 5B7 Email address:nlemire@uwo.ca Jon...

    work page 2025