<p>The <i>k</i>-flex locus of a projective hypersurface <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13348_2025_484_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(V\subset \mathbb {P}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> is the locus of points <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13348_2025_484_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\in V\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mi>V</mi> </mrow> </math></EquationSource> </InlineEquation> such that there is a line with contact order at least <i>k</i> with <i>V</i> at <i>p</i>. Unexpected contact orders occur when <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13348_2025_484_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\ge n+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. The case <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13348_2025_484_Article_IEq4.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="TEX">\(k=n+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>=</mo> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> is known as the classical flex locus, which has been studied in details in the literature. This paper is dedicated to computing the dimension and the degree of the <i>k</i>-flex locus of a general degree <i>d</i> hypersurface for any value of <i>k</i>. As a corollary, we compute the dimension and the degree of the biggest ruled subvariety of a general hypersurface. We show moreover that through a generic <i>k</i>-flex point, there passes a unique <i>k</i>-flex line which has contact order exactly <i>k</i> if <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13348_2025_484_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\le d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≤</mo> <mi>d</mi> </mrow> </math></EquationSource> </InlineEquation>. The proof is based on the computation of the top Chern class of a certain vector bundle of relative principal parts, inspired by and generalizing a work of Eisenbud and Harris.</p>

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

Hyperflex loci of hypersurfaces

  • Cristina Bertone,
  • Martin Weimann

摘要

The k-flex locus of a projective hypersurface \(V\subset \mathbb {P}^n\) V P n is the locus of points \(p\in V\) p V such that there is a line with contact order at least k with V at p. Unexpected contact orders occur when \(k\ge n+1\) k n + 1 . The case \(k=n+1\) k = n + 1 is known as the classical flex locus, which has been studied in details in the literature. This paper is dedicated to computing the dimension and the degree of the k-flex locus of a general degree d hypersurface for any value of k. As a corollary, we compute the dimension and the degree of the biggest ruled subvariety of a general hypersurface. We show moreover that through a generic k-flex point, there passes a unique k-flex line which has contact order exactly k if \(k\le d\) k d . The proof is based on the computation of the top Chern class of a certain vector bundle of relative principal parts, inspired by and generalizing a work of Eisenbud and Harris.