Flat limit (of twisted cubic) contained in surfaces












5














Let $H$ denote the irreducible component of $text{Hilb}^{3t+1}mathbb{P}^3$ whose general member corresponds to a non-singular twisted cubic. Let $C$ be a subscheme lying in the boundary of $H$ and assume it lies in a surface $S subseteq mathbb{P}^3$.



Then why is it possible that we can find families $C_R, S_R subseteq mathbb{P}^3_R$ over a DVR $R$ with fraction field $K$ such that



1) $C_R subseteq S_R$



2) The generic fiber $C_K$ is a non-singular twisted cubic



3) $C subseteq S$ are the closed fibers of the family.



The authors in "Hilbert Scheme Compactification of the Space of Twisted Cubics": https://www.uio.no/studier/emner/matnat/math/MAT4230/h10/undervisningsmateriale/Hilbertscheme.pdf make the claim on page 4 (pg 763), line 7 of the proof. Although they are studying embedded points, this claim seems to be something more general about flat limits?



More generally, is it true that if something on the boundary of my component in a Hilbert scheme lied in a hypersurface, then I could find a family over a DVR like above?










share|cite|improve this question













migrated from math.stackexchange.com Dec 1 '18 at 4:54


This question came from our site for people studying math at any level and professionals in related fields.















  • If I understand correctly the question (not sure), this is the valuative criterion of specialisation, see EGA II, Proposition 7.1.4. This tells you that there exists a DVR $R$ and a morphism $operatorname{Spec}(R)rightarrow H $ mapping the generic point to the generic point of $H$, and the special point to $[C]in H$. Then you just pull back the universal subscheme over $H$ to $operatorname{Spec}(R) $.
    – abx
    Dec 1 '18 at 5:18












  • Hi thanks for the response. I understand how to lift the curve and surface separately, but my confusion is how could we lift them together i.e. we have a containment in the generic fiber, $C_K subseteq S_K$. This seems to imply that there's a non-singular twisted cubic that lies in a surface of degree $d$, if some degenerated twisted cubic lies in a surface of degree $d$.
    – Randomness
    Dec 1 '18 at 5:40












  • I think this would follow from knowing that the Hilbert function is constant in the family of degenerations of twisted cubic. Do you know if this holds?
    – ulrich
    Dec 1 '18 at 5:45










  • Hi. I don't think the Hilbert function is constant as they are proving that the degenerate curve has an extra cubic in its ideal (twisted cubic is cut out by three quadrics). I also think they use this family of surfaces to show that the degenerate curve doesn't lie in a plane.
    – Randomness
    Dec 1 '18 at 7:11
















5














Let $H$ denote the irreducible component of $text{Hilb}^{3t+1}mathbb{P}^3$ whose general member corresponds to a non-singular twisted cubic. Let $C$ be a subscheme lying in the boundary of $H$ and assume it lies in a surface $S subseteq mathbb{P}^3$.



Then why is it possible that we can find families $C_R, S_R subseteq mathbb{P}^3_R$ over a DVR $R$ with fraction field $K$ such that



1) $C_R subseteq S_R$



2) The generic fiber $C_K$ is a non-singular twisted cubic



3) $C subseteq S$ are the closed fibers of the family.



The authors in "Hilbert Scheme Compactification of the Space of Twisted Cubics": https://www.uio.no/studier/emner/matnat/math/MAT4230/h10/undervisningsmateriale/Hilbertscheme.pdf make the claim on page 4 (pg 763), line 7 of the proof. Although they are studying embedded points, this claim seems to be something more general about flat limits?



More generally, is it true that if something on the boundary of my component in a Hilbert scheme lied in a hypersurface, then I could find a family over a DVR like above?










share|cite|improve this question













migrated from math.stackexchange.com Dec 1 '18 at 4:54


This question came from our site for people studying math at any level and professionals in related fields.















  • If I understand correctly the question (not sure), this is the valuative criterion of specialisation, see EGA II, Proposition 7.1.4. This tells you that there exists a DVR $R$ and a morphism $operatorname{Spec}(R)rightarrow H $ mapping the generic point to the generic point of $H$, and the special point to $[C]in H$. Then you just pull back the universal subscheme over $H$ to $operatorname{Spec}(R) $.
    – abx
    Dec 1 '18 at 5:18












  • Hi thanks for the response. I understand how to lift the curve and surface separately, but my confusion is how could we lift them together i.e. we have a containment in the generic fiber, $C_K subseteq S_K$. This seems to imply that there's a non-singular twisted cubic that lies in a surface of degree $d$, if some degenerated twisted cubic lies in a surface of degree $d$.
    – Randomness
    Dec 1 '18 at 5:40












  • I think this would follow from knowing that the Hilbert function is constant in the family of degenerations of twisted cubic. Do you know if this holds?
    – ulrich
    Dec 1 '18 at 5:45










  • Hi. I don't think the Hilbert function is constant as they are proving that the degenerate curve has an extra cubic in its ideal (twisted cubic is cut out by three quadrics). I also think they use this family of surfaces to show that the degenerate curve doesn't lie in a plane.
    – Randomness
    Dec 1 '18 at 7:11














5












5








5







Let $H$ denote the irreducible component of $text{Hilb}^{3t+1}mathbb{P}^3$ whose general member corresponds to a non-singular twisted cubic. Let $C$ be a subscheme lying in the boundary of $H$ and assume it lies in a surface $S subseteq mathbb{P}^3$.



Then why is it possible that we can find families $C_R, S_R subseteq mathbb{P}^3_R$ over a DVR $R$ with fraction field $K$ such that



1) $C_R subseteq S_R$



2) The generic fiber $C_K$ is a non-singular twisted cubic



3) $C subseteq S$ are the closed fibers of the family.



The authors in "Hilbert Scheme Compactification of the Space of Twisted Cubics": https://www.uio.no/studier/emner/matnat/math/MAT4230/h10/undervisningsmateriale/Hilbertscheme.pdf make the claim on page 4 (pg 763), line 7 of the proof. Although they are studying embedded points, this claim seems to be something more general about flat limits?



More generally, is it true that if something on the boundary of my component in a Hilbert scheme lied in a hypersurface, then I could find a family over a DVR like above?










share|cite|improve this question













Let $H$ denote the irreducible component of $text{Hilb}^{3t+1}mathbb{P}^3$ whose general member corresponds to a non-singular twisted cubic. Let $C$ be a subscheme lying in the boundary of $H$ and assume it lies in a surface $S subseteq mathbb{P}^3$.



Then why is it possible that we can find families $C_R, S_R subseteq mathbb{P}^3_R$ over a DVR $R$ with fraction field $K$ such that



1) $C_R subseteq S_R$



2) The generic fiber $C_K$ is a non-singular twisted cubic



3) $C subseteq S$ are the closed fibers of the family.



The authors in "Hilbert Scheme Compactification of the Space of Twisted Cubics": https://www.uio.no/studier/emner/matnat/math/MAT4230/h10/undervisningsmateriale/Hilbertscheme.pdf make the claim on page 4 (pg 763), line 7 of the proof. Although they are studying embedded points, this claim seems to be something more general about flat limits?



More generally, is it true that if something on the boundary of my component in a Hilbert scheme lied in a hypersurface, then I could find a family over a DVR like above?







ag.algebraic-geometry flatness






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Nov 30 '18 at 2:51









RandomnessRandomness

263




263




migrated from math.stackexchange.com Dec 1 '18 at 4:54


This question came from our site for people studying math at any level and professionals in related fields.






migrated from math.stackexchange.com Dec 1 '18 at 4:54


This question came from our site for people studying math at any level and professionals in related fields.














  • If I understand correctly the question (not sure), this is the valuative criterion of specialisation, see EGA II, Proposition 7.1.4. This tells you that there exists a DVR $R$ and a morphism $operatorname{Spec}(R)rightarrow H $ mapping the generic point to the generic point of $H$, and the special point to $[C]in H$. Then you just pull back the universal subscheme over $H$ to $operatorname{Spec}(R) $.
    – abx
    Dec 1 '18 at 5:18












  • Hi thanks for the response. I understand how to lift the curve and surface separately, but my confusion is how could we lift them together i.e. we have a containment in the generic fiber, $C_K subseteq S_K$. This seems to imply that there's a non-singular twisted cubic that lies in a surface of degree $d$, if some degenerated twisted cubic lies in a surface of degree $d$.
    – Randomness
    Dec 1 '18 at 5:40












  • I think this would follow from knowing that the Hilbert function is constant in the family of degenerations of twisted cubic. Do you know if this holds?
    – ulrich
    Dec 1 '18 at 5:45










  • Hi. I don't think the Hilbert function is constant as they are proving that the degenerate curve has an extra cubic in its ideal (twisted cubic is cut out by three quadrics). I also think they use this family of surfaces to show that the degenerate curve doesn't lie in a plane.
    – Randomness
    Dec 1 '18 at 7:11


















  • If I understand correctly the question (not sure), this is the valuative criterion of specialisation, see EGA II, Proposition 7.1.4. This tells you that there exists a DVR $R$ and a morphism $operatorname{Spec}(R)rightarrow H $ mapping the generic point to the generic point of $H$, and the special point to $[C]in H$. Then you just pull back the universal subscheme over $H$ to $operatorname{Spec}(R) $.
    – abx
    Dec 1 '18 at 5:18












  • Hi thanks for the response. I understand how to lift the curve and surface separately, but my confusion is how could we lift them together i.e. we have a containment in the generic fiber, $C_K subseteq S_K$. This seems to imply that there's a non-singular twisted cubic that lies in a surface of degree $d$, if some degenerated twisted cubic lies in a surface of degree $d$.
    – Randomness
    Dec 1 '18 at 5:40












  • I think this would follow from knowing that the Hilbert function is constant in the family of degenerations of twisted cubic. Do you know if this holds?
    – ulrich
    Dec 1 '18 at 5:45










  • Hi. I don't think the Hilbert function is constant as they are proving that the degenerate curve has an extra cubic in its ideal (twisted cubic is cut out by three quadrics). I also think they use this family of surfaces to show that the degenerate curve doesn't lie in a plane.
    – Randomness
    Dec 1 '18 at 7:11
















If I understand correctly the question (not sure), this is the valuative criterion of specialisation, see EGA II, Proposition 7.1.4. This tells you that there exists a DVR $R$ and a morphism $operatorname{Spec}(R)rightarrow H $ mapping the generic point to the generic point of $H$, and the special point to $[C]in H$. Then you just pull back the universal subscheme over $H$ to $operatorname{Spec}(R) $.
– abx
Dec 1 '18 at 5:18






If I understand correctly the question (not sure), this is the valuative criterion of specialisation, see EGA II, Proposition 7.1.4. This tells you that there exists a DVR $R$ and a morphism $operatorname{Spec}(R)rightarrow H $ mapping the generic point to the generic point of $H$, and the special point to $[C]in H$. Then you just pull back the universal subscheme over $H$ to $operatorname{Spec}(R) $.
– abx
Dec 1 '18 at 5:18














Hi thanks for the response. I understand how to lift the curve and surface separately, but my confusion is how could we lift them together i.e. we have a containment in the generic fiber, $C_K subseteq S_K$. This seems to imply that there's a non-singular twisted cubic that lies in a surface of degree $d$, if some degenerated twisted cubic lies in a surface of degree $d$.
– Randomness
Dec 1 '18 at 5:40






Hi thanks for the response. I understand how to lift the curve and surface separately, but my confusion is how could we lift them together i.e. we have a containment in the generic fiber, $C_K subseteq S_K$. This seems to imply that there's a non-singular twisted cubic that lies in a surface of degree $d$, if some degenerated twisted cubic lies in a surface of degree $d$.
– Randomness
Dec 1 '18 at 5:40














I think this would follow from knowing that the Hilbert function is constant in the family of degenerations of twisted cubic. Do you know if this holds?
– ulrich
Dec 1 '18 at 5:45




I think this would follow from knowing that the Hilbert function is constant in the family of degenerations of twisted cubic. Do you know if this holds?
– ulrich
Dec 1 '18 at 5:45












Hi. I don't think the Hilbert function is constant as they are proving that the degenerate curve has an extra cubic in its ideal (twisted cubic is cut out by three quadrics). I also think they use this family of surfaces to show that the degenerate curve doesn't lie in a plane.
– Randomness
Dec 1 '18 at 7:11




Hi. I don't think the Hilbert function is constant as they are proving that the degenerate curve has an extra cubic in its ideal (twisted cubic is cut out by three quadrics). I also think they use this family of surfaces to show that the degenerate curve doesn't lie in a plane.
– Randomness
Dec 1 '18 at 7:11










1 Answer
1






active

oldest

votes


















4














As @abx and @ulrich explain in the comments, the original question is equivalent to a question about constancy of Hilbert functions for the universal family restricted over the irreducible component $H$. The Hilbert function is constant on $H$, as I explain below. I believe the OP is confused because, at this point in the article of Piene and Schlessinger, they have not proved constancy of the Hilbert function. Nor do they need this. For instance, Piene and Schlessinger point out that for the purposes of their proof, it is fine to replace a hyperplane that contains the curve by a quadric hypersurface that contains the curve (in fact, as follows from constancy of the Hilbert function, there is no hyperplane containing a curve parameterized by $H$). So my advice to the OP for reading the article is: just read the remainder of the proof and then come back to this issue after a complete read-through.



Anyway, the Hilbert function is constant.
Denote by $p(t)$ the Hilbert polynomial $p(t)=3t+1$. On the Hilbert scheme $text{Hilb}^{p(t)}_{mathbb{P}^3_k/k}$, the natural action of $textbf{PGL}_{4,k}$ on $mathbb{P}^3_k$ induces an action on
$text{Hilb}^{p(t)}_{mathbb{P}^3_k/k}$. Denote by $H_0$ the unique open orbit. Denote by $H$ the closure of $H_0$ in $text{Hilb}^{p(t)}_{mathbb{P}^3_k/k}$. Denote the restriction of the universal closed subscheme over $H$ by $$Z_Hsubset Htimes_{text{Spec} k}mathbb{P}^3_k.$$



Claim. Every geometric fiber $Z_t$ of the projection $Z_Hto H$ has Hilbert function,
$$
h_{Z_t}:mathbb{Z}_{geq 0} to mathbb{Z}_{geq 0}, h_{Z_t}(d) := h^0(mathbb{P}^3_k,mathcal{O}(d)) - h^0(mathbb{P}^3_k,mathcal{I}_{Z_t}(d)),
$$

equal to $h_{Z_t}(d) = 3d+1$.



Proof. Probably the fastest way to prove this is to use the stratification of $H$ according to the "type" of $Z_t$. Some version of this is contained in Joe Harris's monograph.



MR0685427 (84g:14024)

Harris, Joe

Curves in projective space.

With the collaboration of David Eisenbud.

Séminaire de Mathématiques Supérieures, 85.

Presses de l'Université de Montréal, Montreal, Que., 1982.

138 pp. ISBN: 2-7606-0603-1



I have a vague recollection that there is a small mistake in Harris's description of the orbit decomposition. I am more familiar with the honors thesis of Yoon-Ho Alex Lee. The most relevant result is Figure 4.4, p. 47.



Yoon-Ho Alex Lee

The Hilbert scheme of curves in $mathbb{P}^3$
https://www.uio.no/studier/emner/matnat/math/MAT4230/h10/undervisningsmateriale/ALee_Hilbertschemes.pdf



Since dimensions of cohomology groups are upper semicontinuous, it suffices to prove that $h_{Z_t}(d)$ equals $3d+1$ for $Z_t$ in the two "deepest" strata, XVI and XVII in Lee's notation. With respect to homogeneous coordinates $[ s,t,u,v ]$, the ideal for XVI is $langle u^2,ut,uv,v^3rangle$, and the ideal for XVII is $langle u^2,uv,v^2 rangle$. It is straightforward in each of these cases to compute that $h_{Z_t}(d)$ equals $3d+1$. QED






share|cite|improve this answer























    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "504"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f316625%2fflat-limit-of-twisted-cubic-contained-in-surfaces%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    4














    As @abx and @ulrich explain in the comments, the original question is equivalent to a question about constancy of Hilbert functions for the universal family restricted over the irreducible component $H$. The Hilbert function is constant on $H$, as I explain below. I believe the OP is confused because, at this point in the article of Piene and Schlessinger, they have not proved constancy of the Hilbert function. Nor do they need this. For instance, Piene and Schlessinger point out that for the purposes of their proof, it is fine to replace a hyperplane that contains the curve by a quadric hypersurface that contains the curve (in fact, as follows from constancy of the Hilbert function, there is no hyperplane containing a curve parameterized by $H$). So my advice to the OP for reading the article is: just read the remainder of the proof and then come back to this issue after a complete read-through.



    Anyway, the Hilbert function is constant.
    Denote by $p(t)$ the Hilbert polynomial $p(t)=3t+1$. On the Hilbert scheme $text{Hilb}^{p(t)}_{mathbb{P}^3_k/k}$, the natural action of $textbf{PGL}_{4,k}$ on $mathbb{P}^3_k$ induces an action on
    $text{Hilb}^{p(t)}_{mathbb{P}^3_k/k}$. Denote by $H_0$ the unique open orbit. Denote by $H$ the closure of $H_0$ in $text{Hilb}^{p(t)}_{mathbb{P}^3_k/k}$. Denote the restriction of the universal closed subscheme over $H$ by $$Z_Hsubset Htimes_{text{Spec} k}mathbb{P}^3_k.$$



    Claim. Every geometric fiber $Z_t$ of the projection $Z_Hto H$ has Hilbert function,
    $$
    h_{Z_t}:mathbb{Z}_{geq 0} to mathbb{Z}_{geq 0}, h_{Z_t}(d) := h^0(mathbb{P}^3_k,mathcal{O}(d)) - h^0(mathbb{P}^3_k,mathcal{I}_{Z_t}(d)),
    $$

    equal to $h_{Z_t}(d) = 3d+1$.



    Proof. Probably the fastest way to prove this is to use the stratification of $H$ according to the "type" of $Z_t$. Some version of this is contained in Joe Harris's monograph.



    MR0685427 (84g:14024)

    Harris, Joe

    Curves in projective space.

    With the collaboration of David Eisenbud.

    Séminaire de Mathématiques Supérieures, 85.

    Presses de l'Université de Montréal, Montreal, Que., 1982.

    138 pp. ISBN: 2-7606-0603-1



    I have a vague recollection that there is a small mistake in Harris's description of the orbit decomposition. I am more familiar with the honors thesis of Yoon-Ho Alex Lee. The most relevant result is Figure 4.4, p. 47.



    Yoon-Ho Alex Lee

    The Hilbert scheme of curves in $mathbb{P}^3$
    https://www.uio.no/studier/emner/matnat/math/MAT4230/h10/undervisningsmateriale/ALee_Hilbertschemes.pdf



    Since dimensions of cohomology groups are upper semicontinuous, it suffices to prove that $h_{Z_t}(d)$ equals $3d+1$ for $Z_t$ in the two "deepest" strata, XVI and XVII in Lee's notation. With respect to homogeneous coordinates $[ s,t,u,v ]$, the ideal for XVI is $langle u^2,ut,uv,v^3rangle$, and the ideal for XVII is $langle u^2,uv,v^2 rangle$. It is straightforward in each of these cases to compute that $h_{Z_t}(d)$ equals $3d+1$. QED






    share|cite|improve this answer




























      4














      As @abx and @ulrich explain in the comments, the original question is equivalent to a question about constancy of Hilbert functions for the universal family restricted over the irreducible component $H$. The Hilbert function is constant on $H$, as I explain below. I believe the OP is confused because, at this point in the article of Piene and Schlessinger, they have not proved constancy of the Hilbert function. Nor do they need this. For instance, Piene and Schlessinger point out that for the purposes of their proof, it is fine to replace a hyperplane that contains the curve by a quadric hypersurface that contains the curve (in fact, as follows from constancy of the Hilbert function, there is no hyperplane containing a curve parameterized by $H$). So my advice to the OP for reading the article is: just read the remainder of the proof and then come back to this issue after a complete read-through.



      Anyway, the Hilbert function is constant.
      Denote by $p(t)$ the Hilbert polynomial $p(t)=3t+1$. On the Hilbert scheme $text{Hilb}^{p(t)}_{mathbb{P}^3_k/k}$, the natural action of $textbf{PGL}_{4,k}$ on $mathbb{P}^3_k$ induces an action on
      $text{Hilb}^{p(t)}_{mathbb{P}^3_k/k}$. Denote by $H_0$ the unique open orbit. Denote by $H$ the closure of $H_0$ in $text{Hilb}^{p(t)}_{mathbb{P}^3_k/k}$. Denote the restriction of the universal closed subscheme over $H$ by $$Z_Hsubset Htimes_{text{Spec} k}mathbb{P}^3_k.$$



      Claim. Every geometric fiber $Z_t$ of the projection $Z_Hto H$ has Hilbert function,
      $$
      h_{Z_t}:mathbb{Z}_{geq 0} to mathbb{Z}_{geq 0}, h_{Z_t}(d) := h^0(mathbb{P}^3_k,mathcal{O}(d)) - h^0(mathbb{P}^3_k,mathcal{I}_{Z_t}(d)),
      $$

      equal to $h_{Z_t}(d) = 3d+1$.



      Proof. Probably the fastest way to prove this is to use the stratification of $H$ according to the "type" of $Z_t$. Some version of this is contained in Joe Harris's monograph.



      MR0685427 (84g:14024)

      Harris, Joe

      Curves in projective space.

      With the collaboration of David Eisenbud.

      Séminaire de Mathématiques Supérieures, 85.

      Presses de l'Université de Montréal, Montreal, Que., 1982.

      138 pp. ISBN: 2-7606-0603-1



      I have a vague recollection that there is a small mistake in Harris's description of the orbit decomposition. I am more familiar with the honors thesis of Yoon-Ho Alex Lee. The most relevant result is Figure 4.4, p. 47.



      Yoon-Ho Alex Lee

      The Hilbert scheme of curves in $mathbb{P}^3$
      https://www.uio.no/studier/emner/matnat/math/MAT4230/h10/undervisningsmateriale/ALee_Hilbertschemes.pdf



      Since dimensions of cohomology groups are upper semicontinuous, it suffices to prove that $h_{Z_t}(d)$ equals $3d+1$ for $Z_t$ in the two "deepest" strata, XVI and XVII in Lee's notation. With respect to homogeneous coordinates $[ s,t,u,v ]$, the ideal for XVI is $langle u^2,ut,uv,v^3rangle$, and the ideal for XVII is $langle u^2,uv,v^2 rangle$. It is straightforward in each of these cases to compute that $h_{Z_t}(d)$ equals $3d+1$. QED






      share|cite|improve this answer


























        4












        4








        4






        As @abx and @ulrich explain in the comments, the original question is equivalent to a question about constancy of Hilbert functions for the universal family restricted over the irreducible component $H$. The Hilbert function is constant on $H$, as I explain below. I believe the OP is confused because, at this point in the article of Piene and Schlessinger, they have not proved constancy of the Hilbert function. Nor do they need this. For instance, Piene and Schlessinger point out that for the purposes of their proof, it is fine to replace a hyperplane that contains the curve by a quadric hypersurface that contains the curve (in fact, as follows from constancy of the Hilbert function, there is no hyperplane containing a curve parameterized by $H$). So my advice to the OP for reading the article is: just read the remainder of the proof and then come back to this issue after a complete read-through.



        Anyway, the Hilbert function is constant.
        Denote by $p(t)$ the Hilbert polynomial $p(t)=3t+1$. On the Hilbert scheme $text{Hilb}^{p(t)}_{mathbb{P}^3_k/k}$, the natural action of $textbf{PGL}_{4,k}$ on $mathbb{P}^3_k$ induces an action on
        $text{Hilb}^{p(t)}_{mathbb{P}^3_k/k}$. Denote by $H_0$ the unique open orbit. Denote by $H$ the closure of $H_0$ in $text{Hilb}^{p(t)}_{mathbb{P}^3_k/k}$. Denote the restriction of the universal closed subscheme over $H$ by $$Z_Hsubset Htimes_{text{Spec} k}mathbb{P}^3_k.$$



        Claim. Every geometric fiber $Z_t$ of the projection $Z_Hto H$ has Hilbert function,
        $$
        h_{Z_t}:mathbb{Z}_{geq 0} to mathbb{Z}_{geq 0}, h_{Z_t}(d) := h^0(mathbb{P}^3_k,mathcal{O}(d)) - h^0(mathbb{P}^3_k,mathcal{I}_{Z_t}(d)),
        $$

        equal to $h_{Z_t}(d) = 3d+1$.



        Proof. Probably the fastest way to prove this is to use the stratification of $H$ according to the "type" of $Z_t$. Some version of this is contained in Joe Harris's monograph.



        MR0685427 (84g:14024)

        Harris, Joe

        Curves in projective space.

        With the collaboration of David Eisenbud.

        Séminaire de Mathématiques Supérieures, 85.

        Presses de l'Université de Montréal, Montreal, Que., 1982.

        138 pp. ISBN: 2-7606-0603-1



        I have a vague recollection that there is a small mistake in Harris's description of the orbit decomposition. I am more familiar with the honors thesis of Yoon-Ho Alex Lee. The most relevant result is Figure 4.4, p. 47.



        Yoon-Ho Alex Lee

        The Hilbert scheme of curves in $mathbb{P}^3$
        https://www.uio.no/studier/emner/matnat/math/MAT4230/h10/undervisningsmateriale/ALee_Hilbertschemes.pdf



        Since dimensions of cohomology groups are upper semicontinuous, it suffices to prove that $h_{Z_t}(d)$ equals $3d+1$ for $Z_t$ in the two "deepest" strata, XVI and XVII in Lee's notation. With respect to homogeneous coordinates $[ s,t,u,v ]$, the ideal for XVI is $langle u^2,ut,uv,v^3rangle$, and the ideal for XVII is $langle u^2,uv,v^2 rangle$. It is straightforward in each of these cases to compute that $h_{Z_t}(d)$ equals $3d+1$. QED






        share|cite|improve this answer














        As @abx and @ulrich explain in the comments, the original question is equivalent to a question about constancy of Hilbert functions for the universal family restricted over the irreducible component $H$. The Hilbert function is constant on $H$, as I explain below. I believe the OP is confused because, at this point in the article of Piene and Schlessinger, they have not proved constancy of the Hilbert function. Nor do they need this. For instance, Piene and Schlessinger point out that for the purposes of their proof, it is fine to replace a hyperplane that contains the curve by a quadric hypersurface that contains the curve (in fact, as follows from constancy of the Hilbert function, there is no hyperplane containing a curve parameterized by $H$). So my advice to the OP for reading the article is: just read the remainder of the proof and then come back to this issue after a complete read-through.



        Anyway, the Hilbert function is constant.
        Denote by $p(t)$ the Hilbert polynomial $p(t)=3t+1$. On the Hilbert scheme $text{Hilb}^{p(t)}_{mathbb{P}^3_k/k}$, the natural action of $textbf{PGL}_{4,k}$ on $mathbb{P}^3_k$ induces an action on
        $text{Hilb}^{p(t)}_{mathbb{P}^3_k/k}$. Denote by $H_0$ the unique open orbit. Denote by $H$ the closure of $H_0$ in $text{Hilb}^{p(t)}_{mathbb{P}^3_k/k}$. Denote the restriction of the universal closed subscheme over $H$ by $$Z_Hsubset Htimes_{text{Spec} k}mathbb{P}^3_k.$$



        Claim. Every geometric fiber $Z_t$ of the projection $Z_Hto H$ has Hilbert function,
        $$
        h_{Z_t}:mathbb{Z}_{geq 0} to mathbb{Z}_{geq 0}, h_{Z_t}(d) := h^0(mathbb{P}^3_k,mathcal{O}(d)) - h^0(mathbb{P}^3_k,mathcal{I}_{Z_t}(d)),
        $$

        equal to $h_{Z_t}(d) = 3d+1$.



        Proof. Probably the fastest way to prove this is to use the stratification of $H$ according to the "type" of $Z_t$. Some version of this is contained in Joe Harris's monograph.



        MR0685427 (84g:14024)

        Harris, Joe

        Curves in projective space.

        With the collaboration of David Eisenbud.

        Séminaire de Mathématiques Supérieures, 85.

        Presses de l'Université de Montréal, Montreal, Que., 1982.

        138 pp. ISBN: 2-7606-0603-1



        I have a vague recollection that there is a small mistake in Harris's description of the orbit decomposition. I am more familiar with the honors thesis of Yoon-Ho Alex Lee. The most relevant result is Figure 4.4, p. 47.



        Yoon-Ho Alex Lee

        The Hilbert scheme of curves in $mathbb{P}^3$
        https://www.uio.no/studier/emner/matnat/math/MAT4230/h10/undervisningsmateriale/ALee_Hilbertschemes.pdf



        Since dimensions of cohomology groups are upper semicontinuous, it suffices to prove that $h_{Z_t}(d)$ equals $3d+1$ for $Z_t$ in the two "deepest" strata, XVI and XVII in Lee's notation. With respect to homogeneous coordinates $[ s,t,u,v ]$, the ideal for XVI is $langle u^2,ut,uv,v^3rangle$, and the ideal for XVII is $langle u^2,uv,v^2 rangle$. It is straightforward in each of these cases to compute that $h_{Z_t}(d)$ equals $3d+1$. QED







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        answered Dec 2 '18 at 0:33


























        community wiki





        Jason Starr































            draft saved

            draft discarded




















































            Thanks for contributing an answer to MathOverflow!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.





            Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


            Please pay close attention to the following guidance:


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f316625%2fflat-limit-of-twisted-cubic-contained-in-surfaces%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            How do I know what Microsoft account the skydrive app is syncing to?

            When does type information flow backwards in C++?

            Grease: Live!