Pith. sign in

REVIEW 3 major objections 3 minor 11 references

Obstructions to unirationality for product-quotient surfaces over $\overline{\mathbb{F}}_p$

T0 review · 3 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A surface that is supersingular and simply connected but not unirational — a counterexample to a 1977 conjecture.

desk verdict The submission is an abstract-only claim: the attached full text is a different paper (Averin's Ryu-Takayanagi preprint), so the advertised counterexample to Shioda is unverifiable as submitted. read the letter →

arxiv 2508.14876 v1 pith:KSEPB6CS submitted 2025-08-20 math.AG

Benjamin Church This is my paper · ORCID
classification math.AG MSC 14E0814J2914F20
keywords supersingularsurfaceunirationalityproduct-quotientétalefundamentalgroupalgebraiccyclespositivecharacteristic1977conjecturecounterexample
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper constructs a smooth projective surface over the algebraic closure of a finite field with two properties that were previously thought to force unirationality: its étale fundamental group is trivial, and its second étale cohomology is spanned by algebraic cycles. The surface is nevertheless not unirational: it cannot be dominated by a rational surface. If the construction is correct, it disproves a 1977 conjecture that every such supersingular surface is unirational. The key is a new class of obstructions to unirationality for product-quotient surfaces, which the paper applies to the constructed example.

What carries the argument

The central objects are product-quotient surfaces: surfaces obtained as the quotient of the product of two curves by a finite group action. The paper's tool is a newly introduced set of unirationality obstructions for such surfaces. These obstructions are what rules out the existence of a dominant rational map from a rational surface, even though the cohomological and fundamental-group conditions that usually accompany unirationality are satisfied.

What would settle it

Exhibit a dominant rational map from a rational surface, such as P^2, onto the constructed surface; that would immediately disprove the non-unirationality claim. Alternatively, compute the paper's new obstruction for the explicit quotient and check whether it vanishes, since a vanishing obstruction would collapse the argument.

Watch

Extended reading notes

Core claim

According to the abstract, the paper proves that there exists a surface X over the algebraic closure of a finite field with π_1^{ét}(X) = 1 and H^2_{ét}(X, Q_ℓ(1)) generated by algebraic cycles, yet X is not unirational. This directly contradicts a 1977 conjecture asserting that such supersingular surfaces must be unirational. The construction works within the class of product-quotient surfaces — quotients of a product of two curves by a finite group — and the non-unirationality is established by new obstructions designed for exactly this class.

Load-bearing premise

The non-unirationality conclusion rests on the new obstructions to unirationality being correctly proved and applied to the constructed product-quotient surface; the supplied full text, being a different paper, does not allow that proof to be checked here.

Editorial extensions

If this is right

  • The 1977 conjecture, if the construction is valid, is false as stated.
  • Supersingularity in the sense of H^2 being spanned by algebraic cycles does not imply unirationality for smooth projective surfaces in positive characteristic.
  • Trivial étale fundamental group also does not force unirationality when combined with supersingularity.
  • Product-quotient surfaces form a useful testing ground for unirationality questions, with new obstructions available to detect non-unirationality.
  • The counterexample refines the expected relationship between cycle generation, fundamental groups, and rational parametrizability over algebraically closed fields of positive characteristic.

Reading between the lines

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

  • If the construction is correct, similar counterexamples may exist among other supersingular, simply connected surfaces, and any salvage of the 1977 conjecture would need extra hypotheses beyond the two cohomological conditions.
  • The new obstructions may be explicitly computable from the finite group action on the product of curves, making them testable on other product-quotient surfaces.
  • The full text supplied under this identifier is not the algebraic-geometry paper announced in the abstract; it is an unrelated quantum-field-theory manuscript, so the present summary is based on the abstract alone and the proof of the obstructions could not be inspected.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. The submitted manuscript is, in substance, the abstract of an algebraic-geometry paper (advertised as arXiv:2508.14876, math.AG) followed by the full text of a different physics preprint, arXiv:2508.14877v1 [hep-th], titled "Proof of a Generalized Ryu-Takayanagi Conjecture." The abstract announces the construction of a smooth projective surface X over \overline{\mathbb{F}}_p with trivial \'etale fundamental group, with H^2_{\'et}(X,\mathbb{Q}_\ell(1)) spanned by algebraic cycles, but with X not unirational; this is said to disprove Shioda's 1977 conjecture and to be achieved through new unirationality obstructions for product-quotient surfaces. The accompanying full text contains no algebraic geometry, no product-quotient surfaces, no fundamental-group calculations, no statement of unirationality obstructions, and no proof of the announced construction. As submitted, the advertised central claim appears only in the abstract.

Significance. If the announced result were true, it would be significant: it would refute a 1977 conjecture of Shioda, exhibit a supersingular surface with trivial \'etale fundamental group that is nevertheless not unirational, and introduce new obstructions to unirationality for product-quotient surfaces. This would be of genuine interest to arithmetic geometry. However, the submission provides no derivation, construction, or verification of any of these statements. The physics preprint that forms the body of the submission does not substantiate the abstract; no algebraic-geometric content is present. The paper therefore cannot currently be assessed for mathematical correctness beyond the announcement in the abstract.

major comments (3)
  1. [Abstract / Full text] The central claim appears only in the abstract. The body is arXiv:2508.14877v1 [hep-th], a completely different paper on the Ryu-Takayanagi formula. It contains no construction of the surface X, no computation of \pi_1^{\'et}(X), no verification that H^2_{\'et}(X,\mathbb{Q}_\ell(1)) is generated by algebraic cycles, and no proof of non-unirationality. The load-bearing derivation is absent, so the claimed counterexample cannot be checked.
  2. [Section 5 (Discussion and Outlook)] The body states: "We have here given no concrete examples." If this passage is part of the submitted manuscript, it directly contradicts the abstract's assertion "We construct a surface ...". The manuscript explicitly disclaims the construction that the abstract announces.
  3. [Abstract] The abstract states that the counterexample is obtained "by producing new obstructions to unirationality for product-quotient surfaces." These obstructions are the stated mechanism for the non-unirationality conclusion, yet they are nowhere formulated, proved, or applied in the supplied text. Their absence makes the central assertion unsupported.
minor comments (3)
  1. [Title / metadata] There is an arXiv-identifier and subject-class mismatch: the abstract is presented as arXiv:2508.14876 (math.AG), but the full text displays arXiv:2508.14877v1 [hep-th]. If this was a submission error, the correct algebraic-geometry file was not provided.
  2. [References] No reference to Shioda's 1977 conjecture or to the product-quotient surface literature appears in the supplied text. The physics preprint's references are entirely unrelated.
  3. [Overall structure] The manuscript has no section devoted to the announced algebraic-geometry result. A reader cannot locate any statement of the surface construction, the obstruction theorem, or its proof. Even if a separate AG paper exists, it is not the text under review.

Circularity Check

0 steps flagged · score 0.0 of 10

Submitted body is a different manuscript; no circular step is exhibited, but the advertised Shioda counterexample is unsupported.

full rationale

The supplied full text is arXiv:2508.14877v1 (A. Averin, 'Proof of a Generalized Ryu-Takayanagi Conjecture', hep-th), not the advertised math.AG paper arXiv:2508.14876 ('Obstructions to unirationality for product-quotient surfaces over \overline{F}_p'). Thus the abstract's claimed construction of a non-unirational supersingular surface with trivial \pi_1^{et} and the stated new unirationality obstructions have no accompanying derivation in the submitted body. This is a verification gap and a mismatch of manuscripts, not a circular reduction: no equation in the supplied hep-th text is shown to be equivalent to its own input by construction, and no fitted parameter is renamed as a prediction. The supplied RT paper derives its entropy prescription from the author's prior framework [1] and gravitational entropy bound [2], which provide the density-matrix functional integral and the generator K; these prior results do not assume the target Ryu-Takayanagi formula, and the final comparison to known RT-type prescriptions is explicitly a consistency check ('we obtain the existing results as special cases'). The paper also acknowledges its own limitation, 'We have here given no concrete examples' (Section 5), further indicating that it is not presenting an empirical prediction. Because no circular step can be quoted with a specific reduction, the circularity score is 0; the unsupported nature of the advertised AG claim belongs to a completeness/correctness risk, not to circularity.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

The full text supplied is arXiv:2508.14877, a different paper, so the mathematical content of the advertised paper is unavailable. Free parameters and invented entities of the surface construction cannot be enumerated. The axioms listed are the background formalism implied by the abstract's statement. Whether the new obstructions introduce additional assumptions or fitted choices is unknown.

assumptions (2)
  • standard math Standard l-adic cohomology and the cycle class map for smooth projective surfaces over the algebraic closure of a finite field
    The abstract's supersingularity condition, that H^2_et(X, Q_l(1)) is spanned by algebraic cycles, presupposes the l-adic cycle class formalism.
  • domain assumption The operative sense of supersingular is H^2 spanned by algebraic cycles, matching Shioda's conjecture as stated
    The abstract defines supersingular in a parenthetical; the conjecture being refuted depends on this definition matching Shioda's original formulation.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Obstructions to unirationality for product-quotient surfaces over $\overline{\mathbb{F}}_p$." pith.science (2026). https://pith.science/paper/KSEPB6CS

@misc{pith2026250814876,
  author       = {Pith},
  title        = {Pith review of: Obstructions to unirationality for product-quotient surfaces over $\overline\mathbbF_p$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KSEPB6CS}},
  note         = {Machine review of arXiv:2508.14876}
}
abstract

We construct a surface over $\overline{\mathbb{F}}_p$ with $\pi_1^{\'{e}t}(X) = 1$ that is supersingular -- in the sense that $H^2_{\'{e}t}(X, \mathbb{Q}_{\ell}(1))$ is spanned by algebraic cycles -- but is not unirational. This provides a counterexample to a 1977 conjecture of Shioda. To achieve this, we produce new obstructions to unirationality for product-quotient surfaces.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

11 extracted references · 2 canonical work pages

  1. [1]

    Framework for the Quantum Mechanical Sum of Possibilities and Meaning for Field Theory and Gravity

    A. Averin, “Framework for the quantum mechanical sum of possibilities and meaning for field theory and gravity,” Phys. Rev. D111 (2025) no.12, 125012 doi:10.1103/qbzf-vdq2 [arXiv:2401.12960 [hep-th]]

    work page Pith review arXiv 2025

  2. [2]

    Formulation and Proof of the Gravitational Entropy Bound

    A. Averin, “Formulation and proof of the gravitational entropy bound,” JHEP 05 (2025), 193 doi:10.1007/JHEP05(2025)193 [arXiv:2412.02470 [hep-th]]

    work page Pith review arXiv 2025

  3. [3]

    Holographic Entanglement En- tropy,

    M. Rangamani and T. Takayanagi, “Holographic Entanglement En- tropy,” Lect. Notes Phys. 931 (2017), pp.1-246 Springer, 2017, doi:10.1007/978-3-319-52573-0 [arXiv:1609.01287 [hep-th]]

    arXiv 2017

  4. [4]

    Holographic derivation of entangle- ment entropy from AdS/CFT,

    S. Ryu and T. Takayanagi, “Holographic derivation of entangle- ment entropy from AdS/CFT,” Phys. Rev. Lett. 96 (2006), 181602 doi:10.1103/PhysRevLett.96.181602 [arXiv:hep-th/0603001 [hep-th]]

    arXiv 2006

  5. [5]

    Aspects of Holographic Entanglement Entropy,

    S. Ryu and T. Takayanagi, “Aspects of Holographic Entanglement Entropy,” JHEP 08 (2006), 045 doi:10.1088/1126-6708/2006/08/045 [arXiv:hep-th/0605073 [hep-th]]

    arXiv 2006

  6. [6]

    A Covariant holographic entanglement entropy proposal,

    V. E. Hubeny, M. Rangamani and T. Takayanagi, “A Covariant holographic entanglement entropy proposal,” JHEP 07 (2007), 062 doi:10.1088/1126-6708/2007/07/062 [arXiv:0705.0016 [hep-th]]

    arXiv 2007

  7. [7]

    Holographic Entanglement Entropy for Gen- eral Higher Derivative Gravity,

    X. Dong, “Holographic Entanglement Entropy for Gen- eral Higher Derivative Gravity,” JHEP 01 (2014), 044 doi:10.1007/JHEP01(2014)044 [arXiv:1310.5713 [hep-th]]

    arXiv 2014

  8. [8]

    Quantum correc- tions to holographic entanglement entropy,

    T. Faulkner, A. Lewkowycz and J. Maldacena, “Quantum correc- tions to holographic entanglement entropy,” JHEP 11 (2013), 074 doi:10.1007/JHEP11(2013)074 [arXiv:1307.2892 [hep-th]]

    arXiv 2013

Show all 11 references
  1. [9]

    Quantum Extremal Surfaces: Holo- graphic Entanglement Entropy beyond the Classical Regime,

    N. Engelhardt and A. C. Wall, “Quantum Extremal Surfaces: Holo- graphic Entanglement Entropy beyond the Classical Regime,” JHEP01 (2015), 073 doi:10.1007/JHEP01(2015)073 [arXiv:1408.3203 [hep-th]]

    2015 arXiv

  2. [10]

    Generalized gravitational entropy,

    A. Lewkowycz and J. Maldacena, “Generalized gravitational entropy,” JHEP 08 (2013), 090 doi:10.1007/JHEP08(2013)090 [arXiv:1304.4926 [hep-th]]. 26

    2013 arXiv

  3. [11]

    Entropy, Extremality, Euclidean Vari- ations, and the Equations of Motion,

    X. Dong and A. Lewkowycz, “Entropy, Extremality, Euclidean Vari- ations, and the Equations of Motion,” JHEP 01 (2018), 081 doi:10.1007/JHEP01(2018)081 [arXiv:1705.08453 [hep-th]]. 27

    2018 arXiv

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.