Power structure over the Grothendieck ring of varieties and generating series of Hilbert schemes of points (Q874434): Difference between revisions

Let \(S_{0}({\mathcal V}_{\mathbb C})\) be the Grothendieck semiring of complex quasi-projective varieties. The generators of the additive semigroup are isomorphism classes \([X]\) of such varieties subject to the relation \([X]=[X-Y]+[Y]\) if \(Y\subset X\) is a closed subvariety of \(X\). Multiplication is given by the cartesian product. A power structure over a semiring \(R\) is a map \[ (1+T\cdot R[[T]]) \times R \rightarrow 1+T\cdot R[[T]] : (A(T), m) \rightarrow (A(T))^m, \] where \(A(T)= 1+ a_{1}T + a_{2}T^2 +\cdots , a_{i}\in R, m\in R, \) satisfying all the usual properties of the exponential function. The main result of the paper is the computation of the generating series (in \(S_{0}({\mathcal V}_{\mathbb C})\)) of Hilbert schemes of zero-dimensional subschemes on a smooth quasi-projective variety of dimension \(d\) as an exponent of such series for the complex affine space \({\mathbb A}^d.\)