## Flatness for family of hypersurfaces

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $X \to Y$ be a family of hypersurfaces in a constant $\mathbb{P}^n$, i.e. $X \subset Y \times \mathbb{P}^n$ is locally on $Y$ given by one equation of degree $d$ in $\mathbb{P}^n$.

Is $X \to Y$ automatically flat? I know that it is so if $Y$ is reduced, since in this case the fact that the Hilbert polynomial of $X_y$ is constant on $Y$ implies that the family is actually flat. So is $X \to Y$ still automatically flat when $Y$ is nonreduced?

-

## 3 Answers

(Of course, you have the implicit assumption that the equation of degree $d$ is not $0$.) The answer is yes. In the case where $Y$ is locally Noetherian, it is true by the "slicing criterion for flatness on the source", as $\mathbb{P}^n_Y \rightarrow Y$ is flat. See Exercise 25.6.F in the May 12 2012 version of http://math216.wordpress.com/2011-12-course/ . Your special case is essentially Cor. 2 on p. 152 of Matsumura's "Commutative Algebra". To get to the general case, use the general technique that finitely presented morphisms (as yours is!) can (locally on the target) be pulled back from the Noetherian situation (see Exercise 10.3.G in the notes linked to above); but this may be more than you care to know.

-
I think you also need to assume that the single equation (local on $Y$) remains a single equation of degree $d$ in each fiber; otherwise, $X$ could be the blowup of $Y = \mathbb{A}^2$ at a point. (I think this was also implicit in the question, since this example has $Y$ reduced.) – Charles Staats May 10 2012 at 23:35
Another reference is Lemma 9.3.4 in "FGA explained". – Olivier Benoist May 11 2012 at 6:36
Very helpful, thank you so much. – OldMacdonaldHadaForm May 11 2012 at 6:48
May I ask if a similar result holds for the Hilbert scheme of points? Namely, if a family of $0$-dimensional subschemes of $Y \times \mathbb{P}^n$ has constant Hilbert polynomial $k$, is it automatically flat over $Y$? – OldMacdonaldHadaForm May 13 2012 at 6:54

1
That's true over a reduced base. But not if the base is nonreduced: consider the case k=1 and n=0, over a base Spec K[t]/(t^2), where you take the family to just be over the reduced point. I can't think of how to state a hypothesis that gets around this that isn't essentially "flat" (perhaps in its guise of locally free). – Ravi Vakil May 14 2012 at 4:00

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

This is an example when proving "locally free" instead of merely "flat" is easier and more straightforward, and no Noetherian assumption on the base is needed. The point is that if some coefficient $a$ of a polynomial $f\in R[x_1,\dotsc x_n]$ is nonzero at $p\in Spec R$ (i.e. nonzero in $R/p$) then it is invertible in an open neighborhood $D(a)\ni p$.

So let $f\in R[x_1,\dotsc,x_n]$ be a polynomial of degree $d$, $p$ be a point of $Spec R$ (i.e. a prime ideal in $R$) and $k$ be the quotient field of $R/p$. Let $\bar f \in k[x_1,\dotsc,x_n]$ be the reduction of $f$ modulo $p$.

Using a change of coordinates in $k[x_1,\dotsc,x_n]$, put $\bar f$ in a Weierstrass form w.r.t. to the variable $x_n$. This means that

$$\bar f= \bar a x_n^d + p_{d-1}x_n^{d-1} + \dots + p_0$$

for some polynomials $p_j$ in the remaining variables $x_1,\dotsc,x_{n-1}$, and $\bar a\in k$, $\bar a\ne 0$.

If $k$ is infinite, this can be done by a linear change of coordinates. If $k$ is finite, there is a little trick.

If $r_i/s_i\in k$ are the coefficients involved in the change of coordinates ($r_i,s_i\in R$) then this change of coordinates can be done already in the ring $R'=R[1/a \prod s_i]$, i.e. over the open set $Spec R'= D(a\prod s_i)$ in $Spec R$ containing $[p]$. Further, $a$ is invertible over this set.

Now, over $R'$ the quotient $R'[x_1,\dotsc,x_n]/(f)$ is a free $R'[x_1,\dotsc,x_{n-1}]$-module with a basis $1,x_n,\dotsc, x_n^{d-1}$. Hence, it is a free $R'$-module. QED

This proves the statement for a family of nonzero hypersurfaces in $\mathbb A^n$. For a family of nonzero hypersurfaces in $\mathbb P^n$, cover $\mathbb P^n$ by $\mathbb A^n$ appropriately.

-

This is very nice, and certainly the way to go (rather than invoking a harder theorem with more restrictive hypotheses, as I did). +1! – Ravi Vakil May 14 2012 at 4:00
This is so very beautifully concrete! May I ask for a reference for the "general" Weierstrass form? I know it only over $\mathbb{C}$ (or in characteristic zero). – OldMacdonaldHadaForm May 16 2012 at 8:59
Thank you very much for your answer. – OldMacdonaldHadaForm May 16 2012 at 9:00
Sorry for the previous question. I think I understand now. – OldMacdonaldHadaForm May 17 2012 at 10:33

Consider the projective space of degree $d$ monomials in $n+1$ variables $\mathbb{P}^{\binom{n+d}{d}-1}$. On this projective space there is a universal family of hypersurfaces in $\mathbb{P}^n$. This family is flat since the Hilbert polynomial is constant, and the base is reduced.

Now given any family $X \to Y$ of not necessarily flat hypersurfaces of degree $d$ in $\mathbb{P}^n$, there exists a unique moduli map $Y \to \mathbb{P}^{\binom{n+d}{d}-1}$ such that $X\to Y$ is the pullback of the universal family via the moduli map. Since flatness is stable under base change, the map $X \to Y$ must also be flat even when $Y$ is not reduced.

NOTE: I suspect that this answer may contain a mistake due to some sort of "circular" reasoning. At the moment I can not see this mistake though.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 77, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9351475834846497, "perplexity_flag": "head"}