arxiv: 2605.08972 · v1 · submitted 2026-05-09 · 🧮 math.AG · math.NT

Recognition: 2 theorem links

· Lean Theorem

Refined obstructions to local-global principles for 0-cycles

Anouk Greven, Francesca Balestrieri, Katerina Santicola, Manoy Trip, Rachel Newton, Soumya Sankar

Pith reviewed 2026-05-12 01:46 UTC · model grok-4.3

classification 🧮 math.AG math.NT

keywords 0-cyclesHasse principleweak approximationrefined obstructionsgeneralised Kummer varietiesbielliptic surfacesTate-Shafarevich groupsBrauer-Manin obstruction

0 comments

The pith

New refined obstructions control the Hasse principle and weak approximation for 0-cycles on generalised Kummer varieties and bielliptic surfaces, assuming finiteness of relevant Tate-Shafarevich groups.

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

The paper introduces refined obstructions to local-global principles for 0-cycles on varieties over number fields. It proves that these obstructions govern the Hasse principle and weak approximation for 0-cycles on generalised Kummer varieties and bielliptic surfaces, once finiteness of the relevant Tate-Shafarevich groups is assumed. The same obstructions also resolve a question of Zhang on the relationship between the Brauer-Manin and connected descent obstructions for 0-cycles. In addition, they show that a Corwin-Schlank style refined obstruction set coincides exactly with the set of global 0-cycles, conditionally on the Section Conjecture.

Core claim

We introduce new refined obstructions to local-global principles for 0-cycles. Assuming finiteness of relevant Tate-Shafarevich groups, the Hasse principle and weak approximation for 0-cycles on generalised Kummer varieties and bielliptic surfaces are controlled by obstructions of this new type. As an additional application, we answer a question of Zhang about the relationship between the Brauer-Manin and connected descent obstructions for 0-cycles. We also show that a Corwin-Schlank style refined obstruction set coincides with the set of global 0-cycles, conditionally on the Section Conjecture.

What carries the argument

The refined obstructions to local-global principles for 0-cycles, which refine existing obstructions such as the Brauer-Manin obstruction and descent obstructions.

If this is right

The Hasse principle for 0-cycles on these varieties is completely determined by the refined obstructions.
Weak approximation for 0-cycles holds precisely when the refined obstruction set is empty.
The Brauer-Manin obstruction and connected descent obstruction for 0-cycles are related in a specific way that answers Zhang's question.
Conditionally on the Section Conjecture, the Corwin-Schlank refined obstruction set equals the set of global 0-cycles.

Where Pith is reading between the lines

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

The refined obstructions may be computable in concrete cases where classical obstructions are not, offering a practical tool for checking existence of 0-cycles.
Similar refinements could apply to 0-cycles on other classes of varieties where finiteness of Tate-Shafarevich groups is known or conjectured.
The approach connects local-global principles for cycles to questions about the Section Conjecture in anabelian geometry.

Load-bearing premise

Finiteness of the relevant Tate-Shafarevich groups is required to conclude that the new refined obstructions control the Hasse principle and weak approximation.

What would settle it

A generalised Kummer variety or bielliptic surface over a number field where the Hasse principle for 0-cycles fails despite the refined obstruction vanishing, or holds despite the obstruction being nonzero, under the finiteness assumption.

read the original abstract

We introduce new `refined' obstructions to local-global principles for 0-cycles on algebraic varieties over number fields. Assuming finiteness of relevant Tate--Shafarevich groups, we show that the Hasse principle and weak approximation for 0-cycles on generalised Kummer varieties and bielliptic surfaces are controlled by obstructions of this new type. As an additional application of our refined obstructions, we answer a question of Zhang about the relationship between the Brauer--Manin and connected descent obstructions for 0-cycles. We also show that a Corwin--Schlank style refined obstruction set coincides with the set of global 0-cycles, conditionally on the Section Conjecture.

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.

Desk Editor's Note private letter to a colleague

read the letter

The paper introduces refined obstructions that conditionally control the Hasse principle and weak approximation for 0-cycles on generalized Kummer varieties and bielliptic surfaces, plus applications to a Zhang question and Corwin-Schlank obstructions. They define these new objects and show they govern the local-global behavior for 0-cycles on those two families, assuming finiteness of the relevant Tate-Shafarevich groups. They also use the obstructions to address Zhang's question on the relationship between Brauer-Manin and connected descent, and prove that a Corwin-Schlank style set coincides with the global 0-cycles under the section conjecture. The conditional statements are stated up front, which keeps things honest. The work sits squarely in the literature on descent obstructions without obvious gaps in the logic or self-referential fitting. The concrete applications to the two surface families give it some teeth beyond pure formalism. The main limitation is the reliance on the finiteness hypothesis for the Tate-Shafarevich groups. This is a standard assumption in the field, but it leaves the results conditional rather than unconditional, and the paper does not resolve the finiteness question itself. Without the full definitions and proof details in front of me it is hard to gauge exactly how much sharper the refinements are compared to earlier obstructions, but the abstract gives no sign of overclaiming or internal inconsistency. This is aimed at specialists working on arithmetic geometry, local-global principles for cycles, and obstruction theory. Someone already comfortable with Brauer-Manin, descent, and 0-cycles on surfaces would find the new objects and the applications useful for further work. It has enough new content and clear grounding to deserve a serious referee rather than a desk rejection, even if the referees will want to see the definitions and proofs expanded.

Referee Report

0 major / 1 minor

Summary. The paper introduces new 'refined' obstructions to local-global principles for 0-cycles on algebraic varieties over number fields. Assuming finiteness of relevant Tate-Shafarevich groups, it shows that the Hasse principle and weak approximation for 0-cycles on generalised Kummer varieties and bielliptic surfaces are controlled by these obstructions. As further applications, it answers a question of Zhang on the relationship between the Brauer-Manin and connected descent obstructions for 0-cycles, and shows that a Corwin-Schlank style refined obstruction set coincides with the set of global 0-cycles, conditionally on the Section Conjecture.

Significance. If the results hold under the stated finiteness hypotheses, the introduction of these refined obstructions would provide new tools for controlling local-global principles for 0-cycles on specific classes of varieties with nontrivial geometry, extending beyond classical Brauer-Manin obstructions. The conditional resolution of Zhang's question and the link to Corwin-Schlank obstructions under the Section Conjecture would represent concrete advances in the arithmetic geometry of 0-cycles.

minor comments (1)

The abstract and introduction would benefit from a brief outline of the definition of the refined obstructions (e.g., how they refine the Brauer-Manin or descent obstructions) to allow readers to assess their novelty without immediately consulting the full technical sections.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for recognizing the potential significance of the refined obstructions in controlling local-global principles for 0-cycles on generalised Kummer varieties and bielliptic surfaces, as well as the applications to Zhang's question and Corwin-Schlank obstructions under the Section Conjecture. We note the 'uncertain' recommendation but observe that no specific major comments or concerns are detailed in the report. We remain available to clarify any aspects or incorporate feedback should further comments be provided.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines new refined obstructions to local-global principles for 0-cycles and proves, under the explicit external hypothesis of finiteness of relevant Tate-Shafarevich groups, that these obstructions control the Hasse principle and weak approximation for 0-cycles on generalised Kummer varieties and bielliptic surfaces. Additional applications to Zhang's question and the Corwin-Schlank obstruction are likewise conditional on the independent Section Conjecture. No derivation step reduces by construction to its own inputs, no parameter is fitted and then renamed as a prediction, and no load-bearing claim rests on a self-citation chain. The logic is self-contained against standard external benchmarks in arithmetic geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Abstract-only review yields limited ledger entries; the main external assumption is finiteness of Tate-Shafarevich groups, and the refined obstructions themselves are newly introduced.

axioms (1)

domain assumption Finiteness of relevant Tate-Shafarevich groups
Explicitly assumed in the abstract to conclude that the new obstructions control the Hasse principle and weak approximation.

invented entities (1)

Refined obstructions to local-global principles for 0-cycles no independent evidence
purpose: To control the Hasse principle and weak approximation for 0-cycles on generalised Kummer varieties and bielliptic surfaces
Newly defined objects whose precise construction is not given in the abstract.

pith-pipeline@v0.9.0 · 5430 in / 1359 out tokens · 43858 ms · 2026-05-12T01:46:46.754028+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
We introduce new 'refined' obstructions... eZ0,Ω(X)obs := frecX,Ω (⊕L/k Z[X(LΩ)obs]) ... applications to generalised Kummer varieties and bielliptic surfaces
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Assuming finiteness of relevant Tate–Shafarevich groups... Hasse principle and weak approximation for 0-cycles

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages

[1]

1983 , isbn =

Jean-Pierre Jouanolou , title =. 1983 , isbn =

work page 1983
[2]

Skorobogatov , title =

David Harari and Alexei N. Skorobogatov , title =. Torsors, Étale Homotopy and Applications to Rational Points , series =. 2013 , pages =. doi:10.1017/CBO9781139525350.009 , isbn =

work page doi:10.1017/cbo9781139525350.009 2013
[3]

Journal of the Institute of Mathematics of Jussieu , volume =

Nguyen Manh Linh , title =. Journal of the Institute of Mathematics of Jussieu , volume =. 2026 , pages =

work page 2026
[4]

Essential Number Theory , volume =

Bianca Viray and Isabel Vogt , title =. Essential Number Theory , volume =. 2026 , pages =

work page 2026
[5]

Silverman , title =

Marc Hindry and Joseph H. Silverman , title =. 2013 , isbn =

work page 2013
[6]

Silverman , title =

Joseph H. Silverman , title =. 2009 , edition =

work page 2009
[7]

Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 1 , pages =

Yuri Ivanovich Manin , title =. Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 1 , pages =. 1971 , mrclass =

work page 1970
[8]

, title =

Skorobogatov, Alexei N. , title =. Explicit Methods in Number Theory. Oberwolfach Rep. , pages =. 2009 , doi =

work page 2009
[9]

Israel Journal of Mathematics , volume =

Lan Wang , title =. Israel Journal of Mathematics , volume =. 1996 , pages =. doi:10.1007/BF02762704 , issn =

work page doi:10.1007/bf02762704 1996
[10]

Acta Arith

Eriksson, Dennis and Scharaschkin, Victor , TITLE =. Acta Arith. , FJOURNAL =. 2008 , NUMBER =. doi:10.4064/aa135-2-1 , URL =

work page doi:10.4064/aa135-2-1 2008
[11]

2020 , eprint=

Brauer and Etale Homotopy Obstructions to Rational Points on Open Covers , author=. 2020 , eprint=

work page 2020
[12]

Creutz, Brendan , TITLE =. J. Number Theory , FJOURNAL =. 2017 , PAGES =. doi:10.1016/j.jnt.2017.02.007 , URL =

work page doi:10.1016/j.jnt.2017.02.007 2017
[13]

, TITLE =

Skorobogatov, Alexei N. , TITLE =. Invent. Math. , FJOURNAL =. 1999 , NUMBER =. doi:10.1007/s002220050291 , URL =

work page doi:10.1007/s002220050291 1999
[14]

Harari, David , TITLE =. Int. Math. Res. Not. , FJOURNAL =. 2006 , PAGES =. doi:10.1155/IMRN/2006/68632 , URL =

work page doi:10.1155/imrn/2006/68632 2006
[15]

Colliot-Th\'el\`ene, Jean-Louis , TITLE =. J. Th\'eor. Nombres Bordeaux , FJOURNAL =. 1995 , NUMBER =. doi:10.5802/jtnb.130 , URL =

work page doi:10.5802/jtnb.130 1995
[16]

, TITLE =

Skorobogatov, Alexei N. , TITLE =. 2001 , PAGES =. doi:10.1017/CBO9780511549588 , URL =

work page doi:10.1017/cbo9780511549588 2001
[17]

Colliot-Th\'el\`ene, Jean-Louis , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2000 , NUMBER =. doi:10.1090/S0894-0347-99-00318-5 , URL =

work page doi:10.1090/s0894-0347-99-00318-5 2000
[18]

The Brauer--Grothendieck Group , series =

Jean-Louis Colliot-Th. The Brauer--Grothendieck Group , series =. 2021 , isbn =

work page 2021
[19]

Creutz, Brendan , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2020 , NUMBER =. doi:10.1093/imrn/rny098 , URL =

work page doi:10.1093/imrn/rny098 2020
[20]

Eric Zhu , year=. Brauer-. 2510.16328 , archivePrefix=

work page arXiv
[21]

Journal f\"ur die Reine und Angewandte Mathematik , volume =

Jean-Jacques Sansuc , title =. Journal f\"ur die Reine und Angewandte Mathematik , volume =. 1981 , pages =

work page 1981
[22]

and Zarhin, Yuri G

Skorobogatov, Alexei N. and Zarhin, Yuri G. , TITLE =. Pure Appl. Math. Q. , FJOURNAL =. 2017 , NUMBER =. doi:10.4310/PAMQ.2017.v13.n2.a5 , URL =

work page doi:10.4310/pamq.2017.v13.n2.a5 2017
[23]

2025 , eprint=

Abelianized Descent Obstruction for 0-Cycles , author=. 2025 , eprint=

work page 2025
[24]

S\'eminaire de

Ekedahl, Torsten , TITLE =. S\'eminaire de. 1990 , ISBN =

work page 1990
[25]

Liang, Yongqi , TITLE =. Sci. China Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s11425-021-1994-0 , URL =

work page doi:10.1007/s11425-021-1994-0 2023
[26]

Ieronymou, Evis , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2021 , NUMBER =. doi:10.1093/imrn/rnz109 , URL =

work page doi:10.1093/imrn/rnz109 2021
[27]

Liang, Yongqi , TITLE =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2013 , NUMBER =. doi:10.24033/asens.2184 , URL =

work page doi:10.24033/asens.2184 2013
[28]

, title =

Mendes da Costa, David J. , title =. 2013 , type =

work page 2013
[29]

Transactions of the American Mathematical Society , volume =

Steven Díaz and David Harbater , title =. Transactions of the American Mathematical Society , volume =. 1991 , doi =

work page 1991
[30]

Milne , title =

James S. Milne , title =. Arithmetic Geometry , editor =. 1986 , pages =. doi:10.1007/978-1-4613-8655-1_5 , isbn =

work page doi:10.1007/978-1-4613-8655-1_5 1986
[31]

Harari, David , TITLE =. Math. Ann. , FJOURNAL =. 2002 , NUMBER =. doi:10.1007/s002080100289 , URL =

work page doi:10.1007/s002080100289 2002
[32]

Balestrieri, Francesca and Berg, Jennifer , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2024 , NUMBER =. doi:10.1093/imrn/rnae140 , URL =

work page doi:10.1093/imrn/rnae140 2024
[33]

On ranks of J acobian varieties in prime degree extensions

Mendes da Costa, David John. On ranks of J acobian varieties in prime degree extensions. Acta Arithmetica. 2013. doi:10.4064/aa161-3-3

work page doi:10.4064/aa161-3-3 2013
[34]

Schmidt , title =

Andreas W. Schmidt , title =. Algebra & Number Theory , volume =. 2007 , pages =

work page 2007
[35]

and Zarhin, Yuri G

Skorobogatov, Alexei N. and Zarhin, Yuri G. , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2008 , NUMBER =. doi:10.1090/S1056-3911-07-00471-7 , URL =

work page doi:10.1090/s1056-3911-07-00471-7 2008
[36]

The Elementary Obstruction and Homogeneous Spaces , journal =

Borovoi, Mikhail and Colliot-Th. The Elementary Obstruction and Homogeneous Spaces , journal =. 2008 , pages =

work page 2008
[37]

and Thorne, Frank , TITLE =

Lemke Oliver, Robert J. and Thorne, Frank , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2021 , VOLUME =. doi:10.1093/imrn/rnz307 , URL =

work page doi:10.1093/imrn/rnz307 2021
[38]

Poonen, Bjorn , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2010 , NUMBER =. doi:10.4007/annals.2010.171.2157 , URL =

work page doi:10.4007/annals.2010.171.2157 2010
[39]

, TITLE =

Skorobogatov, Alexei N. , TITLE =. Math. Ann. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00208-008-0314-4 , URL =

work page doi:10.1007/s00208-008-0314-4 2009
[40]

Higher dimensional varieties and rational points (

Colliot-Th\'el\`ene, Jean-Louis , TITLE =. Higher dimensional varieties and rational points (. 2003 , ISBN =. doi:10.1007/978-3-662-05123-8\_7 , URL =

work page doi:10.1007/978-3-662-05123-8 2003
[41]

1996 , isbn =

Arnaud Beauville , title =. 1996 , isbn =

work page 1996
[42]

Frey, Gerhard and Jarden, Moshe , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 1974 , PAGES =. doi:10.1112/plms/s3-28.1.112 , URL =

work page doi:10.1112/plms/s3-28.1.112 1974
[43]

Ramanujan J

Bruin, Pieter and Najman, Filip , TITLE =. Ramanujan J. , FJOURNAL =. 2016 , NUMBER =. doi:10.1007/s11139-014-9627-y , URL =

work page doi:10.1007/s11139-014-9627-y 2016
[44]

2013 , isbn =

Robin Hartshorne , title =. 2013 , isbn =

work page 2013
[45]

Mathematische Annalen , volume =

Yongqi Liang , title =. Mathematische Annalen , volume =. 2012 , pages =

work page 2012