Is the affine cone of a flat projective scheme again flat?

332 Views Asked by At

I'm trying to solve Hartshorne Chap.III Ex.9.5.(c):

enter image description here

enter image description here

The biggest problem is to show the existence of a closed subscheme $\tilde{X}\subset \mathbb{P}_{T}^{n+1}$ such that $\tilde{X}_{t} = \operatorname{C}(X_{t})$.

I guess the projective cone $\operatorname{C}(X) \subset \mathbb{P}_{T}^{n+1}$ of $X$ works.

Note that an inclusion $\operatorname{C}(X_{t}) \subset \operatorname{C}(X)_{t}$ always holds but an equality doesn't necessarily hold in a general case.

However, one can easily see that $\operatorname{C}(X_{\eta}) = \operatorname{C}(X)_{\eta}$, where $\eta$ is the generic point of $T$.

Moreover, it is clear that the Hilbert polynomial of $\operatorname{C}(X_{t})$ is independent of $t \in T$.

Hence it suffices to show that the Hilbert polynomial of $\operatorname{C}(X)_{t}$ is independent of $t$, i.e., $\operatorname{C}(X)$ is flat over $T$.

(Then from the inclusion $\operatorname{C}(X_{t}) \subset \operatorname{C}(X)_{t}$ and the agreement of their Hilbert polynomials we conclude that $\operatorname{C}(X_{t}) = \operatorname{C}(X)_{t}$.)

Note that $\operatorname{C}(X)$ is almost everywhere an $\mathbb{A}^{1}-$bundle over $X$, so almost everywhere flat.

Therefore we only have to check the flatness of the affine cone $\operatorname{C}_{\operatorname{aff}}(X)$ of $X$.

So we have reduced the original problem to the following:

Let $A$ be a noetherian domain and write $T:= \operatorname{Spec}A$.

Let $X \subset \mathbb{P}_{T}^{n}$ be a closed subscheme which is flat over $T$.

Then, is the affine cone $\operatorname{Spec} A[x_0,\cdots x_n] / \operatorname{I}(X)$ flat over $T$?

Thank you!