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.
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…
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 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.
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.
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.
We prove that the obstruction bundle used to define the cup-product in Chen-Ruan cohomology is determined by the so-called `age grading' or `degree-shifting numbers'. Indeed, the obstruction bundle can be directly computed using the age grading. We obtain a Kunneth Theorem for Chen-Ruan cohomology as a direct consequence of an elementary property of the age grading, and explain how several other results - including associativity of the cup-product - can be proved in a similar way.
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.
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)$.
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 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.
We compute the recently introduced Fan-Jarvis-Ruan-Witten theory of W-curves in genus zero for quintic polynomials in five variables and we show that it matches the Gromov-Witten genus-zero theory of the quintic three-fold via a symplectic transformation. More specifically, we show that the J-function encoding the Fan-Jarvis-Ruan-Witten theory on the A-side equals via a mirror map the I-function embodying the period integrals at the Gepner point on the B-side. This identification inscribes the physical Landau-Ginzburg/Calabi-Yau correspondence within the enumerative geometry of moduli of curve…
We prove the genus-one restriction of the all-genus Landau-Ginzburg/Calabi-Yau conjecture of Chiodo and Ruan, stated in terms of the geometric quantization of an explicit symplectomorphism determined by genus-zero invariants. This provides the first evidence supporting the higher-genus Landau-Ginzburg/Calabi-Yau correspondence for the quintic threefold, and exhibits the first instance of the "genus zero controls higher genus" principle, in the sense of Givental's quantization formalism, for non-semisimple cohomological field theories.
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.
For a compact quasi-smooth derived scheme M with (-1)-shifted cotangent bundle N, there are at least two ways to localise the virtual cycle of N to M via torus and cosection localisations, introduced by Jiang-Thomas. We produce virtual cycles on both the projective completion and projectivisation and show the ones on the former push down to Jiang-Thomas cycles and the one on the latter computes the difference. Using similar ideas we give an expression for the difference of the quintic and t-twisted quintic GW invariants of Guo-Janda-Ruan.
We prove an explicit formula for the genus-one Fan-Jarvis-Ruan-Witten invariants associated to the quintic threefold, verifying the genus-one mirror conjecture of Huang, Klemm, and Quackenbush. The proof involves two steps. The first step uses localization on auxiliary moduli spaces to compare the usual Fan-Jarvis-Ruan-Witten invariants with a semisimple theory of twisted invariants. The second step uses the genus-one formula for semisimple cohomological field theories to compute the twisted invariants explicitly.
We show Mckay correspondence of Betti numbers of Chen-Ruan coho- mology for omnioriented quasitoric orbifolds. In previous articles with M. Poddar [8], [9], we proved the correspondence for four dimension and six dimensions. Here we deal with the general case.
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.
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 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.
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…
We propose a construction of string cohomology spaces for Calabi-Yau hypersurfaces that arise in Batyrev's mirror symmetry construction. The spaces are defined explicitly in terms of the corresponding reflexive polyhedra in a mirror-symmetric manner. We draw connections with other approaches to the string cohomology, in particular with the work of Chen and Ruan.
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…
Due to the work of many authors in the last decades, given an algebraic orbifold (smooth proper Deligne-Mumford stack with trivial generic stabilizer), one can construct its orbifold Chow ring and orbifold Grothendieck ring, and relate them by the orbifold Chern character map, generalizing the fundamental work of Chen-Ruan on orbifold cohomology. In this paper, we extend this theory naturally to higher Chow groups and higher algebraic K-theory, mainly following the work of Jarvis-Kaufmann-Kimura and Edidin-Jarvis-Kimura.
For an orbifold X which is the quotient of a manifold Y by a finite group G we construct a noncommutative ring with an action of G such that the orbifold cohomology of X as defined in math.AG/0004129 by Chen and Ruan is the G invariant part. In the case thar Y is S^n for a surface S with trivial canonical class we prove that (a small modification of) the orbifold cohomology of X is naturally isomorphic to the cohomology ring of the Hilbert scheme of n points on S computed in math.AG/0012166 by Lehn and Sorger.
In this paper we present a model to calculate the stringy product on twisted orbifold K-theory of Adem-Ruan-Zhang for abelian complex orbifolds. In the first part we consider the non-twisted case on an orbifold presented as the quotient of a manifold acted by a compact abelian Lie group. We give an explicit description of the obstruction bundle, we explain the relation with the product defined by Jarvis-Kaufmann-Kimura and, via a Chern character map, with the Chen-Ruan cohomology, and we explicitely calculate the stringy product for a weighted projective orbifold. In the second part we conside…
We study the inertia stack of [M_{0,n}/S_n], the quotient stack of the moduli space of smooth genus 0 curves with n marked points via the action of the symmetric group S_n. Then we see how from this analysis we can obtain a description of the inertia stack of H_g, the moduli stack of hyperelliptic curves of genus g. From this, we can compute additively the Chen-Ruan (or orbifold) cohomology of H_g.
We generalize the combinatorial description of the orbifold (Chen--Ruan) cohomology and of the Grothendieck ring of a Deligne--Mumford toric stack and its associated stacky fan in a lattice $N$ in the presence of a deformation parameter $β\in N \otimes {\mathbb C}.$ As an application, we construct a topological mirror symmetry map that produces a complete system of $Γ$--series solutions to the better behaved version of the GKZ hypergeometric system for $β\in N \otimes {\mathbb C}.$
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…
These notes accompany a lecture about the topology of symplectic (and other) quotients. The aim is two-fold: first to advertise the ease of computation in the symplectic category; and second to give an account of some new computations for weighted projective spaces. We start with a brief exposition of how orbifolds arise in the symplectic category, and discuss the techniques used to understand their topology. We then show how these results can be used to compute the Chen-Ruan orbifold cohomology ring of abelian symplectic reductions. We conclude by comparing the several rings associated to a w…
Suppose that a finite group $G$ acts on a smooth complex variety $X$. Then this action lifts to the Chiral de Rham Complex of $X$ and to its cohomology by automorphisms of the vertex algebra structure. We define twisted sectors for the Chiral de Rham Complex (and their cohomologies) as sheaves of twisted vertex algebra modules supported on the components of the fixed-point sets $X^{g}, g \in G$. Each twisted sector sheaf carries a BRST differential and is quasi-isomorphic to the de Rham complex of $X^{g}$. Putting the twisted sectors together with the vacuum sector and taking $G$--invariants, …
We study the ideals of the rational cohomology ring of the Hilbert scheme X^{[n]} of n points on a smooth projective surface X. As an application, for a large class of smooth quasi-projective surfaces X, we show that every cup product structure constant of H^*(X^{[n]}) is independent of n; moreover, we obtain two sets of ring generators for the cohomology ring H^*(X^{[n]}). Similar results are established for the Chen-Ruan orbifold cohomology ring of the symmetric product. In particular, we prove a ring isomorphism between H^*(X^{[n]}, C) and H^*_{orb}(X^{[n]}/S_n, C) for a large class of smoo…
Various algebraic structures in geometry and group theory have appeared to be governed by certain universal rings. Examples include: the cohomology rings of Hilbert schemes of points on projective surfaces and quasi-projective surfaces; the Chen-Ruan orbifold cohomology rings of the symmetric products; the class algebras of wreath products, as well as their associated graded algebras with respect to a suitable filtration. We review these examples, and further provide a new elementary construction and explanation in the case of symmetric products. We in addition show that the Jucys-Murphy eleme…
We compute the Hochschild homology of the crossed product $\Bbb C[S_n]\ltimes A^{\otimes n}$ in terms of the Hochschild homology of the associative algebra $A$ (over $\Bbb C$). It allows us to compute the Hochschild (co)homology of $\Bbb C[W]\ltimes A^{\otimes n}$ where $A$ is the $q$-Weyl algebra or any its degeneration and $W$ is the Weyl group of type $A_{n-1}$ or $B_n$. For a deformation quantization $A_+$ of an affine symplectic variety $X$ we show that the Hochschild homology of $S^n A$, $A=A_+[\hbar^{-1}]$ is additively isomorphic to the Chen-Ruan orbifold cohomology of $S^nX$ with coef…
