[论文解读] Reciprocity Algebras and Branching for Classical Symmetric Pairs

Roger Howe, Eng-Chye Tan+1 more|ArXiv.org|Jul 27, 2004

Algebraic structures and combinatorial models参考文献 57被引用 22

一句话总结

本文引入了对偶代数——一种分支代数，用于同时描述经典对称对 (G,H) 及其对偶对 (H′,G′) 的两个分支法则——借助不变量理论与经典代数几何。主要贡献在于表明，这些代数与 GLₙ 的张量积代数存在深刻联系，特别是在稳定范围内，其结构可通过 Littlewood-Richardson 系数明确描述。

ABSTRACT

We study branching laws for a classical group $G$ and a symmetric subgroup $H$. Our approach is through the {\it branching algebra}, the algebra of covariants for $H$ in the regular functions on the natural torus bundle over the flag manifold for $G$. We give concrete descriptions of (natural subalgebras of) the branching algebra using classical invariant theory. In this context, it turns out that the ten classes of classical symmetric pairs $(G,H)$ are associated in pairs, $(G,H)$ and $(H',G')$, and that the (partial) branching algebra for $(G,H)$ also describes a branching law from $H'$ to $G'$. (However, the second branching law may involve certain infinite-dimensional highest weight modules for $H'$.) To highlight the fact that these algebras describe two branching laws simultaneously, we call them {\it reciprocity algebras}. Our description of the reciprocity algebras reveals that they all are related to the tensor product algebra for $GL_n$. This relation is especially strong in the {\it stable range}. We give quite explicit descriptions of reciprocity algebras in the stable range in terms of the tensor product algebra for $GL_n$. This is the structure lying behind formulas for branching multiplicities in terms of Littlewood-Richardson coefficients.

研究动机与目标

• 通过不变量理论，建立统一的代数框架，用于研究经典对称对 (G,H) 中的分支法则。
• 识别并表征编码 (G,H) 及其对偶对 (H′,G′) 分支法则的对偶代数。
• 建立对偶代数与 GLₙ 的著名张量积代数之间的具体联系。
• 利用经典不变量理论与 Littlewood-Richardson 系数，在稳定范围内提供这些代数的显式描述。
• 证明经典群的分支重数公式源于这些对偶代数的结构。

提出的方法

• 将分支代数 B(G,H) 构造为 G 的旗流形上纤维丛上的 H-不变正则函数代数。
• 利用几何不变量理论及 G×H 在矩阵空间上的作用，分析分支代数的结构。
• 定义映射 Q: Mₙ,ₘ → S²(ℂᵐ) 为 Q(T) = TᵗT，该映射是 Oₙ×GLₘ-等变且等维的，从而支持纤维维数分析。
• 通过余维数论证与纤维维数计算，证明生成零锥理想的一组多项式 rᵢⱼ 构成正则序列。
• 应用 Witt 定理，证明 Q 的纤维是不可约的，并包含稠密的 Oₙ-轨道，从而确保 rᵢⱼ 的零集不可约且具有预期余维数。
• 利用 Oₙ-不变量环由 rᵢⱼ 自由生成的事实，证明它们构成正则序列，从而确认分支代数的代数结构。

实验结果

研究问题

• RQ1 如何利用代数结构统一描述经典对称对 (G,H) 的分支法则？
• RQ2 分支代数 B(G,H) 与对偶对称对 (H′,G′) 之间存在何种关系？
• RQ3 对偶代数与 GLₙ 的张量积代数之间存在何种联系，特别是在稳定范围内？
• RQ4 能否从这些代数的结构推导出涉及 Littlewood-Richardson 系数的分支重数公式？
• RQ5 映射 Q: Mₙ,ₘ → S²(ℂᵐ) 的等维性在确立 {rᵢⱼ} 序列为正则序列的过程中起到何种作用？

主要发现

• 对于经典对称对 (G,H)，其分支代数 B(G,H) 同时描述了对偶对 (H′,G′) 中从 H′ 到 G′ 的分支法则，从而确立了对偶代数的概念。
• 在稳定范围内，对偶代数同构于 GLₙ 张量积代数的子代数，为分支重数公式的结构提供了解释。
• 在 Mₙ,ₘ 上定义的多项式 rᵢⱼ 构成零锥理想中的正则序列，其依据为映射 Q 的等维性与纤维维数分析。
• 映射 Q: Mₙ,ₘ → S²(ℂᵐ) 的每个纤维均为不可约代数簇，维数为 nm − m(m+1)/2，且与纤维无关，从而确认了正则序列论证所必需的等维性。
• 每个纤维中的稠密开 Oₙ-轨道对应于满秩矩阵，且 Witt 定理确保此类轨道在 GLₘ 作用下唯一，支持了纤维的不可约性。
• d 个 rᵢⱼ 多项式的零集的余维数恰好为 d，证明了它们构成正则序列，这对分支代数的代数结构至关重要。