<p>A regular semisimple Hessenberg variety <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({{\,\textrm{Hess}\,}}(S,h)\)</EquationSource> </InlineEquation> is a smooth subvariety of the full flag variety <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({{\,\textrm{Fl}\,}}(\mathbb C^n)\)</EquationSource> </InlineEquation> associated with a regular semisimple matrix <i>S</i> of order <i>n</i> and a function <i>h</i> from <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\{1,2,\dots ,n\}\)</EquationSource> </InlineEquation> to itself satisfying a certain condition. We show that when <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({{\,\textrm{Hess}\,}}(S,h)\)</EquationSource> </InlineEquation> is connected and not the entire space <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({{\,\textrm{Fl}\,}}(\mathbb C^n)\)</EquationSource> </InlineEquation>, the reductive part of the identity component <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({{\,\textrm{Aut}\,}}^0({{\,\textrm{Hess}\,}}(S,h))\)</EquationSource> </InlineEquation> of the automorphism group <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\({{\,\textrm{Aut}\,}}({{\,\textrm{Hess}\,}}(S,h))\)</EquationSource> </InlineEquation> of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\({{\,\textrm{Hess}\,}}(S,h)\)</EquationSource> </InlineEquation> is an algebraic torus of dimension <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(n-1\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\({{\,\textrm{Aut}\,}}({{\,\textrm{Hess}\,}}(S,h))/{{{\,\textrm{Aut}\,}}^0({{\,\textrm{Hess}\,}}(S,h))}\)</EquationSource> </InlineEquation> is isomorphic to a subgroup of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathfrak {S}_n\)</EquationSource> </InlineEquation> or <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathfrak {S}_n \times \{\pm 1\}\)</EquationSource> </InlineEquation>, where <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathfrak {S}_n\)</EquationSource> </InlineEquation> is the symmetric group of degree <i>n</i>. As a byproduct of our argument, we show that <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\({{\,\textrm{Aut}\,}}(X)/{{{\,\textrm{Aut}\,}}^0(X)}\)</EquationSource> </InlineEquation> is a finite group for any projective GKM manifold <i>X</i>.</p>

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

Automorphisms of GKM Graphs and Regular Semisimple Hessenberg Varieties

  • Donghoon Jang,
  • Shintarô Kuroki,
  • Mikiya Masuda,
  • Takashi Sato,
  • Haozhi Zeng

摘要

A regular semisimple Hessenberg variety \({{\,\textrm{Hess}\,}}(S,h)\) is a smooth subvariety of the full flag variety \({{\,\textrm{Fl}\,}}(\mathbb C^n)\) associated with a regular semisimple matrix S of order n and a function h from \(\{1,2,\dots ,n\}\) to itself satisfying a certain condition. We show that when \({{\,\textrm{Hess}\,}}(S,h)\) is connected and not the entire space \({{\,\textrm{Fl}\,}}(\mathbb C^n)\) , the reductive part of the identity component \({{\,\textrm{Aut}\,}}^0({{\,\textrm{Hess}\,}}(S,h))\) of the automorphism group \({{\,\textrm{Aut}\,}}({{\,\textrm{Hess}\,}}(S,h))\) of \({{\,\textrm{Hess}\,}}(S,h)\) is an algebraic torus of dimension \(n-1\) and \({{\,\textrm{Aut}\,}}({{\,\textrm{Hess}\,}}(S,h))/{{{\,\textrm{Aut}\,}}^0({{\,\textrm{Hess}\,}}(S,h))}\) is isomorphic to a subgroup of \(\mathfrak {S}_n\) or \(\mathfrak {S}_n \times \{\pm 1\}\) , where \(\mathfrak {S}_n\) is the symmetric group of degree n. As a byproduct of our argument, we show that \({{\,\textrm{Aut}\,}}(X)/{{{\,\textrm{Aut}\,}}^0(X)}\) is a finite group for any projective GKM manifold X.