Stringy Chern classes of singular varieties

DOI10.1016/J.AIM.2006.03.005MaRDI QIDQ861044zbMATH OpenOpenAlexFDO

Authors Ernesto Lupercio, Bernardo Uribe, Tommaso de Fernex, Thomas A. Nevins

Publication date 9 January 2007

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0407314

constructible functions Deligne-Mumford stack Grothendieck ring motivic integration

Intersection theory, characteristic classes, intersection multiplicities in algebraic geometry (14C17) Global theory and resolution of singularities (algebro-geometric aspects) (14E15)

Abstract: 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 stringy Chern class of the quotient in terms of Chern-Schwartz-MacPherson classes of the fixed-point set data.

Review text

Let \(C:F(X)\to A_\ast(X)\) be the homomorphism from the group of constructible functions on \(X\) to the Chow group of \(X\) constructed by \textit{R. D. MacPherson}, [Ann. Math. (2) 100, 423--432 (1974; Zbl 0311.14001)]. The Chern-Schwartz-MacPherson class of a complex variety \(X\) is \(c_{\text{SM}}(X):=c(1_X)\). It satiesfies \(c_{\text{SM}}(X)=c(T_X)\cap[X]\) if \(X\) is smooth. The stringy Chern class \(c_{\text{Str}}(X)\) of \(X\) is defined to be the image \(c(\Phi_X)\) for a certain constructible function related to the resolution of singularities. It satisfies \(c_{\text{Str}}(X)=c_{\text{SM}}(X)\) if \(X\) is smooth and \(c_{\text{Str}(X)}=f_\ast c, c_{\text{Str}(X')}=f'_\ast c\) for some \(c\in A_\ast(Y)_Q\) if \(X\) and \(X'\) are \(K\)-equivalent and \[ \begin{matrix} f &{}_{\swarrow} X_{\searrow}& f'\\ Y && X' \end{matrix} \] is a common resolution. \(\Phi_X\) is defined using motivic integration. The definition of \(c_{\text{Str}}(X)\) is given for singularities occuring in the minimal model program. In case of quotients of manifolds by finite groups an explicit formula is proven in terms of the Chern-Schwartz-MacPherson classes of the fixed point set data.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Stringy Chern classes of singular varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861044)