<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2024_1011_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation> be a parahoric Bruhat–Tits group scheme arising from a <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2024_1011_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation>-curve <i>C</i> and a certain <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2024_1011_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation>-action on a simple algebraic group <i>G</i> for some finite cyclic group <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2024_1011_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation>. We prove the flatness of Beilinson–Drinfeld Schubert varieties of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2024_1011_Article_IEq5.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation>, we determine the rigidified Picard group of the Beilinson–Drinfeld Grassmannian <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2024_1011_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{Gr}_{\mathcal {G}, C^n }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>Gr</mtext> <mrow> <mi mathvariant="script">G</mi> <mo>,</mo> <msup> <mi>C</mi> <mi>n</mi> </msup> </mrow> </msub> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2024_1011_Article_IEq7.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation>, and we establish the factorizable and equivariant structures on rigidified line bundles over <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2024_1011_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{Gr}_{\mathcal {G}, C^n }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>Gr</mtext> <mrow> <mi mathvariant="script">G</mi> <mo>,</mo> <msup> <mi>C</mi> <mi>n</mi> </msup> </mrow> </msub> </math></EquationSource> </InlineEquation>. We develop an algebraic theory of global Demazure modules of twisted current algebras, and using our geometric results we prove that when <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2024_1011_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(C=\mathbb {A}^1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo>=</mo> <msup> <mrow> <mi mathvariant="double-struck">A</mi> </mrow> <mn>1</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, the spaces of global sections of line bundles on BD Schubert varieties of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2024_1011_Article_IEq10.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation> are dual to the twisted global Demazure modules. This generalizes the work of Dumanski–Feigin–Finkelberg in the untwisted setting.</p>

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

Beilinson–Drinfeld Schubert varieties of parahoric group schemes and twisted global Demazure modules

  • Jiuzu Hong,
  • Huanhuan Yu

摘要

Let \(\mathcal {G}\) G be a parahoric Bruhat–Tits group scheme arising from a \(\Gamma \) Γ -curve C and a certain \(\Gamma \) Γ -action on a simple algebraic group G for some finite cyclic group \(\Gamma \) Γ . We prove the flatness of Beilinson–Drinfeld Schubert varieties of \(\mathcal {G}\) G , we determine the rigidified Picard group of the Beilinson–Drinfeld Grassmannian \(\textrm{Gr}_{\mathcal {G}, C^n }\) Gr G , C n of \(\mathcal {G}\) G , and we establish the factorizable and equivariant structures on rigidified line bundles over \(\textrm{Gr}_{\mathcal {G}, C^n }\) Gr G , C n . We develop an algebraic theory of global Demazure modules of twisted current algebras, and using our geometric results we prove that when \(C=\mathbb {A}^1\) C = A 1 , the spaces of global sections of line bundles on BD Schubert varieties of \(\mathcal {G}\) G are dual to the twisted global Demazure modules. This generalizes the work of Dumanski–Feigin–Finkelberg in the untwisted setting.