Pith. Sign in

REVIEW

Zero-cycles and Brauer groups on certain Enriques surfaces

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
Thomas Jaklitsch

Number Theory · Submitted 13 Oct 2026 · 41 references

Pith's verdict: Nice work on Brauer groups and 0-cycles for Enriques surfaces, but the necessity direction of Theorem 4.6 has an unjustified step about -b being a square.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on October 15, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 1 major objection · 5 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID2610.19307 (version 1)
Pith IDG5NNZLJI, Pith's permanent record of this paper and its review
CitationThomas Jaklitsch. "Zero-cycles and Brauer groups on certain Enriques surfaces." arXiv:2610.19307 (2026). https://pith.science/paper/G5NNZLJI
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

对于Lieberman型Enriques曲面，零环群的degree-0子群是16-torsion，并且利用Brauer-Manin配对构造了非平凡的2-torsion元素，前提是某个Brauer群映射是同构。

The reading

该论文研究Lieberman类型的Enriques曲面，这类曲面是特定Kummer曲面的商。第一个主要结果是：在任何特征不为2或3的域上，零环群的degree-0子群A_0(S)是16-torsion。第二个主要结果是：在p-adic域上，当两个椭圆曲线具有分裂乘性约化时，论文计算了transcendental Brauer群，并利用Brauer-Manin配对给出了f_*T(A)/2与Br(S)/Br_0(S)非平凡配对的充要条件：即Br(X)[2]/Br_1(X)[2]到Br(A)[2]/Br_1(A)[2]是同构。这导致存在显式的Enriques曲面（在有限扩域上）使得A_0(S)非平凡。

What carries the argument

关键机制包括：Brauer-Manin配对，它连接零环和Brauer群；Skorobogatov-Zarhin关于Kummer曲面Brauer群的工作（特别是将Br(A)[2]/Br_1(A)[2]与Hom(E_1[2], E_2[2])同构）；以及p-adic uniformization将椭圆曲线2-torsion点与平方条件联系起来。论文还利用双椭圆曲面的已知结果（Gaz25）作为上界论证的一部分。

Extended reading notes

Core claim

论文的核心发现是定理B：存在Lieberman类型的Enriques商S，使得f_*T(A)/2与Br(S)/Br_0(S)通过Brauer-Manin配对的配对非平凡，当且仅当Br(X)[2]/Br_1(X)[2]到Br(A)[2]/Br_1(A)[2]的映射是同构。这给出了Enriques曲面零环群非平凡性的一个判别条件，并允许构造具体例子。

Load-bearing premise

两个椭圆曲线在代数闭包上不同源，且所有2-torsion点定义在基域上。这个假设用于控制Kummer曲面的Picard群结构，并确保Skorobogatov-Zarhin的同构成立；如果它不成立，则Brauer群的计算和定理B的核心条件都将失效。

Editorial extensions

If this is right

  • 给出了Enriques曲面零环群非平凡的第一个系统构造，提供了具体例子（例如Q_13上的曲线）。
  • 提供了transcendental Brauer-Manin obstruction to weak approximation的第二个已知例子。
  • 定理B的条件易于通过椭圆曲线系数的平方性检验，从而可以系统搜索更多例子。
  • 论文的结果为研究Colliot-Thélène猜想(E)对于Enriques曲面提供了关键输入。

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 该方法可能推广到其他由Kummer曲面商构造的Enriques曲面类型（例如Kondo-Mukai型），只要能够控制相关的Brauer群映射。
  • 定理B中的同构条件实际上等价于一组椭圆曲线系数乘积的平方性条件，这为计算提供了简洁的算法，可能应用于更多算术实例。
  • 论文构造的非平凡零环来自阿贝尔曲面的推前，暗示阿贝尔曲面和Enriques曲面之间的零环关系可能比已知的更丰富。
Original abstract

In this paper, we study the Chow group of zero-cycles $\text{CH}_0(S)$ for certain Enriques quotients $S$ of the Kummer surface associated to the product of two geometrically non-isogenous elliptic curves $E_1$ and $E_2$. We show that over fields of characteristic different from $2$ or $3$, the degree-zero subgroup $A_0(S) \subset \text{CH}_0(S)$ is 16-torsion. Over p-adic fields, we compute the transcendental Brauer group $\text{Br}(S)/\text{Br}_1(S)$. Using the Brauer-Manin pairing, we construct examples of Enriques surfaces for which $A_0(S)$ attains nontrivial 2-torsion elements arising from push-forward from the abelian surface $E_1\times E_2$.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-10-15: 1 request, 3,814 input tokens.

What the abstract itself states, as probabilities: claims first 0.03 · states limitation 0.50 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.97 · compares with prior results 0.07 · mentions code or data availability 0.01.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

In this paper, we study the Chow group of zero-cycles $\text{CH}_0(S)$ for certain Enriques quotients $S$ of the Kummer surface associated to the product of two geometrically non-isogenous elliptic curves $E_1$ and $E_2$. We show that over fields of characteristic different from $2$ or $3$, the degree-zero subgroup $A_0(S) \subset \text{CH}_0(S)$ is 16-torsion. Over p-adic fields, we compute the transcendental Brauer group $\text{Br}(S)/\text{Br}_1(S)$. Using the Brauer-Manin pairing, we construct examples of Enriques surfaces for which $A_0(S)$ attains nontrivial 2-torsion elements arising from push-forward from the abelian surface $E_1\times E_2$.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 In this paper, we study the Chow group of zero-cycles $\text{CH}_0(S)$ for certain Enriques quotients $S$ of the Kummer surface associated to the product of two geometrically non-isogenous elliptic curves $E_1$ and $E_2$. contribution 0.93 0.77 0.05 asserted 0.74
s1 We show that over fields of characteristic different from $2$ or $3$, the degree-zero subgroup $A_0(S) \subset \text{CH}_0(S)$ is 16-torsion. result 1.00 0.96 0.50 asserted 1.00
s2 Over p-adic fields, we compute the transcendental Brauer group $\text{Br}(S)/\text{Br}_1(S)$. result 0.60 0.94 0.08 asserted 0.99
s3 Using the Brauer-Manin pairing, we construct examples of Enriques surfaces for which $A_0(S)$ attains nontrivial 2-torsion elements arising from push-forward from the abelian surface $E_1\times E_2$. result 0.73 0.95 0.19 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.