[論文レビュー] Invariant theory of symplectic and orthogonal groups

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

Advanced Topics in Algebra被引用数 4

ひとこと要約

本稿は、シンプレクティックおよび正規直交 Lie 代数に対する、共変空間 $ 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})^* $ の外積代数と Lie 代数 $ \mathfrak{g} $ のテンソル積における $ \mathfrak{k} $-不変要素を分析する。
• 対称的および正規直交 Lie 代数の性質を用いて、グレーディング構造を分析することで、$ B $ が $ A_{r-1} $ 上で自由であることを確立する。
• 生成子 $ x_1, \dots, x_{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} $ を用いて既知の結果を回復する。
• 新しいトレース恒等式の導出は、特に自由基底の存在と、行列空間上での写像の $ G $-不変性に依存する。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティックおよび正規直交 Lie 代数に対する $ \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}) $ である。
• 明示的基底が構成され、自由加群構造の具体的な実現が得られた。
• 本フレームワークは、シンプレクティック群および正規直交群が行列空間に作用する際の不変理論における古典的結果を回復する。特に $ G = \mathrm{Sp}_{2n} $ および $ G = \mathrm{SO}_{2n+1} $ の場合に有効である。
• 本稿は、$ G = \mathrm{Sp}_{2n} $ および $ G = \mathrm{SO}_{2n+1} $ の下で、対称行列および反対称行列の空間上に作用する $ G $-不変の交替多重線形写像に関する新しい多項式トレース恒等式を確立する。
• 不変式が外積代数をなす無限小対称空間に本結果が適用可能であり、共変構造の均一な取り扱いを可能にする。
• 分析により、共変空間 $ B $ が基礎となる Lie 代数対 $ (\mathfrak{g}, \mathfrak{k}) $ からの適切なグレーディング加群構造を備えていることが確認された。