[论文解读] 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. 奥厄姆斯 的已有结果，推导出从 $GSp_{2m}(K)$ 的群代数到同一自同态代数作为 $B_n(-2m)$-模的同态的对偶满射性。

提出的方法

• 利用从布劳尔的中心化代数 $B_n(-2m)$ 到张量空间 $(K^{2m})^{\tensor n}$ 的自同态代数的自然同态。
• 分析辛相似群 $GSp_{2m}(K)$ 在张量空间上的作用，将其视为 $B_n(-2m)$-模。
• 应用辛施尔代数理论，关联 $GSp_{2m}(K)$ 与 $B_n(-2m)$ 的表示理论。
• 依赖 S. 奥厄姆斯 的先前结果，推导出群代数同态的对偶满射性。
• 在任意无限域 $K$ 上进行，确保结果的普遍性。
• 采用施尔-外伊姆对偶性与中心化代数理论中的标准技术，重点研究辛情形下的满射性。

实验结果

研究问题

• RQ1 从布劳尔的中心化代数 $B_n(-2m)$ 到 $(K^{2m})^{\tensor n}$ 的自同态代数作为 $GSp_{2m}(K)$-模的自然同态是否满射？
• RQ2 在任意无限域 $K$ 上，$Sp_{2m}(K)$ 与 $B_n(-2m)$ 之间的施尔-外伊姆对偶性是否成立？
• RQ3 能否从已有结果中推导出 $GSp_{2m}(K)$ 的群代数到同一自同态代数的对偶满射性？
• RQ4 在此背景下，辛施尔代数与中心化代数 $B_n(-2m)$ 之间的精确关系是什么？
• RQ5 在 $GSp_{2m}(K)$ 与 $B_n(-2m)$ 的作用下，$(K^{2m})^{\tensor n}$ 的自同态代数的结构如何分解？

主要发现

• 作为 $GSp_{2m}(K)$-模，从布劳尔的中心化代数 $B_n(-2m)$ 到 $(K^{2m})^{\tensor n}$ 的自同态代数的自然同态总是满射。
• 从 $GSp_{2m}(K)$ 的群代数到同一自同态代数作为 $B_n(-2m)$-模的同态的对偶满射性，可直接由 S. 奥厄姆斯 的结果推出。
• 在任意无限域 $K$ 上，$Sp_{2m}(K)$ 与 $B_n(-2m)$ 之间的对偶性成立，推广了此前在代数闭域上的结果。
• 辛施尔代数被实现为 $GSp_{2m}(K)$ 的群代数的商代数，反映了自同态代数的结构。
• 结果证实，中心化代数 $B_n(-2m)$ 捕获了张量空间的所有 $GSp_{2m}(K)$-不变自同态。
• 该框架在无限域上完全描述了自同态代数，以辛群与布劳尔代数的形式呈现，具有完全的普遍性。