<p>We investigate the Gorenstein weighted projective spaces of dimension 3. Given such a space <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3679_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">P</mi> </math></EquationSource> </InlineEquation>, our first focus is its maximal extension in its anticanonical model <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3679_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{P}\subset \textbf{P}^{g+1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">P</mi> <mo>⊂</mo> <msup> <mi mathvariant="bold">P</mi> <mrow> <mi>g</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>, i.e., the variety <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3679_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="88" /> </InlineMediaObject> <EquationSource Format="TEX">\(Y\subset \textbf{P}^{g+1+r}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Y</mi> <mo>⊂</mo> <msup> <mi mathvariant="bold">P</mi> <mrow> <mi>g</mi> <mo>+</mo> <mn>1</mn> <mo>+</mo> <mi>r</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> of largest dimension such that <i>Y</i> is not a cone and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3679_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">P</mi> </math></EquationSource> </InlineEquation> is a linear section of <i>Y</i>. In Dedieu - Sernesi (The Art of Doing Algebraic Geometry) Thomas Dedieu and Edoardo Sernesi have computed the dimension of <i>Y</i> by cohomological computations on the canonical curves inside <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3679_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">P</mi> </math></EquationSource> </InlineEquation>. We give an explicit description of <i>Y</i> in the cases where it was not known. Next, we examine the general anticanonical divisors of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3679_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">P</mi> </math></EquationSource> </InlineEquation>. These are K3 surfaces, not necessarily primitively polarized. We give a geometric characterization of the curve sections in their primitive polarization.</p>

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

Extensions of Gorenstein weighted projective 3-spaces and characterization of the primitive curves of their surface sections

  • Bruno Dewer

摘要

We investigate the Gorenstein weighted projective spaces of dimension 3. Given such a space \(\textbf{P}\) P , our first focus is its maximal extension in its anticanonical model \(\textbf{P}\subset \textbf{P}^{g+1}\) P P g + 1 , i.e., the variety \(Y\subset \textbf{P}^{g+1+r}\) Y P g + 1 + r of largest dimension such that Y is not a cone and \(\textbf{P}\) P is a linear section of Y. In Dedieu - Sernesi (The Art of Doing Algebraic Geometry) Thomas Dedieu and Edoardo Sernesi have computed the dimension of Y by cohomological computations on the canonical curves inside \(\textbf{P}\) P . We give an explicit description of Y in the cases where it was not known. Next, we examine the general anticanonical divisors of \(\textbf{P}\) P . These are K3 surfaces, not necessarily primitively polarized. We give a geometric characterization of the curve sections in their primitive polarization.