[论文解读] On certain modules of covariants in exterior algebras

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

Advanced Topics in Algebra参考文献 18被引用 5

一句话总结

本文研究了对称对 $(\mathfrak{g}, \mathfrak{k})$ 关联的外代数中协变模的结构，证明了空间 $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})$。论文显式构造了基，并恢复了经典多项式迹恒等式，包括辛群和奇正交群的 Amitsur–Levitzki 型恒等式。

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}$-不变多重线性交错映射空间的结构，特别是 $B = \left(\bigwedge(\mathfrak{g}/\mathfrak{k})^* \otimes \mathfrak{g}\right)^\mathfrak{k}$，针对对称对 $(\mathfrak{g}, \mathfrak{k})$。
• 证明 $B$ 是子代数 $A_{r-1} = \wedge(x_1, \dots, x_{r-1})$ 上的自由模，其中 $A = \left(\bigwedge(\mathfrak{g}/\mathfrak{k})^*\right)^\mathfrak{k} = \wedge(x_1, \dots, x_r)$，并确定其秩。
• 恢复已知的多项式迹恒等式，例如在辛群和奇正交群作用下，对称矩阵与反对称矩阵的 Amitsur–Levitzki 定理。
• 将经典群的结果推广到一类更一般的对称对，包括 $(\mathfrak{so}(2n), \mathfrak{so}(2n-1))$ 和 $(\mathfrak{e}_6, \mathfrak{f}_4)$，采用李代数方法并辅以 LiE 软件的计算机辅助计算。

提出的方法

• 本文利用不变量理论和外代数理论分析取值于 $\mathfrak{g}$ 的 $\mathfrak{k}$-不变多重线性交错形式空间，将 $B$ 识别为代数不变量 $A = \left(\bigwedge(\mathfrak{g}/\mathfrak{k})^*\right)^\mathfrak{k}$ 上的模。
• 通过分析 $\mathfrak{g}$ 关于 $\mathfrak{k} \oplus \mathfrak{p}$ 的分解，并利用卡廷形式定义分量之间的对偶性，显式构造了 $B$ 的基。
• 该方法依赖于 $A = \wedge(x_1, \dots, x_r)$ 是外代数，且子代数 $A_{r-1} = \wedge(x_1, \dots, x_{r-1})$ 生成了 $B$ 的自由模结构。
• 对于辛群和奇正交群等特定情形，论文利用矩阵空间 $M_n^\pm$ 在共轭作用下的结构，并应用多项式恒等式理论的结果。
• 使用反称化算子定义标准多项式，并利用迹来消除非不变分量，特别关注迹为零的矩阵以构造生成元。
• 采用计算机代数（LiE）验证结构常数并计算例外情形（如 $(\mathfrak{e}_6, \mathfrak{f}_4)$）的维数。

实验结果

研究问题

• RQ1 取值于 $\mathfrak{g}$ 的 $\mathfrak{k}$-不变多重线性交错映射空间是否是子代数 $A_{r-1} = \wedge(x_1, \dots, x_{r-1})$ 上的自由模，其中 $A_{r-1}$ 是由 $A = \left(\bigwedge(\mathfrak{g}/\mathfrak{k})^*\right)^\mathfrak{k}$ 的前 $r-1$ 个生成元生成的？
• RQ2 能否为经典与例外李代数关联的对称空间中的此类模显式构造基？
• RQ3 结果是否恢复了已知的多项式迹恒等式，例如在辛群和奇正交群作用下，对称与反对称矩阵的 Amitsur–Levitzki 恒等式？
• RQ4 $B^+ := \left(\bigwedge\mathfrak{p}^* \otimes \mathfrak{k}\right)^\mathfrak{k}$ 与 $B^- := \left(\bigwedge\mathfrak{p}^* \otimes \mathfrak{p}\right)^\mathfrak{k}$ 在不同对称对中的结构如何比较？
• RQ5 卡廷形式及其在 $\mathfrak{p}$ 上的限制在建立对偶性与非退化性方面起什么作用，以用于基的构造？

主要发现

• 空间 $B^+ := \left(\bigwedge\mathfrak{p}^* \otimes \mathfrak{k}\right)^\mathfrak{k}$ 是子代数 $A_{r-1} = \wedge(x_1, \dots, x_{r-1})$ 上的自由模，其秩为 $2r$，其中 $r = \mathrm{rk}(\mathfrak{g}) - \mathrm{rk}(\mathfrak{k})$。
• 空间 $B^- := \left(\bigwedge\mathfrak{p}^* \otimes \mathfrak{p}\right)^\mathfrak{k}$ 同样是 $A_{r-1}$ 上的自由模，其秩为 $2r$，并通过投影与对偶性显式构造了基。
• 对于辛群 $Sp(n)$，本文恢复了 Rowen 的结果：次数为 $4n-2$ 的标准多项式在 $2n \times 2n$ 矩阵上关于辛对合对称时恒为零。
• 对于奇正交群 $SO(2n+1)$，本文恢复了 Hutchinson 的结果：次数为 $4n$ 的标准多项式在 $2n+1 \times 2n+1$ 反对称矩阵上恒为零。
• 在 $\mathfrak{g} = \mathfrak{so}(2n)$，$\mathfrak{k} = \mathfrak{so}(2n-1)$ 的情形下，对称空间为奇维球面，且 $B^+$ 与 $B^-$ 的结构被证明是 $A_{r-1}$ 上的自由模，其秩为 $2r$。
• 对于例外对 $(\mathfrak{e}_6, \mathfrak{f}_4)$，结构通过 LiE 软件的计算机辅助计算得到验证，确认了自由模性质，且秩同样为 $2r$。