<p>Bielliptic surfaces are the last family of Kodaira dimension zero algebraic surfaces without a classification result for the Chern characters of stable sheaves. We rectify this and prove such a classification using a combination of classical techniques, on the one hand, and derived category and Bridgeland stability techniques, on the other. Along the way, we prove the existence of projective coarse moduli spaces of objects in the derived category of a bielliptic surface that Bridgeland semistable with respect to a generic stability condition. By systematically studying the connection between Bridgeland wall-crossing and birational geometry, we show that for any two generic stability conditions <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3659_Article_IEq1.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">$\tau ,\sigma $</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>τ</mi> <mo>,</mo> <mi>σ</mi> </mrow> </math></EquationSource> </InlineEquation>, the two moduli spaces <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3659_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">$M_\tau (\textbf{v})$</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mi>τ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">v</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3659_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">$M_\sigma (\textbf{v})$</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mi>σ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">v</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of objects of Chern character <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3659_Article_IEq4.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">$\textbf{v}$</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">v</mi> </math></EquationSource> </InlineEquation> that are semistable with respect to <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3659_Article_IEq5.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">$\tau $</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation> (resp. <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3659_Article_IEq6.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">$\sigma $</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>) are birational. As a consequence, we show that for primitive <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3659_Article_IEq7.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">$\textbf{v}$</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">v</mi> </math></EquationSource> </InlineEquation>, the moduli space of stable sheaves of class <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3659_Article_IEq8.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">$\textbf{v}$</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">v</mi> </math></EquationSource> </InlineEquation> is birational to a moduli space of stable sheaves whose Chern character has one of finitely many easily understood “shapes".</p>

Stable sheaves on bielliptic surfaces: from the classical to the modern

期刊论文
出版模式：

开放获取
发表日期：

2025年1月11日

查看全文

Howard Nuer

摘要

Bielliptic surfaces are the last family of Kodaira dimension zero algebraic surfaces without a classification result for the Chern characters of stable sheaves. We rectify this and prove such a classification using a combination of classical techniques, on the one hand, and derived category and Bridgeland stability techniques, on the other. Along the way, we prove the existence of projective coarse moduli spaces of objects in the derived category of a bielliptic surface that Bridgeland semistable with respect to a generic stability condition. By systematically studying the connection between Bridgeland wall-crossing and birational geometry, we show that for any two generic stability conditions $\tau ,\sigma $ $τ, σ$ , the two moduli spaces $M_\tau (\textbf{v})$ $M_{τ} (v)$ and $M_\sigma (\textbf{v})$ $M_{σ} (v)$ of objects of Chern character $\textbf{v}$ $v$ that are semistable with respect to $\tau $ $τ$ (resp. $\sigma $ $σ$ ) are birational. As a consequence, we show that for primitive $\textbf{v}$ $v$ , the moduli space of stable sheaves of class $\textbf{v}$ $v$ is birational to a moduli space of stable sheaves whose Chern character has one of finitely many easily understood “shapes".