Equivariant irrationality of very general symmetric Verra fourfolds

Aideen Fay

Equivariant irrationality of very general symmetric Verra fourfolds

T0 review · 0 major / 1 minor · reviewed 2026-06-29 · grok-4.3

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

Pith's one-line read A very general complex symmetric Verra fourfold is not Z/2-birational to projective 4-space.

desk verdict The paper applies the atoms framework in the equivariant setting to prove that very general symmetric Verra fourfolds are not Z/2-birational to P^4. read the letter →

arxiv 2605.30439 v1 pith:44RYHUC5 submitted 2026-05-28 math.AG

Aideen Fay This is my paper · ORCID

classification math.AG

keywords symmetricVerrafourfoldsequivariantbirationalgeometrytheoryofatomsZ/2-birationalmapsirrationalitycomplexalgebraic

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

The paper proves that very general symmetric Verra fourfolds over the complex numbers cannot be birational to projective four-space in a way that respects their natural involution. It does this by deploying the theory of atoms within an equivariant framework. Sympathetic readers would care because this gives concrete examples of varieties with group actions that are provably not equivariantly rational, helping map out the boundaries of birational equivalence classes under symmetry.

What carries the argument

The theory of atoms in the equivariant setting, which detects irrationality under group actions for these fourfolds.

What would settle it

An explicit Z/2-equivariant birational map from some very general symmetric Verra fourfold to P^4 would falsify the claim.

Watch

Extended reading notes

Core claim

We prove that a very general complex symmetric Verra fourfold is not Z/2-birational to P^4, using the theory of atoms introduced by Katzarkov--Kontsevich--Pantev--Yu in the equivariant setting as in Cavenaghi--Katzarkov--Kontsevich.

Load-bearing premise

The theory of atoms, as developed in the cited works, applies directly and without additional restrictions to the equivariant birational geometry of very general symmetric Verra fourfolds.

Editorial extensions

If this is right

Very general symmetric Verra fourfolds are irrational in the Z/2-equivariant sense.
The atom theory distinguishes these fourfolds from equivariantly rational varieties.
The method applies the equivariant atom framework to a new class of fourfolds with involution.

Reading between the lines

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

The same approach may extend to other symmetric hypersurface intersections to test equivariant rationality.
It could connect to the classification of involutions on rational fourfolds and their fixed loci.
Results like this may constrain possible birational models in the moduli space of Verra fourfolds.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The main result is a proof that very general complex symmetric Verra fourfolds are not Z/2-birational to projective 4-space. It reaches this by adapting the theory of atoms to the equivariant case for this specific family.

The new element is the application itself. The authors take the atom machinery from the cited Katzarkov-Kontsevich-Pantev-Yu work and its equivariant extension, then use it on symmetric Verra fourfolds. This adds one more concrete family to the list of examples where equivariant irrationality can be established this way. The statement is precise about the generality condition and the group action.

The paper states the claim cleanly and points to the right background papers, which is useful. If the atoms are defined and the birational obstruction is extracted without extra conditions, the argument is a direct extension of existing tools.

The soft spot is the absence of any visible steps in the abstract. We do not see how the atoms are constructed for these fourfolds, how the Z/2-action interacts with them, or whether the very general assumption is used to avoid special cases. The key assumption that the prior theory applies directly needs verification in the full text; if that holds, the result is fine, but that is the part a referee would check first.

This is for people already working on rationality of fourfolds and equivariant birational geometry. It will not shift the broader field but supplies a new data point for specialists.

The paper deserves peer review. The claim is specific and the method rests on published results, so referees can assess whether the application goes through.

Referee Report

0 major / 1 minor

Summary. The manuscript proves that a very general complex symmetric Verra fourfold is not ℤ/2-birational to ℙ^4, by applying the theory of atoms in the equivariant setting as developed in the cited works of Katzarkov--Kontsevich--Pantev--Yu and Cavenaghi--Katzarkov--Kontsevich.

Significance. If the central claim holds, the result supplies a concrete new family of examples in equivariant birational geometry of fourfolds, extending the atom-theoretic approach to varieties equipped with involutions and thereby strengthening the available methods for detecting irrationality under group actions.

minor comments (1)

The abstract states the result but supplies no indication of the main technical steps; a one-sentence outline of how the equivariant atom theory is applied to the symmetric Verra case would improve readability without altering the argument.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our manuscript and for recommending minor revision. The assessment correctly identifies the main result and its context within the equivariant atom theory of Katzarkov--Kontsevich--Pantev--Yu and Cavenaghi--Katzarkov--Kontsevich. No major comments were raised in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity identified

full rationale

The provided abstract and context present a direct proof claim relying on the external theory of atoms from non-overlapping citations (Katzarkov--Kontsevich--Pantev--Yu and Cavenaghi--Katzarkov--Kontsevich). No equations, fitted parameters, self-citations, or internal derivations are visible that reduce the result to its own inputs by construction. The central claim is an application of cited prior work rather than a self-referential reduction, making the derivation self-contained against external benchmarks.

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

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; standard background results in algebraic geometry (e.g., properties of birational maps, moduli of Verra fourfolds) are implicitly used but not itemized.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Equivariant irrationality of very general symmetric Verra fourfolds." pith.science (2026). https://pith.science/paper/44RYHUC5

@misc{pith2026260530439,
  author       = {Pith},
  title        = {Pith review of: Equivariant irrationality of very general symmetric Verra fourfolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/44RYHUC5}},
  note         = {Machine review of arXiv:2605.30439}
}

abstract

We prove that a very general complex symmetric Verra fourfold is not \(\ZZ/2\)-birational to \(\PP^4\), using the \emph{theory of atoms} introduced by Katzarkov--Kontsevich--Pantev--Yu~\citep{Katzarkov2025BirationalIF} in the equivariant setting as in Cavenaghi--Katzarkov--Kontsevich~\citep{cavenaghi2026atomsmeetsymbols}.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Naive atoms of blowups: examples
math.AG 2026-06 unverdicted novelty 6.0 of 10

Defines naive atomic decompositions and checks a naive version of Iritani's blowup formula in computable examples.

Reference graph

Works this paper leans on

2 extracted references · 1 canonical work pages · cited by 1 Pith paper

[1]

Torification and factorization of birational maps.Journal of the American Mathematical Society, 15:531–572, 1999

[AKMW99] Dan Abramovich, Kalle Karu, Kenji Matsuki, and Jarosław Włodar- czyk. Torification and factorization of birational maps.Journal of the American Mathematical Society, 15:531–572, 1999. [Bea77] Arnaud Beauville. Variétés de Prym et jacobiennes intermédiaires. Annales scientifiques de l’École Normale Supérieure, 4e série, 10(3):309– 391, 1977. [BFMT...

1999
[2]

[BMP26] Vladimiro Benedetti, Laurent Manivel, and Nicolas Perrin

Preprint, May 2026. [BMP26] Vladimiro Benedetti, Laurent Manivel, and Nicolas Perrin. Quantum cohomology and irrationality of Gushel–Mukai fourfolds. 2026. [CCG+14] Tom Coates, Alessio Corti, Sergey Galkin, Vasily Golyshev, and Alexan- der Kasprzyk. Mirror symmetry and fano manifolds. InEuropean con- gress of mathematics, pages 285–300. European Mathemati...

work page arXiv 2026

Pith tools

Reviewed June 29, 2026 · model on record in the stance chip above.

[1] [1]

Torification and factorization of birational maps.Journal of the American Mathematical Society, 15:531–572, 1999

[AKMW99] Dan Abramovich, Kalle Karu, Kenji Matsuki, and Jarosław Włodar- czyk. Torification and factorization of birational maps.Journal of the American Mathematical Society, 15:531–572, 1999. [Bea77] Arnaud Beauville. Variétés de Prym et jacobiennes intermédiaires. Annales scientifiques de l’École Normale Supérieure, 4e série, 10(3):309– 391, 1977. [BFMT...

1999

[2] [2]

[BMP26] Vladimiro Benedetti, Laurent Manivel, and Nicolas Perrin

Preprint, May 2026. [BMP26] Vladimiro Benedetti, Laurent Manivel, and Nicolas Perrin. Quantum cohomology and irrationality of Gushel–Mukai fourfolds. 2026. [CCG+14] Tom Coates, Alessio Corti, Sergey Galkin, Vasily Golyshev, and Alexan- der Kasprzyk. Mirror symmetry and fano manifolds. InEuropean con- gress of mathematics, pages 285–300. European Mathemati...

work page arXiv 2026