Showing 1–44 of 44 results for author: Iritani, H

Counter-examples to Gamma conjecture I

Authors: Sergey Galkin, Jianxun Hu, Hiroshi Iritani, Huazhong Ke, Changzheng Li, Zhitong Su

Abstract: We investigate Gamma conjecture I and its underlying Conjecture $\mathcal{O}$ for the $\mathbb{P}^1$-bundles $X_n=\mathbb{P}_{\mathbb{P}^{n}}(\mathcal{O}\oplus\mathcal{O}(n))$ with $n\ge 3$. We show that Conjecture $\mathcal{O}$ does not hold if $n$ is odd, and that Gamma conjecture I does not hold if $n$ is even. Led by this example, we propose modifications for Gamma conjecture I, discuss Gamma… ▽ More We investigate Gamma conjecture I and its underlying Conjecture $\mathcal{O}$ for the $\mathbb{P}^1$-bundles $X_n=\mathbb{P}_{\mathbb{P}^{n}}(\mathcal{O}\oplus\mathcal{O}(n))$ with $n\ge 3$. We show that Conjecture $\mathcal{O}$ does not hold if $n$ is odd, and that Gamma conjecture I does not hold if $n$ is even. Led by this example, we propose modifications for Gamma conjecture I, discuss Gamma conjecture I over the Kahler moduli space, and identify the corresponding principal asymptotic class. △ Less

Submitted 5 June, 2024; v1 submitted 27 May, 2024; originally announced May 2024.

Comments: 39 pages, v2: fixed the figures that were not compiled correctly

Gamma conjecture and tropical geometry

Authors: Hiroshi Iritani

Abstract: 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 t… ▽ More 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. △ Less

Submitted 29 July, 2023; originally announced July 2023.

Comments: 15 pages, 8 figures, This is an expository article on joint work with Abouzaid, Ganatra and Sheridan. Proceedings of the 66th Algebra (Daisugaku) Symposium, from 31 August to 3 September 2021, organized by Algebra Section, Mathematical Society of Japan, published on 31 December 2021 at https://www.mathsoc.jp/section/algebra/algsymp_past/algsymp21_files/procalgsymp2021.pdf

Mirror symmetric Gamma conjecture for Fano and Calabi-Yau manifolds

Authors: Hiroshi Iritani

Abstract: 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 anticanon… ▽ More 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. △ Less

Submitted 29 July, 2023; originally announced July 2023.

Comments: 16 pages, no figure, submitted to the proceedings of the online Nottingham algebraic geometry seminar

Gamma classes and quantum cohomology

Authors: Hiroshi Iritani

Abstract: 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 di… ▽ More 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. △ Less

Submitted 29 July, 2023; originally announced July 2023.

Comments: 18 pages, 1 figure, final version, to appear in the ICM 2022 proceedings (submitted on January 2022)

Quantum D-modules of toric varieties and oscillatory integrals

Authors: Hiroshi Iritani

Abstract: 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. 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. △ Less

Submitted 29 July, 2023; originally announced July 2023.

Comments: 14 pages, 1 figure

Journal ref: Handbook of Mirror Symmetry for Calabi-Yau manifolds and Fano manifolds, ALM47, 131-147, (2019)

Quantum cohomology of blowups

Authors: Hiroshi Iritani

Abstract: 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 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. △ Less

Submitted 28 December, 2023; v1 submitted 25 July, 2023; originally announced July 2023.

Comments: 60 pages, 5 figures, v2: corrected minor errors and added Appendix B

Quantum cohomology of projective bundles

Authors: Hiroshi Iritani, Yuki Koto

Abstract: 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… ▽ More 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. △ Less

Submitted 12 February, 2024; v1 submitted 7 July, 2023; originally announced July 2023.

Comments: 38 pages, 2 figures; v2: Figure 2 added, v3: Introducion improved

Asymptotics of the banana Feynman amplitudes at the large complex structure limit

Authors: Hiroshi Iritani

Abstract: 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. 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. △ Less

Submitted 18 November, 2020; v1 submitted 11 November, 2020; originally announced November 2020.

Comments: 4 pages, v2: minor changes, references added

Journal ref: Advances in Theoretical and Mathematical Physics Volume 26 (2022) Number 5 pp.1239-1245

Global Mirrors and Discrepant Transformations for Toric Deligne-Mumford Stacks

Authors: Hiroshi Iritani

Abstract: 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 tor… ▽ More 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. △ Less

Submitted 22 April, 2020; v1 submitted 3 June, 2019; originally announced June 2019.

Comments: 111 pages, 16 figures, published version

Journal ref: SIGMA 16 (2020), 032, 111 pages

The Gamma and Strominger-Yau-Zaslow conjectures: a tropical approach to periods

Authors: Mohammed Abouzaid, Sheel Ganatra, Hiroshi Iritani, Nick Sheridan

Abstract: 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. 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. △ Less

Submitted 23 May, 2022; v1 submitted 6 September, 2018; originally announced September 2018.

Comments: 55 pages, 7 figures, v3: added reference to arXiv:2205.00814, in which Yuto Yamamoto points out and fixes an error in our Lemma 5.6. The main results are unaffected

Journal ref: Geom. Topol. 24 (2020) 2547-2602

On the finiteness of quantum K-theory of a homogeneous space

Authors: David Anderson, Linda Chen, Hsian-Hua Tseng, Hiroshi Iritani

Abstract: 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 o… ▽ More 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. △ Less

Submitted 24 August, 2020; v1 submitted 12 April, 2018; originally announced April 2018.

Comments: Appendix B by Hiroshi Iritani. 32 pages, final version to appear in IMRN

Journal ref: International Mathematics Research Notices, Volume 2022, Issue 2, January 2022, Pages 1313--1349

Gromov-Witten Invariants of Local P^2 and Modular Forms

Authors: Tom Coates, Hiroshi Iritani

Abstract: 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… ▽ More 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. △ Less

Submitted 2 June, 2019; v1 submitted 9 April, 2018; originally announced April 2018.

Comments: 131 pages, 9 figures; fully commented source code included as ancillary file; for video of talk, see: https://www.youtube.com/watch?v=raqkmHxCJYI and https://www.youtube.com/watch?v=sRMESF1TSOA v2: final version, to appear in Kyoto Journal of Mathematics

Journal ref: Kyoto J. Math. 61, no. 3 (2021), 543-706

Hodge-Theoretic Mirror Symmetry for Toric Stacks

Authors: Tom Coates, Alessio Corti, Hiroshi Iritani, Hsian-Hua Tseng

Abstract: Using the mirror theorem [CCIT15], we give a Landau-Ginzburg mirror description for the big equivariant quantum cohomology of toric Deligne-Mumford stacks. More precisely, we prove that the big equivariant quantum D-module of a toric Deligne-Mumford stack is isomorphic to the Saito structure associated to the mirror Landau-Ginzburg potential. We give a GKZ-style presentation of the quantum D-modul… ▽ More Using the mirror theorem [CCIT15], we give a Landau-Ginzburg mirror description for the big equivariant quantum cohomology of toric Deligne-Mumford stacks. More precisely, we prove that the big equivariant quantum D-module of a toric Deligne-Mumford stack is isomorphic to the Saito structure associated to the mirror Landau-Ginzburg potential. We give a GKZ-style presentation of the quantum D-module, and a combinatorial description of quantum cohomology as a quantum Stanley-Reisner ring. We establish the convergence of the mirror isomorphism and of quantum cohomology in the big and equivariant setting. △ Less

Submitted 23 June, 2016; originally announced June 2016.

Comments: 58 pages, 3 figures

Journal ref: J. Differential Geometry 114 (2020), no.1, 41--115

Gromov-Witten Theory of Quotient of Fermat Calabi-Yau varieties

Authors: Hiroshi Iritani, Todor Milanov, Yongbin Ruan, Yefeng Shen

Abstract: 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 an… ▽ More 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. △ Less

Submitted 3 August, 2016; v1 submitted 28 May, 2016; originally announced May 2016.

Comments: 82 pages, in version 2: some typos corrected and references added

MSC Class: 14N35

Gamma conjecture via mirror symmetry

Authors: Sergey Galkin, Hiroshi Iritani

Abstract: 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 co… ▽ More 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. △ Less

Submitted 24 July, 2018; v1 submitted 4 August, 2015; originally announced August 2015.

Comments: 43 pages, 3 figures, submitted to the proceedings of the conference "Primitive Forms and Related Subjects" at IPMU (Feb 2014), v2: exposition improved, discussion on odd cohomology added in the appendix, references updated, v3: final version, credit given to Sanda-Shamoto for the content in the appendix

Journal ref: Primitive Forms and Related Subjects -- Kavli IPMU 2014, 55--115, Mathematical Society of Japan, Tokyo, Japan, 2019

Extremal Transition and Quantum Cohomology: Examples of Toric Degeneration

Authors: Hiroshi Iritani, Jifu Xiao

Abstract: When a singular projective variety X_sing admits a projective crepant resolution X_res and a smoothing X_sm, we say that X_res and X_sm are related by extremal transition. In this paper, we study a relationship between the quantum cohomology of X_res and X_sm in some examples. For three dimensional conifold transition, a result of Li and Ruan implies that the quantum cohomology of a smoothing X_sm… ▽ More When a singular projective variety X_sing admits a projective crepant resolution X_res and a smoothing X_sm, we say that X_res and X_sm are related by extremal transition. In this paper, we study a relationship between the quantum cohomology of X_res and X_sm in some examples. For three dimensional conifold transition, a result of Li and Ruan implies that the quantum cohomology of a smoothing X_sm is isomorphic to a certain subquotient of the quantum cohomology of a resolution X_res with the quantum variables of exceptional curves specialized to one. We observe that similar phenomena happen for toric degenerations of Fl(1,2,3), Gr(2,4) and Gr(2,5) by explicit computations. △ Less

Submitted 22 October, 2015; v1 submitted 20 April, 2015; originally announced April 2015.

Comments: 29 pp, in v2 and v3, license statement changed. in v3 thanks to C.Z. Li added. in v4, the comparison of the cohomology of Gr(2,5) and the cohomology of the small resolution of toric degeneration of Gr(2,5) is added. a conjecture on general cases is added

MSC Class: 14B05; 14N35

Journal ref: Kyoto J. Math. 56, no. 4 (2016), 873-905

A mirror construction for the big equivariant quantum cohomology of toric manifolds

Authors: Hiroshi Iritani

Abstract: We identify a certain universal Landau-Ginzburg model as a mirror of the big equivariant quantum cohomology of a (not necessarily compact or semipositive) toric manifold. The mirror map and the primitive form are constructed via Seidel elements and shift operators for equivariant quantum cohomology. Primitive forms in non-equivariant theory are identified up to automorphisms of the mirror. We identify a certain universal Landau-Ginzburg model as a mirror of the big equivariant quantum cohomology of a (not necessarily compact or semipositive) toric manifold. The mirror map and the primitive form are constructed via Seidel elements and shift operators for equivariant quantum cohomology. Primitive forms in non-equivariant theory are identified up to automorphisms of the mirror. △ Less

Submitted 29 June, 2016; v1 submitted 10 March, 2015; originally announced March 2015.

Comments: 34 pages, v2: minor revision, references updated

Journal ref: Mathematische Annalen (2017) Volume 368, Issue 1-2, pp.279-316

Quantum Serre theorem as a duality between quantum D-modules

Authors: Hiroshi Iritani, Etienne Mann, Thierry Mignon

Abstract: We give an interpretation of quantum Serre of Coates and Givental as a duality of twisted quantum D-modules. This interpretation admits a non-equivariant limit, and we obtain a precise relationship among (1) the quantum D-module of X twisted by a convex vector bundle E and the Euler class, (2) the quantum D-module of the total space of the dual bundle E^\vee over X, and (3) the quantum D-module of… ▽ More We give an interpretation of quantum Serre of Coates and Givental as a duality of twisted quantum D-modules. This interpretation admits a non-equivariant limit, and we obtain a precise relationship among (1) the quantum D-module of X twisted by a convex vector bundle E and the Euler class, (2) the quantum D-module of the total space of the dual bundle E^\vee over X, and (3) the quantum D-module of a submanifold Z\subset X cut out by a regular section of E. When E is the anticanonical line bundle K_X^{-1}, we identify these twisted quantum D-modules with second structure connections with different parameters, which arise as Fourier-Laplace transforms of the quantum D-module of X. In this case, we show that the duality pairing is identified with Dubrovin's second metric (intersection form). △ Less

Submitted 26 June, 2015; v1 submitted 15 December, 2014; originally announced December 2014.

Comments: 40 pages, v2: the title has changed, exposition improved and references added, accepted for publication in International Mathematics Research Notices

Journal ref: Int. Math. Res. Not. IMRN2016, no.9, 2828-2888

A Fock Sheaf For Givental Quantization

Authors: Tom Coates, Hiroshi Iritani

Abstract: 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… ▽ More 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. △ Less

Submitted 9 April, 2018; v1 submitted 25 November, 2014; originally announced November 2014.

Comments: 123 pages, 5 figures v2: a commutative diagram in Theorem 5.14 was erroneously omitted and is restored v3: exposition improved based on referee's suggestions v4: Corollary 6.16 added

Journal ref: Kyoto J. Math. 58, no. 4 (2018), 695-864

Shift operators and toric mirror theorem

Authors: Hiroshi Iritani

Abstract: We give a new proof of Givental's mirror theorem for toric manifolds using shift operators of equivariant parameters. The proof is almost tautological: it gives an A-model construction of the I-function and the mirror map. It also works for non-compact or non-semipositive toric manifolds. We give a new proof of Givental's mirror theorem for toric manifolds using shift operators of equivariant parameters. The proof is almost tautological: it gives an A-model construction of the I-function and the mirror map. It also works for non-compact or non-semipositive toric manifolds. △ Less

Submitted 30 December, 2014; v1 submitted 25 November, 2014; originally announced November 2014.

Comments: 24 pages, v2: I corrected a mistake in the differential equation for Upsilon; proof simplified a little

Journal ref: Geometry & Topology 21-1 (2017), 315--343

On the Existence of a Global Neighbourhood

Authors: Tom Coates, Hiroshi Iritani

Abstract: Suppose that a complex manifold M is locally embedded into a higher-dimensional neighbourhood as a submanifold. We show that, if the local neighbourhood germs are compatible in a suitable sense, then they glue together to give a global neighbourhood of M. As an application, we prove a global version of Hertling--Manin's unfolding theorem for germs of TEP structures; this has applications in the st… ▽ More Suppose that a complex manifold M is locally embedded into a higher-dimensional neighbourhood as a submanifold. We show that, if the local neighbourhood germs are compatible in a suitable sense, then they glue together to give a global neighbourhood of M. As an application, we prove a global version of Hertling--Manin's unfolding theorem for germs of TEP structures; this has applications in the study of quantum cohomology. △ Less

Submitted 12 November, 2014; originally announced November 2014.

Comments: 9 pages

Journal ref: Glasgow Math. J. 58 (2016) no.3, 717-726

K-Theoretic and Categorical Properties of Toric Deligne--Mumford Stacks

Authors: Tom Coates, Hiroshi Iritani, Yunfeng Jiang, Ed Segal

Abstract: 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 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. △ Less

Submitted 25 August, 2016; v1 submitted 30 September, 2014; originally announced October 2014.

Comments: 14 pages, no figures. v2: references updated, v3: minor revision, final version

MSC Class: 14A20 (Primary); 19L47; 14F05 (Secondary)

Journal ref: Pure and Applied Mathematics Quarterly, Vol. 11, No. 2 (2015), pp. 239-266

The Crepant Transformation Conjecture for Toric Complete Intersections

Authors: Tom Coates, Hiroshi Iritani, Yunfeng Jiang

Abstract: Let X and Y be K-equivalent toric Deligne-Mumford stacks related by a single toric wall-crossing. We prove the Crepant Transformation Conjecture in this case, fully-equivariantly and in genus zero. That is, we show that the equivariant quantum connections for X and Y become gauge-equivalent after analytic continuation in quantum parameters. Furthermore we identify the gauge transformation involved… ▽ More Let X and Y be K-equivalent toric Deligne-Mumford stacks related by a single toric wall-crossing. We prove the Crepant Transformation Conjecture in this case, fully-equivariantly and in genus zero. That is, we show that the equivariant quantum connections for X and Y become gauge-equivalent after analytic continuation in quantum parameters. Furthermore we identify the gauge transformation involved, which can be thought of as a linear symplectomorphism between the Givental spaces for X and Y, with a Fourier-Mukai transformation between the K-groups of X and Y, via an equivariant version of the Gamma-integral structure on quantum cohomology. We prove similar results for toric complete intersections. We impose only very weak geometric hypotheses on X and Y: they can be non-compact, for example, and need not be weak Fano or have Gorenstein coarse moduli space. Our main tools are the Mirror Theorems for toric Deligne-Mumford stacks and toric complete intersections, and the Mellin-Barnes method for analytic continuation of hypergeometric functions. △ Less

Submitted 9 October, 2014; v1 submitted 30 September, 2014; originally announced October 2014.

Comments: 61 pages, 3 figures. v2: abstract changed, references updated, remarks added

MSC Class: 14N35 (Primary); 14A20; 14E16; 14F05; 53D45 (Secondary)

Journal ref: Adv. Math. 329 (2018), 1002-1087

Gamma classes and quantum cohomology of Fano manifolds: Gamma conjectures

Authors: Sergey Galkin, Vasily Golyshev, Hiroshi Iritani

Abstract: We propose Gamma Conjectures for Fano manifolds which can be thought of as a square root of the index theorem. Studying the exponential asymptotics of solutions to the quantum differential equation, we associate a principal asymptotic class A_F to a Fano manifold F. We say that F satisfies Gamma Conjecture I if A_F equals the Gamma class G_F. When the quantum cohomology of F is semisimple, we say… ▽ More We propose Gamma Conjectures for Fano manifolds which can be thought of as a square root of the index theorem. Studying the exponential asymptotics of solutions to the quantum differential equation, we associate a principal asymptotic class A_F to a Fano manifold F. We say that F satisfies Gamma Conjecture I if A_F equals the Gamma class G_F. When the quantum cohomology of F is semisimple, we say that F satisfies Gamma Conjecture II if the columns of the central connection matrix of the quantum cohomology are formed by G_F Ch(E_i) for an exceptional collection {E_i} in the derived category of coherent sheaves D^b_coh(F). Gamma Conjecture II refines part (3) of Dubrovin's conjecture. We prove Gamma Conjectures for projective spaces and Grassmannians. △ Less

Submitted 19 October, 2015; v1 submitted 25 April, 2014; originally announced April 2014.

Comments: 56 pages, 11 figures, v2: references added, some proofs simplified and shortened; Property O introduced; the discussion on Gamma conjecture for toric manifolds/toric complete intersections and the compatibility with quantum Lefschetz has been removed and appears in arXiv:1508.00719, v3: a rigorous definition of mutation of marked reflection systems given in 4.3, v4: minor changes

Report number: IPMU 10-0200

Journal ref: Duke Math. J. 165, no. 11 (2016), 2005-2077

Some Applications of the Mirror Theorem for Toric Stacks

Authors: Tom Coates, Alessio Corti, Hiroshi Iritani, Hsian-Hua Tseng

Abstract: We use the mirror theorem for toric Deligne-Mumford stacks, proved recently by the authors and by Cheong-Ciocan-Fontanine-Kim, to compute genus-zero Gromov-Witten invariants of a number of toric orbifolds and gerbes. We prove a mirror theorem for a class of complete intersections in toric Deligne-Mumford stacks, and use this to compute genus-zero Gromov-Witten invariants of an orbifold hypersurfac… ▽ More We use the mirror theorem for toric Deligne-Mumford stacks, proved recently by the authors and by Cheong-Ciocan-Fontanine-Kim, to compute genus-zero Gromov-Witten invariants of a number of toric orbifolds and gerbes. We prove a mirror theorem for a class of complete intersections in toric Deligne-Mumford stacks, and use this to compute genus-zero Gromov-Witten invariants of an orbifold hypersurface. △ Less

Submitted 8 October, 2014; v1 submitted 12 January, 2014; originally announced January 2014.

Comments: 23 pages. v2: main result strengthened, references updated

MSC Class: 14N35 (Primary) 14A20; 53D45; 83E30 (Secondary)

Journal ref: Advances in Theoretical and Mathematical Physics, Vol. 23, No. 3 (2019), pp. 767--802

A Mirror Theorem for Toric Stacks

Authors: Tom Coates, Alessio Corti, Hiroshi Iritani, Hsian-Hua Tseng

Abstract: We prove a Givental-style mirror theorem for toric Deligne--Mumford stacks X. This determines the genus-zero Gromov--Witten invariants of X in terms of an explicit hypergeometric function, called the I-function, that takes values in the Chen--Ruan orbifold cohomology of X. We prove a Givental-style mirror theorem for toric Deligne--Mumford stacks X. This determines the genus-zero Gromov--Witten invariants of X in terms of an explicit hypergeometric function, called the I-function, that takes values in the Chen--Ruan orbifold cohomology of X. △ Less

Submitted 2 October, 2014; v1 submitted 15 October, 2013; originally announced October 2013.

Comments: 35 pages. v2: key references added. v3: errors corrected; formal setup changed; proofs simplified, clarified, and shortened; references added. v4: references updated. v5: references updated

MSC Class: 14N35 (Primary) 14A20; 53D45; 83E30 (Secondary)

Journal ref: Compositio Mathematica 151 (2015) 1878-1912

Reconstruction and Convergence in Quantum $K$-Theory via Difference Equations

Authors: Hiroshi Iritani, Todor Milanov, Valentin Tonita

Abstract: We give a new reconstruction method of big quantum $K$-ring based on the $q$-difference module structure in quantum $K$-theory. The $q$-difference structure yields commuting linear operators $A_{i,\rm com}$ on the $K$-group as many as the Picard number of the target manifold. The genus-zero quantum $K$-theory can be reconstructed from the $q$-difference structure at the origin $t=0$ if the $K$-gro… ▽ More We give a new reconstruction method of big quantum $K$-ring based on the $q$-difference module structure in quantum $K$-theory. The $q$-difference structure yields commuting linear operators $A_{i,\rm com}$ on the $K$-group as many as the Picard number of the target manifold. The genus-zero quantum $K$-theory can be reconstructed from the $q$-difference structure at the origin $t=0$ if the $K$-group is generated by a single element under the actions of $A_{i,\rm com}$. This method allows us to prove the convergence of the big quantum $K$-rings of certain manifolds, including the projective spaces and the complete flag manifold $\operatorname{Fl}_3$. △ Less

Submitted 3 February, 2014; v1 submitted 15 September, 2013; originally announced September 2013.

Comments: 36 pages

MSC Class: 14N35

Journal ref: Int Math Res Not, Volume 2015, Issue 11, pp.2887-2937

Seidel elements and potential functions of holomorphic disc counting

Authors: Eduardo Gonzalez, Hiroshi Iritani

Abstract: Let M be a symplectic manifold equipped with a Hamiltonian circle action and let L be an invariant Lagrangian submanifold of M. We study the problem of counting holomorphic disc sections of the trivial M-bundle over a disc with boundary in L through degeneration. We obtain a conjectural relationship between the potential function of L and the Seidel element associated to the circle action. When ap… ▽ More Let M be a symplectic manifold equipped with a Hamiltonian circle action and let L be an invariant Lagrangian submanifold of M. We study the problem of counting holomorphic disc sections of the trivial M-bundle over a disc with boundary in L through degeneration. We obtain a conjectural relationship between the potential function of L and the Seidel element associated to the circle action. When applied to a Lagrangian torus fibre of a semi-positive toric manifold, this degeneration argument reproduces a conjecture (now a theorem) of Chan-Lau-Leung-Tseng relating certain correction terms appearing in the Seidel elements with the potential function. △ Less

Submitted 7 September, 2015; v1 submitted 23 January, 2013; originally announced January 2013.

Comments: 38 pages, v2: more details added in the proof of Lemma 3.15

Journal ref: Tohoku Math. J. (2), Volume 69, Number 3 (2017), 327-368

On the Convergence of Gromov-Witten Potentials and Givental's Formula

Authors: Tom Coates, Hiroshi Iritani

Abstract: Let X be a smooth projective variety. The Gromov-Witten potentials of X are generating functions for the Gromov-Witten invariants of X: they are formal power series, sometimes in infinitely many variables, with Taylor coefficients given by Gromov-Witten invariants of X. It is natural to ask whether these formal power series converge. In this paper we describe and analyze various notions of converg… ▽ More Let X be a smooth projective variety. The Gromov-Witten potentials of X are generating functions for the Gromov-Witten invariants of X: they are formal power series, sometimes in infinitely many variables, with Taylor coefficients given by Gromov-Witten invariants of X. It is natural to ask whether these formal power series converge. In this paper we describe and analyze various notions of convergence for Gromov-Witten potentials. Using results of Givental and Teleman, we show that if the quantum cohomology of X is analytic and generically semisimple then the genus-g Gromov-Witten potential of X converges for all g. We deduce convergence results for the all-genus Gromov-Witten potentials of compact toric varieties, complete flag varieties, and certain non-compact toric varieties. △ Less

Submitted 25 November, 2014; v1 submitted 19 March, 2012; originally announced March 2012.

Comments: 38 pages, 1 figure, v2: corrected several errors

Journal ref: Michigan Math. J. 64 (2015), no. 3, 587--631

The Quantum Lefschetz Hyperplane Principle Can Fail for Positive Orbifold Hypersurfaces

Authors: Tom Coates, Amin Gholampour, Hiroshi Iritani, Yunfeng Jiang, Paul Johnson, Cristina Manolache

Abstract: We show that the Quantum Lefschetz Hyperplane Principle can fail for certain orbifold hypersurfaces and complete intersections. It can fail even for orbifold hypersurfaces defined by a section of an ample line bundle. We show that the Quantum Lefschetz Hyperplane Principle can fail for certain orbifold hypersurfaces and complete intersections. It can fail even for orbifold hypersurfaces defined by a section of an ample line bundle. △ Less

Submitted 13 February, 2012; originally announced February 2012.

Comments: 8 pages

MSC Class: 14N35 (Primary) 14A20 (Secondary)

Journal ref: Math. Res. Lett. Volume 19 (2012) Number 5, pp.997-1005

Landau-Ginzburg/Calabi-Yau correspondence, global mirror symmetry and Orlov equivalence

Authors: Alessandro Chiodo, Hiroshi Iritani, Yongbin Ruan

Abstract: We show that the Gromov-Witten theory of Calabi-Yau hypersurfaces matches, in genus zero and after an analytic continuation, the quantum singularity theory (FJRW theory) recently introduced by Fan, Jarvis and Ruan following ideas of Witten. Moreover, on both sides, we highlight two remarkable integral local systems arising from the common formalism of Gamma-integral structures applied to the deriv… ▽ More We show that the Gromov-Witten theory of Calabi-Yau hypersurfaces matches, in genus zero and after an analytic continuation, the quantum singularity theory (FJRW theory) recently introduced by Fan, Jarvis and Ruan following ideas of Witten. Moreover, on both sides, we highlight two remarkable integral local systems arising from the common formalism of Gamma-integral structures applied to the derived category of the hypersurface {W=0} and to the category of graded matrix factorizations of W. In this setup, we prove that the analytic continuation matches Orlov equivalence between the two above categories. △ Less

Submitted 23 June, 2013; v1 submitted 3 January, 2012; originally announced January 2012.

Comments: 72pages, v2: Appendix B and references added. Typos corrected, v3: several mistakes corrected, final version

Journal ref: Publ. IHES, June 2014, Vol 119, Issue 1, pp.127-216

Seidel elements and mirror transformations

Authors: Eduardo Gonzalez, Hiroshi Iritani

Abstract: The goal of this article is to give a precise relation between the mirror symmetry transformation of Givental and the Seidel elements for a smooth projective toric variety $X$ with $-K_X$ nef. We show that the Seidel elements entirely determine the mirror transformation and mirror coordinates. The goal of this article is to give a precise relation between the mirror symmetry transformation of Givental and the Seidel elements for a smooth projective toric variety $X$ with $-K_X$ nef. We show that the Seidel elements entirely determine the mirror transformation and mirror coordinates. △ Less

Submitted 31 October, 2011; v1 submitted 21 March, 2011; originally announced March 2011.

Comments: 36 pages. We corrected several issues as pointed out by the referee

MSC Class: 14N35; 53D45; 14J33

Journal ref: Selecta Mathematica, Volume 18, Issue 3 (2012), 557-590

Quantum Cohomology and Periods

Authors: Hiroshi Iritani

Abstract: In a previous paper, the author introduced a Z-structure in quantum cohomology defined by the K-theory and the Gamma class and showed that it is compatible with mirror symmetry for toric orbifolds. Applying the quantum Lefschetz principle to the previous results, we find an explicit relationship between solutions to the quantum differential equation for toric complete intersections and the periods… ▽ More In a previous paper, the author introduced a Z-structure in quantum cohomology defined by the K-theory and the Gamma class and showed that it is compatible with mirror symmetry for toric orbifolds. Applying the quantum Lefschetz principle to the previous results, we find an explicit relationship between solutions to the quantum differential equation for toric complete intersections and the periods (or oscillatory integrals) of their mirrors. We describe in detail the mirror isomorphism of variations of Z-Hodge structure for a mirror pair of Calabi-Yau hypersurfaces (Batyrev's mirror). △ Less

Submitted 25 December, 2011; v1 submitted 24 January, 2011; originally announced January 2011.

Comments: 39 pages, v2: improved the explanation on multi-generation, quintic example added, v3: one of the main theorem (Theorem 6.9) improved, references added

MSC Class: 14N35; 14D05; 14D07; 14J33; 32G20; 53D37

Journal ref: Ann. Inst. Fourier 61, no.7 (2011), p.2909-2958

Molecular and Atomic Gas in the Large Magellanic Cloud II. Three-dimensional Correlation between CO and HI

Authors: Y. Fukui, A. Kawamura, T. Wong, M. Murai, H. Iritani, N. Mizuno, Y. Mizuno, T. Onishi, A. Hughes, J. Ott, E. Muller, L. Staveley-Smith, S. Kim

Abstract: We compare the CO J =(1-0) and HI emission in the Large Magellanic Cloud (LMC) in three dimensions, i.e. including a velocity axis in addition to the two spatial axes, with the aim of elucidating the physical connection between giant molecular clouds (GMCs) and their surrounding HI gas. The CO J =1-0 dataset is from the second NANTEN CO survey and the HI dataset is from the merged Australia Tele… ▽ More We compare the CO J =(1-0) and HI emission in the Large Magellanic Cloud (LMC) in three dimensions, i.e. including a velocity axis in addition to the two spatial axes, with the aim of elucidating the physical connection between giant molecular clouds (GMCs) and their surrounding HI gas. The CO J =1-0 dataset is from the second NANTEN CO survey and the HI dataset is from the merged Australia Telescope Compact Array (ATCA) and Parkes Telescope surveys. The major findings of our analysis are: 1) GMCs are associated with an envelope of HI emission, 2) in GMCs [average CO intensity] is proportional to [average HI intensity]^[1.1+-0.1] and 3) the HI intensity tends to increase with the star formation activity within GMCs, from Type I to Type III. An analysis of the HI envelopes associated with GMCs shows that their average linewidth is 14 km s-1 and the mean density in the envelope is 10 cm-3. We argue that the HI envelopes are gravitationally bound by GMCs. These findings are consistent with a continual increase in the mass of GMCs via HI accretion at an accretion rate of 0.05 Msun/yr over a time scale of 10 Myr. The growth of GMCs is terminated via dissipative ionization and/or stellar-wind disruption in the final stage of GMC evolution. △ Less

Submitted 2 September, 2009; originally announced September 2009.

Comments: 31 pages, including 13 figures and 2 tables to appear in ApJ. PDF with higher resolution figures is also available at http://www.a.phys.nagoya-u.ac.jp/~kawamura/research/LMC_CO_HI_II_preprint.pdf

Journal ref: Astrophys.J.705:144-155,2009

tt*-geometry in quantum cohomology

Authors: Hiroshi Iritani

Abstract: We study possible real structures in the space of solutions to the quantum differential equation. We show that, under mild conditions, a real structure in orbifold quantum cohomology yields a pure and polarized tt^*-geometry near the large radius limit. We compute an example of P^1 which is pure and polarized over the whole Kaehler moduli space H^2(P^1,C^*). We study possible real structures in the space of solutions to the quantum differential equation. We show that, under mild conditions, a real structure in orbifold quantum cohomology yields a pure and polarized tt^*-geometry near the large radius limit. We compute an example of P^1 which is pure and polarized over the whole Kaehler moduli space H^2(P^1,C^*). △ Less

Submitted 6 June, 2009; originally announced June 2009.

Comments: 34 pages. This paper is a revision of the real structure part of the preprint arXiv:0712.2204

MSC Class: 14N35; 53D45; 32G20; 32G34; 34M55

An integral structure in quantum cohomology and mirror symmetry for toric orbifolds

Authors: Hiroshi Iritani

Abstract: We introduce an integral structure in orbifold quantum cohomology associated to the K-group and the Gamma-class. In the case of compact toric orbifolds, we show that this integral structure matches with the natural integral structure for the Landau-Ginzburg model under mirror symmetry. By assuming the existence of an integral structure, we give a natural explanation for the specialization to a r… ▽ More We introduce an integral structure in orbifold quantum cohomology associated to the K-group and the Gamma-class. In the case of compact toric orbifolds, we show that this integral structure matches with the natural integral structure for the Landau-Ginzburg model under mirror symmetry. By assuming the existence of an integral structure, we give a natural explanation for the specialization to a root of unity in Y. Ruan's crepant resolution conjecture. △ Less

Submitted 28 April, 2009; v1 submitted 8 March, 2009; originally announced March 2009.

Comments: 59pages. This paper is a revision of the integral structure part of the preprint arXiv:0712.2204. More details on toric mirror symmetry have been added, v2: added a reference, v3: There were logical gaps in the argument of the conformal Batyrev ring in Section 3.2.3; mistakes in Section 3.2.3 removed and Proposition 4.4 modified using the work of Adolphson

Journal ref: Adv. Math. 222 (2009), no.3, 1016-1079

Ruan's conjecture and integral structures in quantum cohomology

Authors: Hiroshi Iritani

Abstract: This is an expository article on the recent studies of Ruan's crepant resolution/flop conjecture and its possible relations to the K-theory integral structure in quantum cohomology. This is an expository article on the recent studies of Ruan's crepant resolution/flop conjecture and its possible relations to the K-theory integral structure in quantum cohomology. △ Less

Submitted 16 September, 2008; originally announced September 2008.

Comments: 38 pages; Submitted to the proceedings of the conference "New developments in Algebraic Geometry, Integrable Systems and Mirror symmetry" held at RIMS, January, 2008

Journal ref: Adv. Stud. Pure. Math. 59, (2010), pp.111-166

Real and integral structures in quantum cohomology I: toric orbifolds

Authors: Hiroshi Iritani

Abstract: We study real and integral structures in the space of solutions to the quantum differential equations. First we show that, under mild conditions, any real structure in orbifold quantum cohomology yields a pure and polarized tt^*-geometry near the large radius limit. Secondly, we use mirror symmetry to calculate the "most natural" integral structure in quantum cohomology of toric orbifolds. We sh… ▽ More We study real and integral structures in the space of solutions to the quantum differential equations. First we show that, under mild conditions, any real structure in orbifold quantum cohomology yields a pure and polarized tt^*-geometry near the large radius limit. Secondly, we use mirror symmetry to calculate the "most natural" integral structure in quantum cohomology of toric orbifolds. We show that the integral structure pulled back from the singularity B-model is described only in terms of topological data in the A-model; K-group and a characteristic class. Using integral structures, we give a natural explanation why the quantum parameter should specialize to a root of unity in Ruan's crepant resolution conjecture. △ Less

Submitted 8 March, 2009; v1 submitted 13 December, 2007; originally announced December 2007.

Comments: 66 pages, v2: many minor changes, v3: many changes, references added, the results on the integral structure and mirror symmetry (except for real structures) of this preprint have been revised in the paper arXiv:0903.1463

The Crepant Resolution Conjecture for Type A Surface Singularities

Authors: Tom Coates, Alessio Corti, Hiroshi Iritani, Hsian-Hua Tseng

Abstract: Let X be an orbifold with crepant resolution Y. The Crepant Resolution Conjectures of Ruan and Bryan-Graber assert, roughly speaking, that the quantum cohomology of X becomes isomorphic to the quantum cohomology of Y after analytic continuation in certain parameters followed by the specialization of some of these parameters to roots of unity. We prove these conjectures in the case where X is a s… ▽ More Let X be an orbifold with crepant resolution Y. The Crepant Resolution Conjectures of Ruan and Bryan-Graber assert, roughly speaking, that the quantum cohomology of X becomes isomorphic to the quantum cohomology of Y after analytic continuation in certain parameters followed by the specialization of some of these parameters to roots of unity. We prove these conjectures in the case where X is a surface singularity of type A. The key ingredient is mirror symmetry for toric orbifolds. △ Less

Submitted 10 July, 2008; v1 submitted 16 April, 2007; originally announced April 2007.

Comments: 19 pages. v2: references updated; corrected our description of the work of Davesh Maulik. v3: please note that this preprint has been superseded by arXiv:math/0702234v3. The material here, with various typos corrected, appears as Appendix A there

MSC Class: 14N35 (Primary); 14A20; 53D45 (Secondary)

Computing Genus-Zero Twisted Gromov-Witten Invariants

Authors: Tom Coates, Alessio Corti, Hiroshi Iritani, Hsian-Hua Tseng

Abstract: Twisted Gromov-Witten invariants are intersection numbers in moduli spaces of stable maps to a manifold or orbifold X which depend in addition on a vector bundle over X and an invertible multiplicative characteristic class. Special cases are closely related to local Gromov-Witten invariants of the bundle, and to genus-zero one-point invariants of complete intersections in X. We develop tools for… ▽ More Twisted Gromov-Witten invariants are intersection numbers in moduli spaces of stable maps to a manifold or orbifold X which depend in addition on a vector bundle over X and an invertible multiplicative characteristic class. Special cases are closely related to local Gromov-Witten invariants of the bundle, and to genus-zero one-point invariants of complete intersections in X. We develop tools for computing genus-zero twisted Gromov-Witten invariants of orbifolds and apply them to several examples. We prove a "quantum Lefschetz theorem" which expresses genus-zero one-point Gromov-Witten invariants of a complete intersection in terms of those of the ambient orbifold X. We determine the genus-zero Gromov-Witten potential of the type A surface singularity C^2/Z_n. We also compute some genus-zero invariants of C^3/Z_3, verifying predictions of Aganagic-Bouchard-Klemm. In a self-contained Appendix, we determine the relationship between the quantum cohomology of the A_n surface singularity and that of its crepant resolution, thereby proving the Crepant Resolution Conjectures of Ruan and Bryan-Graber in this case. △ Less

Submitted 10 July, 2008; v1 submitted 8 February, 2007; originally announced February 2007.

Comments: 46 pages. v2: corrected our description of the work of Davesh Maulik. v3 is the refereed version, with many changes: a new appendix containing the results from our preprint arXiv:0704.2034; another new appendix containing foundational results on Givental's Lagrangian cone and formal geometry; also a number of typos were corrected and some references added

MSC Class: 14N35 (Primary); 14A20; 53D45 (Secondary)

Journal ref: Duke Math. J. 147 (2009), no.3, 377-438

Wall-Crossings in Toric Gromov-Witten Theory I: Crepant Examples

Authors: Tom Coates, Hiroshi Iritani, Hsian-Hua Tseng

Abstract: Let X be a Gorenstein orbifold and let Y be a crepant resolution of X. We state a conjecture relating the genus-zero Gromov--Witten invariants of X to those of Y, which differs in general from the Crepant Resolution Conjectures of Ruan and Bryan--Graber, and prove our conjecture when X = P(1,1,2) and X = P(1,1,1,3). As a consequence, we see that the original form of the Bryan--Graber Conjecture… ▽ More Let X be a Gorenstein orbifold and let Y be a crepant resolution of X. We state a conjecture relating the genus-zero Gromov--Witten invariants of X to those of Y, which differs in general from the Crepant Resolution Conjectures of Ruan and Bryan--Graber, and prove our conjecture when X = P(1,1,2) and X = P(1,1,1,3). As a consequence, we see that the original form of the Bryan--Graber Conjecture holds for P(1,1,2) but is probably false for P(1,1,1,3). Our methods are based on mirror symmetry for toric orbifolds. △ Less

Submitted 16 November, 2008; v1 submitted 17 November, 2006; originally announced November 2006.

Comments: 71 pages, v2: typos corrected and references modified, v3: corrected errors in Proposition 2.9 and in Summary, v4: major revision, exposition unified from a viewpoint of VSHS, many signpostings for the logical structure; the authorship has changed, with Alessio Corti withdrawing

MSC Class: 53D45 (Primary); 14N35; 83E30 (Secondary)

Journal ref: Geom. Topol. 13 (2009) 2675-2744

Convergence of quantum cohomology by quantum Lefschetz

Authors: Hiroshi Iritani

Abstract: Quantum Lefschetz theorem by Coates and Givental gives a relationship between the genus 0 Gromov-Witten theory of X and the twisted theory by a line bundle L on X. We prove the convergence of the twisted theory under the assumption that the genus 0 theory for original X converges. As a byproduct, we prove the semi-simplicity and the Virasoro conjecture for the Gromov-Witten theories of (not nece… ▽ More Quantum Lefschetz theorem by Coates and Givental gives a relationship between the genus 0 Gromov-Witten theory of X and the twisted theory by a line bundle L on X. We prove the convergence of the twisted theory under the assumption that the genus 0 theory for original X converges. As a byproduct, we prove the semi-simplicity and the Virasoro conjecture for the Gromov-Witten theories of (not necessarily Fano) projective toric manifolds. △ Less

Submitted 1 May, 2006; v1 submitted 13 June, 2005; originally announced June 2005.

Comments: 35pages; v2 minor changes, v3 changes in exposition in Introduction and section 3, added Corollary 6.9, v4 changes in exposition in section3, changes in notation: fundamental solution L is replaced with its inverse

MSC Class: 53D45; 14N35

Journal ref: J. Reine Angew. Math. 610 (2007), pp.29--69

Quantum D-modules and generalized mirror transformations

Authors: Hiroshi Iritani

Abstract: In the previous paper, the author defined equivariant Floer cohomology for a complete intersection in a toric variety and showed that it is isomorphic to the small quantum D-module after a mirror transformation when the first Chern class c_1(M) of the tangent bundle is nef. In this paper, even when c_1(M) is not nef, we show that the equivariant Floer cohomology reconstructs the big quantum D-mo… ▽ More In the previous paper, the author defined equivariant Floer cohomology for a complete intersection in a toric variety and showed that it is isomorphic to the small quantum D-module after a mirror transformation when the first Chern class c_1(M) of the tangent bundle is nef. In this paper, even when c_1(M) is not nef, we show that the equivariant Floer cohomology reconstructs the big quantum D-module under certain conditions on the ambient toric variety. The proof is based on a mirror theorem by Coates and Givental. The reconstruction procedure here gives a generalized mirror transformation first observed by **zenji in low degrees. △ Less

Submitted 17 June, 2007; v1 submitted 5 November, 2004; originally announced November 2004.

Comments: 54 pages; v2: corrected typos; v3: added reference; v4: corrected errors in the proof of the main theorem; v5: major revision. In the main theorem, we added a condition on the ambient toric variety

MSC Class: 53D45 (Primary) 14N35 (Secondary)

Journal ref: Topology 47 (2008) no.4, pp.225--276

Quantum D-modules and equivariant Floer theory for free loop spaces

Authors: Hiroshi Iritani

Abstract: The objective of this paper is to clarify the relationships between the quantum D-module and equivariant Floer theory. Equivariant Floer theory was introduced by Givental in his paper ``Homological Geometry''. He conjectured that the quantum D-module of a symplectic manifold is isomorphic to the equivariant Floer cohomology for the universal cover of the free loop space. First, motivated by the… ▽ More The objective of this paper is to clarify the relationships between the quantum D-module and equivariant Floer theory. Equivariant Floer theory was introduced by Givental in his paper ``Homological Geometry''. He conjectured that the quantum D-module of a symplectic manifold is isomorphic to the equivariant Floer cohomology for the universal cover of the free loop space. First, motivated by the work of Guest, we formulate the notion of ``abstract quantum D-module''which generalizes the D-module defined by the small quantum cohomology algebra. Second, we define the equivariant Floer cohomology of toric complete intersections rigorously as a D-module, using Givental's model. This is shown to satisfy the axioms of abstract quantum D-module. By Givental's mirror theorem, it follows that equivariant Floer cohomology defined here is isomorphic to the quantum cohomology D-module. △ Less

Submitted 17 March, 2006; v1 submitted 22 October, 2004; originally announced October 2004.

Comments: 37 pages, the original version was written in June,2003, v2 added e-mail address, v3 final version

MSC Class: 53D45 (Primary) 14N35; 53D40 (Secondary)

Journal ref: Math. Z. 252 (3) (2006), pp.577--622