<p>We characterize decomposable principally polarized abelian varieties of the form <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(E\times B\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>E</mi> <mo>×</mo> <mi>B</mi> </mrow> </math></EquationSource> </InlineEquation>, with <i>E</i> an elliptic curve, in two different ways, which are, surprisingly, completely analogous to classical results of curve theory concerning hyperelliptic curves. The first one is by the failure of a normal generation property, namely the generation in degree zero of a certain graded module over the symmetric algebra over <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(H^0(2\Theta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>H</mi> <mn>0</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mn>2</mn> <mi mathvariant="normal">Θ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. This appears to be the first result of this type in the realm of p.p.a.v.’s. The second characterization is by the failure of surjectivity of second order gaussian maps associated to line bundles corresponding to <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(6\Theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>6</mn> <mi mathvariant="normal">Θ</mi> </mrow> </math></EquationSource> </InlineEquation>, or, equivalently, by the fact that at some point, the line bundle corresponding to <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(3\Theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>3</mn> <mi mathvariant="normal">Θ</mi> </mrow> </math></EquationSource> </InlineEquation> fails to separate 2-jets. We also show that this last result is equivalent to an effective version of a theorem of Nakamaye characterizing the above decomposable abelian varieties as those computing the minimal Seshadri constant. Finally we propose some conjectural generalizations relating <i>p</i>-jets separation thresholds, higher gaussian maps subjectivity thresholds, and Seshadri constants.</p>

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

Abelian varieties analogs of two results about algebraic curves

  • Nelson Alvarado,
  • Giuseppe Pareschi

摘要

We characterize decomposable principally polarized abelian varieties of the form \(E\times B\) E × B , with E an elliptic curve, in two different ways, which are, surprisingly, completely analogous to classical results of curve theory concerning hyperelliptic curves. The first one is by the failure of a normal generation property, namely the generation in degree zero of a certain graded module over the symmetric algebra over \(H^0(2\Theta )\) H 0 ( 2 Θ ) . This appears to be the first result of this type in the realm of p.p.a.v.’s. The second characterization is by the failure of surjectivity of second order gaussian maps associated to line bundles corresponding to \(6\Theta \) 6 Θ , or, equivalently, by the fact that at some point, the line bundle corresponding to \(3\Theta \) 3 Θ fails to separate 2-jets. We also show that this last result is equivalent to an effective version of a theorem of Nakamaye characterizing the above decomposable abelian varieties as those computing the minimal Seshadri constant. Finally we propose some conjectural generalizations relating p-jets separation thresholds, higher gaussian maps subjectivity thresholds, and Seshadri constants.