Abstract <p> Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1165_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(X\)</EquationSource> </InlineEquation> be a smooth toric variety defined by the fan <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1165_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Sigma\)</EquationSource> </InlineEquation>. We consider <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1165_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Sigma\)</EquationSource> </InlineEquation> as a finite set with topology and define a natural sheaf of graded algebras <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1165_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{A}_\Sigma\)</EquationSource> </InlineEquation> on <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1165_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Sigma\)</EquationSource> </InlineEquation>. The category of modules over <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1165_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{A}_\Sigma\)</EquationSource> </InlineEquation> is studied (together with other related categories). This leads to a certain combinatorial Koszul duality equivalence. </p> <p> We describe the equivariant category of coherent sheaves <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1165_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathrm{coh}_{X,T}\)</EquationSource> </InlineEquation> and a related (slightly bigger) equivariant category <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1165_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="73" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{O}_{X,T}\text{-}\mathrm{mod}\)</EquationSource> </InlineEquation> in terms of sheaves of modules over the sheaf of algebras <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1165_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{A}_\Sigma\)</EquationSource> </InlineEquation>. Eventually (for a complete <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1165_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(X\)</EquationSource> </InlineEquation>), the combinatorial Koszul duality is interpreted in terms of the Serre functor on <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10688_2025_1165_Article_IEq11.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\(D^b(\mathrm{coh}_{X,T})\)</EquationSource> </InlineEquation>. </p>

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

Derived Category of Equivariant Coherent Sheaves on a Smooth Toric Variety and Koszul Duality

  • Valery Lunts

摘要

Abstract

Let \(X\) be a smooth toric variety defined by the fan \(\Sigma\) . We consider \(\Sigma\) as a finite set with topology and define a natural sheaf of graded algebras \(\mathcal{A}_\Sigma\) on \(\Sigma\) . The category of modules over \(\mathcal{A}_\Sigma\) is studied (together with other related categories). This leads to a certain combinatorial Koszul duality equivalence.

We describe the equivariant category of coherent sheaves \(\mathrm{coh}_{X,T}\) and a related (slightly bigger) equivariant category \(\mathcal{O}_{X,T}\text{-}\mathrm{mod}\) in terms of sheaves of modules over the sheaf of algebras \(\mathcal{A}_\Sigma\) . Eventually (for a complete \(X\) ), the combinatorial Koszul duality is interpreted in terms of the Serre functor on \(D^b(\mathrm{coh}_{X,T})\) .