[论文解读] A refinement of the second fundamental theorem of invariant theory for the orthosymplectic supergroup

Yang Zhang|arXiv (Cornell University)|Mar 28, 2016

Algebraic structures and combinatorial models参考文献 19被引用 3

一句话总结

本论文通过确定同态 $F_r^r: B_r(m-2n) \to \End_G(V^\otimes r)$ 的核，细化了正交超群 $\mathrm{OSp}(V)$ 的不变量理论第二基本定理。它确定了核首次变为非平凡的最小次数 $r_c = (m+1)(n+1)$，构造了 $\ker F_{r_c}^{r_c}$ 的一组基，并证明该基可生成所有更高次数的核。同时，应用 Garsia 的关系来描述核的结构，并为经典正交群与辛群提供了统一的证明。

ABSTRACT

Let $V$ be $\Z_2$-graded complex vector space of superdimension $\sdim_{\C}V=(m|2n)$ which is endowed with orthosymplectic form and $G=\OSp(V)$ be the corresponding orthosymplectic supergroup. Lehrer and Zhang showed that there is a surjective algebra homomorphism $F_r^r: B_r(m-2n) ightarrow \End_{G}(V^{\ot r})$, where $B_r(m-2n)$ is the $r$-Brauer algebra with parameter $m-2n$. In this paper, we establish several results concerning the kernel of $F_r^r$. Using the $\Sym_{2r}$-module structure on $\Ker F_r^r$, we prove that the minimal degree $r$ for which $\Ker F_r^r$ is nonzero is equal to $r_c=(m+1)(n+1)$. The basis for $\Ker F_{r_c}^{r_c}$ is constructed and we show that this basis exactly generates $\Ker F_r^r$ for $r\geq r_c$. Furthermore, we endow the Ganir relations in the representation theory of symmetric group with a new application in invariant theory which describe the relations among elements in $\Ker F_r^r$. As a byproduct, we show that in the special case $m=1$ $(i.e. \OSp(1|2n))$ the kernel is generated by a single element $E$, and we give a simple explicit formula for $E$. Finally, as an application we provide a uniform proof of the second fundamental theorem in the classical cases of orthogonal and symplectic groups.

研究动机与目标

• 在正交超群 $\mathrm{OSp}(V)$ 的背景下，确定代数同态 $F_r^r: B_r(m-2n) \to \End_G(V^{\otimes r})$ 的核的结构。
• 确定 $\ker F_r^r$ 非零的最小次数 $r$，并确立 $r_c = (m+1)(n+1)$ 为临界阈值。
• 显式构造 $\ker F_{r_c}^{r_c}$ 的基，并证明其可生成所有 $r \geq r_c$ 的 $\ker F_r^r$。
• 将对称群表示理论中的 Garsia 关系应用于描述 $\ker F_r^r$ 中元素之间的关系。
• 作为副产品，通过该框架为经典正交群与辛群的第二基本定理提供统一证明。

提出的方法

• 利用 $\Sym_{2r}$-模结构分析 $\ker F_r^r$ 的表示性质。
• 通过 Brauer 代数设定下核的结构性质分析，确立 $r_c = (m+1)(n+1)$ 的最小性。
• 使用组合与表示论技巧，构造 $\ker F_{r_c}^{r_c}$ 的基。
• 将源自对称群表示理论的 Garsia 关系应用于描述 $\ker F_r^r$ 生成元之间的关系。
• 分析 $m=1$ 的特殊情况，证明核由单个显式元素 $E$ 生成，并给出其闭式表达式。
• 通过利用超群框架，推导出经典群第二基本定理的统一证明。

实验结果

研究问题

• RQ1 对于同态 $F_r^r: B_r(m-2n) \to \End_G(V^{\otimes r})$，核 $\ker F_r^r$ 非平凡的最小次数 $r$ 是多少？
• RQ2 当 $r \geq r_c$ 时，如何描述核 $\ker F_r^r$？其生成基的结构是怎样的？
• RQ3 能否将对称群表示理论中的 Garsia 关系应用于描述 $\ker F_r^r$ 中元素之间的关系？
• RQ4 在特殊情形 $m=1$ 下，即 $\mathrm{OSp}(1|2n)$ 时，$\ker F_r^r$ 的显式生成元形式为何？
• RQ5 所获结果能否用于为经典正交群与辛群的第二基本定理提供统一证明？

主要发现

• 核 $\ker F_r^r$ 非零的最小次数为 $r_c = (m+1)(n+1)$，且该值是紧确的。
• 显式构造了 $\ker F_{r_c}^{r_c}$ 的基，并证明其可生成所有 $r \geq r_c$ 的 $\ker F_r^r$。
• 当 $m=1$ 时，核 $\ker F_r^r$ 由单个元素 $E$ 生成，且给出了其简洁的显式公式。
• 成功将对称群表示理论中的 Garsia 关系应用于描述 $\ker F_r^r$ 中元素之间的关系。
• $\mathrm{OSp}(1|2n)$ 的核结构完全由该单个生成元 $E$ 描述，从而简化了此情形下的不变量理论。
• 该框架为经典正交群与辛群的第二基本定理提供了统一证明，统一了此前分别成立的结果。