<p>We study the deformations of space curves <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(C \subset \mathbb {P}^4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>4</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, assuming that they are contained in a smooth complete intersection <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(S_{2,2} \subset \mathbb {P}^4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>S</mi> <mrow> <mn>2</mn> <mo>,</mo> <mn>2</mn> </mrow> </msub> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>4</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, i.e.,&#xa0;a smooth del Pezzo surface of degree 4. We give sufficient conditions for <i>C</i> to be (un)obstructed in terms of the degree <i>d</i> and the genus <i>g</i> of <i>C</i>. We prove that if <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(d&gt;8\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>&gt;</mo> <mn>8</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(g\ge 2d-12\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>≥</mo> <mn>2</mn> <mi>d</mi> <mo>-</mo> <mn>12</mn> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(h^1(C,\mathcal {I}_C(2))=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>h</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>C</mi> <mo>,</mo> <msub> <mi mathvariant="script">I</mi> <mi>C</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, then <i>C</i> is <i>obstructed</i> and <i>stably degenerate</i>,&#xa0;i.e., <i>C</i> has some first order infinitesimal deformations in <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathbb {P}^4\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>4</mn> </msup> </math></EquationSource> </InlineEquation> not contained in any deformations of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(S_{2,2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>S</mi> <mrow> <mn>2</mn> <mo>,</mo> <mn>2</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathbb {P}^4\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>4</mn> </msup> </math></EquationSource> </InlineEquation>, but they do not lift to any global deformations. As a result, every small global deformation of <i>C</i> in <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathbb {P}^4\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>4</mn> </msup> </math></EquationSource> </InlineEquation> is contained in a deformation of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(S_{2,2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>S</mi> <mrow> <mn>2</mn> <mo>,</mo> <mn>2</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathbb {P}^4\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>4</mn> </msup> </math></EquationSource> </InlineEquation>. As an application, we construct infinitely many examples of irreducible components of the Hilbert scheme <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\operatorname {Hilb}^{sc} \mathbb {P}^4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mo>Hilb</mo> <mrow> <mi mathvariant="italic">sc</mi> </mrow> </msup> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>4</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> of smooth connected curves in <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathbb {P}^4\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>4</mn> </msup> </math></EquationSource> </InlineEquation>, along which <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\operatorname {Hilb}^{sc} \mathbb {P}^4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mo>Hilb</mo> <mrow> <mi mathvariant="italic">sc</mi> </mrow> </msup> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>4</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> is generically non-reduced. In the case <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(d=14\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>=</mo> <mn>14</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(g=16\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>=</mo> <mn>16</mn> </mrow> </math></EquationSource> </InlineEquation>, we obtain a non-reduced component of <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\operatorname {Hilb}^{sc} \mathbb {P}^4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mo>Hilb</mo> <mrow> <mi mathvariant="italic">sc</mi> </mrow> </msup> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>4</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> of dimension 55 with <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\dim T_{\operatorname {Hilb}^{sc} \mathbb {P}^4}=57\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>dim</mo> <msub> <mi>T</mi> <mrow> <msup> <mo>Hilb</mo> <mrow> <mi mathvariant="italic">sc</mi> </mrow> </msup> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>4</mn> </msup> </mrow> </msub> <mo>=</mo> <mn>57</mn> </mrow> </math></EquationSource> </InlineEquation>, analogous to Mumford’s example of a non-reduced component of <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\operatorname {Hilb}^{sc} \mathbb {P}^3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mo>Hilb</mo> <mrow> <mi mathvariant="italic">sc</mi> </mrow> </msup> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>3</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, whose general member is contained in a smooth cubic surface <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(S_3 \subset \mathbb {P}^3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>S</mi> <mn>3</mn> </msub> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>3</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Obstructions to deforming space curves lying on a del Pezzo surface

  • Hirokazu Nasu

摘要

We study the deformations of space curves \(C \subset \mathbb {P}^4\) C P 4 , assuming that they are contained in a smooth complete intersection \(S_{2,2} \subset \mathbb {P}^4\) S 2 , 2 P 4 , i.e., a smooth del Pezzo surface of degree 4. We give sufficient conditions for C to be (un)obstructed in terms of the degree d and the genus g of C. We prove that if \(d>8\) d > 8 , \(g\ge 2d-12\) g 2 d - 12 , and \(h^1(C,\mathcal {I}_C(2))=1\) h 1 ( C , I C ( 2 ) ) = 1 , then C is obstructed and stably degenerate, i.e., C has some first order infinitesimal deformations in \(\mathbb {P}^4\) P 4 not contained in any deformations of \(S_{2,2}\) S 2 , 2 in \(\mathbb {P}^4\) P 4 , but they do not lift to any global deformations. As a result, every small global deformation of C in \(\mathbb {P}^4\) P 4 is contained in a deformation of \(S_{2,2}\) S 2 , 2 in \(\mathbb {P}^4\) P 4 . As an application, we construct infinitely many examples of irreducible components of the Hilbert scheme \(\operatorname {Hilb}^{sc} \mathbb {P}^4\) Hilb sc P 4 of smooth connected curves in \(\mathbb {P}^4\) P 4 , along which \(\operatorname {Hilb}^{sc} \mathbb {P}^4\) Hilb sc P 4 is generically non-reduced. In the case \(d=14\) d = 14 and \(g=16\) g = 16 , we obtain a non-reduced component of \(\operatorname {Hilb}^{sc} \mathbb {P}^4\) Hilb sc P 4 of dimension 55 with \(\dim T_{\operatorname {Hilb}^{sc} \mathbb {P}^4}=57\) dim T Hilb sc P 4 = 57 , analogous to Mumford’s example of a non-reduced component of \(\operatorname {Hilb}^{sc} \mathbb {P}^3\) Hilb sc P 3 , whose general member is contained in a smooth cubic surface \(S_3 \subset \mathbb {P}^3\) S 3 P 3 .