[論文レビュー] Cellular bases of generalized q-Schur algebras

Stephen Doty, Anthony Giaquinto|arXiv (Cornell University)|Dec 29, 2010

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

ひとこと要約

本稿では、定義的イデアル元を介してセルラーモジュールとその双対の基底を貼り合わせることで、一般化 $q$-シュール代数のセルラーベースを構成する。これは $
\mathbb{Q}(v)$ 上で自己完備的であり、基準的基底を用いて任意の底環へ拡張可能である。主な貢献は、セルラーモジュール構造を構築するための新しい一般的手法であり、イデアル元分解を用いた射影モジュールのフィルトレーションへの応用を含む。

ABSTRACT

We show that cellular bases of generalized $q$-Schur algebras can be constructed by gluing arbitrary bases of the cell modules and their dual basis (with respect to the anti-involution giving the cell structure) along defining idempotents. For the rational form, over the field $\mathbb{Q}(v)$ of rational functions in an indeterminate $v$, our proof of this fact is self-contained and independent of the theory of quantum groups. In the general case, over a commutative ring $\Bbbk$ regarded as a $\mathbb{Z}[v,v^{-1}]$-algebra via specialization $v \mapsto q$ for some chosen invertible $q \in \Bbbk$, our argument depends on the existence of the canonical basis.

研究の動機と目的

• 一般化 $q$-シュール代数の有理形 $
  \mathbf{S}(\pi)$ のセルラーベースを、量子群理論に依存せずに自己完備的に構成すること。
• $v \mapsto q$ の特殊化を用いて、この構成を $
  \Bbbk$-形 $
  \mathbf{S}_q(\pi)$ へ拡張すること。
• セルラーベースの構成が、正則表現のイデアル元分解を通じて射影モジュールの明示的フィルトレーションをもたらすことを示すこと。
• 古典的 $q$-シュール代数およびドンキンの一般化シュール代数に関する既知の結果を、任意の有限型根系へ一般化すること。
• 結果として得られるセルラーベースが、特に古典的 $q$-シュール代数においても、型 A でさえも新規であることを確立すること。

提案手法

• 本手法は、先行研究からの関係式を用いた有理形 $
  \mathbf{S}(\pi)$ のイデアル元表示から出発する。
• 各ドミナント重み $\lambda$ に対して、セルラーモジュール $\Delta(\lambda)$ の基底とその反置換に関して双対となる基底を、イデアル元 $1_\lambda$ 沿いに貼り合わせることでセルラーベースを構成する。
• この構成は $
  \mathbb{Q}(v)$ 上で自己完備的であり、ウェイの定理と半単純リー代数の基本的表現論のみに依存する。
• $\Bbbk$-形 $
  \mathbf{S}_q(\pi)$ に対しては、修正量子包あつまりの $
  \mathcal{A}$-形における基準的基底の存在に依存する。
• $p_{\pi,\pi'}$ の剰余写像の核は、$\pi$ の最大重み $\lambda_1$ を持つ $\Delta_q(\lambda_1)$ のコピーの直和に同型な同型型部分モジュールとして特定される。
• 最大重みを降順に逐次処理することで、射影モジュール $\mathbf{S}_q1_\lambda$ のフィルトレーションを帰納的に構成する。

実験結果

リサーチクエスチョン

• RQ1 量子群理論に依存せずに、イデアル元表示と基本的表現論のみを用いて、一般化 $q$-シュール代数のセルラーベースを構成可能か？
• RQ2 特殊化 $v \mapsto q$ を用いて、有理形 $
  \mathbf{S}(\pi)$ からのセルラーベース構成を $
  \Bbbk$-形 $
  \mathbf{S}_q(\pi)$ へどのように拡張できるか？
• RQ3 $\mathbf{S}_q(\pi)$ から $\mathbf{S}_q(\pi')$ への剰余写像 $p_{\pi,\pi'}$ の核の構造は何か？また、これはセルラーモジュール構造とどのように関係するか？
• RQ4 射影モジュール $\mathbf{S}_q1_\lambda$ は、$\pi$ 内の重みのドミナント順序を反映するフィルトレーションに分割可能か？
• RQ5 このようなフィルトレーションの各順次商において、$\Delta_q(\lambda_j)$ の重複度は何か？

主な発見

• セルラーモジュール $\Delta(\lambda)$ の基底とその反置換に関する双対基底を、$1_\lambda$ 沿いに貼り合わせることで、$\mathbf{S}(\pi)$ のセルラーベースを構成し、これは量子群理論に依存しない。
• この構成は $
  \mathbb{Q}(v)$ 上で自己完備的であり、イデアル元表示とウェイの定理にのみ依存する。
• $\mathbf{S}_q(\pi)$ に対しては、基準的基底を用いて拡張可能であり、$p_{\pi,\pi'}$ の核は $\Delta_q(\lambda_1)$ モジュールの直和として特定される。
• $\mathbf{S}_q1_\lambda$ のフィルトレーションにおける $j$ 番目の商における $\Delta_q(\lambda_j)$ の重複度は、$\Delta_q(\lambda_j)$ の $\lambda$-重み空間の $\Bbb{k}$ 上でのランクに等しい。
• 射影モジュール $\mathbf{S}_q1_\lambda$ のフィルトレーションは、最大重みを降順に逐次核を除く帰納的手続きにより構成される。
• 得られるフィルトレーションは同型型であり、各商 $P_j/P_{j-1}$ は $\Delta_q(\lambda_j)$ のコピーの直和として与えられ、ドンキンのフィルトレーション結果の $q$-アナロジーを提供する。