Hiroshi Iritani
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Suppose that two compact manifolds $X, X'$ are connected by a sequence of Mukai flops. In this paper, we construct a ring isomorphism between cohomology ring of $X$ and $X'$. Using the local mirror symmetry technique, we prove that the quantum corrected products on $X, X'$ are the ordinary intersection products. Furthermore, $X, X'$ have isomorphic Ruan cohomology. i.e. we proved the cohomological minimal model conjecture proposed by Ruan.
In this paper, we study the symplectic geometry of singular conifolds of the finite group quotient $$ W_r=\{(x,y,z,t)|xy-z^{2r}+t^2=0 \}/μ_r(a,-a,1,0), r\geq 1, $$ which we call orbi-conifolds. The related orbifold symplectic conifold transition and orbifold symplectic flops are constructed. Let $X$ and $Y$ be two symplectic orbifolds connected by such a flop. We study orbifold Gromov-Witten invariants of exceptional classes on $X$ and $Y$ and show that they have isomorphic Ruan cohomologies. Hence, we verify a conjecture of Ruan.
We prove that the orbifold quantum ring is preserved under singular symplectic flops. Hence we verify Ruan's conjecture for this case.
Chen and Ruan [6] defined a very interesting cohomology theory for orbifolds, which is now called Chen-Ruan cohomology. The primary objective of this paper is to compute the Chen-Ruan cohomology rings of the weighted projective spaces, a class of important spaces in physics. The classical tools (Chen-Ruan cohomology, toric varieties, the localization technique) which have been proved to be successful are used to study the orbifold cohomology of weighted projective spaces. Given a weighted projective space ${\bf P}^{n}_{q_{0}, >..., q_{n}}$, we determine all of its twisted sectors and the corre…
In this paper we prove that for an almost complex orbifold, its virtual orbifold cohomology [math.AT/0606573] is isomorphic as algebras to the Chen-Ruan orbifold cohomology of its cotangent orbifold.
Let X be a compact connected Riemann surface of genus at least two. We compute the Chen--Ruan cohomology ring of the moduli space of stable PSL(2, C)--bundles of nontrivial second Stiefel--Whitney class over X.
In this work we describe the Chen-Ruan cohomology of the moduli stacks of smooth and stable genus 2 pointed curves, and its algebraic counterpart: the stringy Chow ring. In the first half of the paper we compute the additive structure of the Chen-Ruan cohomology ring for the moduli stack of stable pointed genus 2 curves, describing it as a rationally graded vector space. In the second part we give generators for the even Chen--Ruan cohomology ring as an algebra on the ordinary cohomology.
In this work we compute the Chen--Ruan cohomology and the stringy Chow ring of the moduli spaces of smooth and stable $n$-pointed curves of genus 1. We suggest a definition for an Orbifold Tautological Ring in genus 1, which is both a subring of the Chen--Ruan cohomology and of the stringy Chow ring.
We compute the Chen-Ruan orbifold cohomology ring of the Batyrev mirror orbifold of a smooth quintic hypersurface in 4-dimensional projective space. We identify the obstruction bundle for this example by using the Riemann bilinear relations for periods. We outline a general method of computing the Chen-Ruan ring for Calabi-Yau hypersurfaces in projective simplicial toric varieties, modulo a conjecture that the Riemann bilinear relations are adequate for identifying the obstruction bundle for any complex orbifold.
We extend the definition of the Chen-Ruan cohomology ring to smooth, proper, tame, Deligne-Mumford stacks over fields of positive characteristic and prove that a modified version of the Frobenius action preserves the product.
Contact invariants of Q-Gorenstein toric contact manifolds, the Ehrhart polynomial and Chen-Ruan cohomology
本文研究Q-Gorenstein环面接触流形的柱形接触同调不变量，建立其与环面图的Ehrhart（拟）多项式、对应环面孤立奇点的crepant环面轨形消解的Chen-Ruan上同调，以及生成该流形的单调环面辛轨形底空间的Chen-Ruan上同调的关联。
We study Ruan's \textit{cohomological crepant resolution conjecture} for orbifolds with transversal ADE singularities. In the $A_n$-case we compute both the Chen-Ruan cohomology ring $H^*_{\rm CR}([Y])$ and the quantum corrected cohomology ring $H^*(Z)(q_1,...,q_n)$. The former is achieved in general, the later up to some additional, technical assumptions. We construct an explicit isomorphism between $H^*_{\rm CR}([Y])$ and $H^*(Z)(-1)$ in the $A_1$-case, verifying Ruan's conjecture. In the $A_n$-case, the family $H^*(Z)(q_1,...,q_n)$ is not defined for $q_1=...=q_n=-1$. This implies that the …
Let $(X,\,D)$ be an $m$-pointed compact Riemann surface of genus at least $2$. For each $x \,\in\, D$, fix full flag and concentrated weight system $α$. Let $P \mathcal{M}_ξ$ denote the moduli space of semi-stable parabolic vector bundles of rank $r$ and determinant $ξ$ over $X$ with weight system $α$, where $r$ is a prime number and $ξ$ is a holomorphic line bundle over $X$ of degree $d$ which is not a multiple of $r$. We compute the Chen-Ruan cohomology of the orbifold for the action on $P \mathcal{M}_ξ$ of the group of $r$-torsion points in ${\rm Pic}^0(X)$.
Let X be a compact connected Riemann surface of genus at least two. Let r be a prime number and ξa holomorphic line bundle on it such that r is not a divisor of degree(ξ). Let {\mathcal M}_ξ(r) denote the moduli space of stable vector bundles over X of rank r and determinant ξ. By Γwe will denote the group of line bundles L over X such that $L^{\otimes r}$ is trivial. This group Γacts on {\mathcal M}_ξ(r). We compute the Chen-Ruan cohomology of the corresponding orbifold.
Chen--Ruan cohomology and orbifold Euler characteristic of moduli spaces of parabolic bundles
本文研究曲线上稳定抛物 Higgs 丛模空间在 Jacobian 的 $r$ 挠群作用下的不动点分支，并计算抛物丛商轨形的 Euler 示性数及 Chen–Ruan 上同调结构。
For any toric Calabi-Yau 3-orbifold with transverse A-singularities, we prove Ruan's crepant resolution conjecture and the Gromov-Witten/Donaldson-Thomas correspondence.
Chen and Ruan's orbifold cohomology of the symmetric product of a complex manifold is calculated. An isomorphism of rings (up to a change of signs) $H_{orb}^*(X^n/S_n;\complex) \cong H^*(X^{[n]};\complex)$ between the orbifold cohomology of the symmetric product of a smooth projective surface with trivial canonical class $X$ and the cohomology of its Hilbert scheme $X^{[n]}$ is obtained, yielding a positive answer to a conjecture of Ruan.
We study Ruan's "cohomological crepant resolution conjecture" (see math.AG/0108195) for orbifolds with transversal ADE singularities. Let [Y] be such an orbifold, Y its coarse moduli space and Z the crepant resolution of Y. Following Ruan [math.AG/0108195], we have a deformation of the cohomology ring H^*(Z) using some Gromov-Witten invariants of Z. The resulting family of rings will be denoted by H^*(Z)(q_1,...,q_n), where q_1,...,q_n are complex parameters. In the A_n case we compute both the orbifold cohomology ring H^*_{orb}([Y]) and the family H^*(Z)(q_1,...,q_n). The former is achieved i…
We compare the Chen-Ruan cohomology ring of the weighted projective spaces $\IP(1,3,4,4)$ and $\IP(1,...,1,n)$ with the cohomology ring of their crepant resolutions. In both cases, we prove that the Chen-Ruan cohomology ring is isomorphic to the quantum corrected cohomology ring of the crepant resolution after suitable evaluation of the quantum parameters. For this, we prove a formula for the Gromov-Witten invariants of the resolution of a transversal ${\rm A}_3$ singularity.
We give an expository account of a conjecture, developed by Coates--Corti--Iritani--Tseng and Ruan, which relates the quantum cohomology of a Gorenstein orbifold X to the quantum cohomology of a crepant resolution Y of X. We explore some consequences of this conjecture, showing that it implies versions of both the Cohomological Crepant Resolution Conjecture and of the Crepant Resolution Conjectures of Ruan and Bryan--Graber. We also give a "quantized" version of the conjecture, which determines higher-genus Gromov--Witten invariants of X from those of Y.
We observe that the state space of Landau-Ginzburg isolated singularities is simply a special case of Chen-Ruan orbifold cohomology relative to the generic fibre of the potential. This leads to the definition of the cohomology of hybrid Landau-Ginzburg models and its identification via an explicit isomorphism to the cohomology of Calabi-Yau complete intersections inside weighted projective spaces. The combinatorial method used in the case of hypersurfaces proven by the first named author in collaboration with Ruan is streamlined and generalised after an orbifold version of the Thom isomorphism…
This is an expository article about the recent results on the relation between the naturality problem of quantum cohomology and birational geometry. We give a short survey on Li-Ruan's results. Some conjecture-proposals are discussed.
For a finite group G acting on a smooth projective variety X, we construct two new G-equivariant rings: first the stringy K-theory of X, and second the stringy cohomology of X. For a smooth Deligne-Mumford stack Y we also construct a new ring called the full orbifold K-theory of Y. For a global quotient Y=[X/G], the ring of G-invariants of the stringy K-theory of X is a subalgebra of the full orbifold K-theory of the the stack Y and is linearly isomorphic to the ``orbifold K-theory'' of Adem-Ruan (and hence Atiyah-Segal), but carries a different, ``quantum,'' product, which respects the natura…
We prove an all genera version of the Crepant Resolution Conjecture of Ruan and Bryan-Graber for type A surface singularities. We are based on a method that explicitly computes Hurwitz-Hodge integrals described in an earlier paper and some recent results by Liu-Xu for some intersection numbers on the Deligne-Mumford moduli spaces. We also generalize our results to some three-dimensional orbifolds.
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 g…
We establish a genus zero correspondence between the equivariant Gromov-Witten theory of the Deligne-Mumford stack $[\mathbb{C}^N/G]$ and its blowup at the origin. The relationship generalizes the crepant transformation conjecture of Coates-Iritani-Tseng and Coates-Ruan to the discrepant (non-crepant) setting using asymptotic expansion. Using this result together with quantum Serre duality and the MLK correspondence we prove LG/Fano and LG/general type correspondences for hypersurfaces.
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.
In this paper we analyze six examples of birational transformations between toric orbifolds: three crepant resolutions, two crepant partial resolutions, and a flop. We study the effect of these transformations on genus-zero Gromov-Witten invariants, proving the Coates-Corti-Iritani-Tseng/Ruan form of the Crepant Resolution Conjecture in each case. Our results suggest that this form of the Crepant Resolution Conjecture may also hold for more general crepant birational transformations. They also suggest that Ruan's original Crepant Resolution Conjecture should be modified, by including appropria…
In this paper we analyze four examples of birational transformations between local Calabi-Yau 3-folds: two crepant resolutions, a crepant partial resolution, and a flop. We study the effect of these transformations on genus-zero Gromov-Witten invariants, proving the Coates-Corti-Iritani-Tseng/Ruan form of the Crepant Resolution Conjecture in each case. Our results suggest that this form of the Crepant Resolution Conjecture may also hold for more general crepant birational transformations. They also suggest that Ruan's original Crepant Resolution Conjecture should be modified, by including appr…
In their paper "Quantum cohomology of projective bundles over $P^n$" (Trans. Am. Math. Soc. (1998)350:9 3615-3638) Z.Qin and Y.Ruan introduce interesting techniques for the computation of the quantum ring of manifolds which are projectivized bundles over projective spaces; in particular, in the case of splitting bundles they prove under some restrictions the formula of Batyrev about the quantum ring of toric manifolds. Here we prove the formula of Batyrev on the quantum Chern-Leray equation for a large class of splitting bundles.
Equivariant Cohomological Crepant Resolution Conjecture for ADE-orbifolds
本文证明了ADE轨形[C^2/G]的C^*-等变上同调创消解猜想，通过McKay对应和特征标理论，将Bryan-Gholampour变换化为统一根系恒等式，并给出等变Chen-Ruan乘积的显式表示。
We construct a polarized Hodge structure on the primitive part of Chen and Ruan's orbifold cohomology $H_{orb}^k(X)$ for projective $SL$-orbifolds $X$ satisfying a ``Hard Lefschetz Condition''. Furthermore, the total cohomology $H_{orb}^{*,*}(X)$ forms a mixed Hodge structure that is polarized by every element of the Kähler cone of $X$. Using results of Cattani-Kaplan-Schmid this implies the existence of an abstract polarized variation of Hodge structure on the complexified Kähler cone of $X$. This construction should be considered as the analogue of the abstract polarized variation of Hodge s…
In this paper, we prove that Ruan's Cohomological Crepant Resolution Conjecture holds for the Hilbert-Chow morphisms. There are two main ideas in the proof. The first one is to use the representation theoretic approach proposed in [QW] which involves vertex operator techniques. The second is to prove certain universality structures about the 3-pointed genus-0 extremal Gromov-Witten invariants of the Hilbert schemes by using the indexing techniques from [LiJ], the product formula from [Beh2] and the co-section localization from [KL1, KL2, LL]. We then reduce Ruan's Conjecture from the case of a…
Quantum spectrum and Gamma structures for quasi-homogeneous polynomials of general type
该研究针对一般型拟齐次多项式的Landau-Ginzburg对，在Fan-Jarvis-Ruan-Witten理论中提出Gamma猜想，证明了费马齐次多项式与镜像简单奇点情形下的相关猜想，并阐释了Gamma结构与半正交分解、Stokes现象的关联。
We prove the cohomological crepant resolution conjecture of Ruan for the weighted projective space P(1,3,4,4). To compute the quantum corrected cohomology ring we combine the results of Coates-Corti-Iritani-Tseng on P(1,1,1,3) and our previous results.
We study a hypergeometric local system that arises from the quantum Chen-Ruan cohomology of a family of weighted del Pezzo hypersurfaces. We prove that it is the anti-invariant variation of a pencil of genus-7 curves with respect to an involution having 4 fixed points.
A wall-crossing formula for Gromov-Witten invariants under variation of git quotient
该研究证明了GIT商极化改变下Gromov-Witten不变量的量子穿墙公式，指出穿墙项为小结构群的规范Gromov-Witten不变量，并验证了crepant型穿墙对应商的图势等价，为crepant变换猜想提供了git变化情形的版本。
On the Hilbert-Chow crepant resolution conjecture
本文证明了希尔伯特-丘创设解析猜想在例外曲线类上的成立，并推导了三重积的DT/GW对应关系，提供了墙交叉证明。
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 fo…
We establish a new relationship (the MLK correspondence) between twisted FJRW theory and local Gromov-Witten theory in all genera. As a consequence, we show that the Landau-Ginzburg/Calabi-Yau correspondence is implied by the crepant transformation conjecture for Fermat type in genus zero. We use this to then prove the Landau-Ginzburg/Calabi-Yau correspondence for Fermat type, generalizing the results of A. Chiodo and Y. Ruan.
Given a smooth projective variety $M$ endowed with a faithful action of a finite group $G$, following Jarvis-Kaufmann-Kimura and Fantechi-Göttsche, we define the orbifold motive (or Chen-Ruan motive) of the quotient stack $[M/G]$ as an algebra object in the category of Chow motives. Inspired by Ruan, one can formulate a motivic version of his Cohomological HyperKähler Resolution Conjecture. We prove this motivic version, as well as its K-theoretic analogue conjectured by Jarvis-Kaufmann-Kimura, in two situations related to an abelian surface $A$ and a positive integer $n$. Case (A) concerns Hi…
Mixed Hodge structures for vanishing cycles and orbifold cohomology
研究消失环的混合Hodge结构与orbifold上同调的极化关系，探讨Hodge-Tate情况下的上同调结构。
Using morphic cohomology, we produce a sequence of conjectures, called morphic conjectures, which terminates at the Grothendieck standard conjecture A. A refinement of Hodge structures is given, and with the assumption of morphic conjectures, we prove a Hodge index theorem. We answer a question of Friedlander and Lawson by assuming the Grothendieck standard conjecture B and prove that the topological filtration from morphic cohomology is equal to the Grothendieck arithmetic filtration for some cases.
Given any smooth toric surface S, we prove a SYM-HILB correspondence which relates the 3-point, degree zero, extended Gromov-Witten invariants of the n-fold symmetric product stack [Sym^n(S)] of S to the 3-point extremal Gromov-Witten invariants of the Hilbert scheme Hilb^n(S) of n points on S. As we do not specialize the values of the quantum parameters involved, this result proves a strengthening of Ruan's Cohomological Crepant Resolution Conjecture for the Hilbert-Chow morphism from Hilb^n(S) to Sym^n(S) and yields a method of reconstructing the cup product for Hilb^n(S) from the orbifold i…
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.
We show that the big quantum cohomology of the symplectic isotropic Grassmanian $IG(2,6)$ is generically semisimple, whereas its small quantum cohomology is known to be non-semisimple. This gives yet another case where Dubrovin's conjecture holds and stresses the need to consider the big quantum cohomology in its formulation.
We discuss Parshin's conjecture on rational K-theory over finite fields and its implications for motivic cohomology with compact support.
The purpose of this note is to give an overview of our work on defining algebraic counterparts for W. Chen and Y. Ruan's Gromov-Witten Theory of orbifolds. This work will be described in detail in a subsequent paper. The presentation here is generally based on lectures given by two of us at the Orbifold Workshop in Madison, Wisconsin. Following the spirit of the workshop, we give a nontechnical introduction to stacks, a general discussion of twisted stable maps, and a run-through of the issues that arise when generalizing Gromov-Witten theory to Deligne-Mumford stacks. We make a special effort…
In this paper we prove the 2-local part of the Beilinson-Lichtenbaum conjectures on tosion in motivic cohomology. In particular we prove the Milnor conjecture relating Milnor's K-theory and the Galois cohomology with Z/2-coefficients. This paper is a new version of the previously distributed preprint "The Milnor Conjecture".
In this article, we propose noncommutative versions of Tate conjecture and Hodge conjecture. If we consider these conjectures for a dg-category of perfect complexes over a certain schemes $X$, then they are equivalent to the classical Tate and Hodge conjectures for $X$ respectively. We also propose a strategy of how to prove these conjectures by utilizing a version of motivic Bass conjecture.
We give a series of successively weaker conjectures on the cohomology ring of the Grassmannian, starting with the Hilbert series of a certain natural filtration.
For any conical symplectic resolution, we give a conjecture relating the intersection cohomology of the singular cone to the quantum cohomology of its resolution. We prove this conjecture for hypertoric varieties, recovering the ring structure on hypertoric intersection cohomology that was originally constructed by Braden and the second author.
For an arithmetical scheme X, K. Kato introduced a certain complex of Gersten-Bloch-Ogus type whose component in degree a involves Galois cohomology groups of the residue fields of all the points of X of dimension a. He stated a conjecture on its homology generalizing the fundamental exact sequences for Brauer groups of global fields. We prove the conjecture over a finite field assuming resolution of singularities. Thanks to a recently established result on resolution of singularities for embedded surfaces, it implies the unconditional vanishing of the homology up to degree 4 for X projective …
Deligne's conjecture is the Lefschetz trace formula for correspondences defined over a finite field. In this paper, we prove an analogous statement of Deligne's conjecture with respect to $p^n$-torsion étale cohomology under certain conditions, where $p$ is the characteristic of the base field.
In the present paper the small Quantum Cohomology ring of some Fano threefolds which are obtained as one- or two-curve blow-ups from $P^3$ or the quadric $Q^3$ is explicitely computed. Because of systematic usage of the associativity property of quantum product only a very small and enumerative subset of Gromov-Witten invariants is needed. Then, for these threefolds the Dubrovin conjecture on the semisimplicity of Quantum Cohomology is proven by checking the computed Quantum Cohomology rings and by showing that a smooth Fano threefold $X$ with $b_3(X)=0$ admits a complete exceptional set of th…
The aim of this note, which raises more questions than it answers, is to study natural operations acting on the cohomology of various types of algebras. It contains a lot of very surprising partial results and examples.
We formulate a strong positivity conjecture on characters afforded by the Alvis-Curtis dual of the intersection cohomology of Deligne-Lusztig varieties. This conjecture provides a powerful tool to determine decomposition numbers of unipotent $\ell$-blocks of finite reductive groups.
O'Grady's generalized Franchetta conjecture (GFC) is concerned with codimension 2 algebraic cycles on universal polarized K3 surfaces. In \cite{BL17}, this conjecture has been studied in the Betti cohomology groups. Following a suggestion of Voisin, we investigate this problem in the Deligne-Beilinson (DB) cohomology groups. In this paper, we develop the theory of Deligne-Beilinson cohomology groups on separated (smooth) Deligne-Mumford stacks. Using the automorphic cohomology group and Noether-Lefschetz theory, we compute the 4-th DB-cohomology group of universal oriented polarized K3 surface…
In an earlier paper we conjectured a relation between the quantum $\mathcal D$-modules of a smooth variety $X$ and the projectivisation of a direct sum of line bundles over it. In this paper we prove the conjecture when $X$ is a complete intersection in a toric variety. We also use the conjecture to show that the relations of the small quantum cohomology ring of $X$ that come from differential operators lift to the projective bundle. The basic cohomology relation of the projective bundle deforms to a relation in the small quantum cohomology.
Some recent progress towards understanding the cohomology of moduli spaces of curves is described. Madsen and Weiss have given a proof of a generalisation of Mumford's conjecture on the stable cohomology of these moduli spaces M_g, and other contributors have made advances related to Faber's conjectures on the tautological ring of M_g.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。