Quantum Cohomology¶
A cohomology algebra whose cup product is deformed by curve-class-weighted genus-zero Gromov–Witten invariants.
Core Idea¶
Quantum cohomology changes how cohomology classes multiply. On a suitable projective or symplectic target, the familiar cup product is the zero-curve-class term; genus-zero Gromov–Witten invariants add corrections indexed by classes of curves. The result is an associative graded algebra when the requisite GW construction and axioms apply. Seidel's symplectic construction, for example, states a technical manifold condition rather than asserting universal existence. The name reflects its origins in mathematical physics, not a claim that cohomology itself is a quantum particle.[ref-2a5b116c560c][ref-09d380ffaabe][^ref-6d447f57b1cf]
The small ring uses genus-zero three-point invariants. Big quantum multiplication varies with a cohomology parameter and additional genus-zero primary insertions. Big is not “all GW invariants”: higher genus and descendant data are not automatically captured, and a small multiplication table need not determine them. Coefficients require a declared convention—\(\mathbb C[q]\) works for Bertram's Grassmannian example, while more general targets may need class-indexed formal or Novikov-type series.[ref-2a5b116c560c][ref-09d380ffaabe]
Scope of Application¶
The entry applies where a target has a suitable genus-zero GW theory and a well-defined curve-class-weighted multiplication on cohomology. In projective space, Kontsevich and Manin derive the small relation \(h^{*(n+1)}=q\) for the hyperplane class in their convention, contrasting with classical \(h^{n+1}=0\). Their \(\mathbb P^2\) big potential also yields a WDVV recursion for specified incidence-constrained rational-curve numbers under its stated formal and enumerative assumptions.[^ref-2a5b116c560c]
Bertram's Grassmannian small ring uses Schubert classes and degree-\(d\) maps \(\mathbb P^1\to G\) meeting incidence conditions. The \(q^d\) terms correct ordinary Schubert multiplication; \(q=0\) restores the classical ring. Quantum Pieri and Giambelli are not merely generic extra terms: his Giambelli determinant keeps its form when interpreted with the new product, while quantum Pieri has a degree correction.[^ref-09d380ffaabe]
Clarity¶
Three roles must be distinguished: cohomology classes are the things multiplied; genus-zero GW invariants supply structure constants; and curve-class weights retain the geometric source of each correction. Associativity/WDVV makes the proposed correction coherent. It does not guarantee that every target's counts are computable from associativity alone—Kontsevich and Manin explicitly note weaker constraints in Calabi–Yau cases than Fano examples.[^ref-2a5b116c560c]
The ordinary Cohomology Ring is a related limit, not an identical broader ring with the same multiplication. Likewise, a mirror-symmetry prediction of rational-curve numbers is not itself a quantum cohomology ring; one still needs the specified carrier, product and invariant construction. A coefficient may require virtual/intersection-theoretic interpretation instead of a naive count of distinct curves.[^ref-2a5b116c560c]
Manages Complexity¶
The ring packages a family of curve-class- and insertion-indexed invariants into multiplication rules. Its classical limit checks that degree-zero data recover cup product. Its associativity turns consistency of alternative products into relations among genus-zero coefficients. For \(\mathbb P^2\), the big potential and initial datum \(N(1)=1\) give Kontsevich and Manin's recursion for \(N(d)\); the algebra does not remove the separate burden of constructing the invariants and justifying their enumerative interpretation.[^ref-2a5b116c560c]
Choosing the small ring often makes a concise presentation possible. Choosing the big family retains variation with extra insertions but demands more data and formal or convergence control. Neither choice universally contains every GW invariant. Bertram's \(\mathbb C[q]\) Grassmannian theory is a particularly finite coefficient case, not evidence that every target needs only one polynomial variable.[ref-2a5b116c560c][ref-09d380ffaabe]
Abstract Reasoning¶
Quantum cohomology is a controlled deformation: \(a*b=a\smile b+\) positive-curve-class corrections. The corrections are not free parameters; GW axioms and splitting constrain them so that the product is associative. For a chosen basis \(T_i\) with Poincaré-dual \(T^i\), the small product contracts \(\langle a,b,T_i\rangle_{0,3,\beta}\) with \(T^i q^\beta\) over curve classes \(\beta\). Big multiplication takes third derivatives of a genus-zero potential at a parameter point.[ref-2a5b116c560c][ref-09d380ffaabe]
This explains its proposed strict DAG relation to Algebra over a Ring: for a specified commutative coefficient base, the carrier is a module and its quantum multiplication is bilinear and internal. The cohomological carrier, GW invariants and curve-class bookkeeping distinguish it from a generic algebra. Cohomology Ring remains the undeformed comparison, not a strict parent under changed multiplication.
Knowledge Transfer¶
The same roles map from projective space to Grassmannians: choose target and classical cohomology, collect genus-zero curve-class data, weight coefficients, construct the internal product and test associativity and the zero-class limit. In \(\mathbb P^2\) the hyperplane generator and point-incidence potential organize a recursion; in a Grassmannian the Schubert basis and rational-map incidences organize quantum multiplication. The equations and counts themselves are target-specific, so the projective-space relation cannot be imported unchanged into another variety.[ref-2a5b116c560c][ref-09d380ffaabe]
The portable idea of a coherent deformation may be a future-prime question, but here the Poincaré pairing, cohomology and GW invariants are indispensable. A generic corrected operation without them is only an analogy, not another quantum cohomology instance.
[^ref-2a5b116c560c]: Maxim Kontsevich and Yuri Manin, “Gromov–Witten Classes, Quantum Cohomology, and Enumerative Geometry”, original paper (1994), introduction and §§2, 4–5, especially equations (5.16)–(5.17) and (5.24). [^ref-09d380ffaabe]: Aaron Bertram, “Quantum Schubert Calculus”, original arXiv paper, version 2 (1997), §§1–4. [^ref-6d447f57b1cf]: Paul Seidel, “π1 of Symplectic Automorphism Groups and Invertibles in Quantum Homology Rings”, original author preprint revised 1997, introduction pp.1–3, especially Assumption (W+) and the quantum cup-product discussion.
Relationships to Other Abstractions¶
Current abstraction Quantum Cohomology Domain-specific
Parents (1) — more general patterns this builds on
-
Quantum Cohomology is a kind of Algebra over a Ring Domain-specific
Quantum cohomology is an algebra over its chosen commutative coefficient ring, with a bilinear internal quantum product.
Hierarchy path (1) — routes to 1 parentless root
- Quantum Cohomology → Algebra over a Ring → Linearity
Neighborhood in Abstraction Space¶
Quantum Cohomology sits in a sparse region of the domain-specific corpus (66th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Algebraic Structures, Groups & Operators (42 abstractions)
Nearest neighbors
- Hochschild homology — 0.86
- Classifying space for SO(n) — 0.84
- Eells–Kuiper Manifold — 0.84
- Zero-Divisor Graph — 0.84
- Homotopy associative algebra — 0.83
Computed from structural-signature embeddings · 2026-10-08