Abstract <p> We classify all smooth projective toric surfaces containing exactly one exceptional curve. We show that every such surface is isomorphic to either <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb F_1\)</EquationSource> </InlineEquation> or a surface <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_r\)</EquationSource> </InlineEquation> defined by a rational number <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(r\in\mathbb Q\setminus\mathbb Z\)</EquationSource> </InlineEquation> (<InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq4.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(r&gt;1\)</EquationSource> </InlineEquation>). If <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(a:=[r]\)</EquationSource> </InlineEquation> then <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_r\)</EquationSource> </InlineEquation> is obtained from the minimal desingularization of the weighted projective plane <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb P(1,2,2a+1)\)</EquationSource> </InlineEquation> by a sequence of blow-ups of length equal to the level of the rational number <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="85" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{r\}\in (0,1)\)</EquationSource> </InlineEquation> in the classical Farey tree. We show that if <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(r = b/c\)</EquationSource> </InlineEquation> with coprime <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(b\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq11.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(c\)</EquationSource> </InlineEquation>, then <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_r\)</EquationSource> </InlineEquation> is the minimal desingularization of the weighted projective plane <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb P(1,c,b)\)</EquationSource> </InlineEquation>. We apply the two-dimensional regular fans <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Sigma_r\)</EquationSource> </InlineEquation> of toric surfaces <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_r\)</EquationSource> </InlineEquation> to construct two-dimensional colored fans <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq16.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Sigma_r^{\text{c}}\)</EquationSource> </InlineEquation> of minimal horospherical threefolds <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq17.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(V_r\)</EquationSource> </InlineEquation> having a regular <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq18.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="95" /> </InlineMediaObject> <EquationSource Format="TEX">\((\mathrm{SL}(2)\times\mathbb G_{\text{m}})\)</EquationSource> </InlineEquation>-action. The varieties <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq17.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(V_r\)</EquationSource> </InlineEquation> are toric and minimal. Their classification was obtained by D. Guan. We establish a direct combinatorial connection between the three-dimensional fans <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq20.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\widetilde{\Sigma}{}^{\text{c}}_r\)</EquationSource> </InlineEquation> of threefolds <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq17.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(V_r\)</EquationSource> </InlineEquation> and the two-dimensional fans <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Sigma_r\)</EquationSource> </InlineEquation> of surfaces <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8530_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_r\)</EquationSource> </InlineEquation>. </p>

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

On the Classification of Smooth Toric Surfaces with Exactly One Exceptional Curve

  • Victor Batyrev

摘要

Abstract

We classify all smooth projective toric surfaces containing exactly one exceptional curve. We show that every such surface is isomorphic to either \(\mathbb F_1\) or a surface \(S_r\) defined by a rational number \(r\in\mathbb Q\setminus\mathbb Z\) ( \(r>1\) ). If \(a:=[r]\) then \(S_r\) is obtained from the minimal desingularization of the weighted projective plane \(\mathbb P(1,2,2a+1)\) by a sequence of blow-ups of length equal to the level of the rational number \(\{r\}\in (0,1)\) in the classical Farey tree. We show that if \(r = b/c\) with coprime \(b\) and \(c\) , then \(S_r\) is the minimal desingularization of the weighted projective plane \(\mathbb P(1,c,b)\) . We apply the two-dimensional regular fans \(\Sigma_r\) of toric surfaces \(S_r\) to construct two-dimensional colored fans \(\Sigma_r^{\text{c}}\) of minimal horospherical threefolds \(V_r\) having a regular \((\mathrm{SL}(2)\times\mathbb G_{\text{m}})\) -action. The varieties \(V_r\) are toric and minimal. Their classification was obtained by D. Guan. We establish a direct combinatorial connection between the three-dimensional fans \(\widetilde{\Sigma}{}^{\text{c}}_r\) of threefolds \(V_r\) and the two-dimensional fans \(\Sigma_r\) of surfaces \(S_r\) .