Equivariant irrationality of very general symmetric Verra fourfolds

Aideen Fay

arxiv: 2605.30439 · v1 · pith:44RYHUC5new · submitted 2026-05-28 · 🧮 math.AG

Equivariant irrationality of very general symmetric Verra fourfolds

Aideen Fay This is my paper

Pith reviewed 2026-06-29 00:17 UTC · model grok-4.3

classification 🧮 math.AG

keywords symmetric Verra fourfoldsequivariant birational geometrytheory of atomsZ/2-birational mapsirrationalitycomplex fourfoldsalgebraic geometry

0 comments

The pith

A very general complex symmetric Verra fourfold is not Z/2-birational to projective 4-space.

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

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.

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.

What carries the argument

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

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.

Where Pith is reading between the lines

These are 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.

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.

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.

read the original 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}.

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

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

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

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.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 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.

pith-pipeline@v0.9.1-grok · 5594 in / 1002 out tokens · 20400 ms · 2026-06-29T00:17:41.885756+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

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

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

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

[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