<p>We introduce and study the Hesse pencil variety <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(H_8\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>H</mi> <mn>8</mn> </msub> </math></EquationSource> </InlineEquation>, obtained as the Zariski closure in the Grassmannian <i>G</i>(1,&#xa0;9) of the set of pencils generated by a smooth plane cubic and its Hessian. We prove that <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(H_8\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>H</mi> <mn>8</mn> </msub> </math></EquationSource> </InlineEquation> has dimension 8 and can be realized as the intersection of <i>G</i>(1,&#xa0;9) with ten hyperplanes corresponding to the Schur module <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathbb {S}_{(5,1)}\mathbb {C}^3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">S</mi> <mrow> <mo stretchy="false">(</mo> <mn>5</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msub> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mn>3</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>. Moreover, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(H_8\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>H</mi> <mn>8</mn> </msub> </math></EquationSource> </InlineEquation> coincides with the closure of the special linear group <i>SL</i>(3)-orbit of the pencil <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\langle x^3+y^3+z^3,\ xyz\rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">⟨</mo> <msup> <mi>x</mi> <mn>3</mn> </msup> <mo>+</mo> <msup> <mi>y</mi> <mn>3</mn> </msup> <mo>+</mo> <msup> <mi>z</mi> <mn>3</mn> </msup> <mo>,</mo> <mspace width="4pt" /> <mi>x</mi> <mi>y</mi> <mi>z</mi> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation> and contains eight additional orbits. The variety is singular, and its singular locus is precisely the union of two orbits, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(O(\langle x^3,x^2y\rangle )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">⟨</mo> <msup> <mi>x</mi> <mn>3</mn> </msup> <mo>,</mo> <msup> <mi>x</mi> <mn>2</mn> </msup> <mi>y</mi> <mo stretchy="false">⟩</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(O(\langle x^2y,x^2z\rangle )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">⟨</mo> <msup> <mi>x</mi> <mn>2</mn> </msup> <mi>y</mi> <mo>,</mo> <msup> <mi>x</mi> <mn>2</mn> </msup> <mi>z</mi> <mo stretchy="false">⟩</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. A key ingredient in our study is a cubic skew-invariant <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(R \in \bigwedge ^3(\textrm{Sym}^3\mathbb {C}^3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo>∈</mo> <msup> <mo>⋀</mo> <mn>3</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mtext>Sym</mtext> <mn>3</mn> </msup> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mn>3</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, defined by <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(R(l^3,m^3,n^3) = (l \wedge m \wedge n)^3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>l</mi> <mn>3</mn> </msup> <mo>,</mo> <msup> <mi>m</mi> <mn>3</mn> </msup> <mo>,</mo> <msup> <mi>n</mi> <mn>3</mn> </msup> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mi>l</mi> <mo>∧</mo> <mi>m</mi> <mo>∧</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mn>3</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, where <i>l</i>,&#xa0;<i>m</i>,&#xa0;<i>n</i> are linear forms in <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\((\mathbb {C}^3)^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mn>3</mn> </msup> <mo stretchy="false">)</mo> </mrow> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>. The vanishing of <i>R</i> characterizes pencils generated by a cubic and its Hessian, and it allows us to write explicit equations defining <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(H_8\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>H</mi> <mn>8</mn> </msub> </math></EquationSource> </InlineEquation>. A crucial geometric step in our argument is the fact that through four general points of <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathbb {P}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> there pass exactly six Hesse configurations, which enables us to compute the multidegree of <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(H_8\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>H</mi> <mn>8</mn> </msub> </math></EquationSource> </InlineEquation> and conclude that it coincides with the variety defined by the invariant <i>R</i>.</p>

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

The Hesse pencil variety

  • Elisabetta Rocchi

摘要

We introduce and study the Hesse pencil variety \(H_8\) H 8 , obtained as the Zariski closure in the Grassmannian G(1, 9) of the set of pencils generated by a smooth plane cubic and its Hessian. We prove that \(H_8\) H 8 has dimension 8 and can be realized as the intersection of G(1, 9) with ten hyperplanes corresponding to the Schur module \(\mathbb {S}_{(5,1)}\mathbb {C}^3\) S ( 5 , 1 ) C 3 . Moreover, \(H_8\) H 8 coincides with the closure of the special linear group SL(3)-orbit of the pencil \(\langle x^3+y^3+z^3,\ xyz\rangle \) x 3 + y 3 + z 3 , x y z and contains eight additional orbits. The variety is singular, and its singular locus is precisely the union of two orbits, \(O(\langle x^3,x^2y\rangle )\) O ( x 3 , x 2 y ) and \(O(\langle x^2y,x^2z\rangle )\) O ( x 2 y , x 2 z ) . A key ingredient in our study is a cubic skew-invariant \(R \in \bigwedge ^3(\textrm{Sym}^3\mathbb {C}^3)\) R 3 ( Sym 3 C 3 ) , defined by \(R(l^3,m^3,n^3) = (l \wedge m \wedge n)^3\) R ( l 3 , m 3 , n 3 ) = ( l m n ) 3 , where lmn are linear forms in \((\mathbb {C}^3)^*\) ( C 3 ) . The vanishing of R characterizes pencils generated by a cubic and its Hessian, and it allows us to write explicit equations defining \(H_8\) H 8 . A crucial geometric step in our argument is the fact that through four general points of \(\mathbb {P}^2\) P 2 there pass exactly six Hesse configurations, which enables us to compute the multidegree of \(H_8\) H 8 and conclude that it coincides with the variety defined by the invariant R.