pith. sign in

arxiv: 2604.10498 · v1 · submitted 2026-04-12 · 🧮 math.NT

Remarks on Brauer-Manin obstruction for Weil restrictions

Sheng Chen , Kai Huang This is my paper

Pith reviewed 2026-05-10 16:23 UTC · model grok-4.3

classification 🧮 math.NT
keywords Brauer-Manin obstructionWeil restrictionnumber fieldsfundamental groupPicard grouprational pointsHasse principlealgebraic geometry
0
0 comments X

The pith

If the abelianized fundamental group of X is trivial, the Brauer-Manin sets of X and its Weil restriction R_{K/k}X are naturally identified.

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

The paper proves that for a smooth quasi-projective variety X over a number field K and a finite extension K/k, the Brauer-Manin sets coincide naturally with those of the Weil restriction R_{K/k}X whenever the abelianized fundamental group of X is trivial. A parallel identification holds for the algebraic Brauer-Manin sets when X is projective and the Picard group of X over the algebraic closure is torsion-free. These bijections allow the obstruction to the existence of rational points to transfer directly between the variety over the extension and the descended variety over the base field. A reader would care because the result lets arithmetic properties of points modulo the Brauer-Manin pairing be studied by moving between base fields without changing the obstruction.

Core claim

Given a finite extension K/k of number fields and a smooth quasi-projective variety X over K, if the abelianized fundamental group of X is trivial, there is a natural identification between Brauer-Manin sets of X and R_{K/k}X. If X is projective and Pic(X×_K k-bar) is torsion-free, there is a natural identification between algebraic Brauer-Manin sets of X and R_{K/k}X.

What carries the argument

The Weil restriction functor R_{K/k} applied to X, together with the Brauer-Manin pairing on the adelic points that defines the obstructed sets.

If this is right

  • The Brauer-Manin obstruction to rational points on X descends unchanged to the Weil restriction under the stated hypotheses.
  • Local solubility conditions modulo the Brauer group can be checked equivalently on either the original variety or its restriction.
  • For projective X with torsion-free Picard group, the algebraic Brauer-Manin obstruction likewise descends.
  • Questions about the Hasse principle for X can be reduced to the same questions for R_{K/k}X when the conditions hold.

Where Pith is reading between the lines

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

  • The identifications may simplify explicit computations of obstructed adelic points by working with the variety over the smaller field k.
  • The result suggests that the Brauer-Manin obstruction is largely insensitive to finite base change when the fundamental group or Picard group conditions are met.
  • One could test the identifications on concrete families such as curves or surfaces over quadratic extensions where the hypotheses are known to hold.
  • The bijections might extend to other descent obstructions beyond the Brauer-Manin pairing in cases where the same group conditions apply.

Load-bearing premise

The assumption that the abelianized fundamental group of X is trivial or that the Picard group of X over the algebraic closure is torsion-free.

What would settle it

An explicit example of a smooth quasi-projective X over K where the abelianized fundamental group is nontrivial yet the Brauer-Manin sets of X and R_{K/k}X fail to be in bijection.

read the original abstract

Given a finite extension $K/k$ of number fields and a smooth quasi-projective variety $X$ over $K$. If the abelianized fundamental group of $X$ is trivial, we prove that there is a natural identification between Brauer-Manin sets of $X$ and its Weil restriction $R_{K/k}X$. If $X$ is projective and $Pic(X\times_{K}\overline{k})$ is a torsion-free abelian group, we prove that there is a natural identification between algebraic Brauer-Manin sets of $X$ and $R_{K/k}X$.

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

0 major / 2 minor

Summary. The paper proves two conditional results for a smooth quasi-projective variety X over a number field K with finite extension K/k: if the abelianized fundamental group of X is trivial then the Brauer-Manin sets of X and its Weil restriction R_{K/k}X are naturally identified; if in addition X is projective and Pic(X ×_K k-bar) is torsion-free then the algebraic Brauer-Manin sets are likewise identified.

Significance. If the identifications hold, the results supply a precise relation between the Brauer-Manin obstruction on a variety and on its Weil restriction, which is a standard construction in arithmetic geometry. This may allow transfer of information about the existence of rational points between the two settings under the stated hypotheses, and the conditional statements are clearly delimited.

minor comments (2)
  1. The manuscript would benefit from a short preliminary section recalling the precise definitions of the Brauer-Manin sets (ordinary and algebraic) and the Weil restriction functor that are used throughout, even if these are standard.
  2. Notation for the base change X ×_K k-bar and for the abelianized fundamental group should be introduced explicitly in the first section rather than assumed from context.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive summary of our results, their assessment of the significance, and the recommendation of minor revision. No specific major comments appear in the report.

read point-by-point responses

  1. Referee: No major comments were provided in the referee report.

    Authors: We appreciate the referee's concise summary of the two conditional identification results and the note on their potential utility for transferring information about rational points. Since no concrete issues, questions, or suggestions for improvement were raised, we have no points requiring detailed rebuttal or explanation. The manuscript already delimits the hypotheses clearly, as noted by the referee. revision: no

Circularity Check

0 steps flagged

No significant circularity; derivations are conditional proofs from standard definitions

full rationale

The paper states two conditional results: under the hypothesis that the abelianized fundamental group of X is trivial, a natural identification exists between the Brauer-Manin sets of X and its Weil restriction R_{K/k}X; and under projectivity of X plus torsion-freeness of Pic(X ×_K k-bar), a natural identification holds for the algebraic Brauer-Manin sets. These are presented as theorems proved from the definitions of Brauer groups, Weil restriction, and Manin obstruction in the context of number fields and varieties. No equations or steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the hypotheses are explicitly required and the claims do not hold without them. The work is a self-contained proof paper whose central identifications follow from algebraic geometry machinery rather than renaming or smuggling prior results by the same authors.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on the two explicit hypotheses about the fundamental group and Picard group together with standard background facts about Brauer groups, Weil restrictions, and fundamental groups of varieties over number fields.

axioms (2)
  • domain assumption The abelianized fundamental group of X is trivial
    Hypothesis for the first identification of Brauer-Manin sets.
  • domain assumption X is projective and Pic(X ×_K k-bar) is torsion-free
    Hypothesis for the second identification of algebraic Brauer-Manin sets.

pith-pipeline@v0.9.0 · 5384 in / 1404 out tokens · 68464 ms · 2026-05-10T16:23:28.652442+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

15 extracted references · 15 canonical work pages

  1. [1]

    Y . Cao, C. Demarche, F. Xu,Comparing descent obstruction and Brauer–Manin obstruction for open varieties, Trans. Amer. Math. Soc. 371 (2019), 8625–865

    work page 2019

  2. [2]

    Y . Cao, Y . Liang,Étale Brauer–Manin obstruction for Weil restrictions, Advances in Mathematics, 410 (2022)

    work page 2022

  3. [3]

    Colliot-Thélène,Points rationnels sur les fibrations, in Higher Dimensional Varieties and Rational Points, Bolyai Society Mathematical Studies 12, Springer, 2003, p

    J.-L. Colliot-Thélène,Points rationnels sur les fibrations, in Higher Dimensional Varieties and Rational Points, Bolyai Society Mathematical Studies 12, Springer, 2003, p. 171–221. 8 SHENG CHEN AND KAI HUANG

    work page 2003

  4. [4]

    Colliot-Thélène, B

    J.-L. Colliot-Thélène, B. Poonen,Algebraic families of nonzero elements of Shafarevich–Tate groups, J. Amer. Math. Soc. 13 (2000), 83–99

    work page 2000

  5. [5]

    Colliot-Thélène, A

    J.-L. Colliot-Thélène, A. N. Skorobogatov,The Brauer–Grothendieck Group, Ergebnisse der Mathematik und ihrer Grenzgebiete 3. Folge, V ol. 71, 2021

    work page 2021

  6. [6]

    Conrad,Weil and Grothendieck approaches to adelic points, L’Enseignement Mathématique, 58 (2012), 61–97

    B. Conrad,Weil and Grothendieck approaches to adelic points, L’Enseignement Mathématique, 58 (2012), 61–97

    work page 2012

  7. [7]

    Demazure, A

    M. Demazure, A. Grothendieck,Schémas en groupes, Séminaire de géométrie algébrique du Bois-Marie SGA 3, Lecture Notes in Math. 151, 152, 153, Springer, Berlin-Heidelberg-New York 1970

    work page 1970

  8. [8]

    Grothendieck,Revêtements étales et groupe fondamental, Lecture Notes in Mathematics, 224, Springer-Verlag, Berlin-New York, 1971

    A. Grothendieck,Revêtements étales et groupe fondamental, Lecture Notes in Mathematics, 224, Springer-Verlag, Berlin-New York, 1971

    work page 1971

  9. [9]

    Harari, A

    D. Harari, A. N. Skorobogatov,Descent theory for open varieties, Torsors, étale homotopy and applications to rational points, 2013, pp. 250–279. Oxford University Press

    work page 2013

  10. [10]

    Yu. I. Manin,Le groupe de Brauer–Grothendieck en géométrie diophantienne, Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 1, Gauthier-Villars, Paris, 1971, pp. 401–411

    work page 1970

  11. [11]

    Neukirch, A

    J. Neukirch, A. Schmidt, Kay Wingberg,Cohomology of Number Fields, Grundlehren der mathematischen Wissenschaften, V ol. 323, 2008

    work page 2008

  12. [12]

    Serre,Topics in Galois theory, Research Notes in Mathematics 1, Jones and Bartlett, 1992

    J.-P. Serre,Topics in Galois theory, Research Notes in Mathematics 1, Jones and Bartlett, 1992

    work page 1992

  13. [13]

    A. N. Skorobogatov,Torsors and Rational Points, Cambridge Tracts in Mathematics, 144, Cambridge University Press, 2001

    work page 2001

  14. [14]

    A. N. Skorobogatov, Yu. G. Zarhin,The Brauer group and the Brauer–Manin set of products of varieties, J. Eur. Math. Soc. 16 (2014), 749–768

    work page 2014

  15. [15]

    Stoll,Finite descent obstructions and rational points on curves, Algebra Number Theory 1(4), 349–391, (2007)

    M. Stoll,Finite descent obstructions and rational points on curves, Algebra Number Theory 1(4), 349–391, (2007). SHENGCHEN SCHOOL OFMATHEMATICS ANDSTATISTICS, CHANGCHUNUNIVERSITY OFSCIENCE ANDTECHNOLOGY; 7089 WEIXINGROAD, CHANGCHUN, CHINA Email address:chenshen1991@cust.edu.cn KAIHUANG SCHOOL OFMATHEMATICALSCIENCES, UNIVERSITY OFSCIENCE ANDTECHNOLOGY OFCH...

    work page 2007