[논문 리뷰] Invariants of the orthosymplectic Lie superalgebra and super Pfaffians

G Lehrer, R. B. Zhang|arXiv (Cornell University)|2015. 07. 06.

Algebraic structures and combinatorial models참고 문헌 9인용 수 8

한 줄 요약

이 논문은 오р토심플레كت릭 리 초대수 𝔬𝔰𝓹(V)에 대한 초기 기본정리(fundamental theorem)를 수립하며, 좌표 초다항식환 𝒮(N) 내의 불변량이 기본적인 OSp(V)-불변량과 새로운 종류의 불변량인 슈퍼 편평행행렬(super Pfaffians)에 의해 생성됨을 증명한다. 슈퍼 편평행행렬 모듈의 최고중량 벡터를 명시적으로 구성하고, 𝒮(N)^𝔒𝔰𝓹(V)가 단순 𝔤𝔩_N-모듈의 다중도 없는 직합으로 분해됨을 보이며, 이는 V의 텐서 거듭제곱에서의 𝔬ㅅ𝓹(V)-불변량의 구조에 응용된다.

ABSTRACT

Given a complex orthosymplectic superspace $V$, the orthosymplectic Lie superalgebra $\mathfrak {osp}(V)$ and general linear algebra ${\mathfrak {gl}}_N$ both act naturally on the coordinate super-ring $\mathcal{S}(N)$ of the dual space of $V\otimes{\mathbb C}^N$, and their actions commute. Hence the subalgebra $\mathcal{S}(N)^{\mathfrak {osp}(V)}$ of $\mathfrak {osp}(V)$-invariants in $\mathcal{S}(N)$ has a ${\mathfrak {gl}}_N$-module structure. We introduce the space of super Pfaffians as a simple ${\mathfrak {gl}}_N$-submodule of $\mathcal{S}(N)^{\mathfrak {osp}(V)}$, give an explicit formula for its highest weight vector, and show that the super Pfaffians and the elementary (or `Brauer') ${ m OSp}$-invariants together generate $\mathcal{S}(N)^{\mathfrak {osp}(V)}$ as an algebra. The decomposition of $\mathcal{S}(N)^{\mathfrak {osp}(V)}$ as a direct sum of simple ${\mathfrak {gl}}_N$-submodules is obtained and shown to be multiplicity free. Using Howe's $({\mathfrak {gl}}(V), {\mathfrak {gl}}_N)$-duality on $\mathcal{S}(N)$, we deduce from the decomposition that the subspace of $\mathfrak{osp}(V)$-invariants in any simple ${\mathfrak {gl}}(V)$-tensor module is either $0$ or $1$-dimensional. These results also enable us to determine the $\mathfrak {osp}(V)$-invariants in the tensor powers $V^{\otimes r}$ for all $r$.

연구 동기 및 목표

• 오르토심플레틱 리 초대수 𝔬ㅅ𝓹(V)의 불변량 이론을 개발하며, 이는 초군수 OSp(V)의 경우보다 더 복잡하다.
• OSp(V)의 불변량이 아니지만 모든 𝔬ㅅ𝓹(V)-불변량을 생성하는 데 필수적인, 누락된 종류의 불변량—슈퍼 편평행행렬—을 식별하고 구성한다.
• 좌표 초다항식환 𝒮(N) = 𝒮(V⊗ℂ^N) 내의 𝔬ㅅ𝓹(V)-불변량 공간의 구조를 𝔤𝔩_N-모듈로 규명한다.
• 결과를 응용하여 임의의 단순 텐서 모듈 V^λ 내의 𝔬ㅅ𝓹(V)-불변량 차원을 계산하며, 이는 최대 1차원임을 보인다.
• 텐서 거듭제곱 V^⊗N 내의 𝔬ㅅ𝓹(V)-불변량의 전체 분해를 밝혀내며, OSp(V)-불변량과 의사불변량(pseudo-invariants)을 구분한다.

제안 방법

• 좌표 초다항식환 𝒮(N) = 𝒮(V⊗ℂ^N)에서의 Howe의 (𝔤𝔩(V), 𝔤𝔩_N)- dualit의 응용으로, 𝔬ㅅ𝓹(V)와 𝔤𝔩_N가 동시에 작용하도록 한다.
• 슈퍼 편평행행렬 공간 Γ(N)를 𝒮(N)^𝔒𝔰𝓹(V)의 단순 𝔤𝔩_N-부분모듈로 도입하며, 그 최고중량 벡터에 대한 명시적 공식은 정리 3.5에 제시되어 있다.
• 의사불변량 이론을 적용하고, 𝒮(N)^𝔒𝔰𝓹(V)를 OSp(V)-불변량과 OSp(V)-의사불변량으로 분해하여 불변량의 구조를 분류한다.
• 표준 불변량 𝔠̌ ∈ V⊗V(스프레드 형식)과 수축 사상 𝔠̌_{ij}을 사용하여 조화 부분공간을 정의하고, 텐서 수축을 통한 분석을 수행한다.
• 기약 𝔤𝔩_N-모듈의 분할 이론적 묘사와 조건 μ_{m+1} ≤ 2n을 활용하여, 𝒮(N)^𝔒𝔰𝓹(V)가 단순 𝔤𝔩_N-모듈의 직합으로 분해됨을 분류한다.
• OSp(V)에 대한 FFT를 적용하여, N=2k일 때 V^⊗N 내의 OSp(V)-불변량이 𝔠̌^⊗k에 의해 생성됨을 보이고, 이를 슈퍼 편평행행렬을 사용하여 𝔬ㅅ𝓹(V)-불변량의 경우로 확장한다.

실험 결과

연구 질문

• RQ1 좌표 초다항식환 𝒮(N) 내의 𝔬ㅅ𝓹(V)-불변량의 대수 𝒮(N)^𝔒𝔰𝓹(V)의 구조는 어떻게 되는가?
• RQ2 슈퍼 편평행행렬은 모든 𝔬ㅅ𝓹(V)-불변량을 생성하는 데 어떤 역할을 하는가? OSp(V)-불변량과의 차이는 무엇인가?
• RQ3 𝒮(N)^𝔒𝔰𝓹(V)의 𝔤𝔩_N-모듈로서의 분해는 어떻게 명시적으로 묘사할 수 있으며, 다중도 없는가?
• RQ4 임의의 단순 텐서 모듈 V^λ 내의 𝔬ㅅ𝓹(V)-불변량 공간의 차원은 얼마이며, 언제 비영이 되는가?
• RQ5 텐서 거듭제곱 V^⊗N 내의 𝔬ㅅ𝓹(V)-불변량의 구조는 어떻게 되며, OSp(V)-불변량과 의사불변량으로 어떻게 분해되는가?

주요 결과

• 𝒮(N)^𝔒𝔰𝓹(V)는 단순 𝔤𝔩_N-모듈의 다중도 없는 직합으로 분해되며, 각 단순 부분모듈은 유일하게 결정된 최고중량 벡터를 가진다.
• 슈퍼 편평행행렬은 𝒮(N)^𝔒𝔰𝓹(V)의 단순 𝔤𝔩_N-부분모듈 Γ(N)를 이룬다. 그 최고중량 벡터는 공식 (3.5)로 명시적으로 주어지며, 이는 FFT를 증명하는 데 핵심적이다.
• 대수 𝒮(N)^𝔒𝔰𝓹(V)는 기본적인 OSp(V)-불변량과 슈퍼 편평행행렬에 의해 생성되며, 이는 𝔬ㅅ𝓹(V)에 대한 첫 번째 기본정리를 확립한다.
• 임의의 단순 텐서 모듈 V^λ 내의 𝔬ㅅ𝓹(V)-불변량 공간의 차원은 최대 1이며, 최고중량 λ가 μ_{m+1} ≤ 2n 또는 λ = ω_m + 2∑ℓ_iω_i 이고 μ_{m+1} ≤ 2n ≤ μ_m 를 만족할 때 정확히 1이 된다.
• N ≥ m(2n+1)일 때, 의사불변량 공간 (V^⊗N)^𝔒𝔰𝓹(V),det은 비영이며, V^⊗r_c 내의 슈퍼 편평행행렬 공간 Γ^0과 V^⊗(N−r_c) 내의 OSp(V)-불변량에 의해 생성되며, 여기서 r_c = m(2n+1)이다.
• 슈퍼 편평행행렬 공간 Γ^0는 V^⊗r_c의 조화 부분공간에 포함되어 있으며, 이는 모든 수축 사상 𝔠̌_{ij}에 의해 영이 되는 것을 의미한다.