Welcome to MathOverflow

Question

1

Let ${Hilb_{P,Q}}_{red}$ be the reduced scheme associated to the Hilbert flag scheme parametrizing all pairs $(C,X)$ with $C \subset X \subset \mathbb{P}^3$, where $C$ is a curve and $X$ a degree $d$ surface in $\mathbb{P}^3$. When is the natural projection map $$pr_1:{Hilb_{P,Q}}_{red} \to pr_1({Hilb_{P,Q}}_{red}) \subset {Hilb_P}_{red}$$ a flat morphism?

edited Aug 14 at 13:29

asked Aug 14 at 6:25

Naga Venkata
556●2●6

After your modification, Sasha's answer is complete and correct. You are not going to find some flatness criterion that does not directly prove that the Hilbert function is constant. One of the main results on constancy of the Hilbert function is the work of Gruson, Lazarsfeld and Peskine. I suggest you start there. – Jason Starr Aug 14 at 13:59

Sasha · Answer 1 · 2012-08-14 12:07:31Z UTC

2

The fiber of the map over a curve $C$ is just $P(H^0(P^3,I_C(d)))$. So, the sufficient and necessary condition is that $\dim H^0(P^3,I_C(d))$ is constant on $Hilb_P$.

answered Aug 14 at 12:07

Sasha
9,963●1●7●17

1

Your answer is only correct if $\text{Hilb}_P$ is reduced. In fact I believe Mumford's famous example of an everwhere nonreduced component of the Hilbert scheme of smooth, embedded, space curves precisely exploits the fact that the flag Hilbert scheme (for curves in a cubic surface) is not flat over the Hilbert scheme of space curves. – Jason Starr Aug 14 at 13:02

@Sasha: The main motivation of the question was to know when $h^0(I_C(d))$ is constant. So could you suggest some other criterion? – Naga Venkata Aug 14 at 13:27

@Starr: I have modified the question a bit to ensure we always have reduced schemes. – Naga Venkata Aug 14 at 13:31

After the modification, Sasha's answer is correct. – Jason Starr Aug 14 at 13:59

@Jason: Of course, I was a bit careless, what is true is that the flag Hilberts scheme is isomorphic to the projectivization of $(pr_1)_*I_Z(d)$, where $Z \subset Hilb_P\times P^3$ is the universal family. If $Hilb_P$ is reduced then the condition I wrote is equivalent to saying that $(pr_1)_*I_Z(d)$ is a vector bundle. But if it is not reduced then of course it is not. – Sasha Aug 14 at 14:10

When is the natural projection of the HIlbert flag scheme a flat morphism

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

1 Answer

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.