For a possibly singular complex variety $X$, generating functions of total "orbifold Chern homology classes" of symmetric products $S^nX$ are given. Those are very natural "Chern class versions" (in the sense of Schwartz-MacPherson) of known generating function formulae of (generalized) orbifold Euler characteristics of $S^nX$. In fact more generally we introduce the "class version" of the Dey-Wohlfahrt formula in classical group theory.
An orbifold version of Bogomolov decomposition theorem is established for compact Kähler spaces with quotient singularities and first Chern class zero.The proof is a direct adaptation of the classical smooth case, using Ricci-flat Kähler metrics, and Cheeger-Gromoll splitting theorem. It implies that normal K3 surfaces are uniformised in the orbifold sense either by normal K3 surfaces or by a complex torus, as conjectured by D.Q. Zhang. It also implies some conjectures on "special" threefolds raised in math.AG/0110051
Withdrawn by the authors because the results of this paper are subsumed within and improved by the two papers 1. A plethora of inertial products and 2. Chern Classes and Compatible Power Operations in Inertial K-theory
In this paper we prove that given a pair $(X,D)$ of a threefold $X$ and a boundary divisor $D$ with mild singularities, if $(K_X+D)$ is movable, then the orbifold second Chern class $c_2$ of $(X,D)$ is pseudo-effective. This generalizes the classical result of Miyaoka on the pseudo-effectivity of $c_2$ for minimal models. As an application we give a simple solution to Kawamata's effective non-vanishing conjecture in dimension $3$, where we prove that $H^0(X, K_X+H)\neq 0$, whenever $K_X+H$ is nef and $H$ is an ample, effective, reduced Cartier divisor. Furthermore, we study Lang-Vojta's conjec…
Newstead and Ramanan conjectured the vanishing of the top (2g-1) Chern classes of the moduli space of stable, odd degree vector bundles of rank 2 on a Riemann surface of genus g. This was proved by Gieseker [G], while an analogue in rank 3 was recently settled by Kiem and Li [KL]. We generalise this to the vanishing of the top (g-1)r rational Chern classes of the moduli space M of stable principal bundles with semi-simple structure group of rank r, whenever M is a compact orbifold.
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 define the equivariant Chern-Schwartz-MacPherson class of a possibly singular algebraic variety with a group action over the complex number field (or a field of characteristic 0). In fact, we construct a natural transformation from the equivariant constructible function functor to the equivariant homology functor (in the sense of Totaro-Edidin-Graham), which may be regarded as MacPherson's transformation for (certain) quotient stacks. We discuss on other type Chern/Segre classes and give some applications generalizing orbifold Euler characteristics and Thom polynomials of singularities. The…
In this short note we use the notion of power structure over the Grothendieck ring of complex algebraic varieties to study generating series of classes of Hilbert schemes of points on complex orbifolds.
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…
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 a smooth Deligne-Mumford stack X we describe a large number of inertial products on K(IX) and A*(IX) and corresponding inertial Chern characters. We do this by developing a theory of inertial pairs. Each inertial pair determines an inertial product on K(IX) and an inertial product on A*(IX) and Chern character ring homomorphisms between them. We show that there are many inertial pairs; indeed, every vector bundle V on X defines two new inertial pairs. We recover, as special cases, the orbifold products of Chen-Run, Abramovich-Graber-Vistoli, Jarvis-Kaufmann-Kimura, and Edidin-Jarvis-Kimura…
We give a purely equivariant construction of orbifold products for quotient Deligne-Mumford stacks [X/G] where G is an arbitrary linear algebraic group (not necessarily finite). The key to our construction is the definition of the "logarithmic trace" of an equivariant vector bundle. We also prove that there is an orbifold Chern character homomorphism which induces an isomorphism of a canonical summand in the orbifold Grothendieck ring with the orbifold Chow ring. As an application we obtain an associative orbifold product on the Grothendieck ring of [X/G] (as opposed to its inerita stack) take…
We solve the problem of the computation of the orbifold Euler characteristics of $\Mbar_{g,n}$. We take the works of Harer-Zagier \cite{hz} and Bini-Harer \cite{bh} as our starting point, and apply the formalisms developed in \cite{wz} and \cite{zhou1} to this problem. These formalisms are typical examples of mathematical methods inspired by quantum field theories. We also present many closed formulas and some numerical data. In genus zero the results are related to Ramanujan polynomials, and in higher genera we get recursion relations almost identical to the recursion relations for Ramanujan …
In this note, we describe a a systematic procedure to find toric crepant resolutions of orbifold vertex, and show that the generating series of certain disc invariants of the orbifold vertex can be suitably identified with the generating series of certain disc invariants of its toric crepant resolutions.
In this paper we prove a characterization of quotients of Abelian varieties by the actions of finite groups that are free in codimension-one via some vanishing conditions on the orbifold Chern classes. The characterization is given among a class of varieties with mild singularities that are more general than quotient singularities, namely among the class of klt varieties. Furthermore we show that over a projective klt variety, any semistable reflexive sheaf with vanishing orbifold Chern classes can be obtained as the invariant part of a locally-free sheaf on a finite Galois cover whose associa…
We calculate the equivariant motivic Chern class for configuration space of a quasiprojective (maybe singular) variety and the space of vectors with different directions. We prove the formulas for generating series of these classes. We generalize the localization theorems results about Bialynicki-Birula decomposition to acquire some stability for the motivic Chern classes of configuration spaces.
We derive two multivariate generating functions for three-dimensional Young diagrams (also called plane partitions). The variables correspond to a colouring of the boxes according to a finite Abelian subgroup G of SO(3). We use the vertex operator methods of Okounkov--Reshetikhin--Vafa for the easy case G = Z/n; to handle the considerably more difficult case G=Z/2 x Z/2, we will also use a refinement of the author's recent q--enumeration of pyramid partitions. In the appendix, we relate the diagram generating functions to the Donaldson-Thomas partition functions of the orbifold C^3/G. We find …
Let $X$ be a complex projective algebraic variety with Gorenstein quotient singularities and $\X$ a smooth Deligne-Mumford stack having $X$ as its coarse moduli space. We show that the CSM class $c^{SM}(X)$ coincides with the pushforward to $X$ of the total Chern class $c(T_{I\X})$ of the inertia stack $I\X$. We also show that the stringy Chern class $c_{str}(X)$ of $X$, whenever is defined, coincides with the pushforward to $X$ of the total Chern class $c(T_{II\X})$ of the double inertia stack $II\X$. Some consequences concerning stringy/orbifold Hodge numbers are deduced.
This paper surveys the authors recent work on two variable elliptic genus of singular varieties. The last section calculates a generating function for the elliptic genera of symmetric products. This generalizes the classical results of Macdonald and Zagier.
Given a vector bundle $F$ on a smooth Deligne-Mumford stack $\X$ and an invertible multiplicative characteristic class $\bc$, we define the orbifold Gromov-Witten invariants of $\X$ twisted by $F$ and $\bc$. We prove a "quantum Riemann-Roch theorem" which expresses the generating function of the twisted invariants in terms of the generating function of the untwisted invariants. A Quantum Lefschetz Hyperplane Theorem is derived from this by specializing to genus zero. As an application, we determine the relationship between genus-0 orbifold Gromov-Witten invariants of $\X$ and that of a complet…
We provide a stacky fan description of the total space of certain split vector bundles, as well as their projectivization, over toric Deligne-Mumford stacks. We then specialize to the case of Hirzebruch orbifold $\mathcal{H}_{r}^{ab}$ obtained by projectivizing $\mathcal{O} \oplus \mathcal{O}(r)$ over the weighted projective line $\mathbb{P}(a,b)$. Next, we give a combinatorial description of toric sheaves on $\mathcal{H}_{r}^{ab}$ and investigate their basic properties. With fixed choice of polarization and a generating sheaf, we describe the fixed point locus of the moduli scheme of $μ$-stab…
Let $\ix$ be a smooth Deligne-Mumford stack over the complex numbers. One can define twisted orbifold Gromov-Witten invariants of $\ix$ by considering multiplicative invertible characteristic classes of various bundles on the moduli spaces of stable maps $\ix_{g,n,d}$, cupping them with evaluation and cotangent line classes and then integrating against the virtual fundamental class. These are more general than the twisted invariants introduced by Tseng. We express the generating series of the twisted invariants in terms of the generating series of the untwisted ones. We derive the corollaries …
The notion of the orbifold Euler characteristic came from physics at the end of 80's. There were defined higher order versions of the orbifold Euler characteristic and generalized ("motivic") versions of them. In a previous paper the authors defined a notion of the Grothendieck ring $K_0^{\rm fGr}(Var)$ of varieties with actions of finite groups on which the orbifold Euler characteristic and its higher order versions are homomorphisms to the ring of integers. Here we define the generalized orbifold Euler characteristic and higher order versions of it as ring homomorphisms from $K_0^{\rm fGr}(V…
An elliptic orbifold is the quotient of an elliptic curve by a finite group. In 2001, Eskin and Okounkov proved that generating functions for the number of branched covers of an elliptic curve with specified ramification are quasimodular forms for $SL_2(\mathbb{Z}).$ In 2006, they generalized this theorem to the enumeration of branched covers of the quotient of an elliptic curve by $\pm 1$, proving quasi-modularity for $Γ_1(2)$. In 2017, the author generalized their work to the quotient of an elliptic curve by $\langle ζ_N\rangle$ for $N=3, 4, 6$, proving quasimodularity for $Γ_1(N)$. In these…
We consider N=4 theories on ALE spaces of $A_{k-1}$ type. As is well known, their partition functions coincide with $A_{k-1}$ affine characters. We show that these partition functions are equal to the generating functions of some peculiar classes of partitions which we introduce under the name 'orbifold partitions'. These orbifold partitions turn out to be related to the generalized Frobenius partitions introduced by G. E. Andrews some years ago. We relate the orbifold partitions to the blended partitions and interpret explicitly in terms of a free fermion system.
We analyze Chiodo's formulas for the Chern classes related to the r-th roots of the suitably twisted integer powers of the canonical class on the moduli space of curves. The intersection numbers of these classes with psi-classes are reproduced via the Chekhov-Eynard-Orantin topological recursion. As an application, we prove that the Johnson-Pandharipande-Tseng formula for the orbifold Hurwitz numbers is equivalent to the topological recursion for the orbifold Hurwitz numbers. In particular, this gives a new proof of the topological recursion for the orbifold Hurwitz numbers.
We use the remodeling approach to the B-model topological string in terms of recursion relations to study open string amplitudes at orbifold points. To this end, we clarify modular properties of the open amplitudes and rewrite them in a form that makes their transformation properties under the modular group manifest. We exemplify this procedure for the C^3/Z_3 orbifold point of local P^2, where we present results for topological string amplitudes for genus zero and up to three holes, and for the one-holed torus. These amplitudes can be understood as generating functions for either open orbifol…
We prove the crepant resolution conjecture for Donaldson-Thomas invariants of hard Lefschetz CY3 orbifolds, formulated by Bryan-Cadman-Young, interpreting the statement as an equality of rational functions. In order to do so, we show that the generating series of stable pair invariants on any CY3 orbifold is the expansion of a rational function. As a corollary, we deduce a symmetry of this function induced by the derived dualising functor. Our methods also yield a proof of the orbifold DT/PT correspondence for multi-regular curve classes on hard Lefschetz CY3 orbifolds.
An invertible polynomial is a quasihomogeneous polynomial with the number of monomials coinciding with the number of variables and such that the weights of the variables and the quasi-degree are well defined. In the framework of the search for mirror symmetric orbifold Landau-Ginzburg models, P.~Berglund and M.~Henningson considered a pair $(f,G)$ consisting of an invertible polynomial $f$ and an abelian group $G$ of its symmetries together with a dual pair $(\widetilde{f}, \widetilde{G})$. We consider the so-called orbifold E-function of such a pair $(f,G)$ which is a generating function for …
We show that the generating function of electrically charged 1/2-BPS states in N=4 supersymmetric Z_N-CHL orbifolds of the heterotic string on T^6 are given by multiplicative eta-products. The eta-products are determined by the cycle shape of the corresponding symplectic involution in the dual type II picture. This enables us to complete the construction of the genus-two Siegel modular forms due to David, Jatkar and Sen [arXiv:hep-th/0609109] for Z_N orbifolds when N is non-prime. We study the Z_4 CHL orbifold in detail and show that the associated Siegel modular forms, Φ_3(Z) and \widetildeΦ_…
We define Donaldson-Thomas invariants of Calabi-Yau orbifolds and we develop a topological vertex formalism for computing them. The basic combinatorial object is the orbifold vertex, a generating function for the number of 3D partitions asymptotic to three given 2D partitions and colored by representations of a finite Abelian group G acting on C^3. In the case where G=Z_n acting on C^3 with transverse A_{n-1} quotient singularities, we give an explicit formula for the vertex in terms of Schur functions. We discuss applications of our formalism to the Donaldson-Thomas Crepant Resolution Conject…
An elliptic orbifold is the quotient of an elliptic curve by a finite group. Eskin and Okounkov proved that generating functions for the number of branched covers of an elliptic curve with specified ramification are quasimodular forms for the full modular group $SL_2(\mathbb{Z})$. They later generalized this theorem to the enumeration of branched covers of a pillowcase, i.e. the quotient of an elliptic curve by the elliptic involution, proving quasi-modularity for $Γ_1(2)$. We generalize their work to the quotient of an elliptic curve by cyclic groups of orders $N=3$, $4$, $6$, proving quasi-m…
We provide a characterization of quotients of three-dimensional complex tori by finite groups that act freely in codimension one via a vanishing condition on the first and second orbifold Chern class. We also treat the case of actions free in codimension two, using instead the "birational" second Chern class, as we call it. Both notions of Chern classes are introduced here in the setting of compact complex spaces with klt singularities. In such generality, this topic has not been treated in the literature up to now. We also discuss the relation of our definitions to the classical Schwartz-MacP…
In previous papers the authors gave formulae for generating series of classes (in the Grothendieck ring of complex quasi-projective varieties) of Hilbert schemes of zero-dimensional subschemes on smooth varieties and on orbifolds in terms of certain local data and the, so called, power structure over the corresponding ring. Here we give an analogue of these formulae for equivariant (with respect to an action of a finite group on a smooth variety) Hilbert schemes of zero-dimensional subschemes and compute some local generating series for an action of the cyclic group on a smooth surface.
The cohomology of the Hilbert schemes of points on smooth projective surfaces can be approached both with vertex algebra tools and equivariant tools. Using the first tool, we study the existence and the structure of universal formulas for the Chern classes of the tangent bundle over the Hilbert scheme of points on a projective surface. The second tool leads then to nice generating formulas in the particular case of the Hilbert scheme of points on the affine plane.
We give an algorithmic description of the action of the Chern classes of tautological bundles on the cohomology of Hilbert schemes of points on surfaces within the framework of Nakajima's oscillator algebra. This leads to an identification of the cohomology ring of Hilbert schemes of the affine plane with a ring of differential operators on a Fock space. We end with the computation of the top Segre classes of tautological bundles associated to line bundles on Hilb^n up to n=7, and give a conjecture for the generating series.
We calculate the small quantum orbifold cohomology of arbitrary weighted projective spaces. We generalize Givental's heuristic argument, which relates small quantum cohomology to S^1-equivariant Floer cohomology of loop space, to weighted projective spaces and use this to conjecture an explicit formula for the small J-function, a generating function for certain genus-zero Gromov-Witten invariants. We prove this conjecture using a method due to Bertram. This provides the first non-trivial example of a family of orbifolds of arbitrary dimension for which the small quantum orbifold cohomology is …
