We establish the equality of two definitions of an Euler class in algebraic geometry: the first definition is as a "characteristic class" with values in Chow-Witt theory, while the second definition is as an "obstruction class." Along the way, we refine Morel's relative Hurewicz theorem in A^1-homotopy theory, and show how to define (twisted) Chow-Witt groups for geometric classifying spaces.
We discuss secondary (and higher) characteristic classes for algebraic vector bundles with trivial top Chern class. We show that if X is a smooth affine scheme of dimension d over a field k of finite 2-cohomological dimension (with char(k) $\neq$ 2) and E is a rank d vector bundle over X, vanishing of the Chow-Witt theoretic Euler class of E is equivalent to vanishing of its top Chern class and these higher classes. We then derive some consequences of our main theorem when k is of small 2-cohomological dimension.
This paper examines a number of related questions about Euler characteristics and characteristic classes with values in Witt cohomology. We establish a motivic version of the Becker-Gottllieb transfer, generalizing a construction of Hoyois. Ananyevskiy's splitting principle reduces questions about characteristic classes of vector bundles in $\text{SL}$-oriented, $η$-invertible theories to the case of rank two bundles. We refine the torus-normalizer splitting principle for $\text{SL}_2$ to help compute the characteristic classes in Witt cohomology of symmetric powers of a rank two bundle, and t…
The Macaulay2 package CharacteristicClasses provides commands for the computation of the topological Euler characteristic, the degrees of the Chern classes and the degrees of the Segre classes of a closed subscheme of complex projective space. The computations can be done both symbolically and numerically, the latter using an interface to Bertini. We provide some background of the implementation and show how to use the package with the help of examples.
By resolving an arbitrary perfect derived object over a Deligne-Mumford stack, we define its Euler class. We then apply it to define the Euler numbers for a smooth Calabi-Yau threefold in the 4-dimensional projective space. These numbers are conjectured to be the reduced Gromov-Witten invariants and to determine the usual Gromov-Witten numbers of the smooth quintic as speculated by J. Li and A. Zinger.
In this paper we obtain some explicit expressions for the Euler characteristic of a rank n coherent sheaf F on P^N and of its twists F(t) as polynomials in the Chern classes c_i(F), also giving algorithms for the computation. The employed methods use techniques of umbral calculus involving symmetric functions and Stirling numbers.
In this note we prove a conjecture of Kashiwara, which states that the Euler class of a coherent analytic sheaf F on a complex manifold X is the product of the Chern character of F with the Todd class of X. As a corollary, we obtain a functorial proof of the Grothendieck-Riemann-Roch theorem in Hodge cohomology for complex manifolds.
For the moduli spaces of Abelian differentials, the Euler characteristic is one of the most basic intrinsic topological invariants. We give a formula for the Euler characteristic that relies on intersection theory on the smooth compactification by multi-scale differentials. It is a consequence of a formula for the full Chern polynomial of the cotangent bundle of the compactification. The main new technical tools are an Euler sequence for the cotangent bundle of the moduli space of Abelian differentials and computational tools in the Chow ring, such as normal bundles to boundary divisors.
We define the notion of a trace kernel on a manifold M. Roughly speaking, it is a sheaf on M x M for which the formalism of Hochschild homology applies. We associate a microlocal Euler class to such a kernel, a cohomology class with values in the relative dualizing complex of the cotangent bundle over M and we prove that this class is functorial with respect to the composition of kernels. This generalizes, unifies and simplifies various results of (relative) index theorems for constructible sheaves, D-modules and elliptic pairs.
We obtain a precise relation between the Chern-Schwartz-MacPherson class of a subvariety of projective space and the Euler characteristics of its general linear sections. In the case of a hypersurface, this leads to simple proofs of formulas of Dimca-Papadima and Huh for the degrees of the polar map of a homogeneous polynomial, extending these formula to any algebraically closed field of characteristic~0, and proving a conjecture of Dolgachev on 'homaloidal' polynomials in the same context. We generalize these formulas to subschemes of higher codimension in projective space. We also describe a…
We compute tautological integrals over Quot schemes on curves and surfaces. After obtaining several explicit formulas over Quot schemes of dimension 0 quotients on curves (and finding a new symmetry), we apply the results to tautological integrals against the virtual fundamental classes of Quot schemes of dimension 0 and 1 quotients on surfaces (using also universality, torus localization, and cosection localization). The virtual Euler characteristics of Quot schemes of surfaces, a new theory parallel to the Vafa-Witten Euler characteristics of the moduli of bundles, is defined and studied. Co…
We present an algorithm for the symbolic and numerical computation of the degrees of the Chern-Schwartz-MacPherson classes of a closed subvariety of projective space P^n. As the degree of the top Chern-Schwartz-MacPherson class is the topological Euler characteristic, this also yields a method to compute the topological Euler characteristic of projective varieties. The method is based on Aluffi's symbolic algorithm to compute degrees of Chern-Schwartz-MacPherson classes, a symbolic method to compute degrees of Segre classes, and the regenerative cascade by Hauenstein, Sommese and Wampler. The …
For $m\geq n$, Let $K$ be an algebraic closed base field, and define $τ_{m,n,k}$ to be the set of $m\times n$ matrices over $K$ with kernel dimension $\geq k$. This is a projective subvariety of $\mathbb{P}^{mn-1}$, and is usually called determinantal variety. In most cases $τ_{m,n,k}$ is singular with singular locus $τ_{m,n,k+1}$. In this paper we compute the local Euler obstruction of $τ_{m,n,k}$, and we prove that the characteristic cycle of the intersection cohomology complex of $τ_{m,n,k}$ is irreducible. We also give an explicit formula for the Chern-Mather class of $τ_{m,n,k}$ as a clas…
In this paper we give a formula for the Hirzebruch $χ_y$-genus $χ_y(X)$ and similarly for the motivic Hirzebruch class $T_{y*}(X)$ for possibly singular varieties $X$, using the Vandermonde matrix. Motivated by the notion of secondary Euler characteristic and higher Euler characteristic, we consider a similar notion for the motivic Hirzebruch class, which we call a \emph{derived motivic Hirzebruch class}
Motivic Chern and Hirzebruch classes are polynomials with K-theory and homology classes as coefficients, which specialize to Chern-Schwartz-MacPherson classes, K-theory classes, and Cappell-Shaneson L-classes. We provide formulas to compute the motivic Chern and Hirzebruch classes of Grassmannian and vexillary degeneracy loci. We apply our results to obtain the Hirzebruch $χ_y$-genus of classical and one-pointed Brill-Noether varieties, and therefore their topological Euler characteristic, holomorphic Euler characteristic, and signature.
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.
A notion of exotic (ordered) configuration spaces of points on a space $X$ was suggested by Yu.~Baryshnikov. He gave equations for the (exponential) generating series of the Euler characteristics of these spaces. Here we consider un-ordered analogues of these spaces. For $X$ being a complex quasiprojective variety, we give equations for the generating series of classes of these configuration spaces in the Grothendieck ring $K_0({\rm{Var}_{\mathbb{C}}})$ of complex quasiprojective varieties. The answer is formulated in terms of the (natural) power structure over the ring $K_0({\rm{Var}_{\mathbb…
We develop the theory of fundamental classes in the setting of motivic homotopy theory. Using this we construct, for any motivic spectrum, an associated bivariant theory in the sense of Fulton-MacPherson. We import the tools of Fulton's intersection theory into this setting: (refined) Gysin maps, specialization maps, and formulas for excess intersections, self-intersections, and blow-ups. We also develop a theory of Euler classes of vector bundles in this setting. For the Milnor-Witt spectrum recently constructed by Déglise-Fasel, we get a bivariant theory extending the Chow-Witt groups of Bar…
We construct characteristic classes for singular algebraic varieties in motivic Borel-Moore homology, extending the motivic Euler class of the tangent bundle defined for smooth varieties. The two classes we define refine, in the setting of motivic homotopy theory, the top degree of the class constructed by Brasselet-Schuermann-Yokura in G-theory, and the top degree of the pro-CSM class constructed by Aluffi in pro-Chow groups. We deduce an extension of the motivic Gauss-Bonnet formula to non-smooth proper varieties.
Let $V$ be a closed subscheme of a projective space $\mathbb{P}^n$. We give an algorithm to compute the Chern-Schwartz-MacPherson class, Euler characteristic and Segre class of $ V$. The algorithm can be implemented using either symbolic or numerical methods. The algorithm is based on a new method for calculating the projective degrees of a rational map defined by a homogeneous ideal. Using this result and known formulas for the Chern-Schwartz-MacPherson class of a projective hypersurface and the Segre class of a projective variety in terms of the projective degrees of certain rational maps we…
In general, a Kobayashi-Hitchin correspondence establishes an isomorphism between a moduli space of stable algebraic geometric objects and a moduli space of solutions of a certain (generalized) Hermite-Einstein equation. We believe that, for a large class of moduli problems, this correspondence respects the virtual fundamental classes defined in the two categories. We prove this statement in an interesting case, namely the moduli problem associated with the symplectic factorization problem which yields the complete toric varieties. Therefore, our main objects are the moduli spaces of "twisted"…
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.
A local lattice point counting formula, and more generally a local Euler-Maclaurin formula follow by comparing two natural families of meromorphic functions on the dual of a rational vector space $V$, namely the family of exponential sums (S) and the family of exponential integrals (I) parametrized by the set of rational polytopes in $V$. The paper introduces the notion of an interpolator between these two families of meromorphic functions. We prove that every rigid complement map in $V$ gives rise to an effectively computable \SI-interpolator (and a local Euler-MacLaurin formula), an \IS-inte…
We construct Euler and Stiefel-Whitney classes of vector bundles with quadratic form by analyzing the intersection theory of the associated quadric bundles. We also compute the Chow rings of quadric and isotropic flag bundles. Along the way, we prove a conjecture of Fulton on top Chern classes of maximal isotropic sub-bundles of an even rank quadratic vector bundle.
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 $V$ be a possibly singular scheme-theoretic complete intersection subscheme of $\mathbb{P}^n$ over an algebraically closed field of characteristic zero. Using a recent result of Fullwood ("On Milnor classes via invariants of singular subschemes", Journal of Singularities) we develop an algorithm to compute the Chern-Schwartz-MacPherson class and Euler characteristic of $V$. This algorithm complements existing algorithms by providing performance improvements in the computation of the Chern-Schwartz-MacPherson class and Euler characteristic for certain types of complete intersection subschem…
We prove that the sheaf Euler characteristic of the product of a Schubert class and an opposite Schubert class in the quantum $K$-theory ring of a (generalized) flag variety $G/P$ is equal to $q^d$, where $d$ is the smallest degree of a rational curve joining the two Schubert varieties. This implies that the sum of the structure constants of any product of Schubert classes is equal to 1. Along the way, we provide a description of the smallest degree $d$ in terms of its projections to flag varieties defined by maximal parabolic subgroups.
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…
We discuss a method for calculating the Chern-Schwartz-MacPherson (CSM) class of a Schubert variety in the Grassmannian using small resolutions introduced by Zelevinsky. As a consequence, we show how to compute the Chern-Mather class and local Euler obstructions using small resolutions instead of the Nash blowup. The algorithm obtained for CSM classes also allows us to prove new cases of a positivity conjecture of Aluffi and Mihalcea.