In this paper we study some new theories of characteristic homology classes for singular complex algebraic varieties. First we introduce a natural transformation T_{y}: K_{0}(var/X) -> H_{*}(X,Q)[y] commuting with proper pushdown, which generalizes the corresponding Hirzebruch characteristic. Here K_{0}(var/X) is the relative Grothendieck group of complex algebraic varieties over X as introduced and studied by Looijenga and Bittner in relation to motivic integration. T_{y} is a homology class version of the motivic measure corresponding to a suitable specialization of the well known Hodge polynomial. This transformation unifies the Chern class transformation of MacPherson and Schwartz (for y=-1) and the Todd class transformation in the singular Riemann-Roch theorem of Baum-Fulton-MacPherson (for y=0). In fact, T_{y} is the composition of a generalized version of this Todd class transformation due to Yokura, and a new motivic Chern class transformation mC_{*}: K_{0}(var/X)-> G_{0}(X)[y], which generalizes the total lambda-class of the cotangent bundle to singular spaces. Here G_{0}(X) is the Grothendieck group of coherent sheaves, and the construction of mC_{*} is based on some results from the theory of algebraic mixed Hodge modules due to M.Saito. In the final part of the paper we use the algebraic cobordism theory of Levine and Morel to lift mC_{*} further up to a natural transformation mC'_{*} from K_{0}(var/X) to a suitable universal Borel-Moore weak homology theory. Moreover, all our results can be extended to varieties over a base field k, which can be embedded into the complex numbers.
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}
Donaldson-Thomas invariant is expressed as the weighted Euler characteristic of the so-called Behrend (constructible) function. In \cite{Behrend} Behrend introduced a DT-type invariant for a morphism. Motivated by this invariant, we extend the motivic Hirzebruch class to naive Donaldson-Thomas type analogues. We also discuss a categorification of the DT-type invariant for a morphism from a bivariant-theoretic viewpoint, and we finally pose some related questions for further investigations.
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.
The Milnor class is a generalization of the Milnor number, defined as the difference (up to sign) of Chern--Schwartz--MacPherson's class and Fulton--Johnson's canonical Chern class of a local complete intersection variety in a smooth variety. In this paper we introduce a "motivic" Grothendieck group $K^{\mathcal Prop}_{\ell.c.i}(\mathcal V/X \to S)$ and natural transformations from this Grothendieck group to the homology theory. We capture the Milnor class, more generally Hirzebruch--Milnor class, as a special value of a distinguished element under these natural transformations. We also show a…
We study motivic Chern classes of cones. First we show examples of projective cones of smooth curves such that their various $K$-classes (sheaf theoretic, push-forward and motivic) are all different. Then we show connections between the torus equivariant motivic Chern class of a projective variety and of its affine cone, generalizing results on projective Thom polynomials.
We study a K-theoretic characteristic class of singular varieties, namely the equivariant motivic Chern class. We prove that the motivic Chern class is characterized by an axiom system inspired by that of "K-theoretic stable envelopes," recently defined by Okounkov and studied in relation with quantum group actions on the K-theory algebra of moduli spaces. We also give explicit formulas for the equivariant motivic Chern classes of Schubert cells and matrix Schubert cells. Lastly, we calculate the equivariant motivic Chern class of the orbits of the A2 quiver representation, which yields formul…
We prove a new formula for the Hirzebruch-Milnor classes of global complete intersections with arbitrary singularities describing the difference between the Hirzebruch classes and the virtual ones. This generalizes a formula for the Chern-Milnor classes in the hypersurface case that was conjectured by S. Yokura and was proved by A. Parusinski and P. Pragacz. It also generalizes a formula of J. Seade and T. Suwa for the Chern-Milnor classes of complete intersections with isolated singularities.
Let S be an essentially smooth scheme over a field of characteristic exponent c. Let MGL and HZ denote the algebraic cobordism spectrum and the motivic cohomology spectrum over S, respectively. We show that the canonical map MGL/(a1, a2, ...) -> HZ induced by the additive orientation of motivic cohomology becomes an equivalence after inverting c. As an application, we prove the convergence of the Atiyah-Hirzebruch spectral sequence for all Z[1/c]-local Landweber exact motivic spectra.
We consider a complex smooth projective variety equipped with an action of an algebraic torus with a finite number of fixed points. We compare the motivic Chern classes of Białynicki-Birula cells with the $K$-theoretic stable envelopes of cotangent bundle. We prove that under certain geometric assumptions satisfied e.g. by homogenous spaces these two notions coincide up to normalization.
In this paper, we show that the cohomology of a general stable bundle on a Hirzebruch surface is determined by the Euler characteristic provided that the first Chern class satisfies necessary intersection conditions. More generally, we compute the Betti numbers of a general stable bundle. We also show that a general stable bundle on a Hirzebruch surface has a special resolution generalizing the Gaeta resolution on the projective plane. As a consequence of these results, we classify Chern characters such that the general stable bundle is globally generated.
In this paper we study some new theories of characteristic homology classes for singular complex algebraic (or compactifiable analytic) spaces. We introduce a motivic Chern class transformation mC_{*}: K_{0}(var/X)-> G_{0}(X)[y], which generalizes the total λ-class of the cotangent bundle to singular spaces. Here K_{0}(var/X) is the relative Grothendieck group of complex algebraic varieties over X as introduced and studied by Looijenga and Bittner in relation to motivic integration, and G_{0}(X) is the Grothendieck group of coherent sheaves of O_{X}-modules. We define a natural transformation …
We obtain a formula for the generating series of (the push-forward under the Hilbert-Chow morphism of) the Hirzebruch homology characteristic classes of the Hilbert schemes of points for a smooth quasi-projective variety of arbitrary pure dimension. This result is based on a geometric construction of a motivic exponentiation generalizing the notion of motivic power structure, as well as on a formula for the generating series of the Hirzebruch homology characteristic classes of symmetric products. We apply the same methods for the calculation of generating series formulae for the Hirzebruch cla…
We study the category of matrix factorizations for an isolated hypersurface singularity. We compute the canonical bilinear form on the Hochschild homology of this category. We find explicit expressions for the Chern character and the boundary-bulk maps and derive an analog of the Hirzebruch-Riemann-Roch formula for the Euler characteristic of the Hom-space between a pair of matrix factorizations. We also establish G-equivariant versions of these results.
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.
The relative Grothendieck group $K_0(\m V/X)$ is the free abelian group generated by the isomorphism classes of complex algebraic varieties over $X$ modulo the "scissor relation". The motivic Hirzebruch class ${T_y}_*: K_0(\m V /X) \to H_*^{BM}(X) \otimes \bQ[y]$ is a unique natural transformation satisfying that for a nonsingular variety $X$ the value ${T_y}_*([X \xrightarrow {\op {id}_X} X])$ of the isomorphism class of the identity $X \xrightarrow {id_X} X$ is the Poincaré dual of the Hirzebruch cohomology class of the tangent bundle $TX$. It "unifies" the well-known three characteristic cl…
In this paper we give a proof of the fact, that the motivic Hodge-Chern class transformation MHC_y and Hirzebruch class transformation MHT_y* for mixed Hodge modules and strictly specializable filtered D-modules commute with specialization in the algebraic and in a suitable complex analytic context. Here specialization in the Hodge- and D-module context means the corresponding nearby cycles defined in terms of the $V$-filtration of Malgrange-Kashiwara. This generalizes a corresponding specialization result of Verdier about MacPherson's Chern class transformation c_*.
Let K_0(V/X) be the relative Grothendieck group of varieties over X in obj(V), with V the category of (quasi-projective) algebraic (resp. compact complex analytic) varieties over a base field k. Then we constructed the motivic Hirzebruch class transformation in the algebraic context for k of characteristic zero and in the compact complex analytic context. It unifies the well-known three characteristic class transformations of singular varieties: MacPherson's Chern class, Baum-Fulton-MacPherson's Todd class and the L-class of Goresky-MacPherson and Cappell-Shaneson. In this paper we construct a…
We present a definition of {\em twisted motivic Chern classes} for singular pairs $(X,Δ)$ consisting of a singular space $X$ and a $\mathbb Q$-Cartier divisor containing the singularities of $X$. The definition is a mixture of the construction of motivic Chern classes previously defined by Brasselet-Sch{ü}rmann-Yokura with the construction of multiplier ideals. The twisted motivic Chern classes are the limits of the elliptic classes defined by Borisov-Libgober. We show that with a suitable choice of the divisor $Δ$ the twisted motivic Chern classes satisfy the axioms of the stable envelopes in…
Michael Gromov has recently initiated what he calls ``symbolic algebraic geometry", in which objects are proalgebraic varieties: a proalgebraic variety is by definition the projective limit of a projective system of algebraic varieties. In this paper we construct Chern--Schwartz--MacPherson classes of proalgebraic varieties, by introducing the notion of ``proconstructible functions " and "$χ$-stable proconstructible functions" and using the Fulton-MacPherson's Bivariant Theory. As a "motivic" version of a $χ$-stable proconstructible function, $\Ga$-stable constructible functions are introduced…
The Milnor-Hirzebruch class of a locally complete intersection X in an algebraic manifold M measures the difference between the (Poincare dual of the) Hirzebruch class of the virtual tangent bundle of X and, respectively, the Brasselet-Schuermann-Yokura (homology) Hirzebruch class of X. In this note, we calculate the Milnor-Hirzebruch class of a globally defined algebraic hypersurface X in terms of the corresponding Hirzebruch invariants of singular strata in a Whitney stratification of X. Our approach is based on Schuermann's specialization property for the motivic Hirzebruch class transforma…
In this paper we compute the motivic Chern classes and homology Hirzebruch characteristic classes of (possibly singular) toric varieties, which in the complete case fit nicely with a generalized Hirzebruch-Riemann-Roch theorem. As special cases, we obtain new (or recover well-known) formulae for the Baum-Fulton-MacPherson Todd (or MacPherson-Chern) classes of toric varieties, as well as for the Thom-Milnor L-classes of simplicial projective toric varieties. We present two different perspectives for the computation of these characteristic classes of toric varieties. First, we take advantage of …
We present a solution of the generalized Hirzebruch problem on the relations between the Chern numbers of a stably almost complex manifold and the Chern numbers of its virtual Chern submanifolds.
For an arbitrary proper DG algebra A (i.e. DG algebra with finite dimensional total cohomology) we introduce a pairing on the Hochschild homology of A and present an explicit formula for a Chern-type character of an arbitrary perfect A-module (the Chern characters take values in the Hochschild homology of A). The Hirzebruch-Riemann-Roch formula in this context expresses the Euler characteristic of the Hom-complex between two perfect A-modules in terms of the pairing of their Chern characters. We mention two examples of proper DG algebras and the HRR formulas for them. The first example is Ring…
We prove generating series formulae for suitable twisted characteristic classes of symmetric products of a singular complex quasi-projective variety. More concretely, we study homology Hirzebruch classes for motivic coefficients, as well as for complexes of mixed Hodge modules. As a special case, we obtain a generating series formula for the (intersection) homology Hirzebruch classes of symmetric products. In some cases, the latter yields a similar formula for twisted homology L-classes generalizing results of Hirzebruch-Zagier and Moonen. Our methods also apply to the study of Todd classes of…
In this paper, we construct Chern classes from the relative $K$-theory of modulus pairs to the relative motivic cohomology defined by Binda-Saito. An application to relative motivic cohomology of henselian dvr is given.
We introduce spectral Hirzebruch-Milnor classes for singular hypersurfaces. These can be identified with Steenbrink spectra in the isolated singularity case, and may be viewed as their global analogues in general. Their definition uses vanishing cycles of mixed Hodge modules and the Todd class transformation. These are compatible with the pushforward by proper morphisms, and the classes can be calculated by using resolutions of singularities. Formulas for Hirzebruch-Milnor classes of projective hypersurfaces in terms of these classes are given in the case where the multiplicity of a generic hy…
Let $\mathcal{M}(d,χ)$ be the moduli stack of stable sheaves of rank 0, Euler characteristic $χ$ and first Chern class $dH~(d>0)$, with $H$ the hyperplane class in $\mathbb{P}^2$. We compute the $A$-valued motivic measure $μ_A(\mathcal{M}(d,χ))$ of $\mathcal{M}(d,χ)$ and get explicit formula in codimension $D:=ρ_d-1$, where $ρ_d$ is $d-1$ for $d=p$ or $2p$ with $p$ prime, and $7$ otherwise. As a corollary, we get the last $2(D+1)$ Betti numbers of the moduli scheme $M(d,χ)$ when $d$ is coprime to $χ$.
Consider a complex algebraic group $G$ acting on a smooth variety $M$ with finitely many orbits, and let $Ω$ be an orbit. The following three invariants of $Ω\subset M$ can be characterized axiomatically: (1) the equivariant fundamental class $[\overlineΩ, M]\in H^*_G(M)$, (2) the equivariant Chern-Schwartz-MacPherson class $c(Ω, M)\in H^*_G(M)$, and (3) the equivariant motivic Chern class $mC(Ω, M) \in K_G(M)[y]$. The axioms for Chern-Schwartz-MacPherson and motivic Chern classes are motivated by the axioms for cohomological and K-theoretic stable envelopes of Okounkov and his coauthors. For …
We prove a `motivic' analogue of the Weyl character formula, computing the Euler characteristic of a line bundle on a generalized flag manifold $G/B$ multiplied either by a motivic Chern class of a Schubert cell, or a Segre analogue of it. The result, given in terms of Demazure-Lusztig (D-L) operators, recovers formulas found by Brubaker, Bump and Licata for the Iwahori-Whittaker functions of the principal series representation of a $p$-adic group. In particular, we obtain a new proof of the classical Casselman-Shalika formula for the spherical Whittaker function. The proofs are based on local…
In 1954 Hirzebruch asked which linear combinations of Chern numbers are topological invariants of smooth complex projective varieties. We give a complete answer to this question in small dimensions, and also prove partial results without restrictions on the dimension.
Let $X$ be a nonsingular variety defined over an algebraically closed field of characteristic $0$, and $D$ be a free divisor. We study the motivic Chern class of $D$ in the Grothendieck group of coherent sheaves $G_0(X)$, and another class defined by the sheaf of logarithmic differentials along $D$. We give explicit calculations of the difference of these two classes when: $D$ is a divisor on a nonsingular surface; $D$ is a hyperplane arrangement whose affine cone is free.
Using symmetrized Grassmannians we give an algebraic geometric presentation, in the level of classifying spaces, of the Chern character and its relation to Chern classes. This allows one to define, for any projective variety $X$, a Chern character map from the "holomorphic K-theory of X to its morphic cohomology (introduced by Friedlander and Lawson). The holomorphic K-theory of $X$, introduced by Lawson, Lima-Filho and Michelsohn and also by Friedlander and Walker, is defined in terms a group-completion of the space of algebraic morphisms from X into BU. It has been further studied by the aut…
We introduce a formal integral on the system of varieties mapping properly and birationally to a given one, with value in an associated Chow group. Applications include comparisons of Chern numbers of birational varieties, new birational invariants, `stringy' Chern classes, and a `celestial' zeta function specializing to the topological zeta function. In its simplest manifestation, the integral gives a new expression for Chern-Schwartz-MacPherson classes of possibly singular varieties, placing them into a context in which a `change of variable' formula holds. The formalism has points of contac…
The purpose of this paper is twofold. First, we use the motivic Landweber exact functor theorem to deduce that the Bott inverted infinite projective space is homotopy algebraic $K$-theory. The argument is considerably shorther than any other known proofs and serves well as an illustration of the effectiveness of Landweber exactness. Second, we dispense with the regularity assumption on the base scheme which is often implicitly required in the notion of oriented motivic ring spectra. The latter allows us to verify the motivic Landweber exact functor theorem and the universal property of the alg…
We prove a motivic version of Landweber's exact functor theorem from topology. The main result is that the assignment given by a Landweber-type formula using the MGL-homology of a motivic spectrum defines a homology theory on the stable motivic homotopy category and is representable by a Tate-like (or cellular) spectrum. Using the universal coefficient spectral sequence of Dugger-Isaksen we deduce formulas for operations of motivic Landweber spectra of a certain type including homotopy algebraic K-theory. Finally we construct a Chern character as a map between motivic spectra.
For every $n\ge 0$, we construct classes in the Brown-Peterson cohomology $BP\langle n \rangle$ of smooth projective complex algebraic varieties which are not in the image of the cycle map from the corresponding motivic Brown-Peterson cohomology. This generalizes the examples of Atiyah and Hirzebruch to all finite levels in the Brown-Peterson tower.
The Hirzebruch $td_y(X)$ class of a complex manifold X is a formal combination of Chern characters of the sheaves of differential forms multiplied by the Todd class. The related $χ_y$-genus admits a generalization for singular complex algebraic varieties. The equivariant version of the Hirzebruch class can be developed as well. The general theory applied in the situation when a torus acts on a singular variety allows to apply powerful tools as the Localization Theorem of Atiyah and Segal for equivariant K-theory and Berline-Vergne formula for equivariant cohomology. We obtain a meaningful inva…
The equivariant Chern-Schwartz-MacPherson (CSM) class and the equivariant Motivic Chern (MC) class are important characteristic classes of singular varieties in cohomology and K theory---and their theory overlaps with the theory of Okounkov's stable envelopes. We study CSM and MC classes for the orbits of Dynkin quiver representations. We show that the problem of computing the CSM and MC classes of all these orbits can be reduced to some basic classes $c^o_β$, $C^o_β$ parameterized by positive roots $β$. We prove an identity in a deformed version of Kontsevich-Soibelman's Cohomological (and K-…
Motivic integration and MacPherson's transformation are combined in this paper to construct a theory of "stringy" Chern classes for singular varieties. These classes enjoy strong birational invariance properties, and their definition encodes data coming from resolution of singularities. The singularities allowed in the theory are those typical of the minimal model program; examples are given by quotients of manifolds by finite groups. For the latter an explicit formula is proven, assuming that the canonical line bundle of the manifold descends to the quotient. This gives an expression of the s…
A connection between the indices of the Tits algebras of a split linear algebraic group G and the degree one parameters of its motivic J-invariant was introduced by Queguiner-Mathieu, Semenov and Zainoulline through use of the second Chern class map in the Riemann-Roch theorem without denominators. In this paper we extend their result to higher Chern class maps and provide applications to groups of inner type E6.
We prove that a rational linear combination of Chern numbers is an oriented diffeomorphism invariant of smooth complex projective varieties if and only if it is a linear combination of the Euler and Pontryagin numbers. In dimension at least three we prove that only multiples of the top Chern number, which is the Euler characteristic, are invariant under diffeomorphisms that are not necessarily orientation-preserving. These results solve a long-standing problem of Hirzebruch's. We also determine the linear combinations of Chern numbers that can be bounded in terms of Betti numbers.
Michael Gromov has recently initiated what he calls ``symbolic algebraic geometry", in which objects are proalgebraic varieties: a proalgebraic variety is by definition the projective limit of a projective system of algebraic varieties. In this paper we introduce characteristic classes of proalgebraic varieties, using Grothendieck transformations of Fulton--MacPherson's Bivariant Theory, modeled on the construction of MacPherson's Chern class transformation of proalgebraic varieties. We show that a proalgebraic version of the Euler--Poincaré characteristic with values in the Grothendieck ring …
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.
