The small quantum cohomology of the Cayley Grassmannian

Laurent Manivel (IMT); Vladimiro Benedetti (PSL)

arxiv: 1907.07511 · v1 · pith:E2M3TSVXnew · submitted 2019-07-17 · 🧮 math.AG

The small quantum cohomology of the Cayley Grassmannian

Vladimiro Benedetti (PSL) , Laurent Manivel (IMT) This is my paper

Pith reviewed 2026-05-24 20:15 UTC · model grok-4.3

classification 🧮 math.AG

keywords quantum cohomologyCayley GrassmannianGromov-Witten invariantsGolyshev conjectureSchubert classesexceptional collectionsemisimple

0 comments

The pith

The small quantum cohomology ring of the Cayley Grassmannian has non-negative Gromov-Witten invariants for all Schubert classes, confirming Golyshev's conjecture O.

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

The paper computes the small quantum cohomology ring of the Cayley Grassmannian, the variety parametrizing four-dimensional subalgebras of the complexified octonions. It shows that every Gromov-Witten invariant appearing in the multiplication table of Schubert classes is non-negative. This positivity implies that Golyshev's conjecture O holds for the variety. The computation further establishes that the quantum cohomology ring is semisimple and that the derived category contains an exceptional collection of maximal length, matching the prediction of Dubrovin's conjecture.

Core claim

We compute the small cohomology ring of the Cayley Grassmannian and show that all the Gromov-Witten invariants in the multiplication table of the Schubert classes are non-negative. We deduce that Golyshev's conjecture O holds true for this variety. We also check that the quantum cohomology is semisimple and that there exists an exceptional collection of maximal length in the derived category.

What carries the argument

The small quantum cohomology ring, computed explicitly via the quantum product on Schubert classes, which encodes the Gromov-Witten invariants.

If this is right

The quantum cohomology ring is semisimple.
An exceptional collection of maximal length exists in the derived category.
Golyshev's conjecture O holds for the Cayley Grassmannian.

Where Pith is reading between the lines

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

The Cayley Grassmannian supplies a new homogeneous space where quantum cohomology positivity aligns with semisimplicity.
Explicit Schubert calculus on similar octonion-related varieties may test further instances of Golyshev's and Dubrovin's conjectures.
The non-negativity result offers a concrete instance for investigating how Gromov-Witten invariants control the semisimplicity of quantum cohomology rings.

Load-bearing premise

The explicit computation of the quantum product on Schubert classes is accurate and correctly identifies all Gromov-Witten invariants as non-negative.

What would settle it

Discovery of a negative Gromov-Witten invariant among the structure constants in the Schubert class multiplication table would disprove the non-negativity statement.

read the original abstract

We compute the small cohomology ring of the Cayley Grassmannian, that parametrizes four-dimensional subalgebras of the complexified octonions. We show that all the Gromov-Witten invariants in the multiplication table of the Schubert classes are non negative and deduce Golyshev's conjecture O holds true for this variety. We also check that the quantum cohomology is semisimple and that there exists, as predicted by Dubrovin's conjecture, an exceptional collection of maximal length in the derived category.

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

Explicit computation of the quantum cohomology ring for the Cayley Grassmannian verifies the listed conjectures in this one case.

read the letter

This paper computes the small quantum cohomology ring of the Cayley Grassmannian by working out the quantum products of Schubert classes. From the resulting multiplication table they extract non-negative Gromov-Witten invariants, confirm Golyshev's conjecture O, establish semisimplicity, and note the existence of a maximal exceptional collection in the derived category as predicted by Dubrovin's conjecture. The computation targets a homogeneous space that had not been treated before, so the explicit table is new. The argument is direct: once the products are accepted, the remaining statements follow from standard implications in the literature on quantum cohomology of Fano varieties. No hidden parameters or circular steps appear. The main limitation is scope. This remains a single-example verification rather than a general method or proof, so it supplies an incremental data point rather than a broad advance. The soundness hinges on the accuracy of the table itself; a referee could check that by reproducing the relevant products. The citation pattern looks standard for the area and does not raise flags. The paper is aimed at specialists who track these conjectures across homogeneous spaces or who need concrete tables for comparison. A reader collecting verified cases would get direct value from the multiplication table. It deserves peer review because the claims are explicit and checkable in principle.

Referee Report

0 major / 4 minor

Summary. The paper computes the small quantum cohomology ring of the Cayley Grassmannian (the 16-dimensional Fano variety parametrizing 4-dimensional subalgebras of the complexified octonions). It determines the quantum multiplication table on the Schubert basis, verifies that every Gromov-Witten invariant appearing in this table is non-negative, deduces that Golyshev's conjecture O holds, establishes semisimplicity of the quantum cohomology ring, and confirms the existence of an exceptional collection of maximal length in the derived category, consistent with Dubrovin's conjecture.

Significance. If the explicit multiplication table is correct, the result supplies a new, concrete Fano example in which Golyshev's conjecture O, semisimplicity, and the existence of a maximal exceptional collection are all verified by direct computation. The non-negativity of the Gromov-Witten invariants is a strong positivity statement that aligns with known results for other homogeneous spaces and supports broader conjectural pictures relating quantum cohomology to derived categories of Fano varieties.

minor comments (4)

§2: the definition of the Cayley Grassmannian as a homogeneous space under the exceptional group G_2 or Spin(7) should be stated explicitly with the precise embedding, as this is used repeatedly for Schubert calculus.
Table 1 (quantum multiplication table): several structure constants are listed as 0 or 1; it would help to indicate which of these arise from classical intersection theory and which are genuinely quantum corrections (i.e., positive degree).
§4.3: the verification that the quantum cohomology is semisimple relies on the characteristic polynomial of the quantum multiplication by the hyperplane class; a short remark on the numerical method or software used to factor this polynomial would increase reproducibility.
The reference list omits the original paper of Golyshev on conjecture O; adding it would clarify the precise statement being verified.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work and for recommending minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

Direct explicit computation; no circular reduction detected

full rationale

The paper's central step is an explicit computation of the small quantum product in the Schubert basis of the Cayley Grassmannian, from which non-negativity of Gromov-Witten invariants is read off directly. Golyshev's conjecture O, semisimplicity, and the existence of a maximal exceptional collection then follow by standard implications already present in the literature on quantum cohomology of Fano varieties. No parameter is fitted to a subset of the target data and then re-used as a 'prediction'; no self-citation supplies a load-bearing uniqueness theorem or ansatz; the multiplication table is not defined in terms of the conjectures it is used to verify. The derivation chain is therefore self-contained against external benchmarks and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit free parameters, axioms, or invented entities; the computation is presented as a direct determination of the ring structure.

pith-pipeline@v0.9.0 · 5605 in / 1010 out tokens · 19177 ms · 2026-05-24T20:15:59.717368+00:00 · methodology

The small quantum cohomology of the Cayley Grassmannian

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)