[論文レビュー] PBW-type filtration on quantum groups of type $A_n$

Xin Fang, Ghislain Fourier+1 more|arXiv (Cornell University)|Mar 18, 2015

Algebraic structures and combinatorial models参考文献 17被引用数 6

ひとこと要約

本稿は、型$A_n$の量子群の負部分に$Ν$-フィルトレーションを導入し、対応する順次代数を$q$-可換多項式代数として実現する。クイバーのホール代数を用いることで、任意の単純有限次元モジュールの順次モジュールが、その代数の単項式イデアルによる商と同型であることを証明し、そのモジュールに単項式基底を、正多面体$P(\lambda)$の格子点によってパラメトライズする。これにより、単項式消滅イデアルを持つ、古典的PBW枠組みの量子版が確立される。

ABSTRACT

We will introduce an $\mathbb{N}$-filtration on the negative part of a quantum group of type $A_n$, such that the associated graded algebra is a q-commutative polynomial algebra. This filtration is given in terms of the representation theory of quivers, by realizing the quantum group as the Hall algebra of a quiver. We show that the induced associated graded module of any simple finite-dimensional module (of type 1) is isomorphic to a quotient of this polynomial algebra by a monomial ideal, and we provide a monomial basis for this associated graded module. This construction can be viewed as a quantum analog of the classical PBW framework, and in fact, by considering the classical limit, this basis is the monomial basis provided by Feigin, Littelmann and the second author in the classical setup.

研究の動機と目的

• 型$A_n$の量子群の負部分に、対応する順次代数が$q$-可換多項式代数となるような$Ν$-フィルトレーションを構成すること。
• クイバーのホール代数として量子群を実現し、フィルトレーションの表現論的構成を可能にすること。
• 任意の単純有限次元モジュール（タイプ1）の順次モジュールが、$q$-多項式代数の単項式イデアルによる商と同型であることを示すこと。
• 順次モジュールに、正多面体$P(\lambda)$の格子点によってパラメトライズされる単項式基底を提供すること。

提案手法

• フィルトレーションは、正根$\alpha_i + \cdots + \alpha_j$に対応する量子PBW根ベクトル$F_{i,j}$に、度数$(j-i+1)(n-j+1)$を割り当てる度数関数によって定義される。
• この構成は、$U_q(\mathfrak{n}^-)$のホール代数実現に依存しており、基底要素はクイバーの同型類の表現に対応する。
• 順次代数$\mathrm{gr}_{\mathcal{F}}U_q(\mathfrak{n}^-)$が、$S_q(\mathfrak{n}^-)$、すなわち$q$-可換多項式代数と同型であることが示される。
• 単純モジュール$V_q(\lambda)$へのフィルトレーションは、$\mathcal{F}_s V_q(\lambda) = \mathcal{F}_s U_q(\mathfrak{n}^-) \cdot \mathbf{v}_\lambda$によって誘導され、対応する順次モジュール$V_q^\mathcal{F}(\lambda)$が得られる。
• モジュール準同型$\psi: S_q(\mathfrak{n}^-) \to V_q^\mathcal{F}(\lambda)$を$x \mapsto x \cdot \mathbf{v}_\lambda$で定義し、その核を$I_q^\mathcal{F}(\lambda)$とおくことで、$V_q^\mathcal{F}(\lambda) \cong S_q(\mathfrak{n}^-)/I_q^\mathcal{F}(\lambda)$が得られる。
• 特殊化$q=1$を用いた線形独立性の証明により、古典的ケースに還元し、$\mathbf{A}_1$における係数の背理法を用いる。

実験結果

リサーチクエスチョン

• RQ1 型$A_n$の量子群の負部分に、対応する順次代数が$q$-可換多項式代数となるようなPBW型のフィルトレーションを構成できるか？
• RQ2 このようなフィルトレーションのもとで、任意の単純有限次元モジュールの順次モジュールに単項式基底が存在するか？
• RQ3 量子設定下でも、順次モジュールの消滅イデアルが単項式であるか？
• RQ4 この構成は、クイバーのホール代数を用いて実現可能であり、量子群とクイバーの表現論を結びつけるか？
• RQ5 この量子フィルトレーションは、$q \to 1$の極限において、古典的PBW枠組みとどのように関係するか？

主な発見

• フィルトレーション$\mathcal{F}_\bullet U_q(\mathfrak{n}^-)$は、量子群にフィルター代数構造をもたらし、その順次代数は$S_q(\mathfrak{n}^-)$、すなわち$q$-可換多項式代数と同型である。
• 任意の単純有限次元モジュール$V_q(\lambda)$の順次モジュール$V_q^\mathcal{F}(\lambda)$は、$I_q^\mathcal{F}(\lambda)$を単項式イデアルとして、$S_q(\mathfrak{n}^-)/I_q^\mathcal{F}(\lambda)$と同型である。
• $\{F^{\mathbf{p}} \mathbf{v}_\lambda \mid \mathbf{p} \in S(\lambda)\}$の集合は、$S(\lambda)$が多面体$P(\lambda)$の格子点をパラメトライズするように、$V_q^\mathcal{F}(\lambda)$の単項式基底をなす。
• 特殊化$q=1$において、消滅イデアルの単項式性が保たれ、フェイジン、リッテルマン、および第二著者の古典的単項式基底が回復される。
• この構成により、全順序を必要とせずとも単項式消滅イデアルをもつ、古典的PBW枠組みの量子版が得られる。
• $\deg(F_{i,j}) = (j-i+1)(n-j+1)$という度数関数は、ホール代数構造と$S_q(\mathfrak{n}^-)$における$q$-可換関係と整合性を持つ。