The annihilator of the Lefschetz motive

From MaRDI portal
(Redirected from Publication:2403205)



Abstract: In this paper we study a spectrum K(mathcalVk) such that pi0K(mathcalVk) is the Grothendieck ring of varieties and such that the higher homotopy groups contain more geometric information about the geometry of varieties. We use the topology of this spectrum to analyze the structure of K0[mathcalVk] and show that classes in the kernel of multiplication by [mathbbA1] can always be represented as [X]−[Y] where X and Y are varieties such that [X]eq[Y], XimesmathbbA1 and YimesmathbbA1 are not piecewise isomorphic, but [XimesmathbbA1]=[YimesmathbbA1] in K0[mathcalVk]. Along the way we present new proofs of the result of Larsen--Lunts on the structure on K0[mathcalVk]/([mathbbA1]).


Let \(K_{0}[{\mathcal V}_k]\) denote the Grothendieck ring of varieties over a field \(k\) i.e. the free abelian group generated by varieties over \(k\), modulo the relation \([X]=[Y]+[X \setminus Y]\) for a closed subvariety \(Y\) of \(X\). The ring structure is given by the formula \([X][Y]=[X\times Y]\). One can filter this ring such a way that the \(n\)-th graded piece is given by the formal sums of varieties of dimension at most \(n\) i.e. the image of the following map \[ {\psi}_{n}: {\mathbb Z}[\{ X| \dim X\leq n \}] / ([X]=[Y]+[X\setminus Y]) \rightarrow K_{0}[{\mathcal V}_{k}]. \] A natural question to study is to describe the kernel of the map \({\psi}_{n}.\) The second question is to describe the anihilator of the Lefschetz motive \({\mathbb L}= [{\mathbb A}^1]\) or the kernel of the localization map \(K_{0}[{\mathcal V}_{k}]\rightarrow K_{0}[{\mathcal V}_{k}][{\mathcal L}^{-1}].\) The general answers to these questions are unknown. The author studies a spectrum \(K({\mathcal V}_{k})\) with \({\pi}_0(K({\mathcal V}_{k}))=K_{0}[{\mathcal V}_{k}].\) The higher homotopy groups of this spectrum carry some geometric information about the geometry of varieties. The main result of the paper is that classes in \(K_{0}[{\mathcal V}_{k}]\) that are in the kernel of the multiplication by \([{\mathbb A}^1]\) can always be represented as \([X] - [Y]\) where \([X] \neq [Y],\) \(X{\times}{\mathbb A}^{1}\) and \(Y{\times}{\mathbb A}^{1}\) are not piecewise-isomorphic, and the following equality \([X{\times}{\mathbb A}^{1}]= [Y{\times}{\mathbb A}^{1}]\) holds true in \(K_{0}[{\mathcal V}_{k}].\)











This page was built for publication: The annihilator of the Lefschetz motive

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