<p>The Peterson variety (which we denote by <i>Y</i>) is a subvariety of the flag variety, introduced by Dale Peterson to describe the quantum cohomology rings of all the partial flag varieties. Motivated by the mirror symmetry for partial flag varieties, Rietsch studied the totally nonnegative part <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3700_Article_IEq1.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(Y_{\ge 0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>Y</mi> <mrow> <mo>≥</mo> <mn>0</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> and its cell decomposition. Based on the structure of those cells, Rietsch gave the following conjecture in Lie type A; as a cell decomposed space, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3700_Article_IEq2.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(Y_{\ge 0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>Y</mi> <mrow> <mo>≥</mo> <mn>0</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> is homeomorphic to the cube <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3700_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="TEX">\([0,1]^{\dim _{\mathbb {C}}Y}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mrow> <msub> <mo>dim</mo> <mi mathvariant="double-struck">C</mi> </msub> <mi>Y</mi> </mrow> </msup> </math></EquationSource> </InlineEquation>. In this paper, we give a proof of Rietsch’s conjecture on <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3700_Article_IEq4.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(Y_{\ge 0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>Y</mi> <mrow> <mo>≥</mo> <mn>0</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> in Lie type A by using toric geometry which is closely related to the Peterson variety.</p>

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

Totally nonnegative part of the Peterson variety in Lie type A

  • Hiraku Abe,
  • Haozhi Zeng

摘要

The Peterson variety (which we denote by Y) is a subvariety of the flag variety, introduced by Dale Peterson to describe the quantum cohomology rings of all the partial flag varieties. Motivated by the mirror symmetry for partial flag varieties, Rietsch studied the totally nonnegative part \(Y_{\ge 0}\) Y 0 and its cell decomposition. Based on the structure of those cells, Rietsch gave the following conjecture in Lie type A; as a cell decomposed space, \(Y_{\ge 0}\) Y 0 is homeomorphic to the cube \([0,1]^{\dim _{\mathbb {C}}Y}\) [ 0 , 1 ] dim C Y . In this paper, we give a proof of Rietsch’s conjecture on \(Y_{\ge 0}\) Y 0 in Lie type A by using toric geometry which is closely related to the Peterson variety.