[论文解读] Invariant theory of symplectic and orthogonal groups

Salvatore Dolce|arXiv (Cornell University)|Apr 10, 2014

Advanced Topics in Algebra被引用 4

一句话总结

本文研究了辛群与正交群的协变空间 $ B = \left(\bigwedge (\mathfrak{g}/\mathfrak{k})^* \otimes \mathfrak{g}\right)^\mathfrak{k} $ 的结构，证明其为子代数 $ A_{r-1} = \wedge(x_1,\dots,x_{r-1}) $ 上的自由模，秩为 $ 4r $，其中 $ r = \mathrm{rk}(\mathfrak{g}) - \mathrm{rk}(\mathfrak{k}) $。本文给出了 $ B $ 的显式基，恢复了经典结果，并建立了关于辛群与奇正交群作用下对称与反对称矩阵空间上 $ G $-等变矩阵值交替多重线性映射的新多项式迹恒等式。

ABSTRACT

We study the structure of the space of covariants $B:=\left(\bigwedge (\mathfrak g/\mathfrak k)^*\otimes \mathfrak g ight)^{\mathfrak k},$ for a certain class of infinitesimal symmetric spaces $(\mathfrak g,\mathfrak k)$ such that the space of invariants $A:=\left(\bigwedge (\mathfrak g/\mathfrak k)^* ight)^{\mathfrak k}$ is an exterior algebra $\wedge (x_1,...,x_r),$ with $r=rk(\mathfrak g)-rk(\mathfrak k)$. We prove that they are free modules over the subalgebra $A_{r-1}=\wedge (x_1,...,x_{r-1})$ of rank $4r$. In addition we will give an explicit basis of $B$. As particular cases we will recover same classical results. In fact we will describe the structure of $\left(\bigwedge (M_n^{\pm})^*\otimes M_n ight)^G$, the space of the $G-$equivariant matrix valued alternating multilinear maps on the space of (skew-symmetric or symmetric with respect to a specific involution) matrices, where $G$ is the symplectic group or the odd orthogonal group. Furthermore we prove new polynomial trace identities.

研究动机与目标

• 确定无穷小对称空间 $ (\mathfrak{g}, \mathfrak{k}) $ 的 $ \mathfrak{k} $-不变协变空间 $ B = \left(\bigwedge (\mathfrak{g}/\mathfrak{k})^* \otimes \mathfrak{g}\right)^\mathfrak{k} $ 的代数结构。
• 证明 $ B $ 是子代数 $ A_{r-1} = \wedge(x_1, \dots, x_{r-1}) $ 上的自由模，其秩为 $ 4r $，其中 $ r = \mathrm{rk}(\mathfrak{g}) - \mathrm{rk}(\mathfrak{k}) $。
• 构造 $ B $ 的显式基，以支持具体计算与结构洞察。
• 将不变量理论中的已知经典结果作为一般框架的特例加以恢复。
• 推导出在辛群与奇正交群作用下，对称与反对称矩阵空间上 $ G $-等变交替多重线性映射的新多项式迹恒等式。

提出的方法

• 分析基于如下假设：不变量空间 $ A = \left(\bigwedge (\mathfrak{g}/\mathfrak{k})^* \right)^\mathfrak{k} $ 为外代数 $ \wedge(x_1, \dots, x_r) $，这简化了协变空间的结构。
• 本文使用表示论技术分析外代数 $ (\mathfrak{g}/\mathfrak{k})^* $ 与李代数 $ \mathfrak{g} $ 的张量积中 $ \mathfrak{k} $-不变元素。
• 通过分析分次结构并利用对称与正交李代数的性质，证明 $ B $ 在 $ A_{r-1} $ 上的自由性。
• 利用不变量理论与已知的 $ A $ 的基，结合秩条件 $ r = \mathrm{rk}(\mathfrak{g}) - \mathrm{rk}(\mathfrak{k}) $，构造 $ B $ 的显式基。
• 该方法适用于 $ \mathfrak{g} $ 与 $ \mathfrak{k} $ 的特定实现，如 $ \mathfrak{g} = \mathfrak{sp}_{2n} $，$ \mathfrak{k} = \mathfrak{so}_{2n+1} $，以及 $ \mathfrak{g} = \mathfrak{so}_{2n+1} $，$ \mathfrak{k} = \mathfrak{sp}_{2n} $，以恢复已知结果。
• 新迹恒等式的推导依赖于 $ B $ 的结构，特别是自由基的存在性以及矩阵空间上映射的 $ G $-等变性。

实验结果

研究问题

• RQ1 对于辛群与正交李代数，$ \mathfrak{k} $-不变协变空间 $ B = \left(\bigwedge (\mathfrak{g}/\mathfrak{k})^* \otimes \mathfrak{g}\right)^\mathfrak{k} $ 的结构是什么？
• RQ2 $ B $ 是否为子代数 $ A_{r-1} = \wedge(x_1, \dots, x_{r-1}) $ 上的自由模？若是，其秩为何？
• RQ3 能否用不变代数 $ A $ 的生成元显式构造 $ B $ 的基？
• RQ4 这些结果如何作为不变量理论中矩阵值多重线性映射经典结果的推广或恢复？
• RQ5 在 $ G $-等变映射作用于对称与反对称矩阵空间的背景下，$ B $ 的结构会引出哪些新的多项式迹恒等式？

主要发现

• 协变空间 $ B = \left(\bigwedge (\mathfrak{g}/\mathfrak{k})^* \otimes \mathfrak{g}\right)^\mathfrak{k} $ 是子代数 $ A_{r-1} = \wedge(x_1, \dots, x_{r-1}) $ 上的自由模，其秩为 $ 4r $，其中 $ r = \mathrm{rk}(\mathfrak{g}) - \mathrm{rk}(\mathfrak{k}) $。
• 构造了 $ B $ 的显式基，为自由模结构提供了具体实现。
• 该框架恢复了辛群与正交群作用于矩阵空间时的不变量理论经典结果，特别是针对 $ G = \mathrm{Sp}_{2n} $ 与 $ G = \mathrm{SO}_{2n+1} $ 的情形。
• 本文建立了关于 $ G = \mathrm{Sp}_{2n} $ 与 $ G = \mathrm{SO}_{2n+1} $ 作用下对称与反对称矩阵空间上 $ G $-等变交替多重线性映射的新多项式迹恒等式。
• 结果适用于不变量形成外代数的无穷小对称空间，从而实现了协变结构的统一处理。
• 分析证实，协变空间 $ B $ 从底层李代数对 $ (\mathfrak{g}, \mathfrak{k}) $ 继承了良好的分次模结构。