[論文レビュー] Representation type of finite quiver Hecke algebras of type $A^{(2)}_{2\ell}$

Susumu Ariki, Euiyong Park|arXiv (Cornell University)|Aug 4, 2012

Algebraic structures and combinatorial models参考文献 37被引用数 5

ひとこと要約

本稿は、型 $A^{(2)}_{2\ell}$ の有限クーヴィー・ヘケ代数について、次元公式と表現型の判定基準を確立し、Iwahori-Hecke代数のErdmannおよびNakanoの定理を一般化する。これらの代数は $k=0$ のとき単純であり、$k=1$ のとき有限表現型であり、$k\geq2$ のときワイルド表現型を示し、臨界型（tame）は出現しない。これは、巡回的ヘケ代数を超える既知の結果の拡張である。

ABSTRACT

We study cyclotomic quiver Hecke algebras $R^{Λ_0}(β)$ in type $A^{(2)}_{2\ell}$, where $Λ_0$ is the fundamental weight. The algebras are natural $A^{(2)}_{2\ell}$-type analogue of Iwahori-Hecke algebras associated with the symmetric group, from the viewpoint of the Fock space theory developed by the first author and his collaborators. We give a formula for the dimension of the algebra, and a simple criterion to tell the representation type. The criterion is a natural generalization of Erdmann and Nakano's for the Iwahori-Hecke algebras. Except for the examples coming from cyclotomic Hecke algebras, no results of these kind existed for cyclotomic quiver Hecke algebras, and our results are the first instances beyond the case of cyclotomic Hecke algebras.

研究の動機と目的

• Iwahori-Hecke代数から型 $A^{(2)}_{2\ell}$ の巡回的クーヴィー・ヘケ代数へのErdmannおよびNakanoの表現型分類の拡張。
• 巡回的クーヴィー・ヘケ代数の理論における長年の欠落であった、$R^{\Lambda_0}(\beta)$ の次元公式の提供。
• 優位順序と正規表からのイデムポテンの使用により、$R^{\Lambda_0}(\beta)$ の一般化されたセル構造の確立。
• $\ell \geq 1$ 全体にわたる $R^{\Lambda_0}(\beta)$ の表現型の均一な決定、$A^{(2)}_2$ の場合を含む。
• この族では臨界表現型が出現しないことを示し、他のリー型とは対照的である。

提案手法

• 型 $A^{(2)}_{2\ell}$ における基本的重み $\Lambda_0$ に関連する巡回的クーヴィー・ヘケ代数 $R^{\Lambda_0}(\beta)$ を、Fock空間の枠組みを用いて定義する。
• Weyl群の軌道と重み分解 $\beta = \Lambda_0 - \kappa + k\delta$ を用いて代数をパrameter化する。
• 優位順序の下でのシフトされたヤング図形によって添字付けられる二側イデアル $J^{<\lambda}$ によるフィルトレーションを通じて、一般化されたセル構造を構成する。
• セルモジュール $C(\lambda) = Ae_\lambda / J^{<\lambda}e_\lambda$ と双モジュール $C(\lambda) \otimes_{B^\lambda} C(\lambda)^{\rm op} \to A/J^{<\lambda}$ を定義し、乗法写像が構造を誘導することを示す。
• $ (C(\lambda), C(\lambda)^{\rm op}) $ が弱モリタ対をなすことを証明し、一般化されたセル代数構造を確立する。
• 一般化されたセル構造を応用して、次元公式を導出し、パrameter $k$ を用いた表現型の分析を行う。

実験結果

リサーチクエスチョン

• RQ1 型 $A^{(2)}_{2\ell}$ の巡回的クーヴィー・ヘケ代数 $R^{\Lambda_0}(\beta)$ の次元は何か？
• RQ2 $R^{\Lambda_0}(\beta)$ の表現型は何か？ そして重みパラメータ $k$ にどのように依存するか？
• RQ3 $A^{(2)}_{2\ell}$ の表現型分類は、$\ell \geq 1$ 全体にわたって、ErdmannおよびNakanoの結果を均一に一般化するか？ これには $\ell=1$ の場合も含む。
• RQ4 正規表と優位順序を用いて、$R^{\Lambda_0}(\beta)$ の一般化されたセル構造を構成できるか？
• RQ5 この族では臨界表現型が出現するか、それとも $A^{(1)}_{e-1}$ の場合と同様に出現しないか？

主な発見

• $R^{\Lambda_0}(\beta)$ の次元は、重み $k$ と $e$-コア分割に依存する公式で与えられ、これまでは巡回的ヘケ代数を超える結果が得られていなかった。
• $R^{\Lambda_0}(\beta)$ は $k=0$ のとき単純であり、$k=1$ のとき有限表現型だが半単純ではない。$k \geq 2$ のときワイルド表現型を示し、臨界表現型は出現しない。
• 表現型の基準は $\ell \geq 1$ 全体にわたって一様であり、$A^{(2)}_2$ の場合を含む。これは $A^{(1)}_{e-1}$ 型の振る舞いとは対照的である。
• 一般化されたセル構造は、二側イデアル $J^{<\lambda}$ によるフィルトレーションを通じて構成され、セルモジュールは正規表からのイデムポテン $e_\lambda$ を用いて定義される。
• 乗法写像 $\varphi_{A/J^{<\lambda}}$ と $\varphi_{B^\lambda}$ は弱モリタ対の公理を満たし、一般化されたセル性が確認される。
• $\varphi_{A/J^{<\lambda}}$ が反対置換と可換であるとき、$\varphi_{B^\lambda}$ によって誘導される双線形形式 $\langle x,y \rangle$ は対称的であり、一般化されたセル枠組みを支持する。