Quantum cohomology and birational geometry of Verra fourfolds

J\'er\'emy Gu\'er\'e; Laurent Manivel; Nicolas Perrin; Vladimiro Benedetti

arxiv: 2605.30450 · v1 · pith:BNTXEG4Nnew · submitted 2026-05-28 · 🧮 math.AG

Quantum cohomology and birational geometry of Verra fourfolds

Vladimiro Benedetti , J\'er\'emy Gu\'er\'e , Laurent Manivel , Nicolas Perrin This is my paper

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

classification 🧮 math.AG

keywords Verra fourfoldsquantum cohomologybirational geometrycubic fourfoldsGushel-Mukai fourfoldsHodge structuresK3 surfaces

0 comments

The pith

Verra fourfolds are never birational to a very general cubic fourfold or Gushel-Mukai fourfold, and their primitive cohomology matches a K3 surface when birational.

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

The authors compute the small quantum cohomology ring of a Verra fourfold. They apply the theory of atoms to conclude that these fourfolds lie outside the birational classes of very general cubic fourfolds and very general Gushel-Mukai fourfolds. The same computation shows that any birational equivalence to a cubic or Gushel-Mukai fourfold forces the primitive cohomology to be isomorphic as a rational Hodge structure to the middle cohomology of a projective K3 surface. It was already known that a general Verra fourfold is birational to a general nodal Gushel-Mukai fourfold, so the new distinction is sharp for the very general case. The result supplies a quantum-cohomology invariant that separates these families in birational geometry.

Core claim

By computing the small quantum cohomology ring of a Verra fourfold and applying the theory of atoms, the authors establish that a Verra fourfold is never birational to a very general cubic fourfold nor to a very general Gushel-Mukai fourfold. For every smooth cubic fourfold or smooth Gushel-Mukai fourfold that is birational to some Verra fourfold, the primitive cohomology is isomorphic as a rational Hodge structure to the middle cohomology of some projective K3 surface.

What carries the argument

The small quantum cohomology ring of Verra fourfolds, translated via the theory of atoms into statements about birational non-equivalence and Hodge structures.

If this is right

Verra fourfolds occupy a birational class distinct from that of very general cubics and very general Gushel-Mukai fourfolds.
Any birational map from a Verra fourfold to a cubic or Gushel-Mukai fourfold forces the primitive cohomology to be that of a K3 surface.
General Verra fourfolds remain birational only to nodal Gushel-Mukai fourfolds, not to very general ones.
Quantum cohomology supplies a new invariant that detects birational inequivalence among these fourfold families.

Where Pith is reading between the lines

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

The same quantum-cohomology technique may separate other special fourfolds whose small quantum rings can be computed explicitly.
The K3-type Hodge structure on birational Verra fourfolds suggests they share deformation or moduli properties with K3 surfaces that are invisible to classical invariants.

Load-bearing premise

The small quantum cohomology ring computation for Verra fourfolds is correct and the theory of atoms applies directly to translate the ring structure into birational non-equivalence statements.

What would settle it

An explicit example of a Verra fourfold birational to a very general cubic fourfold, or a mismatch between the computed quantum cohomology ring and the ring required by the atoms correspondence.

read the original abstract

We compute the small quantum cohomology ring of a Verra fourfold. Using the theory of atoms recently developped by Katzarkov--Kontsevich--Pantev--Yu, and building on recent papers of the authors, we deduce that a Verra fourfold is never birational to a very general cubic fourfold, nor to a very general Gushel--Mukai fourfold, whereas it was previously known that a general Verra fourfold is birational to a general nodal Gushel--Mukai fourfold. More precisely, we show that for every smooth cubic fourfold or smooth Gushel--Mukai fourfold that is birational to some Verra fourfold, the primitive cohomology is isomorphic, as a rational Hodge structure, to the middle cohomology of some projective K3 surface.

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 computes the small quantum cohomology ring of Verra fourfolds and applies atoms to separate their birational classes from general cubics and GM fourfolds while allowing nodal cases.

read the letter

The core result is a computation of the small quantum cohomology ring for Verra fourfolds, then using the atoms theory from Katzarkov-Kontsevich-Pantev-Yu to conclude that a Verra fourfold is never birational to a very general cubic or very general Gushel-Mukai fourfold. When birationality does occur, the primitive cohomology matches the middle cohomology of a projective K3 as a rational Hodge structure. This matches the known fact that general Verra fourfolds are birational to general nodal GM fourfolds.

What stands out is the explicit ring computation for this specific class of fourfolds and the clean translation into birational statements. The work sits on top of the authors' own recent papers for the quantum cohomology part and brings in the external atoms framework, which gives a precise way to read off non-equivalence from the ring structure.

The main soft spot is dependence on those prior self-cited computations; the abstract states the results but does not reproduce the derivation steps here, so the ring calculation itself cannot be checked from this text alone. That makes the soundness rest partly on trust in the earlier papers. No internal contradictions appear in the claims, and the consistency note with nodal GM cases lines up.

This is for people already working on fourfolds, their moduli spaces, and birational geometry in algebraic geometry. The technical nature and the concrete birational distinctions make it worth a serious referee's time even if revisions are needed on the computational details.

Referee Report

0 major / 2 minor

Summary. The manuscript computes the small quantum cohomology ring of Verra fourfolds. Using the theory of atoms developed by Katzarkov--Kontsevich--Pantev--Yu and building on the authors' recent papers, it deduces that a Verra fourfold is never birational to a very general cubic fourfold nor to a very general Gushel-Mukai fourfold. When birationality holds, the primitive cohomology is isomorphic as a rational Hodge structure to the middle cohomology of some projective K3 surface. This is consistent with the previously known birationality of a general Verra fourfold to a general nodal Gushel-Mukai fourfold.

Significance. If the quantum cohomology computation holds and the atoms formalism applies directly, the work supplies a quantum-cohomological invariant that distinguishes birational classes among fourfolds whose classical Hodge structures are similar, thereby extending the range of tools available for birational geometry of hyperkähler fourfolds and related Calabi-Yau-type varieties. The explicit Hodge-theoretic statement when birationality occurs adds precision to the non-equivalence claims.

minor comments (2)

[Abstract] The abstract and introduction could include a short outline of the key steps in the small quantum cohomology computation (e.g., the generators and relations obtained) to make the dependence on prior self-cited results more transparent without requiring the reader to consult those papers immediately.
[Introduction] A brief remark on the precise manner in which the atoms theory translates the computed ring structure into the stated birational and Hodge-theoretic conclusions would improve readability, even if the details appear in the body.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, for recognizing its significance in extending quantum-cohomological tools to birational geometry of fourfolds, and for recommending minor revision. No specific major comments or requests for changes were provided in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's derivation consists of an explicit new computation of the small quantum cohomology ring of Verra fourfolds followed by direct application of the external atoms theory (Katzarkov--Kontsevich--Pantev--Yu) to obtain birational and Hodge-theoretic statements. The abstract notes building on recent papers by the same authors, but this is methodological scaffolding rather than a load-bearing self-citation chain that forces the central claims; the computation itself supplies independent content, and no equation or step reduces by construction to prior self-cited inputs or renames a fitted quantity as a prediction. The paper is therefore self-contained against external benchmarks with no enumerated circularity pattern exhibited.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard definitions from algebraic geometry and the external atoms theory; no free parameters, new entities, or ad-hoc axioms are indicated in the abstract.

axioms (2)

standard math Standard definition and properties of small quantum cohomology rings
Invoked for the computation of the ring structure.
domain assumption Applicability of the Katzarkov-Kontsevich-Pantev-Yu theory of atoms to Verra fourfolds
Used to deduce birational conclusions from the ring.

pith-pipeline@v0.9.1-grok · 5676 in / 1256 out tokens · 25552 ms · 2026-06-29T00:15:21.186541+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

19 extracted references · 6 canonical work pages · cited by 1 Pith paper · 1 internal anchor

[1]

Benedetti V., Manivel L., Perrin N.,Quantum cohomology and irrationality of Gushel-Mukai fourfolds, arXiv:2603.17487

work page internal anchor Pith review Pith/arXiv arXiv
[2]

Institut Fourier

Bernardara M., Fatighenti E., Manivel L., Tanturri F.,Fano fourfolds of K3 type, arXiv:2111.13030, to appear in Ann. Institut Fourier

work page arXiv
[3]

Bini G., Kapustka G., Kapustka M.,Symmetric locally free resolutions and rationality problems, Commun. Contemp. Math.25(2023), no. 8, Paper No. 2250033

2023
[4]

Cavenaghi L., Katzarkov L., Kontsevich M.,Atoms meet symbols, arXiv:2509.15831

work page arXiv
[5]

Camere C., Kapustka G., Kapustka M., Mongardi G.,Verra four-folds, twisted sheaves, and the last involution, Int. Math. Res. Not.21, 6661–6710 (2019)

2019
[6]

China Math

Debarre O., Iliev A., Manivel L.,On nodal prime Fano threefolds of degree 10, Sci. China Math. 54 (2011), no. 8, 1591–1609

2011
[7]

Fay A.,Equivariant irrationality of very general symmetric Verra fourfolds, preprint, May 2026

2026
[8]

Grzelakowski K., Rampazzo M., Zhang S.,Categorical resolutions and birational geometry of nodal Gushel-Mukai varieties, arXiv:2602.14109

work page arXiv
[9]

Gu´ er´ e J.,On the irrationality of cubic fourfolds, arXiv:2603.04518, 2026

work page arXiv 2026
[10]

Algebraic Geom.,8(1):103–114, 1999

Hassett B.,Some rational cubic fourfolds, J. Algebraic Geom.,8(1):103–114, 1999

1999
[11]

Huybrechts D.,Motives of isogenous K3 surfaces, Comment. Math. Helv.94(2019), no. 3, 445–458

2019
[12]

Iliev A., Kapustka G., Kapustka M., Ranestad K.,Hyper-K¨ ahler fourfolds and Kummer surfaces, Proc. Lond. Math. Soc. (3) 115 (2017), no. 6, 1276–1316

2017
[13]

Katzarkov L., Kontsevich M., Pantev T., Yu T.Y.,Birational Invariants from Hodge Structures and Quantum Multiplication, arXiv:2508.05105

work page arXiv
[14]

Math.60(2020), no

Kapustka G., Kapustka M., Moschetti R.,Equivalence of K3 surfaces from Verra threefolds, Kyoto J. Math.60(2020), no. 4, 1209–1226

2020
[15]

Math.98(1989), no

Laszlo Y.,Th´ eor` eme de Torelli g´ en´ erique pour les intersections compl` etes de trois quadriques de dimension paire, Invent. Math.98(1989), no. 2, 247–264

1989
[16]

Laterveer R.,Algebraic cycles and Verra fourfolds, Tohoku Math. J. (2)72(2020), no. 3, 451–485. QUANTUM COHOMOLOGY OF VERRA FOURFOLDS 13

2020
[17]

Lee Y., Pirola G.P.Vanishing cohomology on a double cover, Bulletin of the London Mathematical Society (2)53(2021), 370–379

2021
[18]

2, 479–490

Schreieder S.,Quadric surface bundles over surfaces and stable rationality, Algebra Number The- ory12(2018), no. 2, 479–490

2018
[19]

Torino, Turin, 735–759, 2004

Verra A.,The Prym map has degree two on plane sextics, The Fano Conference, Univ. Torino, Turin, 735–759, 2004. Universit´e C ˆote d’Azur, CNRS, Laboratoire J.-A. Dieudonn ´e, Parc Valrose, F-06108 Nice Cedex 2, France Email address:vladimiro.benedetti@univ-cotedazur.fr Univ. Grenoble Alpes, CNRS, IF, 38000 Grenoble, France Email address:jeremy.guere@univ...

2004

[1] [1]

Benedetti V., Manivel L., Perrin N.,Quantum cohomology and irrationality of Gushel-Mukai fourfolds, arXiv:2603.17487

work page internal anchor Pith review Pith/arXiv arXiv

[2] [2]

Institut Fourier

Bernardara M., Fatighenti E., Manivel L., Tanturri F.,Fano fourfolds of K3 type, arXiv:2111.13030, to appear in Ann. Institut Fourier

work page arXiv

[3] [3]

Bini G., Kapustka G., Kapustka M.,Symmetric locally free resolutions and rationality problems, Commun. Contemp. Math.25(2023), no. 8, Paper No. 2250033

2023

[4] [4]

Cavenaghi L., Katzarkov L., Kontsevich M.,Atoms meet symbols, arXiv:2509.15831

work page arXiv

[5] [5]

Camere C., Kapustka G., Kapustka M., Mongardi G.,Verra four-folds, twisted sheaves, and the last involution, Int. Math. Res. Not.21, 6661–6710 (2019)

2019

[6] [6]

China Math

Debarre O., Iliev A., Manivel L.,On nodal prime Fano threefolds of degree 10, Sci. China Math. 54 (2011), no. 8, 1591–1609

2011

[7] [7]

Fay A.,Equivariant irrationality of very general symmetric Verra fourfolds, preprint, May 2026

2026

[8] [8]

Grzelakowski K., Rampazzo M., Zhang S.,Categorical resolutions and birational geometry of nodal Gushel-Mukai varieties, arXiv:2602.14109

work page arXiv

[9] [9]

Gu´ er´ e J.,On the irrationality of cubic fourfolds, arXiv:2603.04518, 2026

work page arXiv 2026

[10] [10]

Algebraic Geom.,8(1):103–114, 1999

Hassett B.,Some rational cubic fourfolds, J. Algebraic Geom.,8(1):103–114, 1999

1999

[11] [11]

Huybrechts D.,Motives of isogenous K3 surfaces, Comment. Math. Helv.94(2019), no. 3, 445–458

2019

[12] [12]

Iliev A., Kapustka G., Kapustka M., Ranestad K.,Hyper-K¨ ahler fourfolds and Kummer surfaces, Proc. Lond. Math. Soc. (3) 115 (2017), no. 6, 1276–1316

2017

[13] [13]

Katzarkov L., Kontsevich M., Pantev T., Yu T.Y.,Birational Invariants from Hodge Structures and Quantum Multiplication, arXiv:2508.05105

work page arXiv

[14] [14]

Math.60(2020), no

Kapustka G., Kapustka M., Moschetti R.,Equivalence of K3 surfaces from Verra threefolds, Kyoto J. Math.60(2020), no. 4, 1209–1226

2020

[15] [15]

Math.98(1989), no

Laszlo Y.,Th´ eor` eme de Torelli g´ en´ erique pour les intersections compl` etes de trois quadriques de dimension paire, Invent. Math.98(1989), no. 2, 247–264

1989

[16] [16]

Laterveer R.,Algebraic cycles and Verra fourfolds, Tohoku Math. J. (2)72(2020), no. 3, 451–485. QUANTUM COHOMOLOGY OF VERRA FOURFOLDS 13

2020

[17] [17]

Lee Y., Pirola G.P.Vanishing cohomology on a double cover, Bulletin of the London Mathematical Society (2)53(2021), 370–379

2021

[18] [18]

2, 479–490

Schreieder S.,Quadric surface bundles over surfaces and stable rationality, Algebra Number The- ory12(2018), no. 2, 479–490

2018

[19] [19]

Torino, Turin, 735–759, 2004

Verra A.,The Prym map has degree two on plane sextics, The Fano Conference, Univ. Torino, Turin, 735–759, 2004. Universit´e C ˆote d’Azur, CNRS, Laboratoire J.-A. Dieudonn ´e, Parc Valrose, F-06108 Nice Cedex 2, France Email address:vladimiro.benedetti@univ-cotedazur.fr Univ. Grenoble Alpes, CNRS, IF, 38000 Grenoble, France Email address:jeremy.guere@univ...

2004