The generating function for $S_n$-equivariant Euler characteristics of moduli spaces of pointed hyperelliptic curves for any genus g>1 is calculated. This answer generalizes the known ones for genera 2 and 3 and answers obtained by J. Bergstrom for any genus and n<8 points.
We consider the moduli space $\Hh_{g,n}$ of $n$-pointed smooth hyperelliptic curves of genus $g$. In order to get cohomological information we wish to make $\s_n$-equivariant counts of the numbers of points defined over finite fields of this moduli space. We find recurrence relations in the genus that these numbers fulfill. Thus, if we can make $\s_n$-equivariant counts of $\Hh_{g,n}$ for low genus, then we can do this for every genus. Information about curves of genus 0 and 1 is then found to be sufficient to compute the answers for $\Hh_{g,n}$ for all $g$ and for $n \leq 7$. These results ar…
For a partition $lambda=\{lambda_1 \geq λ_2 \geq λ_3 \}$ of non-negative integers, we calculate the Euler characteristic of the local system $V_λ$ on the moduli space of genus 3 hyperelliptic curves using a suitable stratification. For some $λ$ of low degree, we make a guess for the motivic Euler characteristic of $V_λ$ using counting of curves over finite fields.
We find a new presentation of the stack of hyperelliptic curves of odd genus as a quotient stack and we use it to compute its integral Chow ring by means of equivariant intersection theory.
We compute the integral Chow ring of the stack of smooth, non-hyperelliptic curves of genus three. We obtain this result by computing the integral Chow ring of the stack of smooth plane quartics, by means of equivariant intersection theory.
For any hyperelliptic curve X, we give an explicit basis of the first de-Rham cohomology of X in terms of Čech cohomology. We use this to produce a family of curves in characteristic p>2 for which the Hodge-de-Rham short exact sequence does not split equivariantly; this generalises a result of Hortsch. Further, we use our basis to show that the hyperelliptic involution acts on the first de-Rham cohomology by multiplication by -1, i.e., acts as the identity when p=2.
For a complex analytic variety with an action of a finite group and for an invariant 1-form on it, we give an equivariant version (with values in the Burnside ring of the group) of the local Euler obstruction of the 1-form and describe its relation with the equivariant radial index defined earlier. This leads to equivariant versions of the local Euler obstruction of a complex analytic space and of the global Euler obstruction.
The Getzler's formula relates the S_n-equivariant Hodge-Deligne polynomial of the space of ordered tuples of distinct points on a given variety X with the Hodge-Deligne polynomial of X. We obtain the analogue of this formula for the case when X has a nontrivial automorphism group. Collecting together all strata of $\mathcal{M}_2$ with different automorphism groups, we derive a formula for the S_n-equivariant Euler characteristic of $\mathcal{M}_{2,n}$.
We compute the intersection Betti numbers of the GIT model of the moduli space of Brill-Noether-Petri general curves of genus 4. This space was shown to be the final non-trivial log canonical model for the moduli space of stable genus four curves, under the Hassett-Keel program. The strategy of the cohomological computation relies on a general method developed by Kirwan to calculate the cohomology of GIT quotients of projective varieties, based on the equivariantly perfect stratification of the unstable points studied by Hesselink and others and a partial resolution of singularities.
We prove an equivariant Grothendieck-Ogg-Shafarevich formula. This formula may be viewed as an étale analogue of well-known formulas for Zariski sheaves generalizing the classical Chevalley-Weil formula. We give a new approach to those formulas (first proved by Ellingsrud/Lønsted, Nakajima, Kani and Ksir) which can also be applied in the étale case.
In this article we consider the moduli space of smooth $n$-pointed non-hyperelliptic curves of genus 3. In the pursuit of cohomological information about this space, we make $\mathbb{S}_n$-equivariant counts of its numbers of points defined over finite fields for $n \leq 7$. Combining this with results on the moduli spaces of smooth pointed curves of genus 0, 1 and 2, and the moduli space of smooth hyperelliptic curves of genus 3, we can determine the $\mathbb{S}_n$-equivariant Galois and Hodge structure of the ($\ell$-adic respectively Betti) cohomology of the moduli space of stable curves of…
We compute the weighted Euler characteristic, equivariant with respect to the action of the symplectic group of degree six over the field of two elements, of the moduli space of principally polarized abelian threefolds together with a level two structure.
We study equivariant Arakelov-Euler characteristics of hermitian sheaves on arithmetic varieties which support a tame action by a finite group G. The tameness of the group action allows us to produce an equivariant Arakelov-Euler characteristic in a particularly fine "projective" arithmetic class group. We then show that the equivariant Arakelov-Euler characteristics of various complexes of differentials determine the epsilon constants of the L-functions of the motives obtained from the arithmetic variety using symplectic representations of the group G. Our results may be viewed firstly as a h…
There are (at least) two different approaches to define equivariant analogue of the Euler charateristic for a space with a finite group action. The first one defines it as an element of the Burnside ring of the group. The second approach emerged from physics and includes the orbifold Euler characteristic and its higher order versions. Here we suggest a way to merge the two approaches together defining (in a certain setting) higher order Euler characteristics with values in the Burnside ring of a group. We give Macdonald type equations for these invariants. We also offer generalized ("motivic")…
Let $X$ be an algebraic curve with an action of a finite group $G$ over a field $k$. We show that if the Hodge-de Rham short exact sequence of $X$ splits $G$-equivariantly then the action of $G$ on $X$ is weakly ramified. In particular, this generalizes the result of Köck and Tait for hyperelliptic curves. We discuss also converse statements and tie this problem to lifting coverings of curves to the ring of Witt vectors of length $2$.
We use the theory of cubic structures to give a fixed point Riemann-Roch formula for the equivariant Euler characteristics of coherent sheaves on projective flat schemes over Z with a tame action of a finite abelian group. This formula supports a conjecture concerning the extent to which such equivariant Euler characteristics may be determined from the restriction of the sheaf to an infinitesimal neighborhood of the fixed point locus. Our results are applied to study the module structure of modular forms having Fourier coefficients in a ring of algebraic integers, as well as the action of diam…
In this paper, the Euler characteristic formula for projective logarithmic minimal degenerations of surfaces with Kodaira dimension zero over a 1-dimensional complex disk is proved under a reasonable assumption and as its application, the singularity of logarithmic minimal degenerations are determined in the abelian or hyperelliptic case. By globalizing this local analysis of singular fibres via generalized canonical bundle formulae due to Fujino-Mori, we bound the number of singular fibres of abelian fibred Calabi-Yau threefolds from above,which was previously done by Oguiso in the potentiall…
Let $k$ be an algebraically closed field of characteristic $p>0$ and let $\ell$ be another prime number. O. Gabber and F. Loeser proved that for any algebraic torus $T$ over $k$ and any perverse $\ell$-adic sheaf $\calF$ on $T$ the Euler characteristic $χ(\calF)$ is non-negative. We conjecture that the same result holds for any perverse sheaf $\calF$ on a reductive group $G$ over $k$ which is equivariant with respect to the adjoint action. We prove the conjecture when $\calF$ is obtained by Goresky-MacPherson extension from the set of regular semi-simple elements in $G$. From this we deduce th…
Let $\overline{\mathscr{M}}_{g, n}$ be the moduli space of $n$-pointed stable genus $g$ curves, and let $\mathscr{M}_{g, n}$ be the moduli space of $n$-pointed smooth curves of genus $g.$ In this paper, we obtain an asymptotic expansion for the characteristic of the free modular operad $\mathbb{M}\mathcal{V}$ generated by a stable $\mathbb{S}$-module $\mathcal{V},$ allowing to effectively compute $\mathbb{S}_{n}$-equivariant Euler characteristics of $\overline{\mathscr{M}}_{g, n}$ in terms of $\mathbb{S}_{n'}$-equivariant Euler characteristics of $\mathscr{M}_{g'\!, n'}$ with $0\le g' \le g,$ …
The goal of this note is to explain a derivation of the formulas for the local Euler obstructions of determinantal varieties of general, symmetric and skew-symmetric matrices, by studying the invariant de Rham complex and using character formulas for simple equivariant $D$-modules. These calculations are then combined with standard arguments involving Kashiwara's local index formula and the description of characteristic cycles of simple equivariant $D$-modules. The formulas are implicit in the work of Boe and Fu, and in the case of general matrices they have also been obtained recently by Gaff…
We investigate group actions on the category of coherent sheaves over weighted projective lines. We show that the equivariant category with respect to certain finite group action is equivalent to the category of coherent sheaves over a weighted projective curve, where the genus of the underlying smooth projective curve and the weight data are given by explicit formulas. Moreover, we obtain a trichotomy result for all such equivariant relations. This equivariant approach provides an effective way to investigate smooth projective curves via weighted projective lines. As an application, we give a…
We define a generalised Euler characteristic for arc-symmetric sets endowed with a group action. It coincides with equivariant homology for compact nonsingular sets, but is different in general. We lay emphasis on the particular case of $Z/2\Z$, and give an application to the study of the singularities of Nash function germs via an analog of the motivic zeta function of Denef & Loeser.
We prove the conjectures of Graham-Kumar and Griffeth-Ram concerning the alternation of signs in the structure constants for torus-equivariant K-theory of generalized flag varieties G/P. These results are immediate consequences of an equivariant homological Kleiman transversality principle for the Borel mixing spaces of homogeneous spaces, and their subvarieties, under a natural group action with finitely many orbits. The computation of the coefficients in the expansion of the equivariant K-class of a subvariety in terms of Schubert classes is reduced to an Euler characteristic using the homol…
If two G-manifolds are G-cobordant then characteristic numbers corresponding to the fixed point sets (submanifolds) of subgroups of G and to normal bundles to these sets coincide. We construct two analogues of these characteristic numbers for singular complex G-varieties where G is a finite group. They are defined as sums of certain indices of collections of 1-forms (with values in the spaces of the irreducible representations of subgroups). These indices are generalizations of the GSV-index (for isolated complete intersection singularities) and the Euler obstruction respectively.
In this note we show that the Euler number of a projective variety $C^*$-equivariantly embedded into a projective space $P^n$ is bounded by $n+1$, as conjectured by Carrell and Sommese.
We give a combinatorial proof for a multivariable formula of the generating series of type D Young walls. Based on this we give a motivic refinement of a formula for the generating series of Euler characteristics of Hilbert schemes of points on the orbifold surface of type D.
We prove an identity relating the product of two opposite Schubert varieties in the (equivariant) quantum K-theory ring of a cominuscule flag variety to the minimal degree of a rational curve connecting the Schubert varieties. We deduce that the sum of the structure constants associated to any product of Schubert classes is equal to one. Equivalently, the sheaf Euler characteristic map extends to a ring homomorphism defined on the quantum K-theory ring.
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…
We define a Grothendieck ring of varieties with finite groups actions and show that the orbifold Euler characteristic and the Euler characteristics of higher orders can be defined as homomorphisms from this ring to the ring of integers. We describe two natural $λ$-structures on the ring and the corresponding power structures over it and show that one of these power structures is effective. We define a Grothendieck ring of varieties with equivariant vector bundles and show that the generalized ("motivic") Euler characteristics of higher orders can be defined as homomorphisms from this ring to t…
In the framework of constructing mirror symmetric pairs of Calabi-Yau manifolds, P. Berglund, T. Hübsch and M. Henningson considered a pair $(f,G)$ consisting of an invertible polynomial $f$ and a finite abelian group $G$ of its diagonal symmetries and associated to this pair a dual pair $(\widetilde{f}, \widetilde{G})$. A. Takahashi suggested a generalization of this construction to pairs $(f, G)$ where $G$ is a non-abelian group generated by some diagonal symmetries and some permutations of variables. In a previous paper, the authors showed that some mirror symmetry phenomena appear only und…
We study a generalization of Lian-Liu-Yau's notion of Euler data in genus zero and show that certain sequences of multiplicative equivariant characteristic classes on Kontsevich's stable map moduli with markings induce data satisfying the generalization. In the case of one or two markings, this data is explicitly identified in terms of hypergeometric type classes, constituting a complete extension of Lian-Liu-Yau's mirror principle in genus zero to the case of two marked points and establishing a program for the general case. We give several applications involving the Euler class of obstructio…
In this paper we prove a formula relating the equivariant Euler characteristic of $K$-theoretic stable envelopes to an object known as the index vertex for the cotangent bundle of the full flag variety. Our formula demonstrates that the index vertex is the power series expansion of a rational function. This result is a consequence of the 3d mirror self-symmetry of the variety considered here. In general, one expects an analogous result to hold for any two varieties related by 3d mirror symmetry.
We study the holomorphic Euler characteristics of tautological sheaves on Hilbert schemes of points on surfaces. In particular, we establish the rationality of K-theoretic descendent series. Our approach is to control equivariant holomorphic Euler characteristics over the Hilbert scheme of points on the affine plane. To do so, we slightly modify a Macdonald polynomial identity of Mellit.
We construct a special family of equivariant coherent sheaves on the Hilbert scheme on $n$-points in the affine plane. The equivariant Euler characteristic of these sheaves are closely related to the symmetic functions $(-1)^{n-1} \nabla p_n$. We prove a higher cohomology vanishing result of these sheaves. It follows from the Bridgeland-King-Reid correspondence that there is an effective $S_n$ module underlying the aforementioned family of symmetric functions.
In this paper, I construct noncompact analogs of the Chern classes of equivariant vector bundles over complex reductive groups. For the tangent bundle, these Chern classes yield an adjunction formula for the Euler characteristic of complete intersections in reductive groups. In the case where the complete intersection is a curve, this formula gives an explicit answer for the Euler characteristic and the genus of the curve.
We consider multiply periodic functions, sometimes called Abelian functions, defined with respect to the period matrices associated with classes of algebraic curves. We realise them as generalisations of the Weierstras P-function using two different approaches. These functions arise naturally as solutions to some of the important equations of mathematical physics and their differential equations, addition formulae, and applications have all been recent topics of study. The first approach discussed sees the functions defined as logarithmic derivatives of the sigma-function, a modified Riemann t…
We provide a contour integral formula for the exact partition function of ${\cal N}=2$ supersymmetric $U(N)$ gauge theories on compact toric four-manifolds by means of supersymmetric localisation. We perform the explicit evaluation of the contour integral for $U(2)$ ${\cal N}=2$ theory on $\mathbb{P}^2$ for all instanton numbers. In the zero mass case, corresponding to the ${\cal N}=4$ supersymmetric gauge theory, we obtain the generating function of the Euler characteristics of instanton moduli spaces in terms of mock-modular forms. In the decoupling limit of infinite mass we find that the ge…
We propose and study the following Mirror Principle: certain sequences of multiplicative equivariant characteristic classes on Kontsevich's stable map moduli spaces can be computed in terms of certain hypergeometric type classes. As applications, we compute the equivariant Euler classes of obstruction bundles induced by any concavex bundles -- including any direct sum of line bundles -- on $¶^n$. This includes proving the formula of Candelas-de la Ossa-Green-Parkes hence completing the program of Candelas et al, Kontesevich, Manin, and Givental, to compute rigorously the instanton prepotential…
Let $E$ be the bundle defined by applying a polynomial representation of $GL_n$ to the tautological bundle on the Hilbert scheme of $n$ points in the complex plane. By a result of Haiman, the Cech cohomology groups $H^i(E)$ vanish for all $i>0$. It follows that the equivariant Euler characteristic with respect to the standard two-dimensional torus action has nonnegative coefficients in the torus variables $z_1,z_2$, because they count the dimensions of the weight spaces of $H^0(E)$. We derive a very explicit asymmetric formula for this Euler characteristic which has this property, by expanding…