Motivic characteristic classes

Motivic Milnor classes

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…

Motivic Chern classes of cones

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.

Motivic classes of noncommutative Quot schemes

We provide a recursive formula for the motivic class of the noncommutative Quot scheme in the Grothendieck ring of stacks.

Motivic Chern classes and K-theoretic stable envelopes

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…

零动机欧拉示性数的对称幂

Symmetric powers of null motivic Euler characteristic

本文针对零动机欧拉示性数簇的对称幂提出猜想，并据此在 Grothendieck–Witt 环上构造相容幂结构，为增强 Hilbert 概形的 Göttsche 公式提供途径。

Motivic classes of Quot-schemes on surfaces

Given a locally free coherent sheaf on a smooth algebraic surface, we consider the Quot-scheme parametrizing zero-dimensional quotients of the sheaf and find the corresponding motivic class in the Grothendieck ring of algebraic varieties.

Motivic classes of classifying stacks of finite groups and unramified cohomology

Combining work of Peyre, Colliot-Thélène and Voisin, we give the first example of a finite group $G$ such that the motivic class of its classifying stack $BG$ in Ekedahl's Grothendieck ring of stacks over $\mathbb{C}$ is non-trivial and $BG$ has trivial unramified Brauer group.

Motivic Euler characteristics and Witt-valued characteristic classes

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…

模栈的动机类及其在Higgs丛栈中的应用

Motivic classes of stacks in finite characteristic and applications to stacks of Higgs bundles

本文在有限特征下定义了栈的动机类环，并计算了半稳定Higgs丛的模栈的动机类，恢复了特征零和有限域上的相关结果，并给出了更简单的公式。

Motivic Classes of Commuting Varieties via Power Structures

We prove a formula, originally due to Feit and Fine, for the class of the commuting variety in the Grothendieck group of varieties. Our method, which uses a power structure on the Grothendieck group of stacks, allows us to prove several refinements and generalizations of the Feit-Fine formula. Our main application is to motivic Donaldson-Thomas theory.

Comparison of motivic Chern classes and stable envelopes for cotangent bundles

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.

Framed transfers and motivic fundamental classes

We relate the recognition principle for infinite $\mathbf P^1$-loop spaces to the theory of motivic fundamental classes of Déglise, Jin, and Khan. We first compare two kinds of transfers that are naturally defined on cohomology theories represented by motivic spectra: the framed transfers given by the recognition principle, which arise from Voevodsky's computation of the Nisnevish sheaf associated with $\mathbf A^n/(\mathbf A^n-0)$, and the Gysin transfers defined via Verdier's deformation to the normal cone. We then introduce the category of finite E-correspondences for E a motivic ring spect…

正特征情况下双动机斯蒂恩罗代数的探讨

Towards the dual motivic Steenrod algebra in positive characteristic

本文在正特征情况下探讨了双动机斯蒂恩罗代数的结构，并展示了其与代数cobordism谱的关系。

Motivic classes of degeneracy loci and pointed Brill-Noether varieties

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.

Motivic Gauß-Bonnet formulas

The apparatus of motivic stable homotopy theory provides a notion of Euler characteristic for smooth projective varieties, valued in the Grothendieck-Witt ring of the base field. Previous work of the first author and recent work of Déglise-Jin-Khan establishes a "Gauß-Bonnet formula" relating this Euler characteristic to pushforwards of Euler classes in motivic cohomology theories. In this paper, we apply this formula to SL-oriented motivic cohomology theories to obtain explicit characterizations of this Euler characteristic. The main new input is a unicity result for pushforward maps in SL-or…

Motivic Bivariant Characteristic Classes

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…

Motivic stable homotopy theory is strictly commutative at the characteristic

We show that mapping spaces in the p-local motivic stable category over an Fp-scheme are strictly commutative monoids (whence HZ-modules) in a canonical way.

交错退化区域的动机类和对称轨道闭包

Motivic Classes of isotropic degeneracy loci and symmetric orbit closures

本文提供计算交错退化区域的动机柴恩和希泽布鲁赫类的显式公式，特别涉及辛和奇正交格拉斯曼流形。结果扩展了Anderson-Chen-Tarasca在普通格拉斯曼退化区域的研究。

Motivic classes of Nakajima quiver varieties

We prove, that Hausel's formula for the number of rational points of a Nakajima quiver variety over a finite field also holds in a suitable localization of the Grothendieck ring of varieties. In order to generalize the arithmetic harmonic analysis in his proof we use Grothendieck rings with exponentials as introduced by Cluckers-Loeser and Hrushovski-Kazhdan.

Motivic Steenrod operations in characteristic $p$

Using the recent work of Frankland and Spitzweck, we define Steenrod operations $P^{n}$ on the mod $p$ motivic cohomology of smooth varieties defined over a base field of characteristic $p$. We show that $P^{n}$ is the $p$th power on $H^{2n,n}(-,\mathbb{F}_{p})\cong CH^{n}(-)/p$ and prove an instability result for the operations. Restricted to mod $p$ Chow groups, we show that the operations satisfy the expected Adem relations and Cartan formula. For $p=2$, we use the new Steenrod squares to obtain new results on quadratic forms over a base field of characteristic $2$.

Motivic bivariant characteristic classes

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…

Constructing Indecomposable Motivic Cohomology Classes on Algebraic Surfaces

We describe a method to construct indecomposable classes in Bloch's higher Chow group $CH^2(X,1)$ on algebraic surfaces over the complex numbers via transcendental methods and apply it to obtain examples on K3-surfaces and some surfaces of general type.

The Binomial Theorem and motivic classes of universal quasi-split tori

Taking symmetric powers of varieties can be seen as a functor from the category of varieties to the category of varieties with an action by the symmetric group. We study a corresponding map between the Grothendieck groups of these categories. In particular, we derive a binomial formula and use it to give explicit expressions for the classes of universal quasi-split tori in the equivariant Grothendieck group of varieties.

The motivic Steenrod algebra in positive characteristic

Let S be an essentially smooth scheme over a field and l a prime number invertible on S. We show that the algebra of bistable operations in the mod l motivic cohomology of smooth S-schemes is generated by the motivic Steenrod operations. This was previously proved by Voevodsky for S a field of characteristic zero. We follow Voevodsky's proof but remove its dependence on characteristic zero by using étale cohomology instead of topological realization and by replacing resolution of singularities with a theorem of Gabber on alterations.

Motivic classes of generalized Kummer schemes via relative power structures

We develop a power structure over the Grothendieck ring of varieties relative to an abelian monoid, which allows us to compute the motivic class of the generalized Kummer scheme. We obtain a generalized version of Cheah's formula for the Hilbert scheme of points, which specializes to Gulbrandsen's conjecture for Euler characteristics. Moreover, in the surface case we prove a conjecture of Göttsche for geometrically ruled surfaces, and we obtain an explicit formula for the virtual motive of the generalized Kummer scheme in dimension three.

Fundamental classes in motivic homotopy theory

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…

Algebraic homotopy classes of rational functions

We compute the set of naive pointed homotopy classes of endomorphisms of the projective line P^1 over the spectrum of a field. Our computation compares well with Fabien Morel's one of the motivic pointed homotopy classes of endomorphisms of P^1: there is an a priori monoid structure on the set of naive homotopy classes such that canonical map from this monoid to group of motivic homotopy classes is a group completion.

Hirzebruch classes and motivic Chern classes for singular spaces

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 …

格拉斯曼流形中Schubert胞腔的motivic Chern类的一个Pieri型公式

A Pieri type formula for motivic Chern classes of Schubert cells in Grassmannians

本文证明了格拉斯曼流形中Schubert胞腔的motivic Chern类的Pieri公式，通过仿射Hecke代数转化计算，并应用于建立motivic Chern类与Segre motivic类的关系及寻找对偶层类的对称幂级数表示。

曲线型 Hilbert 概形的 motive 类与 Igusa zeta 函数

Motivic classes of curvilinear Hilbert schemes and Igusa zeta functions

本文研究了奇异簇的曲线型 Hilbert 概形，引入了基于奇点嵌入消解的 Igusa zeta 函数，并提出了计算其 motive 类的递归公式，同时分析了平面曲线奇点背景下的几何与组合学。

Detecting motivic equivalences with motivic homology

Let $k$ be a field, let $R$ be a commutative ring, and assume the exponential characteristic of $k$ is invertible in $R$. In this note, we prove that isomorphisms in Voevodsky's triangulated category of motives $\mathcal{DM}(k;R)$ are detected by motivic homology groups of base changes to all separable finitely generated field extensions of $k$. It then follows from previous conservativity results that these motivic homology groups detect isomorphisms between certain spaces in the pointed motivic homotopy category $\mathcal{H}(k)_*$.

Motivic twisted K-theory

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…

Twisted motivic Chern class and stable envelopes

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…

动机迹与动机欧拉示性数的可加性

Additivity for the Motivic Trace and the Motivic Euler Characteristic

本文解决了关于分裂约化群概形与分裂极大环面正规化子的商空间的欧拉示性数的公开猜想，并介绍了该结论在动机稳定同伦范畴与代数K理论中的应用。

Subtle characteristic classes for $Spin$-torsors

Extending [14], we obtain a complete description of the motivic cohomology with ${\mathbb Z}/2$-coefficients of the Nisnevich classifying space of the spin group $Spin_n$ associated to the standard split quadratic form. This provides us with very simple relations among subtle Stiefel-Whitney classes in the motivic cohomology of Čech simplicial schemes associated to quadratic forms from $I^3$, which are closely related to $Spin_n$-torsors over the point. These relations come from the action of the motivic Steenrod algebra on the second subtle Stiefel-Whitney class. Moreover, exploiting the rela…

单分支曲线奇点的固定生成元 Hilbert 概形的动机类与 Igusa zeta 函数

Motivic classes of fixed-generators Hilbert schemes of unibranch curve singularities and Igusa zeta functions

本文研究固定生成元数的单分支平面曲线 Hilbert 概形的动机类，给出公式、正性与拓扑不变性，并联系 Igusa zeta 函数。

从Schubert胞的motivic Chern类到它们的Hirzebruch类和CSM类

From motivic Chern classes of Schubert cells to their Hirzebruch and CSM classes

本文证明了旗流形中Schubert胞的motivic Chern类的多个性质与猜想，利用motivic Chern变换定义了等变Hirzebruch变换，并借助Demazure-Lusztig递归给出了Hirzebruch类及相关对偶的递归公式。

Specialization of motivic Hodge-Chern classes

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_*.

Motivic classes of some classifying stacks

We prove that the class of the classifying stack $B PGL_n$ is the multiplicative inverse of the class of the projective linear group $PGL_n$ in the Grothendieck ring of stacks for $n = 2$ and $n = 3$ under mild conditions on the base field $k$. In particular, although it is known that the multiplicativity relation $\{T\} = \{S\}\cdot\{PGL_n\}$ does not hold for all $PGL_n$-torsors $T \to S$, it holds for the universal $PGL_n$-torsors for said $n$.

Motivic equivalence of algebraic groups

Two semisimple algebraic groups of the same type are said to be motivic equivalent if the motives of the associated projective homogeneous varieties of the same type are isomorphic. We give general criteria of motivic equivalence in terms of the so-called higher Tits p-indices of algebraic groups. These results allow to give a complete classification of absolutely simple classical groups up to motivic equivalence in terms of the underlying algebraic structures. Among other applications of this classification, we deduce that there is a bijection between the stable birational equivalence classes…

Subtle characteristic classes and Hermitian forms

Following [14], we compute the motivic cohomology ring of the Nisnevich classifying space of the unitary group associated to the standard split hermitian form of a quadratic extension. This provides us with subtle characteristic classes which take value in the motivic cohomology of the Čech simplicial scheme associated to a hermitian form. Comparing these new classes with subtle Stiefel-Whitney classes arising in the orthogonal case, we obtain relations among the latter ones holding in the motivic cohomology of the Čech simplicial scheme associated to a quadratic form divisible by a 1-fold Pfi…

A note on motivic integration in mixed characteristic

We introduce a quotient of the Grothendieck ring of varieties by identifying classes of universally homeomorphic varieties. We show that the standard realization morphisms factor through this quotient, and we argue that it is the correct value ring for the theory of motivic integration on formal schemes and rigid varieties in mixed characteristic. The present note is an excerpt of a detailed survey paper which will be published in the proceedings of the conference "Motivic integration and its interactions with model theory and non-archimedean geometry" (ICMS, 2008).

Chern classes, K-theory and Landweber exactness over nonregular base schemes

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…

Motivic Pontryagin 类与双曲定向

Motivic Pontryagin classes and hyperbolic orientations

本文提出了motivic环谱的双曲定向概念，证明其对应Pontryagin类理论，并构造了万有双曲定向eta-周期交换motivic环谱，为研究向量丛示性类提供了新框架。

Motivic classes of classifying stacks of some semi-direct products

Let k be a field, let G be a finite group and let T be a split k-torus on which G acts multiplicatively, and for every m greater than 1 denote by T[m] the m-torsion subgroup of T. Under a suitable assumption on m, we show that the motivic class of the classifying stack of the semi-direct product of T[m] and G in K_0(Stacks_k) is trivial. As a consequence, we prove that the motivic class of BW is trivial for a large class of complex reflection groups W.

曲线的模空间的上同调欧拉特征

Motivic Euler characteristics of moduli spaces of curves

本文计算了曲线模空间的上同调欧拉特征，补充了9对未知情形，并首次计算了亏格4时n=7的非多项式情形。

Splitting results for normed motivic spectra

We prove that the universal normed motivic spectrum of characteristic 2 over a scheme on which 2 is a unit, splits into a sum of motivic Eilenberg--MacLane spectra.

博雷尔 - 摩尔动机同调中的极限与边界特征类

The limit and boundary characteristic classes in Borel-Moore motivic homology

研究博雷尔 - 摩尔动机同调中极限与边界特征类，通过极限博雷尔 - 摩尔动机同调中的前特征类，证明零维部分可提升至零阶苏斯林同调，给出正特征下不成立的衡量方式及边界特征类前推公式并猜想与斯旺类一致。

Hirzebruch classes and motivic Chern classes for singular (complex) algebraic varieties

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…

开放投影里奇变种的motivic Chern类及仿射Schubert单元

Motivic Chern Classes of Open Projected Richardson Varieties and of Affine Schubert Cells

本文研究了开放投影里奇变种和仿射Schubert单元的motivic Chern类，通过递推关系和格拉斯曼流形中的正体种公式，建立了与扭曲Kazhdan–Lusztig R多项式的关系。

Cohomological and motivic inclusion-exclusion

We categorify the inclusion-exclusion principle for partially ordered topological spaces and schemes to a filtration on the derived category of sheaves. As a consequence, we obtain functorial spectral sequences that generalize the two spectral sequences of a stratified space and certain Vassiliev-type spectral sequences; we also obtain Euler characteristic analogs in the Grothendieck ring of varieties. As an application, we give an algebro-geometric proof of Vakil and Wood's homological stability conjecture for the space of smooth hypersurface sections of a smooth projective variety. In charac…

Motivic characteristic classes in cohomological Hall algebras

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 Euler Characteristic of Nearby Cycles and a Generalized Quadratic Conductor Formula

本文通过半稳定约化的层计算 Ayoub 邻近周期谱的动机欧拉示性数，证明 Levine–Pepin Lehalleur–Srinivas 超曲面导子公式的局部性，并将其推广到多奇点情形。

Motivic integration in all residue field characteristics for Henselian discretely valued fields of characteristic zero

We extend the formalism and results on motivic integration from ["Constructible motivic functions and motivic integration", Invent. Math., Volume 173, (2008) 23-121] to mixed characteristic discretely valued Henselian fields with bounded ramification. We also generalize the equicharacteristic zero case of loc. cit. by giving, in all residue characteristics, an axiomatic approach (instead of only using Denef-Pas languages) and by using richer angular component maps. In this setting we prove a general change of variables formula and a general Fubini Theorem. Our set-up can be specialized to prev…