[論文レビュー] 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})$ である。明示的な基底を構成し、シミプレクティック群および奇数次直交群に対するアミツァール–レヴィツキー型の恒等式を回復する。

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{g}$ にとる $\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})$ 上で自由モジュールであること、およびそのランクを示すこと。ここで $A = \left(\bigwedge(\mathfrak{g}/\mathfrak{k})^*\right)^\mathfrak{k} = \wedge(x_1, \dots, x_r)$ である。
• アミツァール–レヴィツキーの定理など、既知の多項式トレース恒等式（特にシミプレクティック群および奇数次直交群の下での対称行列と反対称行列について）を回復すること。
• 古典的群の結果を、$(\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{k}$-不変な多重線形交代形式（値が $\mathfrak{g}$）は、$A = \left(\bigwedge(\mathfrak{g}/\mathfrak{k})^*\right)^\mathfrak{k}$ の最初の $r-1$ 個の生成子によって生成される部分代数の上での自由モジュールか？
• RQ2 古典的および例外的リー代数に付随する対称空間において、このようなモジュールの明示的基底を構成できるか？
• RQ3 結果は、シミプレクティック群および奇数次直交群の下での対称行列と反対称行列についてのアミツァール–レヴィツキー恒等式などの既知の多項式トレース恒等式を回復するか？
• 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)$ の場合、論文はローウェンの結果を回復し、$2n \times 2n$ 行列の上で、次数 $4n-2$ の標準多項式がシミプレクティック対合に関して対称な行列上で消えることを示している。
• 奇数次直交群 $SO(2n+1)$ の場合、論文はハッチンソンの結果を回復し、$2n+1 \times 2n+1$ の反対称行列上で、次数 $4n$ の標準多項式が消えることを示している。
• $\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$ の自由モジュール性が確認された。