[論文レビュー] 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

ひとこと要約

この論文は、正規化群 $\ mathrm{OSp}(V)$ のための不変理論の第二基本定理を精緻化し、準同型写像 $F_r^r: B_r(m-2n) \to \End_G(V^{\otimes r})$ の核を特定する。核が非自明になる最小次数 $r_c = (m+1)(n+1)$ を同定し、$\ker F_{r_c}^{r_c}$ の基底を構成し、これが高次すべての核を生成することを示す。また、対称群の表現論から得られるガリアの関係式を応用して核の構造を記述し、古典的正規直交群およびシミプレクティック群の第二基本定理に対して一様な証明を与える。

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$ を生成することを証明すること。
• 対称群の表現論から得られるガリアの関係式を応用し、$\ker F_r^r$ の元の間の関係を記述すること。
• 古典的正規直交群およびシミプレクティック群の第二基本定理の一様な証明を副産物として提供すること。

提案手法

• $\ker F_r^r$ における $\Sym_{2r}$-モジュール構造を用いて、その表現論的性質を分析する。
• ブラウアー代数の文脈における核の構造的解析を通じて、$r_c = (m+1)(n+1)$ の最小性を確立する。
• 組合せ論的および表現論的技法を用いて、$\ker F_{r_c}^{r_c}$ の基底を構成する。
• 元々対称群の表現論から得られたガリアの関係式を応用し、$\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 対称群の表現論から得られるガリアの関係式を、$\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$ によって生成され、その簡単な明示的公式が提供された。
• 対称群の表現論から得られるガリアの関係式が、$\ker F_r^r$ の元の関係を記述するために効果的に応用された。
• $\mathrm{OSp}(1|2n)$ の核構造は、この単一の生成元 $E$ によって完全に特徴づけられ、この場合の不変理論が単純化された。
• 本フレームワークにより、古典的正規直交群およびシミプレクティック群の第二基本定理の一様な証明が得られ、これまで別個に扱われてきた結果が統合された。