arXiv subjects
Publications and source records attributed to Hiroshi Iritani.
We discuss arithmetic and Hodge-theoretic properties of the isomorphisms appearing in the decomposition theorem for quantum cohomology of blowups. These properties underpin the application to the rationality questions by Katzarkov-Kontsevich-Pantev-Yu.
We construct an I-function of the projective bundle P(V) associated with a not necessarily split vector bundle V\to B as a Fourier transform of the S^1-equivariant J-function of the total space of V and show that it lies on the Givental Lagrangian cone of P(V). Using this result, we show that the quantum cohomology D-module of P(V) splits into the direct sum of the quantum cohomology D-modules of the base space B. This has applications to the semisimplicity of big quantum cohomology.
Equivariant quantum cohomology possesses the structure of a difference module by shift operators (Seidel representation) of equivariant parameters. Teleman's conjecture suggests that shift operators and equivariant parameters acting on QH_T(X) should be identified, respectively, with the Novikov variables and the quantum connection of the GIT quotient X//T. This can be interpreted as a form of Fourier duality between equivariant quantum cohomology (D-module) of X and quantum cohomology (D-module) of the GIT quotient X//T. We introduce the notion of "quantum volume," derived from Givental's path integral over the Floer fundamental cycle, and present a conjectural Fourier duality relationship between the T-equivariant quantum volume of X and the quantum volume of X//T. We also explore the "reduction conjecture," developed in collaboration with Fumihiko Sanda, which expresses the I-function of X//T as a discrete Fourier transform of the equivariant J-function of X. Furthermore, we demonstrate how to use Fourier analysis of equivariant quantum cohomology to observe toric mirror symmetry and prove a decomposition of quantum cohomology D-modules of projective bundles or blowups.
We prove a decomposition theorem of the quantum cohomology D-module of the blowup of a smooth projective variety X along a smooth subvariety Z. The main tools we use are shift operators and Fourier analysis for equivariant quantum cohomology.
We continue investigation of asymptotics of quantum differential equation for Fano manifolds, with a special regard to Gamma conjecture I and its underlying Conjecture $\mathcal{O}$. We introduce the A-model conifold value, a symplectic invariant of a Fano manifold, and propose modifications for Gamma conjecture I based on this new definition. We discuss an interplay of birational transformations with an extension of Gamma conjecture I over the Kähler moduli space. These heuristics are applied to rigorously identify the principal asymptotic class in the case of $\mathbb{P}^1$-bundles $X_n=\mathbb{P}_{\mathbb{P}^{n}}(\mathcal{O}\oplus\mathcal{O}(n))$. We observe, in particular, that for $X_n$ of dimension at least four, the Conjecture $\mathcal{O}$ holds just for even values of $n$, and in these cases we falsify the original non-modified Gamma conjecture I.
The mirror symmetric Gamma conjecture roughly speaking says that the Gamma class of a manifold determines the asymptotics of (exponential) periods of the mirror. We recast the method in [Iri11] in a more general context and show that the mirror symmetric Gamma conjecture for a Fano manifold F implies, via Laplace transformation, that for the total space K_F of the canonical bundle or for anticanonical sections in F. More generally, we discuss the mirror symmetric Gamma conjecture for the total space of a sum of anti-nef line bundles over F or for nef complete intersections in F.
We review mirror symmetry for the quantum cohomology D-module of a compact weak-Fano toric manifold. We also discuss the relationship to the GKZ system, the Stanley-Reisner ring, the Mellin-Barnes integrals, and the Gamma-integral structure.
The Gamma-class is a characteristic class for complex manifolds with transcendental coefficients. It defines an integral structure of quantum cohomology, or more precisely, an integral lattice in the space of flat sections of the quantum connection. We present several conjectures (the Gamma-conjectures) about this structure, particularly focusing on the Riemann-Hilbert problem it poses. We also discuss a conjectural functoriality of quantum cohomology under birational transformations.
Hodge-theoretic mirror symmetry for a Calabi-Yau mirror pair says that the variation of Hodge structure arising from quantum cohomology of a Calabi-Yau manifold and that arising from deformation of complex structures on the dual Calabi-Yau manifold can be identified with each other, and it has been conjectured (Gamma-conjecture) that the Gamma-integral structure in quantum cohomology corresponds to a natural integral structure on the mirror side. Here the Gamma-integral structure is defined via the topological K-group and the Gamma-class, a characteristic class with transcendental coefficients containing the Riemann $ζ$-values. In this article, we explain an approach to the Gamma-conjecture using tropical geometry and observe that the Riemann $ζ$-values arise as error terms of tropicalization in the computation of mirror periods. This is based on joint work [AGIS] with Abouzaid, Ganatra and Sheridan.
We propose a new method to compute asymptotics of periods using tropical geometry, in which the Riemann zeta values appear naturally as error terms in tropicalization. Our method suggests how the Gamma class should arise from the Strominger-Yau-Zaslow conjecture. We use it to give a new proof of (a version of) the Gamma Conjecture for Batyrev pairs of mirror Calabi-Yau hypersurfaces.
Recently Bönisch-Fischbach-Klemm-Nega-Safari discovered, via numerical computation, that the leading asymptotics of the l-loop Banana Feynman amplitude at the large complex structure limit can be described by the Gamma class of a degree (1,...,1) Fano hypersurface F in (P^1)^{l+1}. We confirm this observation by using a Gamma-conjecture type result for F.
We show that the product in the quantum K-ring of a generalized flag manifold $G/P$ involves only finitely many powers of the Novikov variables. In contrast to previous approaches to this finiteness question, we exploit the finite difference module structure of quantum K-theory. At the core of the proof is a bound on the asymptotic growth of the $J$-function, which in turn comes from an analysis of the singularities of the zastava spaces studied in geometric representation theory. An appendix by H. Iritani establishes the equivalence between finiteness and a quadratic growth condition on certain shift operators.
We introduce a global Landau-Ginzburg model which is mirror to several toric Deligne-Mumford stacks and describe the change of the Gromov-Witten theories under discrepant transformations. We prove a formal decomposition of the quantum cohomology D-modules (and of the all-genus Gromov-Witten potentials) under a discrepant toric wall-crossing. In the case of weighted blowups of weak-Fano compact toric stacks along toric centres, we show that an analytic lift of the formal decomposition corresponds, via the $\widehatΓ$-integral structure, to an Orlov-type semiorthogonal decomposition of topological $K$-groups. We state a conjectural functoriality of Gromov-Witten theories under discrepant transformations in terms of a Riemann-Hilbert problem.
We construct a sheaf of Fock spaces over the moduli space of elliptic curves E_y with Gamma_1(3)-level structure, arising from geometric quantization of H^1(E_y), and a global section of this Fock sheaf. The global section coincides, near appropriate limit points, with the Gromov-Witten potentials of local P^2 and of the orbifold C^3/mu_3. This proves that the Gromov-Witten potentials of local P^2 are quasi-modular functions for the group Gamma_1(3), as predicted by Aganagic-Bouchard-Klemm, and proves the Crepant Resolution Conjecture for [C^3/mu_3] in all genera.
The asymptotic behaviour of solutions to the quantum differential equation of a Fano manifold F defines a characteristic class A_F of F, called the principal asymptotic class. Gamma conjecture of Vasily Golyshev and the present authors claims that the principal asymptotic class A_F equals the Gamma class G_F associated to Euler's $Γ$-function. We illustrate in the case of toric varieties, toric complete intersections and Grassmannians how this conjecture follows from mirror symmetry. We also prove that Gamma conjecture is compatible with taking hyperplane sections, and give a heuristic argument how the mirror oscillatory integral and the Gamma class for the projective space arise from the polynomial loop space.
We give a global, intrinsic, and co-ordinate-free quantization formalism for Gromov-Witten invariants and their B-model counterparts, which simultaneously generalizes the quantization formalisms described by Witten, Givental, and Aganagic-Bouchard-Klemm. Descendant potentials live in a Fock sheaf, consisting of local functions on Givental's Lagrangian cone that satisfy the (3g-2)-jet condition of Eguchi-Xiong; they also satisfy a certain anomaly equation, which generalizes the Holomorphic Anomaly Equation of Bershadsky-Cecotti-Ooguri-Vafa. We interpret Givental's formula for the higher-genus potentials associated to a semisimple Frobenius manifold in this setting, showing that, in the semisimple case, there is a canonical global section of the Fock sheaf. This canonical section automatically has certain modularity properties. When X is a variety with semisimple quantum cohomology, a theorem of Teleman implies that the canonical section coincides with the geometric descendant potential defined by Gromov-Witten invariants of X. We use our formalism to prove a higher-genus version of Ruan's Crepant Transformation Conjecture for compact toric orbifolds. When combined with our earlier joint work with Jiang, this shows that the total descendant potential for compact toric orbifold X is a modular function for a certain group of autoequivalences of the derived category of X.
We prove the following results for toric Deligne-Mumford stacks, under minimal compactness hypotheses: the Localization Theorem in equivariant K-theory; the equivariant Hirzebruch-Riemann-Roch theorem; the Fourier--Mukai transformation associated to a crepant toric wall-crossing gives an equivariant derived equivalence.
We construct a global B-model for weighted homogeneous polynomials based on K. Saito's theory of primitive forms. Our main motivation is to give a rigorous statement of the so called global mirror symmetry conjecture relating Gromov-Witten invariants and Fan--Jarvis--Ruan--Witten invariants. Furthermore, our construction allows us to generalize the notion of a quasi-modular form and holomorphic anomaly equations. Finally, we prove the global mirror symmetry conjecture for the Fermat polynomials.