[논문 리뷰] On certain modules of covariants in exterior algebras

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

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{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$ 의 코너지션 구조를 활용하고 다항식 항등식 이론의 결과를 적용한다.
• 반대칭화자를 사용하여 표준 다항식을 정의하고, 추적을 통해 불변 성분이 아닌 성분을 제거하며, 특히 추적값이 0인 행렬을 사용하여 생성자를 구성한다.
• 컴퓨터 대수 시스템(LiE)을 사용하여 구조 상수를 검증하고, $(\mathfrak{e}_6, \mathfrak{f}_4)$ 와 같은 예외적 경우의 차원을 계산한다.

실험 결과

연구 질문

• RQ1 값이 $\mathfrak{g}$ 인 $\mathfrak{k}$-불변 다중선형 반대칭 사상의 공간이, $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)$ 의 경우, 논문은 로웬의 결과를 복원한다. 즉, 표준 다항식의 차수 $4n-2$ 가 $2n \times 2n$ 행렬에서 심플렉틱 호환에 대해 0이 된다.
• 홀수 정규직교군 $SO(2n+1)$ 의 경우, 논문은 히 Hutchinson 의 결과를 복원한다. 즉, 표준 다항식의 차수 $4n$ 이 $2n+1 \times 2n+1$ 반대칭 행렬에서 0이 된다.
• $\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$ 을 가진 자유 모듈 성질이 확인되었다.