[論文レビュー] Brauer's centralizer algebras, symplectic Schur algebras and Schur-Weyl duality

Richard Dipper, Stephen Doty+1 more|arXiv (Cornell University)|Mar 24, 2005

Advanced Algebra and Geometry被引用数 5

ひとこと要約

この論文は、任意の無限体 $K$ 上で、シンプレクティック群 $Sp_{2m}(K)$ とブラウアーの中心化代数 $B_n(-2m)$ の間のシュール・ウェイル双対性を確立する。自然なホモモルフィズムが $B_n(-2m)$ からテンソル空間 $(K^{2m})^{\tensor n}$ の自己準同型代数への写像として、$GSp_{2m}(K)$-加群として常に全射であることを証明し、これをオームズの結果から双対的全射性を導出する。

ABSTRACT

In this paper we study Schur-Weyl duality between the symplectic group and Brauer's centralizer algebra over an arbitrary infinite field $K$. We show that the natural homomorphism from the Brauer's centralizer algebra $B_n(-2m)$ to the endomorphism algebra of tensor space $(K^{2m})^{\otimes n}$ as a module over the symplectic similitude group $GSp_{2m}(K)$ (or equivalently, as a module over the symplectic group $Sp_{2m}(K)$) is always surjective. Another surjectivitity, that of the natural homomorphism from the group algebra for $GSp_{2m}(K)$ to the endomorphism algebra of $(K^{2m})^{\otimes n}$ as a module over $B_n(-2m)$, is derived as an easy consequence of S. Oehms' results.

研究の動機と目的

• 任意の無限体 $K$ 上で、シンプレクティック群 $Sp_{2m}(K)$ とブラウアーの中心化代数 $B_n(-2m)$ の間のシュール・ウェイル双対性を確立すること。
• 自然なホモモルフィズムが $B_n(-2m)$ からテンソル空間 $(K^{2m})^{\tensor n}$ の自己準同型代数への写像として、$GSp_{2m}(K)$-加群として全射であることを証明すること。
• S. Oehms の既存の結果を用いて、群代数から同じ自己準同型代数へのホモモルフィズムの双対的全射性を導出すること。

提案手法

• ブラウアーの中心化代数 $B_n(-2m)$ からテンソル空間 $(K^{2m})^{\tensor n}$ の自己準同型代数への自然なホモモルフィズムを利用する。
• シンプレクティックシミリチュード群 $GSp_{2m}(K)$ のテンソル空間への作用を、$B_n(-2m)$-加群として扱う。
• シンプレクティックシュール代数の理論を用いて、$GSp_{2m}(K)$ と $B_n(-2m)$ の表現論を関連付ける。
• S. Oehms の先行研究に依拠して、群代数ホモモルフィズムの双対的全射性を導出する。
• 任意の無限体 $K$ を想定し、結果の一般性を保証する。
• シュール・ウェイル双対性および中心化代数論の標準的技法を用い、シンプレクティック設定における全射性に焦点を当てる。

実験結果

リサーチクエスチョン

• RQ1 ブラウアーの中心化代数 $B_n(-2m)$ からテンソル空間 $(K^{2m})^{\tensor n}$ の自己準同型代数への自然なホモモルフィズムが、$GSp_{2m}(K)$-加群として全射であるか？
• RQ2 任意の無限体 $K$ 上で、$Sp_{2m}(K)$ と $B_n(-2m)$ の間でシュール・ウェイル双対性が成立するか？
• RQ3 既存の結果から、群代数から同じ自己準同型代数へのホモモルフィズムの双対的全射性を導出できるか？
• RQ4 この文脈において、シンプレクティックシュール代数と中心化代数 $B_n(-2m)$ の正確な関係は何か？
• RQ5 $GSp_{2m}(K)$ と $B_n(-2m)$ の作用の下で、$(K^{2m})^{\tensor n}$ の自己準同型代数の構造はどのように分解されるか？

主な発見

• 自然なホモモルフィズムが、$B_n(-2m)$ からテンソル空間 $(K^{2m})^{\tensor n}$ の自己準同型代数への写像として、$GSp_{2m}(K)$-加群として常に全射である。
• 群代数から同じ自己準同型代数へのホモモルフィズムの双対的全射性は、S. Oehms の結果から直接導出される。
• $Sp_{2m}(K)$ と $B_n(-2m)$ の間の双対性は、任意の無限体 $K$ で成立し、代数的に閉体上での先行結果を一般化する。
• シンプレクティックシュール代数は、$GSp_{2m}(K)$ の群代数の商として実現され、自己準同型代数の構造を反映する。
• 中心化代数 $B_n(-2m)$ が、テンソル空間の $GSp_{2m}(K)$-不変自己準同型をすべて捉えていることが確認される。
• この枠組みにより、無限体上での一般性を保ちつつ、自己準同型代数の完全な記述が、シンプレクティック群とブラウアー代数の観点から得られる。