[論文レビュー] The Kostant form of $\mathfrak{U}(sl_n^+)$ and the Borel subalgebra of the Schur algebra S(n,r)

Ana Paula Santana, Ivan Yudin|ArXiv.org|Mar 31, 2008

Algebraic structures and combinatorial models参考文献 15被引用数 4

ひとこと要約

本稿は、Kostant形式 $\mathfrak{A}_n(\mathbb{K})$ の自明な $\mathfrak{U}(\mathfrak{sl}_n^+)$-加群の射影的分解と、シュール代数 $S(n,r)$ のボレル部分代数 $S^+(n,r)$ の単純加群の射影的分解との間で、圏的同値を確立する。著者らは、Kostant代数からシュール代数へ分解を上げる関手 $F_\lambda$ を構成し、$\mathfrak{A}_n(\mathbb{K})$-加群 $\mathbb{K}_{\mathfrak{A}}$ の一様次元加群に対する分解を用いて、$S^+(n,r)$-加群 $\mathbb{K}_\lambda$ の最小射影的分解を導出できることを示している。この際、明示的な表示と、階数付き代数に関するアニクの結果を活用している。

ABSTRACT

Let $A_n(K)$ be the Kostant form of $\mathfrak{U}(sl_n^+)$ and $Γ$ the monoid generated by the positive roots of $sl_n$. For each $λ\in Λ(n,r)$ we construct a functor $F_λ$ from the category of finitely generated $Γ$-graded $A_n(K)$-modules to the category of finite dimensional $S^+(n,r)$-modules, with the property that $F_λ$ maps (minimal) projective resolutions of the one-dimensional $A_n(K)$-module $K_{A}$ to (minimal) projective resolutions of the simple $S^+(n,r)$-module $K_λ$.

研究の動機と目的

• Kostant形式 $\mathfrak{A}_n(\mathbb{K})$ とシュール代数 $S(n,r)$ のボレル部分代数 $S^+(n,r)$ の間で、射影的分解の圏的ブリッジを確立すること。
• 複雑な $S^+(n,r)$-加群の最小射影的分解を構成する問題を、より取り扱いやすい $\mathfrak{A}_n(\mathbb{K})$-加群の問題に還元すること。
• 自明な $\mathfrak{A}_n(\mathbb{K})$-加群の最小射影的分解を、単純な $S^+(n,r)$-加群 $\mathbb{K}_\lambda$ の最小射影的分解へ写像する関手的枠組みを提供すること。
• $\mathfrak{C}_n(\Lambda(n,r)) \cong S^+(n,r)$ を示し、分解構成の背後にある代数的構造を特定すること。

提案手法

• 正のルートから生成されるモノイド $\Gamma$ 上に、$\Gamma$-次数付き代数 $A$ と $\Gamma$-集合 $S$ を用いて、$\Gamma$-次数付き代数 $C(-)$ のプレシェーヴを構成する。
• 適切な条件下で、射影的および最小射影的分解を保存するように、$\Gamma$-次数付き $A$-加群から $\Gamma$-次数付き $C(S)$-加群への関手 $F_x$ を定義する。
• $\mathfrak{A}_n(\mathbb{K})$ が既知の表示を持つ $\Psi_n$-次数付き代数であることを利用し、アニクの階数付き代数に関する結果を適用可能にする。
• 重み構造とルート構造を符号化する関係を備えた、$\mathfrak{A}_n(\mathbb{K})$ と $B_n$ のテンソル代数の商として、代数 $\mathfrak{C}_n(\Lambda(n,r))$ を構成する。
• $V^{\otimes r}$ 上への表現 $\rho_r$ を用いて、$\mathfrak{C}_n(\Lambda(n,r))$ と $S^+(n,r)$ の間に同型を示し、両代数の基底が $T(n,r)$ で添えられたことから同型を証明する。
• 同型 $\mathfrak{C}_n(\Lambda(n,r)) \cong S^+(n,r)$ を用いて、関手 $F_\lambda$ を介して $\mathfrak{A}_n(\mathbb{K})$ から $S^+(n,r)$ へ最小射影的分解を移行する。

実験結果

リサーチクエスチョン

• RQ1 単純な $S^+(n,r)$-加群の最小射影的分解は、Kostant形式 $\mathfrak{A}_n(\mathbb{K})$ からの関手的持ち上げによって構成可能か？
• RQ2 関手 $F_\lambda$ は、$\mathfrak{A}_n(\mathbb{K})$ から $S^+(n,r)$ への分解写像において、最小性と射影性を保存するか？
• RQ3 代数 $\mathfrak{C}_n(\Lambda(n,r))$ はボレル部分代数 $S^+(n,r)$ と同型であり、両代数の間の構造的リンクを提供するか？
• RQ4 $S^+(n,r)$ の分解問題は、自明な $\mathfrak{A}_n(\mathbb{K})$-加群 $\mathbb{K}_{\mathfrak{A}}$ の分解問題に還元可能か？
• RQ5 誘導複体 $\mathfrak{C}_n(\Lambda(n,r)) \otimes_{\mathfrak{C}_n(\mathbb{K})} (P_\bullet \ltimes_{\Psi_n} N_\lambda)$ が、$\mathbb{K}_\lambda$ の最小射影的分解となるための条件は何か？

主な発見

• $\mathfrak{C}_n(\Lambda(n,r))$ はシュール代数 $S(n,r)$ のボレル部分代数 $S^+(n,r)$ と同型であることが、$V^{\otimes r}$ 上の表現 $\rho_r$ を用いて示された。両代数の基底が $T(n,r)$ で添えられたことから一致する。
• 関手 $F_\lambda$ は、自明な $\mathfrak{A}_n(\mathbb{K})$-加群 $\mathbb{K}_{\mathfrak{A}}$ の最小射影的分解を、単純な $S^+(n,r)$-加群 $\mathbb{K}_\lambda$ の最小射影的分解へ写像し、最小性と射影性を保存する。
• $\mathfrak{C}_n(\Lambda(n,r))$ をテンソル代数の商として構成することにより、$\mathfrak{A}_n(\mathbb{K})$ と $B_n$ の次数構造および重み構造と整合性が保証される。
• 表現 $\rho_r$ の像は $\tau_r$ の像を含み、両代数が $T(n,r)$ で添えられた基底を持つため、代数として同型である。
• 複体 $\mathfrak{C}_n(\Lambda(n,r)) \otimes_{\mathfrak{C}_n(\mathbb{K})} (P_\bullet \ltimes_{\Psi_n} N_\lambda)$ は、$S^+(n,r)$ が有限次元であることから、非次数的意味で $\mathbb{K}_\lambda$ の最小射影的分解を導く。
• 両代数が同じ次元を持ち、$T(n,r)$ で添えられた基底を共有することを示すことにより、同型 $\mathfrak{C}_n(\Lambda(n,r)) \cong S^+(n,r)$ が確立され、構造的同値性が確認された。