[논문 리뷰] Invariant theory of symplectic and orthogonal groups

Salvatore Dolce|arXiv (Cornell University)|2014. 04. 10.

Advanced Topics in Algebra인용 수 4

한 줄 요약

이 논문은 심플렉틱 및 올레드로omic Lie 대수에 대해 공변 공간 $ B = \left(\bigwedge (\mathfrak{g}/\mathfrak{k})^* \otimes \mathfrak{g}\right)^\mathfrak{k} $ 의 구조를 조사하며, $ r = \mathrm{rk}(\mathfrak{g}) - \mathrm{rk}(\mathfrak{k}) $ 일 때, 부분대수 $ A_{r-1} = \wedge(x_1,\dots,x_{r-1}) $ 위에서의 자유 모듈러스로서의 계수 $ 4r $ 를 갖는다는 것을 증명한다. 논문은 $ B $ 에 대한 명시적 기저를 제공하며, 고전적 결과를 재구성하고, 심플렉틱 및 홀드로omic 군에 대한 대칭 및 반대칭 행렬 위의 $ G $--equivariant 행렬값 다중선형 맵에 대한 새로운 다항식 추적 항등식을 수립한다.

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 $ 에 대한 명시적 기저를 구성하여 구체적인 계산과 구조적 통찰을 가능하게 하는 것.
• 일반적 프레임워크의 특수한 경우로서 기존의 고전적 결과를 재구성하는 것.
• 심플렉틱 및 홀드로omic 군에 대한 대칭 및 반대칭 행렬 공간 위의 $ G $-equivariant 반대칭 다중선형 맵에 대한 새로운 다항식 추적 항등식을 도출하는 것.

제안 방법

• 공변 공간의 구조를 단순화하기 위해, 불변 공간 $ 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} $-불변 원소를 분석하기 위해 표현 이론 기법을 사용한다.
• 대칭 및 올레드로omic Lie 대수의 성질을 이용하여, $ B $ 가 $ A_{r-1} $ 위에서 자유 모듈러스임을 그 차수 구조를 분석함으로써 증명한다.
• 기존의 $ A $ 의 기저와 불변 이론을 활용하여, 랭크 조건 $ r = \mathrm{rk}(\mathfrak{g}) - \mathrm{rk}(\mathfrak{k}) $ 을 이용해 $ B $ 의 명시적 기저를 구성한다.
• 특정 실현, 예를 들어 $ \mathfrak{g} = \mathfrak{sp}_{2n} $, $ \mathfrak{k} = \mathfrak{so}_{2n+1} $ 및 $ \mathfrak{g} = \mathfrak{so}_{2n+1} $, $ \mathfrak{k} = \mathfrak{sp}_{2n} $ 에 대해 기존 결과를 재확인하기 위해 방법을 적용한다.
• 새로운 추적 항등식 유도에는 $ B $ 의 구조, 특히 자유 기저의 존재성과 행렬 공간 위의 맵의 $ G $-equivariance 가 핵심적으로 활용된다.

실험 결과

연구 질문

• RQ1 심플렉틱 및 올레드로omic 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 $-equivariant 맵이 대칭 및 반대칭 행렬 공간 위에 작용할 때, $ 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}) $.
• 명시적 기저가 구성되어 있어 자유 모듈러스의 구조를 구체적으로 실현할 수 있다.
• 심플렉틱 및 올레드로omic 군이 행렬 공간에 작용하는 불변 이론에 대한 고전적 결과들이 이 일반적 프레임워크의 특수한 경우로서 재구성된다. 특히 $ G = \mathrm{Sp}_{2n} $ 과 $ G = \mathrm{SO}_{2n+1} $ 에 대해 성립한다.
• 심플렉틱 및 홀드로omic 군 $ G = \mathrm{Sp}_{2n} $ 과 $ G = \mathrm{SO}_{2n+1} $ 에서 대칭 및 반대칭 행렬 공간 위의 $ G $-equivariant 반대칭 다중선형 맵에 대해 새로운 다항식 추적 항등식이 수립된다.
• 불변 이론이 외부 대수를 이룬다는 조건을 만족하는 무한소 대칭 공간에 대해 결과가 적용되며, 이는 공변 구조의 통일된 다루기 쉬운 방법을 제공한다.
• 분석 결과, 공변 공간 $ B $ 가 기본 Lie 대수 쌍 $ (\mathfrak{g}, \mathfrak{k}) $ 에서 유도된 잘 정의된 차수 모듈러스 구조를 상속한다는 것이 확인된다.