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.
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…
In this paper we study the problem of density in (1,3] for the Chern ratio of surfaces with ample cotangent bundle. In particular we prove density in (1,2) by constructing a family of complete intersection surfaces in a product of varieties with big cotangent bundle. We also analyse the case of complete intersections in a product of curves of genus at least 2.
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.
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_*.
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…
Using compactifications in the logarithmic cotangent bundle, we obtain a formula for the Chern classes of the pushforward of Lagrangian cycles under an open embedding with normal crossing complement. This generalizes earlier results of Aluffi and Wu-Zhou. The first application of our formula is a geometric description of Chern-Mather classes of an arbitrary very affine variety, generalizing earlier results of Huh which held under the smooth and schon assumptions. As the second application, we confirm an involution formula relating sectional maximum likelihood (ML) degrees and ML bidegrees, whi…
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…
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 poly…
We prove an explicit formula for the truncated Atiyah class of a bounded complex of vector bundles. Furthermore, we show that the first truncated Chern class of such a complex only depends on its determinant.
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, 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 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 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 …
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…
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 …
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.
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…
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…
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…
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.
We calculate the Chern classes and Chern numbers for the natural almost Hermitian structures of the partial flag manifolds F_n=SU(n+2)/S(U(n)\times U(1)\times U(1)). For all n>1 there are two invariant complex algebraic structures, which arise from the projectivizations of the holomorphic tangent and cotangent bundles of complex projective spaces. The projectivization of the cotangent bundle is the twistor space of a Grassmannian considered as a quaternionic Kähler manifold. There is also an invariant nearly Kähler structure, because F_n is a 3-symmetric space. We explain the relations between…
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 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-…
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.
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…
In the context of uniformisation problems, we study projective varieties with klt singularities whose cotangent sheaf admits a projectively flat structure over the smooth locus. Generalising work of Jahnke-Radloff, we show that torus quotients are the only klt varieties with semistable cotangent sheaf and extremal Chern classes. An analogous result for varieties with nef normalised cotangent sheaves follows.
Recently, V. Chernousov, S. Gille and A. Merkurjev have obtained a decomposition of the motive of an isotropic smooth projective homogeneous variety analogous to the Bruhat decomposition. Using the method of Bialynicki-Birula, I generalize this decomposition to the case of a (possibly anisotropic) smooth projective variety homogeneous under the action of an isotropic reductive group. This answers a question of N. Karpenko.
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…
This paper sets out basic properties of motivic twisted K-theory with respect to degree three motivic cohomology classes of weight one. Motivic twisted K-theory is defined in terms of such motivic cohomology classes by taking pullbacks along the universal principal BG_m-bundle for the classifying space of the multiplicative group scheme. We show a Kuenneth isomorphism for homological motivic twisted K-groups computing the latter as a tensor product of K-groups over the K-theory of BG_m. The proof employs an Adams Hopf algebroid and a tri-graded Tor-spectral sequence for motivic twisted K-theor…
A formula for the structure constants of the multiplication of Schubert classes is obtained in arXiv:1909.05283. In this note, we prove analogous formulae for the Chern--Schwartz--MacPherson (CSM) classes and Segre--Schwartz--MacPherson (SSM) classes of Schubert cells in the flag variety. By the equivalence between the CSM classes and the stable basis elements for the cotangent bundle of the flag variety, a formula for the structure constants for the latter is also deduced.
In this survey paper we review recent advances in the calculus of Chern-Schwartz-MacPherson, motivic Chern, and elliptic classes of classical Schubert varieties. These three theories are one-parameter ($\hbar$) deformations of the notion of fundamental class in their respective extraordinary cohomology theories. Examining these three classes in conjunction is justified by their relation to Okounkov's stable envelope notion. We review formulas for the $\hbar$-deformed classes originating from Tarasov-Varchenko weight functions, as well as their orthogonality relations. As a consequence, explici…
We conjecture the equality of the numerical and Kodaira dimensions $ν_1^*(X)$ and $κ_1^*(X)$ for the cotangent bundle of compact Kähler manifolds $X$, generalising the classical case of the canonical bundle. We show or reduce it to the classical case of the canonical bundle for some peculiar manifolds: among them, the rationally connected ones, or resolutions of varieties with klt singularities and trivial first Chern class, in which case we show that $ν_1^*(X)=κ_1^*(X)=q'(X)-dim(X)$, where $q'(X)$ is the maximal irregularity of a finite étale cover of $X$. The proof rests on the Beauville-Bog…
We show that classical Chern classes from higher ($p$-adic) $K$-theory to syntomic cohomology extend to logarithmic syntomic cohomology. These Chern classes are compatible -- in a suitable sense -- with addition, products, and $λ$-operations. They are also compatible with the canonical Gysin sequences and, via period maps, with logarithmic étale Chern classes. Moreover, they induce logarithmic crystalline Chern classes. This uses as a critical new ingredient the recent comparison of syntomic cohomology with $p$-adic nearby cycles and $p$-adic motivic cohomology.
We prove a closed formula for integrals of the cotangent line classes against the top Chern class of the Hodge bundle on the moduli space of stable pointed curves. These integrals are computed via relations obtained from virtual localization in Gromov-Witten theory. An analysis of several natural matrices indexed by partitions is required.
In this article, we give numerical restrictions on the Chern classes of Ulrich bundles on higher-dimensional manifolds, which are inspired by the results of Casnati in the case of surfaces. As a by-product, we prove that the only projective manifolds whose tangent bundle is Ulrich are the twisted cubic and the Veronese surface. Moreover, we prove that the cotangent bundle is never Ulrich.
We introduce exponential complexes of sheaves on manifolds. They are resolutions of the (Tate twisted) constant sheaves of the rational numbers, generalising the short exact exponential sequence. There are canonical maps from the exponential complexes to the de Rham complex. Using this, we introduce new complexes calculating the rational Deligne cohomology. We call them exponential Deligne complexes. Their advantage is that, at least at the generic point of a complex variety, one can define Beilinson's regulator map to the rational Deligne cohomology on the level of complexes. Namely, we defin…
The Chern-Schwartz-MacPherson (CSM) and motivic Chern (mC) classes of Schubert cells in a Grassmannian are one parameter deformations of the fundamental classes of the Schubert varieties in cohomology and K-theory respectively. Like the fundamental classes, the deformed classes form a basis for the cohomology and K-theory ring of the Grassmannian. The purpose of this paper is to initiate the study of the structure constants associated to the basis CSM and mC classes in terms of the combinatorics of polynomials. First, we prove formulas for the structure constants of projective spaces that invo…
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 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 generalize the decomposition theorem of Hochschild, Kostant and Rosenberg for Hochschild (co-)homology to arbitrary morphisms between complex spaces or schemes over a field of characteristic zero. To be precise, we show that for each such morphism, the Hochschild complex, as introduced in math.AG/0606593, decomposes naturally in the derived category into the direct sum of the derived symmetric powers of the shifted cotangent complex, a result due to Quillen in the affine case. Even in the affine case, our proof is new and provides further information. It shows that the decomposition is give…
