[論文レビュー] Cluster Variables on Double Bruhat Cells $G^{u,e}$ of Classical Groups and Monomial Realizations of Demazure Crystals

Yuki Kanakubo, Toshiki Nakashima|arXiv (Cornell University)|Apr 20, 2016

Algebraic structures and combinatorial models参考文献 7被引用数 3

ひとこと要約

本稿は、古典的型 $ B_r $, $ C_r $, $ D_r $ の縮小された二重ブルガット・セル $ G^{u,e} $ における非自明な最後の $ r $ 個の初期クラスター変数について、単項式によるデマールークリスタルの実現を確立する。これらの一般化された小行列式 $ \Delta^L(k;\mathbf{i}) $ は、特定のデマールークリスタル内の単項式の和として表され、型 $ B_r $, $ C_r $, $ D_r $ では係数が1より大きい項が現れるが、型 $ A_r $ とは異なり、その特徴が明確に示される。主な貢献は、型 $ A_r $ を超える範囲においてクラスターアルジュブラ変数とクリスタル格子実現の間の構造的関係を同定することにある。

ABSTRACT

Let $G$ be a simply connected simple algebraic group over $\mathbb{C}$, $B$ and $B_-$ its two opposite Borel subgroups, and $W$ the associated Weyl group. It is shown that the coordinate ring ${\mathbb C}[G^{u,v}]$ ($u$, $v\in W$) of the double Bruhat cell $G^{u,v}=BuB\cap B_-vB_-$ is isomorphic to the cluster algebra ${\mathcal{A}}( extbf{i})_{\mathbb C}$ and the initial cluster variables of ${\mathbb C}[G^{u,v}]$ are the generalized minors $Δ(k; extbf{i})$ by Berenstein, Fomin, Zelevinsky, Goodearl and Yakimov. In the case that a classical group $G$ is of type ${ m B}_r$, ${ m C}_r$ or ${ m D}_r$, we shall describe the non-trivial last $r$ initial cluster variables $\{Δ(k; extbf{i})\}_{(m-2)r

研究の動機と目的

• 型 $ A_r $ からの初期クラスター変数の単項式実現を、古典的型 $ B_r $, $ C_r $, $ D_r $ に拡張すること。
• 縮小された二重ブルガット・セル $ L^{u,e} $ における非自明な最後の $ r $ 個の初期クラスター変数 $ \Delta^L(k;\mathbf{i}) $ を、デマールークリスタルに基づいて特徴づけること。
• 型 $ B_r $, $ C_r $, $ D_r $ では係数が1より大きい項が現れるのに対し、型 $ A_r $ ではそのような項が現れない理由を説明すること。
• 特に $ u $ が最長単語 $ \mathbf{i}_0 $ の左因子に対応する場合に、一般化された小行列式をクリスタル格子モデルを通じて理解するための構造的枠組みを提供すること。
• 反例によって示されるように、特定のクラスター変数に対してデマールークリスタルモデルが成立しない限界を同定すること。

提案手法

• クラスターアルジュブラ構造の幾何的設定として、縮小された二重ブルガット・セル $ L^{u,e} = (NuN) \cap (B_-eB_-) $ を用いる。
• 座標環 $ \mathbb{C}[L^{u,e}] $ とクラスターアルジュブラ $ \mathcal{A}(\mathbf{i})_{\mathbb{C}} $ 間の同型を適用し、初期クラスター変数を一般化された小行列式 $ \Delta(k;\mathbf{i}) $ として実現する。
• 特に $ B(\Lambda_r) $ を用いた基本表現のクリスタル基底を通じて、デマールークリスタルの単項式実現を用い、$ \Delta^L(k;\mathbf{i}) $ を単項式の和として表現する。
• カシワラのクリスタル作用素 $ \tilde{e}_i $ と $ \tilde{f}_i $ を用いてクリスタル格子の構造を解析し、単項式写像 $ \mu $ によるデマールー成分の像を同定する。
• 降下作用素 $ \tilde{e}_i $ の再帰的適用により、$ \mathbb{B}^{(+)}_{sp} $、すなわち $ \Delta^L(k;\mathbf{i}) $ に対応する単項式の集合に属する単項式を再構成する。
• 包含関係と明示的な作用素列を用いて、等式 $ \mu(B^{-}(\Lambda_r)_{u_{\leq k}}) = \mathbb{B}^{(+)}_{sp} $ を証明し、単項式実現を確立する。

実験結果

リサーチクエスチョン

• RQ1 型 $ B_r $, $ C_r $, $ D_r $ の $ L^{u,e} $ 上で、非自明な最後の $ r $ 個の初期クラスター変数は、どのようにクリスタル格子モデルを用いて表現できるか？
• RQ2 型 $ B_r $, $ C_r $, $ D_r $ では $ \Delta^L(k;\mathbf{i}) $ の単項式展開に係数が1より大きい項が現れるが、型 $ A_r $ ではそのような項が現れないのはなぜか？
• RQ3 一般化された小行列式 $ \Delta(k;\mathbf{i}) $ は、どの程度までデマールークリスタル上の和として実現可能であり、どのような場合にその実現が失敗するか？
• RQ4 単項式 $ \Delta^L(k;\mathbf{i}) $ の正確な組合せ的構造は何か？ そして、その構造はウェイル群の元 $ u $ と縮小語 $ \mathbf{i} $ とどのように関係しているか？
• RQ5 係数が1より大きい場合に適応可能な、デマールークリスタルを超える新しい組合せ的クラスのクリスタルを抽象化できるか？

主な発見

• 型 $ (m-2)r < k \leq (m-1)r $ の一般化された小行列式 $ \Delta^L(k;\mathbf{i}) $ は、デマールークリスタル $ B(\Lambda_r)_{u_{\leq k}} $ 内の単項式の和として表され、単項式写像 $ \mu $ によってクリスタル格子が単項式の部分集合として実現される。
• 型 $ C_2 $ において、$ \Delta^L(2;\mathbf{i}) = \frac{Y_{1,1}^2}{Y_{1,2}} + 2\frac{Y_{1,1}}{Y_{2,1}} + \frac{Y_{1,2}}{Y_{2,1}^2} + \frac{1}{Y_{2,2}} $ が、最高重量 $ Y_{0,2} $ を除くすべての頂点を持つクリスタルグラフ $ B(\Lambda_2) $ の和と一致し、単項式実現が確認される。
• 係数が1より大きい項、たとえば $ 2\frac{Y_{1,1}}{Y_{2,1}} $ の2は、クリスタル格子内の重複に起因し、型 $ A_r $ ではそのような特徴が存在しない。
• 型 $ C_3 $ の $ G $ に対して、$ \Delta^L(3;\mathbf{i}) $ にはデマールークリスタルに一致しない係数2の項が含まれており、すべてのクラスター変数がデマールークリスタル上の和として表されないことが示される。
• 単項式集合 $ \mathbb{B}^{(+)}_{sp} $ が $ \mu(B^{-}(\Lambda_r)_{u_{\leq k}}) $ に等しいことが示され、クリスタル作用素を用いた単項式実現が証明される。
• 証明は、最低重量ベクトル $ D(m,r+1) $ から $ \mathbb{B}^{(+)}_{sp} $ 内の任意の単項式へと至る降下作用素 $ \tilde{e}_i $ の列を構成することに依拠し、全射性が確立される。