Quantum cohomology and irrationality of Gushel-Mukai fourfolds

Laurent Manivel (I2M); Nicolas Perrin (CMLS); Vladimiro Benedetti (LJAD)

REVIEW 2 major objections 2 minor 2 cited by

Quantum cohomology and irrationality of Gushel-Mukai fourfolds

T0 review · 2 major / 2 minor · reviewed 2026-07-13 · grok-4.5

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

Pith's one-line read Very general Gushel-Mukai fourfolds are irrational, by computation of their small quantum cohomology.

desk verdict Solid, standard computation of small quantum cohomology for GM fourfolds that settles irrationality of the very general ones via known criteria; the only real barrier is the garbled source text. read the letter →

arxiv 2603.17487 v2 pith:Z73FFM53 submitted 2026-03-18 math.AG

Vladimiro Benedetti (LJAD) , Laurent Manivel (I2M) , Nicolas Perrin (CMLS) This is my paper · ORCID

classification math.AG MSC 14J4514N3514E08

keywords Gushel-MukaifourfoldsquantumcohomologyrationalityGromov-WitteninvariantsK3surfacesFanovarieties

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

Gushel-Mukai fourfolds form a classical family of four-dimensional varieties that sit at the boundary of known rationality questions: some special members are rational, yet whether a general one is rational has been open. This paper computes the small quantum cohomology ring of these fourfolds completely. Once the ring is known, an existing numerical criterion for rationality applies and immediately shows that a very general Gushel-Mukai fourfold cannot be rational. A mild deformation of the same ring further shows that any rational member must share its rational cohomology with some K3 surface. The computation therefore settles the general case and simultaneously describes the only remaining candidates for rationality.

What carries the argument

The small quantum cohomology ring of a Gushel-Mukai fourfold (the ordinary cohomology ring deformed by Gromov-Witten invariants that count rational curves). Its structure constants are determined by geometry of the fourfold and then fed into existing rationality criteria.

What would settle it

An independent computation of the same small quantum product (or of the Gromov-Witten numbers that determine it) that yields different structure constants, or an explicit rational Gushel-Mukai fourfold whose rational cohomology is not that of any K3 surface.

Watch

Extended reading notes

Core claim

The small quantum cohomology ring of Gushel-Mukai fourfolds is computed explicitly. By the rationality criterion of the cited reference [13], this ring structure implies that the very general Gushel-Mukai fourfold is not rational. A suitable deformation of the same ring, following the method of [8], further implies that every rational Gushel-Mukai fourfold has the same rational cohomology as some K3 surface.

Load-bearing premise

The paper assumes that previously published numerical criteria for rationality apply without change once the quantum ring of Gushel-Mukai fourfolds is known.

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.

Desk Editor's Note

read the letter

The new piece is the explicit small quantum cohomology ring of Gushel-Mukai fourfolds. Once that ring is in hand, the authors feed it into the existing criteria of [13] and [8] and get the expected payoffs: very general GM fourfolds are irrational, and any rational one must have the same rational cohomology as a K3. That is clean progress inside the birational geometry of Fano fourfolds; it does not invent a new general theorem, but it finishes the calculation for a family that sits in several moduli and hyperkähler stories.

What they do well is stick to the usual playbook. Structure constants via Gromov-Witten numbers, presentation of the ring, then a deformation of the quantum product to apply the K3-cohomology statement. The logical skeleton matches what has already worked for other Fano fourfolds, and the circularity burden is low: the rationality criteria are independent prior results, not re-derived here.

The soft spot is verification, not logic. The manuscript text we have is heavily corrupted by encoding errors, so the concrete enumerative numbers and relations cannot be checked line-by-line. That is a real barrier for a referee, but it is not an internal contradiction or a free-parameter problem. The weakest assumption the reader flags—that [13] and [8] apply verbatim once the ring is known—is correctly placed and is the standard one for this program; nothing in the readable fragments suggests the authors mishandle it.

This is for people already working on quantum cohomology of Fanos or on rationality of fourfolds. A clean source would make it a natural reading-group paper. I would cite the ring computation if I needed the structure constants. A serious editor should send it to referees rather than desk-reject; the calculation is the kind of concrete, checkable work the field needs, even if the write-up needs cleaning.

Referee Report

2 major / 2 minor

Summary. The paper computes the small quantum cohomology ring of Gushel–Mukai fourfolds (ordinary and special), presenting the quantum product on a standard cohomology basis via Gromov–Witten structure constants and giving an explicit ring presentation. Invoking the criterion of [13], the authors conclude that a very general GM fourfold is irrational. Via a suitable deformation of the quantum ring and the criterion of [8], they further conclude that any rational GM fourfold has the same rational cohomology as some K3 surface.

Significance. If the enumerative calculations are correct, the work supplies the missing quantum-cohomology input that lets the existing rationality criteria of [13] and [8] apply to the GM fourfold family. This is a natural and useful extension of the programme already carried out for other Fano fourfolds; the explicit ring structure and the deformation argument are concrete, checkable contributions that would be of lasting reference value in the study of rationality of Fano varieties of dimension four.

major comments (2)

The bulk of the algebraic and enumerative calculations that determine the structure constants of the quantum product is rendered unreadable by systematic encoding corruption (mojibake throughout the sections that present the ring relations and the Gromov–Witten numbers). Without a clean, verifiable presentation of those constants, the central claim that the quantum ring has been computed cannot be checked; this is a load-bearing verification barrier that must be removed before the paper can be accepted.
After the ring is presented, the non-rationality and K3-cohomology conclusions are obtained by direct citation of the criteria of [13] and [8]. The manuscript should contain a short, self-contained verification that the numerical or algebraic hypotheses of those criteria (e.g., the precise form of the quantum product or of its deformation) are satisfied by the GM ring that has just been computed; a mere reference is insufficient for a load-bearing step.

minor comments (2)

Notation for the generators of the cohomology ring and for the quantum parameter is introduced inconsistently across the surviving fragments; a single, stable set of symbols should be fixed at the beginning of the computation section.
The bibliography entries for the key external criteria [13] and [8] should be expanded to full bibliographic data so that the logical dependence is transparent to the reader.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: quantum-cohomology computation is independent; rationality conclusions apply external criteria from [13] and [8].

full rationale

The paper’s load-bearing chain is (1) an explicit computation of the small quantum cohomology ring of Gushel–Mukai fourfolds (structure constants of the quantum product on a cohomology basis) and (2) direct application of pre-existing rationality criteria: non-rationality of the very general member via [13], and the K3-cohomology conclusion for a rational member via a deformation of that ring following [8]. Neither step reduces by construction to its own input. The ring computation is a standard enumerative/algebraic calculation, not a tautological restatement of rationality. The criteria of [13] and [8] are external theorems applied after the ring is in hand; they are not redefined in terms of the GM fourfold result, nor are they uniqueness theorems imported solely from the present authors to forbid alternatives. There are no fitted parameters renamed as predictions, no self-definitional loops (X defined via Y then used to “derive” Y), and no ansatz smuggled in via self-citation that forces the central claim. Encoding corruption in the manuscript prevents independent numerical checking of the structure constants, but that is a verification barrier, not circularity. Score 0 is therefore appropriate; steps is empty.

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

The paper is pure mathematics. It rests on the standard foundations of quantum cohomology (Gromov-Witten theory, quantum product) and on the geometry of Gushel-Mukai fourfolds (their embedding, Picard lattice, curve classes). No numerical free parameters are fitted. The only external load-bearing inputs are the rationality criteria of the cited works [13] and [8], treated as black-box theorems.

assumptions (4)

standard math Existence and associativity of the small quantum product on the cohomology of a smooth projective variety, with structure constants given by genus-zero Gromov-Witten invariants.
Standard foundation of quantum cohomology used throughout the computation of the ring.
domain assumption The geometric definition and basic cohomology of Gushel-Mukai fourfolds (as linear sections of the Grassmannian or of the cone over the Grassmannian).
Taken as known background; the paper computes quantum corrections on top of this classical geometry.
domain assumption The rationality obstruction criterion of [13] that extracts non-rationality from the structure of the small quantum cohomology ring.
Invoked after the ring is computed; the paper does not re-prove the criterion.
domain assumption The deformation argument of [8] relating a deformed quantum ring to the existence of a K3 surface with matching rational cohomology.
Used to obtain the second main statement; again treated as an external black box.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Quantum cohomology and irrationality of Gushel-Mukai fourfolds." pith.science (2026). https://pith.science/paper/Z73FFM53

@misc{pith2026260317487,
  author       = {Pith},
  title        = {Pith review of: Quantum cohomology and irrationality of Gushel-Mukai fourfolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Z73FFM53}},
  note         = {Machine review of arXiv:2603.17487}
}

read the original abstract

We compute the small quantum cohomology of Gushel-Mukai fourfolds. Following [13], our computations imply that the very general ones are not rational. Following [8], and thanks to a suitable deformation of the small quantum cohomology ring, we also deduce that a rational Gushel-Mukai fourfold has the same rational cohomology as some K3 surface.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

Quantum cohomology and birational geometry of Verra fourfolds
math.AG 2026-05 unverdicted novelty 7.0 of 10

Verra fourfolds have a distinct small quantum cohomology ring implying they are never birational to very general cubic or Gushel-Mukai fourfolds, with primitive cohomology matching a K3 surface when birational.
An atomic criterion for irrationality without quantum computations
math.AG 2026-07 conditional novelty 6.0 of 10

Under monodromy-irreducibility and vanishing-cohomology size bounds, Hodge-general Fano hyperplane sections of Fano fivefolds are irrational without explicit atom computations.

Pith tools

Reviewed July 13, 2026 · model on record in the stance chip above.