Some observations on the singularities of the Hilbert scheme which parametrizes the linear varieties contained in a projective variety (Q1180339)

Here the author gives several uper bounds --- both new and classical ones (but with a new proof) for the dimension of the tangent space of the Hilbert scheme of a subvariety \(X\) of a fixed variety \(V\subset\mathbb{P}^ n\); usually \(X\) is a linear space or at least a complete intersection in \(\mathbb{P}^ n\). Sample result: Theorem: Set \(\delta(r,m):=(m+1)(r-m)\); let \(X\) be an integral complete intersection in \(\mathbb{P}^ n\) with \(m=\dim(X)\); let \(V\) be an integral variety with \(X\subset V\subset\mathbb{P}^ n\), \(X\cap V_{reg}\neq\emptyset\), and \(r=\dim(V)\); let \(t_{X,V}\) the dimension of the tangent space at \(X\) of the Hilbert scheme of subvarieties of \(V\). Let \(L\hat{}\) be the intersection of all tangent spaces to \(V\) (seen as subspaces of \(\mathbb{P}^ n)\) at the points of \(X\cap V_{reg}\). Then \(t_{X,V}\leq\delta(r,m)\) and equality holds if and only if \(\dim(L\hat {})=r\) (i.e. the tangent spaces are the same at all such points). Assume \(X\) linear; if \(t_{X,V}=\delta(r,m)-m\), then \(\dim(L\hat {})=r-1\); if \(\dim(L\hat {})=r-1\), then \(\delta(r,m)-1\leq t_{X,V}\leq \delta(r,m)\). The proofs use the comparison between the deformation functor of \(X\) in \(V\) and of their affine cones and explicit computations (using the very simple cohomology of \(X\)) of the tangent space to the second functor.