The tangent space to the space of 0-cycles



Guletskii, Vladimir
The tangent space to the space of 0-cycles.

[img] Text
tangentspaces6.pdf - Submitted Version

Download (597kB)

Abstract

Let $S$ be a Noetherian scheme, and let $X$ be a scheme over $S$, such that all relative symmetric powers of $X$ over $S$ exist. Assume that either $S$ is of pure characteristic $0$ or $X$ is flat over $S$. Assume also that the structural morphism from $X$ to $S$ admits a section, and use it to construct the connected infinite symmetric power ${\rm Sym}^{\infty }(X/S)$ of the scheme $X$ over $S$. This is a commutative monoid whose group completion ${\rm Sym}^{\infty }(X/S)^+$ is an abelian group object in the category of set valued sheaves on the Nisnevich site over $S$, which is known to be isomorphic, as a Nisnevich sheaf, to the sheaf of relative $0$-cycles in Rydh's sense. Being restricted on seminormal schemes over $\mathbb Q$, it is also isomorphic to the sheaf of relative $0$-cycles in the sense of Suslin-Voevodsky and Koll\'ar. In the paper we construct a locally ringed Nisnevich-\'etale site of $0$-cycles ${\rm Sym}^{\infty }(X/S)^+_{\rm {Nis-et}}$, such that the category of \'etale neighbourhoods, at each point $P$ on it, is cofiltered. This yields the sheaf of K\"ahler differentials $\Omega ^1_{{\rm Sym}^{\infty }(X/S)^+}$ and its dual, the tangent sheaf $T_{{\rm Sym}^{\infty }(X/S)^+}$ on the space ${\rm Sym}^{\infty }(X/S)^+$. Applying the stalk functor, we obtain the stalk $T_{{\rm Sym}^{\infty }(X/S)^+,P}$ of the tangent sheaf at $P$, whose tensor product with the residue field $\kappa (P)$ is our tangent space to the space of $0$-cycles at $P$.

Item Type: Article
Additional Information: 63 pages
Uncontrolled Keywords: math.AG, math.AG, 14A20, 14C25, 14D23, 14J29
Depositing User: Symplectic Admin
Date Deposited: 05 Dec 2018 09:39
Last Modified: 12 Nov 2019 16:25
Related URLs:
URI: http://livrepository.liverpool.ac.uk/id/eprint/3029525
Repository Staff Access