[論文レビュー] Les invariants polynômes de la représentation coadjointe de groupes inhomogènes

Mustapha Raïs|ArXiv.org|Mar 30, 2009

Advanced Algebra and Geometry参考文献 3被引用数 3

ひとこと要約

この論文は、$ISL(n)$、$IO(n)$、$ISO(n)$、および$GL(n)\times(V\oplus V^*)$を含む非同次リー群の共伴表現に対する多項式不変量を明示的に構成する。不変代数の生成子はトレースに基づく対称多項式およびパフリアンを用いて同定され、特徴的多項式とその勾配から導かれた明示的公式を用いて、これらの不変量の代数的に独立な生成子の完全な系が得られる。これは、リー代数の半直積に関する先行研究を拡張するものである。

ABSTRACT

Explicit generators are given for the ring of invariant polynomials under the coadjoint representation of certain inhomogeneous groups.

研究の動機と目的

• 非同次リー群の共伴表現における多項式不変量の構造を解明すること、特に半直積$\mathfrak{g} \times V$のケースに焦点を当てる。
• リー代数$\mathfrak{p} = \mathfrak{g} \times V$に対して、$\mathfrak{g} = \mathfrak{sl}(n)$、$\mathfrak{o}(n)$、または$\mathfrak{so}(n)$の場合の不変代数$Y(\mathfrak{p})$の明示的生成子を提供すること。
• $ISL(n)$および$IO(n)$に関する先行結果を拡張し、行列のトレースおよび特徴的多項式を用いた不変量の明示的公式を提示すること。
• 奇数次元の場合、特に$n=2\ell+1$の$ISO(n)$に対して、パフリアンと不変量の関係を確立すること。
• 不変代数$IO(n)$と$ISO(n)$の関係を明確にし、後者に標準的トレース構成の像に含まれない「特異な」不変量が必要であることを示すこと。

提案手法

• 論文は、普遍包あらゆる代数の中心の研究を、対称代数$S(\mathfrak{p})$における多項式不変量の代数に還元するためにDuflo同型を用いる。
• 生成子は、$x \in \mathfrak{gl}(n)$の特徴的多項式の係数の勾配$B_k(x)$を、トレース形式を用いて計算することで構成される。
• 多項式不変量は、$v^* B_k(y)$からなる行列の行列式として定義され、$ISL(n)$に対しては1つの生成子$f$が得られ、$IO(n)$および$ISO(n)$に対しては複数の生成子に拡張される。
• 明示的公式は、行列$Y = \begin{pmatrix} y & -{}^t w^* \\ w^* & 0 \end{pmatrix}$を用いて導出され、奇数次元の場合の主要な不変量$\Phi$がそのパフリアンとして与えられる。
• この手法は、不変量を特定の部分多様体$\mathfrak{h} \subset \mathfrak{p}^*$に制限することに依存しており、ここで不変量が多項式代数を生成することが示されている。
• 表現論の技術、特に$Ad^*$-不変性および共変多項式$\Phi_k(y,v^*) = v^* B_k(y)$を用いて、生成集合の次元および独立性を証明する。

実験結果

リサーチクエスチョン

• RQ1 $ISL(n)$の共伴不変量に対する代数的に独立な多項式生成子の完全な系は何か？
• RQ2 $IO(n)$および$ISO(n)$の不変量は、特に奇数次元の場合、どのように異なるか？
• RQ3 $n=2\ell+1$のとき、$ISO(n)$に対してパフリアンが「特異な」不変量を構成するために果たす役割は何か？
• RQ4 $GL(n)\times(V\oplus V^*)$の不変量は、$IO(n)$および$ISO(n)$のそれらとどのように関係するか？
• RQ5 $\mathfrak{p} = \mathfrak{g} \times V$で$\mathfrak{g} = \mathfrak{so}(n)$の場合の不変代数$Y(\mathfrak{p})$の構造は何か？また、$\mathbb{Z}_2$-縮約フレームワークとはどのように関係するか？

主な発見

• $ISL(n)$に対して、不変代数$Y(\mathfrak{p})$は、$f(y,v^*) = \det(v^*B_{n-1}(y), \dots, v^*)$という行列式関数の制限$\overline{f}$によって生成され、これは$SL(n)$に共変であり、共伴作用の下で$\det(g)^{-1}$に変換される。
• $n=2\ell+1$の$IO(n)$の場合、不変代数$J$は$\psi_0, \dots, \psi_\ell$によって生成され、$Y = \begin{pmatrix} y & -{}^t w^* \\ w^* & 0 \end{pmatrix}$に対して$\psi_k(y,w^*) = p_{2k+2}(Y) - p_{2k+2}(y)$と定義され、これらは代数的に独立である。
• $n=2\ell+1$の$ISO(n)$の場合、不変代数$Y(\mathfrak{c})$は$\psi_0, \dots, \psi_{\ell-1}$および「特異な」不変量$\Phi$によって生成され、$\Phi^2 = \psi\_\ell$を満たし、$\Phi(y,w^*) = w^* \cdot pf(y)$で与えられる。ここで$pf(y)$はベクトルパフリアンである。
• 生成子$\overline{f}$を特定の部分代数$\mathfrak{h}$に制限することで得られる多項式$t$は、Kanetaの生成子と一致し、以前の研究と整合性が確認される。
• 不変代数$Y(\mathfrak{p})$と$\mathbb{C}[\varphi_0, \dots, \varphi_\ell]$との間に明示的な同型写像が確立され、$\varphi_k$は$y$および$w^*$の固有値に関する対称多項式であることが示され、代数的独立性が裏付けられる。
• $IO(n)$の不変代数$J$は、$\mathfrak{b} = \mathfrak{gl}(n) \times (V \oplus V^*)$の$Y(\mathfrak{b})$の商と同型であることが示され、より大きな群とより小さな群の不変量の間の深い構造的関係が示唆される。