---
title: Mirror Symmetric Gamma Conjecture
url: https://www.emergentmind.com/topics/mirror-symmetric-gamma-conjecture
type: topic
---

# Mirror Symmetric Gamma Conjecture

The mirror symmetric Gamma conjecture is a family of statements asserting that the Gamma class, or more generally Gamma-modified Chern characters and Gamma-integral structures, governs the asymptotics of quantum differential equations and the leading behavior of exponential periods on the mirror side. In the Fano setting, it identifies the principal asymptotic class of the small quantum connection with the Gamma class and realizes that class by oscillatory integrals of a mirror Landau–Ginzburg potential; in Calabi–Yau settings, it identifies the A-model Gamma-integral structure with natural integral homology or with asymptotics of mirror periods [1508.00719][2307.15946][2307.15940].

## 1. Foundational formulation

For a smooth complex Fano manifold \(X\), the small quantum cohomology defines the Dubrovin connection along the \(c_1(X)\)-direction,
\[
z\frac{d}{dt}s(t,z)=c_1(X)\star s(t,z),
\]
and the dominant exponential mode of its flat sections determines the principal asymptotic class \(A_X\). Equivalently, \(A_X\) is recovered from the small \(J\)-function by
\[
A_X=\lim_{t\to +\infty}\frac{J_X(t)}{\langle[\mathrm{pt}],J_X(t)\rangle}.
\]
The Gamma class is
\[
\widehat{\Gamma}_X=\prod_{i=1}^{\dim X}\Gamma(1+\delta_i),
\]
with \(\delta_i\) the Chern roots of \(T_X\). Gamma Conjecture I states that \(A_X=\widehat{\Gamma}_X\) when the relevant semisimplicity and spectral hypotheses hold [2501.13221][1508.00719].

The mirror-symmetric form replaces the asymptotic analysis of flat sections by oscillatory integrals. In the Fano mirror picture one considers a Landau–Ginzburg potential \(W\) and a holomorphic volume form \(\omega\), and the distinguished solution is represented by an integral of the form
\[
\int_{\Gamma} e^{-W/z}\,\omega.
\]
A basic formulation used in the relative and toric literature is
\[
\int_{(\mathbb R_{>0})^n} e^{-W/z}\,\frac{dx_1\cdots dx_n}{x_1\cdots x_n}
=
\int_X \bigl(z^{c_1}z^{\deg/2}J_X(0,-z)\bigr)\cup \widehat{\Gamma}_X,
\qquad z>0,
\]
and its variants with K-theoretic insertions and deformed potentials \(W_T\) [2307.15940][2508.06750].

Across the literature, the conjecture therefore has two mutually reinforcing faces. One is asymptotic and differential-equation theoretic: the Gamma class is the principal asymptotic class of the quantum connection. The other is period-theoretic: a distinguished mirror cycle produces an oscillatory integral whose leading term, after the standard normalization, is the Gamma-calibrated flat section. This dual description is the structural reason the conjecture is called mirror symmetric.

## 2. Proven Fano cases and geometric models

Several major geometric families now admit proofs or mirror-symmetric realizations of the conjecture.

| Setting | Mirror object | Result |
|---|---|---|
| Projective space, toric Fano manifolds, toric complete intersections, Grassmannians | Laurent polynomial or Hori–Vafa mirror | Gamma conjecture follows from mirror symmetry [1508.00719] |
| Del Pezzo surfaces | Landau–Ginzburg mirrors; Gross–Hacking–Keel mirror in non-toric cases | Gamma Conjecture I for all del Pezzo surfaces; mirror-symmetric version for degree \(\ge 3\) [1901.01748][2309.02154] |
| Flag varieties \(G/P\) | Rietsch mirror and totally positive part \(Y_{>0}\) | Gamma conjecture I for any flag variety [2501.13221] |
| Toric Fano orbifolds as toric GIT quotients | Landau–Ginzburg mirror treated by inverse Mellin/Fourier transform | New proof of the mirror symmetric Gamma conjecture [2501.14222] |

For toric Fano manifolds, the decisive mechanism is positivity of the Laurent polynomial mirror and the existence of a unique positive critical point. Galkin–Iritani show that projective spaces, toric Fano manifolds, toric complete intersections, and Grassmannians fit this paradigm, and that Gamma Conjecture I is compatible with taking hyperplane sections via a quantum Lefschetz argument [1508.00719]. In this framework, the dominant saddle of the oscillatory integral reproduces the dominant eigenvalue of \(c_1(X)\star\), and the one-loop \(\Gamma\)-factors match \(\widehat{\Gamma}_X\).

For del Pezzo surfaces, Hu–Ke–Li–Yang prove Conjecture \(\mathcal O\) and Gamma Conjecture I for all two-dimensional Fano manifolds by combining a generalized Perron–Frobenius theorem with vanishing statements for certain Gromov–Witten invariants [1901.01748]. A complementary mirror-symmetric result treats non-toric del Pezzo surfaces of degree at least \(3\): the Gross–Hacking–Keel mirror is equipped with explicit cycles mirror to line bundles, and the leading-order oscillatory integrals on those cycles recover the Gamma-modified central charge for arbitrary \(K\)-group insertions generated by line bundles [2309.02154].

For flag varieties \(X=G/P\), the conjecture acquires a distinctly cluster-theoretic form. The theorem of “Gamma conjecture I for flag varieties” proves that the small quantum cohomology is semisimple, \(c_1(X)\star\) has a simple spectral radius with Perron–Frobenius positivity in the Schubert basis, and the totally positive part \(Y_{>0}\) of the Rietsch mirror yields the principal asymptotic flat section through the positive thimble integral
\[
Z_{+}(z)=\int_{\mathcal C_{+}}e^{-W/z}\,\omega.
\]
The unique non-degenerate positive critical point \(p_{+}\in Y_{>0}\) governs stationary phase, and under the mirror identification one has \(A_X=\widehat{\Gamma}_X\) for every flag variety [2501.13221].

A different proof strategy appears for toric Fano orbifolds presented as toric GIT quotients. There the \(G\)-equivariant quantum cohomology central charge on \(\mathbb C^r\) is subjected to an inverse Mellin, or Fourier-type, transform. On the A-side this produces the quantum cohomology central charge of the associated line bundle on the quotient orbifold; on the B-side it becomes the oscillatory integral on the Landau–Ginzburg mirror, and deforming the parameters to real values simultaneously deforms the cycle to the SYZ mirror cycle of the line bundle [2501.14222].

## 3. Calabi–Yau, relative, and tropical extensions

The mirror symmetric Gamma conjecture is not confined to compact Fano quantum cohomology. A central extension, due to Iritani, starts from a Fano manifold \(F\) satisfying the Fano-side mirror-symmetric identity and applies a Laplace transform to the oscillatory integrals. This yields corresponding statements for the total space \(K_F\) of the canonical bundle and for anticanonical hypersurfaces \(Y\subset F\), as well as more general sums of anti-nef line bundles and nef complete intersections. The resulting formulas express relative or fiber periods on the mirror side in terms of the \(I\)-functions of \(K_F\) or \(Y\), together with the appropriate Gamma classes [2307.15940].

A Calabi–Yau variation emphasizes integral structures rather than only dominant asymptotics. In that setting, mirror symmetry identifies the A-model variation of Hodge structure of quantum cohomology with the B-model Gauss–Manin variation, and the Mirror Symmetric Gamma Conjecture states that Iritani’s Gamma-integral structure matches the natural integral local system \(H_n(Z_t,\mathbb Z)\) of the mirror family. The tropical approach of Abouzaid–Ganatra–Iritani–Sheridan, as explained in “Gamma conjecture and tropical geometry,” shows that \(\zeta\)-values arise as “error terms of tropicalization” in mirror period asymptotics. In dimension \(2\), the universal correction is \(\zeta(2)\); in dimension \(3\), local vertex contributions produce \(\zeta(3)\), and these match the coefficients appearing in the Gamma class expansion [2307.15946].

Relative mirror symmetry furnishes another extension. For a Fano variety \(X\) with an snc anticanonical divisor \(D\), the mirror is constructed from the degree-zero part of relative quantum cohomology, with theta functions \(\vartheta_{\vec p}\) and superpotential
\[
W=\sum_i \vartheta_{[D_i]}.
\]
The paper “Relative mirror symmetry, theta functions and the Gamma conjecture” proves mirror-symmetric Gamma identities for \(\mathcal O_X\) and \(\mathcal O_{\mathrm{pt}}\), equating oscillatory integrals over a real Lefschetz thimble or a compact cycle with pairings of \(z^{c_1}z^{\deg/2}\mathfrak J_X\) against \(\widehat{\Gamma}_X\). It also states that this picture is consistent with counterexamples to the non-mirror-symmetric Gamma conjecture: the mirror-symmetric version remains valid in that relative setting [2508.06750].

Local mirror symmetry admits a related but noncompact formulation. For the canonical bundle \(K_{X_\Sigma}\) of a smooth toric Fano variety, one can lift tropical curves associated to holomorphic curves \(C\subset X_\Sigma\) to Lagrangian cycles \(\Gamma\) in the Gross–Siebert mirror family. The resulting equality
\[
Z_B(E)=Z_A(\Gamma)
\]
matches the B-side central charge defined using the \(\widehat{\Gamma}\)-class with the A-side period of the holomorphic volume form over \(\Gamma\) [2011.01729].

A higher-dimensional tropical incarnation appears in “Lifts of cycles in tropical hypersurfaces and the Gamma conjecture.” There, torus-fibered lifts of tropical \((p,q)\)-cycles in toric hypersurfaces yield period asymptotics
\[
\int_{\Psi_t^w(\mathcal E)}\Omega_t^{l,v}
=
\frac{(-1)^{d+p_w}}{(l-1)!}
\int_{Y_w}
t^{-\omega_\lambda^w}\cdot
\widehat{\Gamma}_w\cdot
E_{v,w}\cdot
(2\pi\sqrt{-1})^{\deg/2}\,\mathrm{ch}(\mathcal E)\cdot
\prod_{m\in A_w}\Big(-\frac{c_m}{c_w}\Big)^{-D_m^w}
+O(t^\epsilon),
\]
which is explicitly presented as a mirror symmetric Gamma conjecture formula [2602.08666].

## 4. Landau–Ginzburg and FJRW analogues

A parallel Gamma-conjectural structure exists in Fan–Jarvis–Ruan–Witten theory for quasi-homogeneous polynomials of general type. In this setting, Shen–Zhang define the index
\[
v=d-\sum_{j=1}^N w_j,
\]
so that \(v>0\) is the general-type case, and study the restricted Dubrovin-type connection determined by the small \(I\)-function and the specialization \(t=T(t)\). The operator
\[
-T' *_{T}
\]
plays the role of quantum multiplication by \(c_1\), and the paper formulates an LG Quantum Spectrum Conjecture together with LG Gamma Conjectures I and II [2309.07446].

The LG Gamma class is defined by a Gamma map on the FJRW state space,
\[
I_{W,G}:=\sum_{g\in G}(-1)^{p(g)}\prod_{j=1}^N\Gamma(1-\theta_j(g))\cdot \mathrm{Id}_{H_g},
\]
and for the stabilization of the residue field and its twists this yields explicit classes
\[
A_\ell=(2\pi)^N\sum_{m\in \mathrm{Nar}}
\omega^{-\ell m}\prod_{j=1}^N\Gamma\!\bigl(1-\{w_jm/d\}\bigr)e_m.
\]
These classes are the LG analogues of \(\widehat{\Gamma}_X\), and the mirror dictionary is stated explicitly:
\[
c_1\cdot \;\leftrightarrow\; -T' *_{T},\qquad
\widehat{\Gamma}_X \;\leftrightarrow\; I_{W,(J)}(\mathrm{ch}(C(\ell)^{\mathrm{st}}))=A_\ell.
\]
The weak version identifies \(A_\ell\) as weak asymptotic classes; the strong version matches Stokes data with Euler pairings in \(MF(W,\langle J\rangle)\) [2309.07446].

The paper proves the spectrum conjecture for mirror simple singularities of ADE type and for Fermat homogeneous polynomials \(W=\sum x_i^d\) with \(d-N>1\). It also proves the weak Gamma Conjecture for Fermat polynomials \(\sum x_i^{a_i}\) and the strong Gamma Conjecture for Fermat homogeneous polynomials. In this form, the mirror symmetric Gamma conjecture becomes an interface between asymptotic analysis of the FJRW quantum connection, the categorical theory of matrix factorizations, and Orlov’s semiorthogonal decompositions [2309.07446].

## 5. Categorical, Stokes-theoretic, and integral-structure aspects

The mirror symmetric Gamma conjecture is also a statement about integral structures and Stokes data. In the toric Fano case, Fang–Zhou prove Gamma II by showing that oscillatory integrals on Lefschetz thimbles represent the same relative homology classes as characteristic cycles of constructible sheaves under the coherent–constructible correspondence and the Ganatra–Pardon–Shende equivalence. Through Iritani’s theorem, these oscillatory integrals equal genus-zero descendant potentials twisted by the Gamma class, and the asymptotic basis is identified with the classes \(Z([E_i])\) of a full exceptional collection, with Stokes matrix
\[
S_{ij}=\chi(E_i,E_j)
\]
[1903.05300].

The paper “Gamma conjecture II via global Gamma-I” refines this picture on the A-side. It introduces the Gamma-I property at points satisfying the SR condition, proves that this property propagates across connected components of the SR-region, and derives a strategy theorem reducing Gamma conjecture II to Gamma-I at a possibly non-semisimple point plus a small-quantum-cohomology analysis. The resulting application proves Gamma conjecture II for all del Pezzo surfaces, with the Stokes matrix identified with the Euler form and the central connection matrix identified with \(\widehat{\Gamma}_X\)-modified Chern characters [2606.07418]. This removes a common simplification in earlier discussions: semisimplicity at the starting point is not required.

On the Calabi–Yau side, the integral-structure formulation is explicit. The A-model bundle carries Iritani’s Gamma-integral structure
\[
\mathcal Z_X(E)=(2\pi i)^{\deg/2}\,\widehat{\Gamma}(T_X)\cup \mathrm{ch}(E),
\]
while the B-model side carries the natural integral local system \(H_n(Z_t;\mathbb Z)\). The mirror symmetric Gamma conjecture states that these two \(\mathbb Z\)-structures correspond under the mirror isomorphism of variations of Hodge structure [2307.15946]. This suggests that the conjecture is not merely an asymptotic statement about a preferred flat section, but a structural assertion about how K-theory, cohomology, monodromy, and relative cycles are intertwined by mirror symmetry.

## 6. Arithmetic, modularity, and current directions

A striking arithmetic refinement appears for Picard rank-\(1\) Fano threefolds. The Borel transform of the irregular A-side quantum differential equation produces a Picard–Fuchs operator for a modular pencil of K3 surfaces, and the corresponding “quantum differential operator” \(\mathcal D_{4,N}=\theta\mathcal L_{3,N}\) has virtual Yukawa coupling
\[
\mathscr Y_{\mathcal D_{4,N}}(\tau)=\frac{1}{3!}Y(\tau)=F(\tau)\frac{t'(\tau)}{t(\tau)}\in M_4(\Gamma_0(N)^+).
\]
For the modular levels \(N\in\{2,3,4,5,6,8,9,11\}\), the virtual instanton numbers are periodic with period \(N\), and the \(N=6\) case is tied to the Apéry–Beukers–Peters pencil for \(\zeta(3)\). In this framework, the \(\zeta(3)\) term in the degree-six part of \(\widehat{\Gamma}_X\) is mirrored by the Eichler-integral constants on the B-side, and this arithmetic mechanism underlies Golyshev–Zagier’s proof of Gamma I and II for the \(17\) Iskovskikh classes [2403.07349].

A different arithmetic manifestation is provided by Frobenius constants. Bloch–Vlasenko show that for a Picard–Fuchs differential operator with a special reflection point, the generating series of Frobenius constants is the Taylor expansion of a generalized gamma function built from Mellin transforms of solutions of the adjoint equation. As a consequence, the Frobenius constants of Picard–Fuchs operators are periods [1908.07501]. In the geometric cases emphasized by mirror symmetry, this gives a motivic explanation for the appearance of \(\Gamma\)-phenomena and \(\zeta\)-values in canonical solution bases near maximally unipotent monodromy points.

Current directions are explicit across the recent literature. For flag varieties, open problems include extending Gamma II to general \(G/P\), describing all Stokes matrices via exceptional collections, and refining the mirror picture to integral structures, equivariant settings, quantum \(K\)-theory, and cluster-algebraic constructions [2501.13221]. In relative mirror symmetry, the natural next step is a version of Gamma II for full exceptional collections and a direct comparison with punctured log invariants [2508.06750]. In the Fano-to-Calabi–Yau Laplace-transform framework, it is natural to seek broader mirror constructions beyond Laurent polynomial mirrors and to relate the vanishing cycles more precisely to large-complex-structure asymptotics [2307.15940].

Taken together, these developments show that “Mirror Symmetric Gamma Conjecture” no longer denotes a single isolated assertion. It names a program in which the Gamma class controls dominant asymptotics, integral lattices, oscillatory integrals, tropical period corrections, categorical Stokes data, and arithmetic constants, across Fano, Calabi–Yau, relative, and Landau–Ginzburg theories.

Source: https://www.emergentmind.com/topics/mirror-symmetric-gamma-conjecture