[論文レビュー] Presenting Schur Algebras

Stephen Doty, Anthony Giaquinto|ArXiv.org|Aug 6, 2001

Algebraic structures and combinatorial models被引用数 8

ひとこと要約

本稿は、$\mathfrak{gl}_n$ の包あい代数と整合的な古典的および量子化されたシュール代数の明示的な生成子と関係式を提示し、コスタントの整数基底の部分集合である新しい整数基底を構成する。さらに、ルシュティグの修正量子包あい代数に類似した第二の提示を提供し、射影によってヘッケ代数の新しい整数基底と提示を導出する。

ABSTRACT

Motivated by work of R.M. Green, we obtain a presentation of Schur algebras (both the classical and quantized versions) in terms of generators and relations. The presentation is compatible with the usual presentation of the (quantized or classical) enveloping algebra of gl(n). As a result, we obtain a new ``integral'' basis for Schur algebras which is a subset of Kostant's basis of the integral form of the enveloping algebra (or its q-analogue). Projection onto an appropriate component gives a new "integral" basis and a presentation for the Hecke algebra, compatible with the basis and presentation for the Schur algebra. Finally, we find a second presentation of Schur algebras which is similar to Luzstig's modified form of the quantized enveloping algebra.

研究の動機と目的

• 古典的および量子化されたシュール代数 $S(n,d)$ および $\mathbf{S}(n,d)$ の、普遍包あい代数 $U(\mathfrak{gl}_n)$ 及びその $q$-類似体と整合的な生成子と関係式による提示を提供すること。
• コスタントの整数形式およびルシュティグの整数形式の類似として、整数形式 $S_\mathbb{Z}(n,d)$ および $\mathbf{S}_\mathcal{A}(n,d)$ を構成すること。
• コスタントの基底の部分集合であるシュール代数の新しい整数基底を構成し、射影によりヘッケ代数に対応する基底を導出すること。
• ルシュティグの修正形式 $\dot{\mathbf{U}}$ に類似したシュール代数の第二の提示を与えること。
• 結果をボレルシュール代数およびヘッケ代数に応用し、新しい整数基底と提示をもたらすこと。

提案手法

• $\mathfrak{gl}_n$ と $\Sigma_d$ が $V^\otimes d$ に作用する関係を、二重中心化定理を用いて関連づけ、$S(n,d)$ を $U \to \mathrm{End}(V^\otimes d)$ の表現の像として同定する。
• Serreの $U$ の提示と整合的な生成子と関係式による $S(n,d)$ の提示を、写像 $U \to S(n,d)$ の核の生成集合を特定することで導出する。
• コスタントの基底から導かれる新しい整数基底の $\mathbb{Z}$-線型包として、整数形式 $S_\mathbb{Z}(n,d)$ を構成する。
• 量子の場合への方法の適応：ドリンフェルド＝ジンボの量子包あい代数 $\mathbf{U}$ と整合的な生成子と関係式を用いた $\mathbf{S}(n,d)$ の提示。
• $\mathcal{A}$-形式 $\mathbf{S}_\mathcal{A}(n,d)$ を、ルシュティグの $\mathcal{A}$-形式 $\mathbf{U}_\mathcal{A}$ に類似した新しい整数基底の $\mathcal{A}$-線型包として構成する。
• ルシュティグの $\dot{\mathbf{U}}$ に密接に関連した $\mathbf{S}(n,d)$ の第二の提示を導出し、$v=1$ での特殊化により古典的第二提示が回復されることを示す。

実験結果

リサーチクエスチョン

• RQ1 普遍包あい代数 $U(\mathfrak{gl}_n)$ と整合的な生成子と関係式による古典的シュール代数 $S(n,d)$ の提示は何か？
• RQ2 $S_\mathbb{Z}(n,d)$ の新しい整数基底は、$U_\mathbb{Z}$ のコスタントの整数基底の部分集合として構成可能か？
• RQ3 量子化シュール代数 $\mathbf{S}(n,d)$ は、量子包あい代数 $\mathbf{U}$ と整合的な生成子と関係式でどのように提示できるか？
• RQ4 ルシュティグの修正代数 $\dot{\mathbf{U}}$ に類似した $\mathbf{S}(n,d)$ の第二の提示は存在するか？
• RQ5 ヘッケ代数は、シュール代数の部分代数として実現可能であり、シュール代数の基底から導かれる整数基底と提示を持つのか？

主な発見

• 本稿は、$S(n,d)$ の生成子と関係式による提示を、$U(\mathfrak{gl}_n)$ のSerreの提示と整合的であるように与え、$S_\mathbb{Z}(n,d)$ の新しい整数基底をコスタントの基底の部分集合として確立する。
• 量子の場合には、量子包あい代数 $\mathbf{U}$ の標準的提示と整合的な $\mathbf{S}(n,d)$ の提示が与えられ、$\mathbf{S}_\mathcal{A}(n,d)$ の新しい整数基底が得られる。
• ルシュティグの修正代数 $\dot{\mathbf{U}}$ に密接に関連した $\mathbf{S}(n,d)$ の第二の提示が構成され、$v=1$ での特殊化により古典的第二提示が回復される。
• ヘッケ代数の基底は、$\mathbf{S}_\mathcal{A}(n,d)$ の整数基底の部分集合として得られ、シュール代数からの射影によりヘッケ代数の整数提示が導出される。
• $\mathbf{S}_\mathcal{A}(2,2)$ では次元が $10$ であり、$(2,0)$-軌道に $3$ 個、$(1,1)$-軌道に $4$ 個の基底元がある。$\mathbf{S}_\mathcal{A}(3,3)$ では次元が $165$ であり、$3$ つの軌道がそれぞれ $30$、$108$、$27$ 個の要素を寄与する。
• $\mathbf{S}_\mathcal{A}(n,d)$ の基底元は、$X_{ij}$ の多項式に次数制約を課えた $E_A F_C 1_\lambda$ として明示的に記述され、集合 $\mathbf{Y}_+(\lambda)$ は、次数制限付きの多項式集合の順序付きカルテジアン積として構成される。