[논문 리뷰] A refinement of the second fundamental theorem of invariant theory for the orthosymplectic supergroup

Yang Zhang|arXiv (Cornell University)|2016. 03. 28.

Algebraic structures and combinatorial models참고 문헌 19인용 수 3

한 줄 요약

이 논문은 기thsymplectic(super)군 $\mathrm{OSp}(V)$에 대한 불변이론의 두 번째 기본정리를 개선하며, 호모모피즘 $F_r^r: B_r(m-2n) \to \End_G(V^\otimes r)$의 핵을 규명한다. 핵이 비자명해지는 최소 차수 $r_c = (m+1)(n+1)$를 특정하고, $\ker F_{r_c}^{r_c}$에 대한 기저를 구성하며, 이 기저가 모든 고차수 핵을 생성한다는 것을 보이며, Garsia의 관계식을 적용하여 핵의 구조를 기술하고, 고전적 직교군 및 심플렉틱군에 대해 통일된 증명을 제공한다.

ABSTRACT

Let $V$ be $\Z_2$-graded complex vector space of superdimension $\sdim_{\C}V=(m|2n)$ which is endowed with orthosymplectic form and $G=\OSp(V)$ be the corresponding orthosymplectic supergroup. Lehrer and Zhang showed that there is a surjective algebra homomorphism $F_r^r: B_r(m-2n) ightarrow \End_{G}(V^{\ot r})$, where $B_r(m-2n)$ is the $r$-Brauer algebra with parameter $m-2n$. In this paper, we establish several results concerning the kernel of $F_r^r$. Using the $\Sym_{2r}$-module structure on $\Ker F_r^r$, we prove that the minimal degree $r$ for which $\Ker F_r^r$ is nonzero is equal to $r_c=(m+1)(n+1)$. The basis for $\Ker F_{r_c}^{r_c}$ is constructed and we show that this basis exactly generates $\Ker F_r^r$ for $r\geq r_c$. Furthermore, we endow the Ganir relations in the representation theory of symmetric group with a new application in invariant theory which describe the relations among elements in $\Ker F_r^r$. As a byproduct, we show that in the special case $m=1$ $(i.e. \OSp(1|2n))$ the kernel is generated by a single element $E$, and we give a simple explicit formula for $E$. Finally, as an application we provide a uniform proof of the second fundamental theorem in the classical cases of orthogonal and symplectic groups.

연구 동기 및 목표

• 기thsymplectic(super)군 $\mathrm{OSp}(V)$의 맥락에서 대수 호모모피즘 $F_r^r: B_r(m-2n) \to \End_G(V^{\otimes r})$의 핵의 구조를 규명하는 것.
• 학의 $\ker F_r^r$가 비자명해지는 최소 차수 $r$를 특정하여, $r_c = (m+1)(n+1)$가 임계 임계값임을 확립하는 것.
• $\ker F_{r_c}^{r_c}$에 대한 명시적 기저를 구성하고, 이 기저가 모든 $r \geq r_c$에 대해 $\ker F_r^r$를 생성함을 증명하는 것.
• 대칭군 표현 이론에서 유래한 Garsia의 관계식을 활용하여 $\ker F_r^r$의 원소들 사이의 관계를 기술하는 것.
• 고전적 직교군 및 심플렉틱군에 대한 두 번째 기본정리의 통일된 증명을 부산물로 제공하는 것.

제안 방법

• $\ker F_r^r$에 대한 $\Sym_{2r}$-모듈 구조를 활용하여 그 표현론적 성질을 분석하는 것.
• Brauer 대수의 맥락에서 핵의 구조적 분석을 통해 $r_c = (m+1)(n+1)$의 최소성을 확립하는 것.
• 조합론적 및 표현론적 기법을 이용하여 $\ker F_{r_c}^{r_c}$에 대한 기저를 구성하는 것.
• 원래는 대칭군 표현 이론에서 유래한 Garsia의 관계식을 활용하여 $\ker F_r^r$의 생성자들 사이의 관계를 기술하는 것.
• $m=1$의 특수한 경우를 분석하여 핵이 단일 명시적 원소 $E$에 의해 생성됨을 보이며, 이를 위한 폐형 공식을 제공하는 것.
• 스уп룹의 프레임워크를 활용하여 고전군에 대한 두 번째 기본정리의 통일된 증명을 도출하는 것.

실험 결과

연구 질문

• RQ1 대수 호모모피즘 $F_r^r: B_r(m-2n) \to \End_G(V^{\otimes r})$의 핵 $\ker F_r^r$가 비자명해지는 최소 차수 $r$는 무엇인가?
• RQ2 $r \geq r_c$일 때 핵 $\ker F_r^r$는 어떻게 묘사될 수 있으며, 그 생성 기저의 구조는 어떠한가?
• RQ3 대칭군 표현 이론에서 유래한 Garsia의 관계식을 $\ker F_r^r$의 원소들 사이의 관계를 묘사하는 데 적용할 수 있는가?
• RQ4 $m=1$의 특수한 경우, 즉 $\mathrm{OSp}(1|2n)$에 대해 $\ker F_r^r$의 명시적 형태는 무엇인가?
• RQ5 이 결과들을 활용하여 고전적 직교군 및 심플렉틱군에 대한 두 번째 기본정리의 통일된 증명을 얻을 수 있는가?

주요 결과

• 학의 $\ker F_r^r$가 비자명해지는 최소 차수는 $r_c = (m+1)(n+1)$이며, 이 값은 정확하다.
• $\ker F_{r_c}^{r_c}$에 대한 기저가 명시적으로 구성되었으며, 이 기저는 모든 $r \geq r_c$에 대해 $\ker F_r^r$를 생성한다.
• $m=1$의 경우 핵 $\ker F_r^r$는 단일 원소 $E$에 의해 생성되며, 이를 위한 단순한 명시적 공식이 제공된다.
• 대칭군 표현 이론에서 유래한 Garsia의 관계식이 $\ker F_r^r$의 원소들 사이의 관계를 성공적으로 기술하는 데 적용되었다.
• $\mathrm{OSp}(1|2n)$의 경우 핵의 구조는 이 단일 생성자 $E$에 의해 완전히 특징지어지며, 이 경우 불변이론이 단순화된다.
• 이 프레임워크를 통해 고전적 직교군 및 심플렉틱군에 대한 두 번째 기본정리의 통일된 증명이 도출되었으며, 이는 이전에 별개로 다뤄졌던 결과들을 통합한다.