[논문 리뷰] Spin representations and centralizer algebras for the Spinor groups

Kazuhiko Koike|ArXiv.org|2005. 02. 18.

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

한 줄 요약

이 논문은 스핀어린이 그룹 $\mathrm{Pin}(N)$ 가 텐서곱 $\Delta \otimes \bigotimes^k V$ 에 작용할 때 중심자 대수를 구성함으로써 스체르-웨일 듀얼리티의 스핀 군 버전을 수립한다. 여기서 $\Delta$ 는 스핀어린 표현이고 $V$ 는 벡터 표현이다. 일반화된 브라우어 다이어그램으로 매개화된 두 가지 기저—관측 이론과 표현 이론을 통해—를 도입하고, 그들 간의 전환 행렬을 구하며, 대칭군 $\mathfrak{S}_k$ 와 $\mathrm{Spin}(N)$ 이 추적 없음 부분공간 $T_{k,s}^{0,\pm}$ 에서 상호 이중성 쌍을 이루며, 기약 스핀 표현의 다중도 없음 분해를 이끌어낸다.

ABSTRACT

We pursue an analogy of the Schur-Weyl reciprocity for the spinor groups and pick up the irreducible spin representations in the tensor space $Δ extstyle{\bigotimes \bigotimes^k V}$. Here $Δ$ is the fundamental representation of $Pin(N)$ and $V$ is the natural (vector) representation of the orthogonal group O(N). We consider the centralizer algebra $\mathbf{CP_k} = Pin(N)(Δ extstyle{\bigotimes \bigotimes^k V})$ for $Pin(N)$, the double covering group of O(N) and define two kinds of linear basis in $\mathbf{CP_k}$ (one comes from invariant theory and the other from representation theory), both of which are parameterized by the 'generalized Brauer diagrams'. We develop analogous argument to the original Brauer centralizer algebra for O(N) and determine the transformation matrices between the above two basis and give the multiplication rules of those basis. Finally we define the subspaces in $Δ extstyle{\bigotimes \bigotimes^k V}$, on which the symmetric group $\frak{S}_k$ and $Pin(N)$ or $Spin(N)$ act as a dual pair.

연구 동기 및 목표

• 스핀 군 $\mathrm{Pin}(N)$ 와 $\mathrm{Spin}(N)$ 에 대한 스체르-웨일 듀얼리티의 스핀 군 버전을 개발하기 위해.
• 중앙자 대수 $\mathbf{CP}_k = \operatorname{End}_{\mathrm{Pin}(N)}(\Delta \otimes \bigotimes^k V)$ 를 정의하고 연구하기 위해.
• 관측 이론과 표현 이론을 통해 일반화된 브라우어 다이어그램으로 매개화된 두 개의 서로 다른 기저를 $\mathbf{CP}_k$ 에 대해 구성하기 위해.
• $\mathfrak{S}_k$ 와 $\mathrm{Spin}(N)$ 이 다중도 없음 분해를 갖는 이중성 쌍을 이룰 수 있는 부분공간 $T_{k,s}^{0,\pm}$ 을 식별하기 위해.

제안 방법

• 일반화된 브라우어 다이어그램을 정의한다: $k$ 개의 상단 정점과 $l$ 개의 하단 정점이 있으며, 정점 간에 간선이 연결되며(순환 없음), 고립된 정점도 允허된다.
• 중앙자 대수 $\mathbf{CP}_k^l = \operatorname{Hom}_{\mathrm{Pin}(N)}(\Delta \otimes \bigotimes^k V, \Delta \otimes \bigotimes^l V)$ 에 대해 두 기저를 구성한다: 하나는 관측 이론에서 유도된 ($d_{\text{inv}}$), 다른 하나는 표현 이론에서 유도된 ($d_{\text{rt}}$).
• 두 기저 간의 전환 행렬을 정리 7.2와 정리 7.6에서 명시적으로 구한다.
• 기저 원소들의 곱셈 규칙을 정리 8.1에서 유도하여, $N = X$ 를 매개변수로 설정함으로써 일반화된 중심자 대수를 정의할 수 있도록 한다.
• 부분공간 $T_{k,s}^0$ 을 $\Delta$ 로의 사영, 수축, 차수 $> s$ 인 교환 연산자의 핵의 교차로 정의하여 고전적 추적 없음 텐서 공간을 일반화한다.
• $\Delta \otimes \bigotimes^k V$ 에서 연산자 $A \otimes \mathrm{id}$ 를 도입하고, 이 공간을 $\pm 1$ 고유공간으로 분해하여 $T_{k,s}^{0,\pm}$ 을 정의하며, 이는 $A \otimes \mathrm{id}$ 에 대해 안정적이다.

실험 결과

연구 질문

• RQ1 오р토곤럴 군에 대한 스체르-웨일 듀얼리티는 어떻게 스핀어린 군인 $\mathrm{Pin}(N)$ 과 $\mathrm{Spin}(N)$ 으로 확장될 수 있는가?
• RQ2 중앙자 대수 $\mathbf{CP}_k = \operatorname{End}_{\mathrm{Pin}(N)}(\Delta \otimes \bigotimes^k V)$ 의 구조는 무엇이며, 어떻게 매개화될 수 있는가?
• RQ3 관측 이론과 표현 이론에서 유도된 두 기저는 $\mathbf{CP}_k$ 내에서 어떻게 관련되어 있는가?
• RQ4 어느 부분공간에서 $\mathfrak{S}_k$ 와 $\mathrm{Spin}(N)$ 이 이중성 쌍을 이루며, 그 공간의 분해는 어떠한가?
• RQ5 $A \otimes \mathrm{id}$ 연산자의 역할은 기약 스핀 표현을 식별하고 중심자 대수의 $\pm$ 고유공간을 정의하는 데 어떤 기여를 하는가?

주요 결과

• 중앙자 대수 $\mathbf{CP}_k^l$ 는 일반화된 브라우어 다이어그램으로 매개화된 두 기저를 가진다: 하나는 관측 이론에서 유도된 것이고, 다른 하나는 표현 이론에서 유도된 것으로, $N = 2n$ 또는 $2n+1$ 인 경우 $k, l \leq n$ 일 때 모두 유효하다.
• 두 기저 간의 전환 행렬은 정리 7.2와 정리 7.6에서 명시적으로 계산되었으며, 관측 이론적 원소와 표현 이론적 원소 사이의 정확한 선형 관계를 보여준다.
• 기저 원소들의 곱셈 규칙은 정리 8.1에서 유도되었으며, $N = X$ 를 매개변수로 설정함으로써 일반화된 중심자 대수를 구성할 수 있도록 한다.
• 부분공간 $T_{k,s}^{0,\pm}$ 은 $A \otimes \mathrm{id}$ 에 대해 안정적이며, $\mathfrak{S}_k$ 와 $\mathrm{Spin}(N)$ 에 의해 각 성분에서 보존되며, 이로써 이중성 쌍을 이룬다.
• 분해는 다중도 없음이다: $T_{k,s}^{0,\pm} \cong \bigoplus_{\substack{\lambda \vdash k \\ \ell(\lambda) \leq s}} \lambda_{\mathfrak{S}_k} \otimes (1/2 + \lambda)^{\pm}_{\mathrm{Spin}(2n)}$, 여기서 $\lambda_{\mathfrak{S}_k}$ 는 기약 $\mathfrak{S}_k$-모듈이며 $(1/2 + \lambda)^{\pm}_{\mathrm{Spin}(2n)}$ 은 기약 스핀 표현이다.
• $\mathrm{Spin}(2n)$ 의 기약 스핀 표현 중에서 $O(2n)$ 또는 $SO(2n)$ 에서 유도되지 않은 표현들은, 어떤 $k$ 에 대해 $\Delta \otimes \bigotimes^k V$ 에서 양성자 대칭자들의 상으로서 $T_{k,s}^{0,\pm}$ 에서의 이중성 작용을 통해 실현된다.