{{위키데이터 속성 추적}}

[[수학]]에서 '''스핀 표현'''({{llang|en|Spin representation}})은 [[직교군]] 또는 [[직교군|특수 직교군]]의 특정한 [[사영 표현]]이다. 보다 정확하게는, 특수 직교군의 이중 덮개인 [[스핀 군|스핀군]]의 두 가지 [[표현론 (수학)|표현]]이다. 일반적으로 [[실수|실수체]] 또는 [[복소수|복소수체]]의 경우에 대해 연구하지만 다른 [[체 (수학)|체]]에 대해서도 정의하여 연구할 수 있다. 스핀 표현의 원소를 [[스피너]]라고 한다.

스핀 표현은 여러 가지 방법으로 구성될 수 있지만, 일반적으로 군의 벡터 표현에서 최대 등방적 부분 공간을 선택하는 것과 암시적으로 연관된다. 실수에 대해서는 일반적으로 벡터 표현을 복소화 해야 한다. 이러한 이유로 먼저 복소수에 대한 스핀 표현을 정의하고 실수 구조를 도입하여 실수 표현을 유도하는 것이 편리하다.

스핀 표현의 속성은 직교군의 차원과 부호수에 따라 달라진다. 특히 스핀 표현은 종종 스핀 군을 [[고전군|고전적인 리 군]]에 [[매장 (수학)|묻는]] 데 사용할 수 있는 [[불변량|불변]] [[쌍선형 형식]]을 허용한다. 낮은 차원에서 이러한 묻기는 [[전사 함수|전사]]이며 스핀 군과 더 친숙한 리군 사이의 특수 동형을 결정한다. 이것은 이러한 차원에서 스피너의 특성을 설명한다.

== 설정 ==
<math>V</math>를 비축퇴 [[이차 형식]] <math>Q</math>가 주어진 유한 차원 실 또는 복소 [[벡터 공간|선형 공간]]이라고 하자. <math>Q</math>를 보존하는 [[선형 변환|선형 사상]]은 [[직교군]] <math>\text{O}(V,Q) </math>을 형성한다. 군의 항등 성분은 특수 직교군 <math>\text{SO}(V,Q) </math>라고 한다. (부정 이차 형식이 주어진 실 선형 공간 <math>V</math>에 대해 이 용어는 표준이 아니다. 특수 직교군은, 이 경우, 두 개의 성분이 있는 부분군으로 정의된다.) 스핀군 <math>\text{Spin}(V,Q) </math>는 <math>\text{SO}(V,Q) </math>의 유일한 [[연결 공간|연결]] 이중 덮개다. 따라서 군 [[군 준동형사상|동형사상]] <math>h:\text{Spin}(V,Q)\rightarrow\text{SO}(V,Q)  </math>의 [[핵 (수학)|핵]]에는 <math>1, -1</math>로 표시되는 두 개의 원소가 있으며 여기서 {{수학|1}}은 [[항등원]]이다. 따라서 <math>\text{Spin}(V,Q) </math>의 원소 <math>g</math> 와 <math>-g</math>는 <math>\text{SO}(V,Q) </math>에 대한 준동형함수 값이 동일하다. 즉, <math>\text{Spin}(V,Q) </math>의 모든 <math>g</math>에 대해 <math>h(g)=h(-g)</math>이다.

<math>\text{O}(V,Q) </math>, <math>\text{SO}(V,Q) </math>, <math>\text{Spin}(V,Q) </math>은 모두 [[리 군]]이며, 고정된 <math>(V,Q) </math>에 대해 이 리 군들의 [[리 대수]]는 모두 [[리 대수|<math>\mathfrak{so}(V,Q) </math>]]이다. <math>V</math>가 실 선형 공간인 경우, <math>V</math>는 <math>V</math>의 복소화 <math>V_{\mathbb C}=V\otimes_{\mathbb R} \mathbb C </math>의 실 부분 공간이고, 이차 형식 <math>Q</math>는 자연스럽게 <math>V_{\mathbb C} </math>에서 이차 형식 <math>Q_{\mathbb C} </math><math>Q_{\mathbb C}</math>로 확장된다.  <math>\text{SO}(V_{\mathbb C},Q_{\mathbb C}) </math>는 [[부분군]]으로 <math>\text{SO}(V,Q) </math>를 포함하므로, <math>\text{Spin}(V,Q) </math>를 <math>\text{Spin}(V_{\mathbb C},Q_{\mathbb C}) </math>의 부분군으로 구현할 수 있다. 또한, <math>\mathfrak{so}(V_{\mathbb C},Q_{\mathbb C}) </math>는 <math>\mathfrak{so}(V,Q) </math>의 복소화이다.

복소 선형 공간의 경우, 이차 형식은 <math>V</math>의 차원 <math>n</math>에 의해 동형 사상까지 유일하게 결정된다. 구체적으로,<math>V=\mathbb C^{n} </math>이고<math>V=\mathbb C^n </math>

: <math>Q(z_1,\ldots, z_n) = z_1^2+ z_2^2+\cdots+z_n^2.</math>

이라고 가정할 수 있다. 해당 리 군들은 <math>\text{O}(n,\mathbb C), \text{SO}(n,\mathbb C), \text{Spin}(n,\mathbb C) </math>로 표시되며 리 대수는 <math>\mathfrak{so}(n,\mathbb C) </math>로 표시된다.

실 선형 공간에서 이차 형식은 음이 아닌 정수 쌍 <math>(p,q)</math>으로 결정된다. 여기서 <math>n=p+q</math> 는 <math>V</math>의 차원이고 <math>p-q</math>는 [[실베스터 관성법칙|부호수]]이다. 구체적으로 <math>V=\mathbb R^n </math>,

: <math>Q(x_1,\ldots, x_n) = x_1^2+ x_2^2+\cdots+x_p^2-(x_{p+1}^2+\cdots +x_{p+q}^2).</math>

이라고 가정할 수 있다. 해당 리 군 및 리 대수는 기호로 <math>\text{O}(p,q), \text{SO}(p,q), \text{Spin}(p,q) </math>; <math>\mathfrak{so}(p,q) </math>로 표시한다. 부호수을 명시하기 위해 <math>\mathbb R^n </math>대신 <math>\mathbb R^{p,q} </math>를 쓴다.

어떤 의미에서 스핀 표현은 <math>\text{SO}(n,\mathbb C) </math>와 <math>\text{SO}(p,q) </math> 표현으로부터 나오지 않는 <math>\text{Spin}(n,\mathbb C) </math>와 <math>\text{Spin}(p,q) </math>의 가장 간단한 표현이다. 따라서, 스핀 표현은, <math>-1\notin\ker\rho</math>인 군 준동형 사상 <math>\rho:\text{Spin}(n,\mathbb C)\; or \;\text{Spin}(p,q)\longrightarrow \text{GL}(S) </math>이 주어진 실 또는 복소 선형 공간 <math>S</math>이다.

<math>S</math>가 그러한 표현이라면, 리 군과 리 대수의 관계에 따라 [[리 대수의 표현|리 대수 표현]], 즉 <math>\mathfrak{so}(n,\mathbb C) </math> 또는 <math>\mathfrak{so}(p,q) </math>에서 교환자 괄호가 있는 <math>S</math>의 [[선형 변환|자기 사상]]들의 리 대수 <math>\mathfrak{gl}(S) </math>로의 [[리 대수|리 대수 동형 사상]]을 유도한다.

스핀 표현은 다음에 따라 분석할 수 있다: <math>S</math>가 <math>\text{Spin}(p,q) </math>의 실 스핀 표현인 경우, 그 복소화는 <math>\text{Spin}(p,q) </math>의 복소 스핀 표현이다. <math>\mathfrak{so}(p,q) </math>의 표현으로 <math>\mathfrak{so}(n,\mathbb C) </math>의 복소 표현으로 확장된다. 역순으로 진행하므로 ''먼저'' <math>\text{Spin}(n,\mathbb C) </math> 및 <math>\mathfrak{so}(n,\mathbb C) </math>의 복소 스핀 표현을 구성한 다음 <math>\mathfrak{so}(p,q) </math> 및 <math>\text{Spin}(p,q) </math>의 복소 스핀 표현으로 제한한 다음 마지막으로 실 스핀 표현에 대한 가능한 축약를 분석한다.

== 복소 스핀 표현 ==
다음이 성립하도록 표준 이차 형식 <math>Q</math>이 주어진 <math>V=\mathbb{C}^n </math>를 고려하자.

: <math>\mathfrak{so}(V,Q) = \mathfrak{so}(n,\mathbb C).</math>

<math>Q</math>와 연관된 <math>V</math>의 [[쌍선형 형식|대칭 쌍선형 형식]]은 <math>\langle\cdot,\cdot\rangle </math>로 나타낸다.

=== 등방 부분 공간 및 근계 ===
표준적으로, <math>\mathfrak{so}(n,\mathbb C) </math>의 스핀 표현은 <math>W\cap W^*=0</math>인 <math>V</math>의 (<math>Q</math>에 대한) 극대 완전 등방 부분 공간의 쌍 <math>(W, W^*)</math>의 선택으로 구성된다. <math>V</math>의 차원 <math>n=2m</math> 또는 <math>n=2m+1</math>이면 <math>W</math>와 <math>W^*</math> 둘 다 차원이 <math>m</math>이다. <math>n=2m</math>이면 <math>V=W\oplus W^*</math>이고, <math>n=2m+1</math> 이면  <math>V=W\oplus U\oplus W^*</math>이다. 여기서 <math>U</math>는 <math>W\oplus W^*</math>에 대한 1차원 직교 여공간이다. <math>Q</math>와 연관된 이중 선형 형식 <math>\langle\cdot,\cdot\rangle </math>는 <math>W</math>와 <math>W^*</math>사이의 쌍을 유도하는데, 이는 <math>W</math>와 <math>W^*</math>가 완전 등방 부분 공간이고 <math>Q</math>가 비축퇴이기 때문에 축퇴되지 않아야 한다. 따라서 <math>W</math>와 <math>W^*</math>는 쌍대 선형 공간이다.

보다 구체적으로,  <math>a_1,\dots,a_m</math>가 <math>W</math>의 기저라 하자. 그러면 다음과 같은 <math>W^*</math>의 유일한 기저 <math>\alpha_1,\dots,\alpha_m</math>가 존재한다:

: <math> \langle \alpha_i,a_j\rangle = \delta_{ij}.</math>

<math>A</math>가 <math>m\times m</math> 행렬이면 <math>A</math>는 이 기저에 대해 <math>W</math>의 자기 사상을 유도하고 전치 <math>A^T</math>는 다음과 같이 <math>W^*</math>의 변환을 유도한다:  <math>\forall w \in W</math>, <math>\forall w^* \in W^*</math>,

: <math> \langle Aw, w^* \rangle = \langle w,A^\mathrm{T} w^*\rangle</math>

<math>W</math>에서 <math>A</math>,  <math>W^*</math>에서 <math>-A^T</math>, <math>U</math>에서 0( <math>n</math>이 홀수인 경우)과 같이, <math>V</math>의 자기 사상 <math>\rho_A</math>는 반대칭적이다:

: <math> \langle \rho_A u, v \rangle = -\langle u,\rho_A v\rangle\;\; \forall u,v\in V.</math>

따라서 ([[고전군]] 참조) <math>\mathfrak{so}(n,\mathbb C)\subset \text{End}(V) </math>의 원소이다.

이 구성에서 대각 행렬을 사용하여 <math>\mathfrak{so}(n,\mathbb C) </math>의 [[카르탕 부분 대수]] <math>\mathfrak h</math>를 정의한다. <math>\mathfrak{so}(n,\mathbb C) </math>의 랭크는 <math>m</math>이고,  <math>n\times n</math> 대각 행렬은 <math>m</math>차원 아벨 부분 대수를 결정한다.

<math>\epsilon_1, \dots, \epsilon_m</math>을 대각 행렬 <math>A</math>에 대해 <math>\epsilon_k(\rho_A)</math>가 <math>A</math>의 <math>k</math>번째 대각 성분인 <math>\mathfrak h^*</math>의 기저라 하자. 이것은 확실히 <math>\mathfrak h^*</math>의 기저이다. 쌍선형 형식은 <math>\mathfrak{so}(n,\mathbb C) </math>, <math>\wedge^2 V</math>를 다음과 같이 명시적으로 규명한다:

: <math>x \wedge y \mapsto \varphi_{x \wedge y}, \quad \varphi_{x \wedge y}(v) = 2(\langle y, v\rangle x - \langle x, v\rangle y),\quad x \wedge y \in \wedge^2V,\quad x,y,v \in V, \quad \varphi_{x \wedge y} \in \mathfrak{so}(n, \mathbb{C}).</math><ref>{{괄호 없는 하버드 인용|Fulton|Harris|1991}} Chapter 20, p.303. The factor 2 is not important, it is there to agree with the Clifford algebra construction.</ref>

이제 <math>\mathfrak h</math>와 관련된 [[근계]]를 쉽게 구성할 수 있다. [[근계|근 공간]] (<math>\mathfrak h</math>의 작용에 대한 동시 고유 공간)은 다음 원소들로 생성된다.

: <math> a_i\wedge a_j,\; i\neq j,</math> [[근계|근]](동시 고유값) <math>\varepsilon_i + \varepsilon_j</math>
: <math> a_i\wedge \alpha_j</math> (<math> i= j</math> 이면 <math>\mathfrak h</math>에 있음) [[근계|근]] <math> \varepsilon_i - \varepsilon_j</math>
: <math> \alpha_i\wedge \alpha_j,\; i\neq j,</math> [[근계|근]] <math> -\varepsilon_i - \varepsilon_j</math>

<math>n</math>이 홀수이고 <math>u</math>가 <math>U</math>의 0이 아닌 원소인 경우,

: <math> a_i\wedge u,</math> 근 <math> \varepsilon_i </math>
: <math> \alpha_i\wedge u,</math> 근 <math> -\varepsilon_i.</math>

따라서 기저 <math>\epsilon_1, \dots, \epsilon_m</math>에 대해 근들은

: <math>(\pm 1,\pm 1, 0, 0, \dots, 0)</math>

의 치환인 <math>\mathfrak h^*</math>의 벡터들이다. (<math>n=2m+1</math>인 경우<math>(\pm 1, 0, 0, \dots, 0) </math>의 치환들)

:


[[근계|양의 근계]]는 {{수학|''ε''<sub>''i''</sub> + ''ε''<sub>''j''</sub> (''i'' ≠ ''j''), ''ε''<sub>''i''</sub> &minus; ''ε''<sub>''j''</sub> (''i'' < ''j'')}} 및 ( {{수학|''n''}} 홀수인 경우) <math>\epsilon_i</math>로 주어진다. 해당 [[근계|단순 근]]은 다음과 같다:

: <math>\varepsilon_1-\varepsilon_2, \varepsilon_2-\varepsilon_3, \ldots, \varepsilon_{m-1}-\varepsilon_m, \left\{\begin{matrix}
\varepsilon_{m-1}+\varepsilon_m& n=2m\\
\varepsilon_m & n=2m+1.
\end{matrix}\right.</math>

양의 근들은 단순 근들의 음이 아닌 정수 선형 결합이다.

=== 스핀 표현들과 그 가중치 ===
<math>\mathfrak{so}(n,\mathbb C) </math>의 스핀 표현은 다음 [[외대수]]들을 통해 구성 될 수 있다:

: <math>S=\wedge^\bullet W</math> 및 <math>S'=\wedge^\bullet W^*.</math>

<math>\forall v=w+v^*\in W\oplus W^*</math>, <math>\forall \psi \in S</math>에 대해 다음과 같이 주어진 <math>V</math>의 작용이 있다:

: <math> v\cdot \psi = 2^{\frac{1}{2}}(w\wedge\psi+\iota(w^*)\psi), </math>

여기서 두 번째 항은 쌍선형 형식을 사용하여 정의된 축약([[내부곱]])이며 <math>W</math>와 <math>W^*</math>를 쌍으로 만든다. 이 작용은 [[클리퍼드 대수|클리포드 관계]] <math>v^2=Q(v)1</math>을 만족하므로 <math>V</math>의 [[클리퍼드 대수|클리포드 대수]] <math>\text{Cl}_n \mathbb C </math>에서 <math>\text{End}(S) </math>로 가는 준동형 사상을 유도한다. 유사한 작용을 <math>S'</math>에 정의할 수 있으므로 <math>S</math> 와 <math>S'</math>는 모두 클리포드 가군이다.

리 대수 <math>\mathfrak{so}(n,\mathbb C) </math>는 덮개 <math>\text{Spin}(n)\rightarrow \text{SO}(n) </math><ref>since if <math>\alpha: q\to (v\to q.v.q^{-1})</math> is the covering, then <math>d\alpha: q\to (v\to q.v-v.q)</math>, so <math>d\alpha(v.w)=2\varphi_{v, w}</math> and since <math>v.w+w.v</math> is a scalar, we get <math>d\alpha(1/4[v, w])=\varphi_{v, w}</math></ref>에 의해 유도된 사상을 통해, <math>\text{Cl}_n \mathbb C </math> 안의 복소화된 리 대수 <math>\mathbb C </math>와 동형이다.

: <math> v \wedge w \mapsto \tfrac14[v,w].</math>

따라서 <math>S</math>와 <math>S'</math>는 모두 <math>\mathfrak{so}(n,\mathbb C) </math>의 표현이다. 이들

은 실제로 [[동형 사상|동등한]] 표현이므로, <math>S</math>에 중점을 두겠다.

명시적 설명은 카르탕 부분 대수 <math>\mathfrak h</math>의 원소 <math> \alpha_i\wedge a_i</math>가 다음과 같이 <math>S</math>에 작용함을 보여준다.

: <math> (\alpha_i\wedge a_i) \cdot \psi = \tfrac14 (2^{\tfrac12})^{2} ( \iota(\alpha_i)(a_i\wedge\psi)-a_i\wedge(\iota(\alpha_i)\psi))
= \tfrac12 \psi - a_i\wedge(\iota(\alpha_i)\psi).</math>

다음 형식의 원소들은 <math>S</math>의 기저이다: <math> 0\leq k\leq m</math> 및 <math> i_1<\cdots<i_k</math>에 대해,

: <math> a_{i_1}\wedge a_{i_2}\wedge\cdots\wedge a_{i_k}.</math>

이것들은 <math>\mathfrak h</math>의 작용에 대한 가중치 공간을 생성한다. 어떤 <math>j</math>에 대해 <math>i=i_j</math>인 경우, 주어진 기저 벡터에서 <math> \alpha_i\wedge a_i</math>는 고유값 <math> -1/2</math>를 갖고 그렇지 않은 경우 고유값 <math> 1/2</math>를 갖는다.

<math>S</math>의 [[무게 (표현론)|가중치]]는 다음의 모든 가능한 조합이다.

: <math>\bigl(\pm \tfrac12,\pm \tfrac12, \ldots \pm\tfrac12\bigr)</math>

각 [[무게 (표현론)|가중치 공간]]은 1차원이다. <math>S</math>의 원소는 디랙 스피너 라고 한다.

<math>n</math>이 짝수일 때, <math>S</math>는 [[기약표현|기약 표현]]이 아니다. <math>S_+=\wedge^{\mathrm{even}} W</math>와 <math>S_-=\wedge^{\mathrm{odd}} W</math>는 불변 부분 공간이다. 가중치는 빼기 기호가 짝수개인 가중치와 빼기 기호가 홀수개인 가중치로 나뉜다. <math>S_+</math>와 <math>S_-</math>는 둘 다 <math> 2^{m-1}</math>차원 기약 표현이며, 이들의 원소를 [[바일 방정식|바일 스피너]]라고 부른다. 키랄 스핀 표현 또는 반정수 스핀 표현이라고도 한다. 위의 양의 근계과 관련하여 <math>S_+</math>와 <math>S_-</math>의 [[무게 (표현론)|최고 가중치]]는 각각 다음과 같다:

: <math>\bigl(\tfrac12,\tfrac12, \ldots\tfrac12, \tfrac12\bigr)</math>, <math>\bigl(\tfrac12,\tfrac12, \ldots\tfrac12, -\tfrac12\bigr)</math>

클리포드 작용은 <math>\text{Cl}_n \mathbb C </math>를 <math>\text{End}(S)  </math>로 규명하고 [[클리퍼드 대수|짝수 부분 대수]]는 <math>S_+</math>와 <math>S_-</math>를 보존 하는 자기 사상들로 규명된다. 다른 클리포드 가군 <math>S'</math>는 이 경우 ''<math>S</math>''와 동형이다.

''<math>n</math>''이 홀수일 때, ''<math>S</math>''는 <math> 2^{m}</math>차원인 <math>\mathfrak{so}(n,\mathbb C) </math>의 기약 표현이다. 단위 벡터 <math>u\in U</math>의 클리포드 작용은 다음과 같이 주어진다:

: <math> u\cdot \psi = \left\{\begin{matrix}
\psi&\hbox{if } \psi\in \wedge^{\mathrm{even}} W\\
-\psi&\hbox{if } \psi\in \wedge^{\mathrm{odd}} W
\end{matrix}\right.</math>

따라서 <math> u\wedge w</math> 또는 <math> u\wedge w^*</math> 형식인 <math>\mathfrak{so}(n,\mathbb C) </math>의 원소들은 ''<math>W</math>''의 [[외대수]]의 짝수 부분과 홀수 부분을 보존하지 않는다. ''<math>S</math>''의 최고 가중치는

: <math>\bigl(\tfrac12,\tfrac12, \ldots \tfrac12\bigr).</math>

클리포드 작용은 <math>S</math>에 대해 충실하지 않다. <math>\text{Cl}_n \mathbb C </math>는 <math>\text{End}(S)\oplus\text{End}(S') </math>로 규명될 수 있다. 여기서 ''<math> u</math>''는 <math>S'</math>에 반대 부호로 작용한다. 보다 정확하게는, 두 표현은 짝수 대수의 항등식인 <math>\text{Cl}_n \mathbb C </math>의 [[홀수와 짝수|홀짝성]] [[대합 (수학)|대합]] 함수 ''<math>\alpha</math>''(주 자기 동형 사상이라고도 함)로 서로 관련되며 <math>\text{Cl}_n \mathbb C </math>의 홀수 부분 항등식을 뺀다. 즉, <math>S</math>에서 <math>S'</math>로의 [[선형 변환|선형 동형 사상]]이 존재하며, 이는 <math>\text{Cl}_n \mathbb C </math> 안에 있는 ''<math>S</math>''위의 ''<math>A</math>''의 작용을 <math>S'</math>위의 <math>\alpha(A)</math>의 작용으로 규명한다.

=== 이중 선형 형식 ===
''<math>\lambda</math>''가 ''<math>S</math>''의 가중치이면 ''<math>-\lambda</math>''도 마찬가지이다. 따라서 ''<math>S</math>''는 쌍대 표현 <math>S^*</math>와 동형이다.

<math>n=2m+1</math>이 홀수일 때, 동형 사상 <math>B:S\rightarrow S^* </math>는 <math>S</math>가 기약이기 때문에 [[슈어 보조정리]]에 의해 유일하며, 다음을 통해 ''<math>S</math>''에서 비축퇴 불변 쌍선형 형식 ''<math>\beta</math>''를 정의한다:

: <math>\beta(\varphi,\psi) = B(\varphi)(\psi).</math>

여기서 불변성은 다음을 의미한다: <math>\mathfrak{so}(n,\mathbb C) </math>의 모든 ''<math>\xi</math>''와 <math>S</math>의 ''<math>\phi,\psi</math>''에 대해

: <math>\beta(\xi\cdot\varphi,\psi) + \beta(\varphi,\xi\cdot\psi) = 0</math>

즉, ''<math>\xi</math>''의 작용은 ''<math>\beta</math>''에 대해 반대칭적이다. 더욱이, <math>S^*</math>는 반 클리포드 대수의 표현이며, 따라서  <math>\text{Cl}_n \mathbb C </math>에는 홀짝성 대합 ''<math>\alpha</math>''와 관련된 두 개의 자명하지 않은 [[단순 가군]] ''<math>S</math>''와 ''<math>S'</math>''만 있으므로, <math>\text{Cl}_n \mathbb C </math>의 모든 ''<math>A</math>''에 대해

: <math>\quad\beta(A\cdot\varphi,\psi) = \beta(\varphi,\tau(A)\cdot\psi)\qquad (1)</math>

인 <math>\text{Cl}_n \mathbb C </math>의 반 자기 동형 사상 ''<math>\tau</math>''가 있다. 사실 ''<math>\tau</math>''는 짝수 <math>m</math>에 대한 reversion(<math>V</math>의 항등원에 의해 유도된 반 자기 동형 사상)이고, 홀수 <math>m</math>에 대한 활용(<math>V</math>의 항등원 빼기에 의해 유도된 반 자기 동형 사상)이다. 이 두 가지 반 자기 동형 사상들은 ''<math>V</math>''의 항등원을 뺀 값으로 유도된 자기 동형 사상인 홀짝 대합 ''<math>\alpha</math>''에 의해 연관된다. 둘 다 <math>\xi\in \mathfrak{so}(n,\mathbb C) </math>에 대해 ''<math>\tau(\xi)=-\xi</math>''를 만족한다.

<math>n=2m</math>일 때 상황은 ''<math>m</math>''의 홀짝성에 더 민감하게 의존한다. ''<math>m</math>''이 짝수인 경우, 가중치 ''<math>\lambda</math>''가 짝수개의 음의 부호를 가짐과 ''<math>-\lambda</math>''가 짝수개의 음의 부호를 가짐은 동치다. 그것은 개별적인 동형 사상 <math>B_{\pm}:S_{\pm}\rightarrow S_{\pm}^* </math>가 이중으로 각 반정수 스핀 표현에 있으며, 각각은 규모에 따라 고유하게 결정된다. 이들은 동형 사상 <math>B:S\rightarrow S^* </math>로 조합될 수 있다. 홀수 <math>m</math>의 경우 ''<math>\lambda</math>''가 <math>S_+ </math>의 가중치임과 ''<math>-\lambda</math>''가 <math>S_- </math>의 가중치임은 동치이다. 따라서 <math>S_+ </math>에서 <math>S_-^* </math>로 가는 동형 사상이 유일하고, 그 전치는 <math>S_- </math>에서 <math>S_+^* </math>로의 동형 사상을 제공한다. 이들은 다시 동형 사상 <math>B:S\rightarrow S^* </math>로 조합될 수 있다.

짝수 <math>m</math> 및 홀수 <math>m</math> 모두에 대해, ''<math>B</math>''의 선택은 ''<math>B</math>''에 해당하는 쌍선형 형식 ''<math>\beta </math>''가 (1)을 만족하는 조건을 추가함으로써 전체 규모로 제한될 수 있다. 여기서 ''<math>\tau</math>''는 고정된 반 자기 동형 사상(복귀 또는 접합)이다.

=== 대칭과 텐서 제곱 ===
<math>\beta: S\otimes S \rightarrow \mathbb C </math>의 대칭 특성은 클리포드 대수 또는 표현론을 사용하여 결정할 수 있다. 실제로 훨씬 더 많은 것을 말할 수 있다: 텐서 제곱 <math>S\otimes S </math>는 다양한 ''<math>k</math>''에 대해 ''<math>V</math>''에서 ''<math>k</math>''형식의 직합으로 분해되어야 한다 &#x2212; 그 가중치는 구성 원소가 ''<math>\{-1,0,1\}</math>''. 이제 동치인 선형 사상들 <math>S\otimes S \rightarrow \wedge^kV^* </math>는 불변 사상들 <math>\wedge^kV^*\otimes S\otimes S \rightarrow \mathbb C </math>과 1대1 대응되며, 0이 아닌 이러한 사상은 <math>\wedge^kV^* </math>를 클리포드 대수에 포함시켜 구성할 수 있다. 또한 <math>\beta(\phi,\psi)=\epsilon\beta(\psi,\phi) </math>이고 ''<math>\tau</math>''가 <math>\wedge^kV^* </math>에서 부호가 ''<math>\epsilon_k</math>''이면

: <math>\beta(A\cdot\varphi,\psi) = \varepsilon\varepsilon_k \beta(A\cdot\psi,\varphi)</math>

<math>\forall\in\wedge^kV^* </math>.

<math>n=2m+1</math>이 홀수이면 슈어 보조정리에서 다음을 따른다:

: <math> S\otimes S \cong \bigoplus_{j=0}^{m} \wedge^{2j} V^*</math>

(양쪽의 차원은 <math>2^{2m}</math>이고 오른쪽의 표현은 동일하지 않다). 대칭은 켤레 또는 reversion인 대합 ''<math>\tau</math>''에 의해 지배되기 때문에 <math>\wedge^{2j}V^* </math> 성분의 대칭은 ''<math>j</math>''와 번갈아 나타난다. 초등적 조합론으로 다음을 알 수 있다:

: <math> \sum_{j=0}^m (-1)^j \dim \wedge^{2j} \Complex^{2m+1} = (-1)^{\frac12 m(m+1)} 2^m = (-1)^{\frac12 m(m+1)}(\dim \mathrm S^2S-\dim \wedge^2 S)</math>

부호는 <math>S^{2}S </math>에서 발생하는 표현과 <math>\wedge^2S </math>에서 발생하는 표현을 결정한다.<ref>This sign can also be determined from the observation that if ''&#x3C6;'' is a highest weight vector for ''S'' then ''&#x3C6;''⊗''&#x3C6;'' is a highest weight vector for &#x2227;<sup>''m''</sup>''V'' &#x2245; &#x2227;<sup>''m''+1</sup>''V'', so this summand must occur in S<sup>2</sup>''S''.</ref> 특히

: <math> \beta(\phi,\psi)=(-1)^{\frac12 m(m+1)}\beta(\psi,\phi),</math> 그리고
: <math> \beta(v\cdot\phi,\psi) = (-1)^m(-1)^{\frac12 m(m+1)}\beta(v\cdot\psi,\phi) = (-1)^m \beta(\phi,v\cdot\psi)</math>

<math>v\in V  </math>(<math>\wedge^{2m}V  </math>와 동형)에 대해 ''<math>\tau</math>''가 짝수 <math>m</math>에 대한 reversion이고 홀수 <math>m</math>에 대한 켤레임을 확인한다.

<math>n=2m</math>이 짝수이면 분석이 더 복잡하지만,, 결과적으로 더 세분화된 분해이다: <math>S^{2}S_{\pm} </math>, <math>\wedge^{2}S_{\pm} </math> 및 <math>S_+\otimes S_- </math>는 각각 ''<math>k</math>'' - 형식들의 직합으로 분해된다.(여기서 ''<math>k=m</math>''에 대해 자기 쌍대 및 반자기 쌍대 ''<math>m</math>'' -형식으로의 추가 분해가 있음).

주요 결과는 다음 표에서처럼 <math>n \mod 8 </math> 따라 ''<math>S</math>''에 대한 고전적인 리 대수학의 부분 대수로서 <math>\mathfrak{so}(n,\mathbb C) </math>를 구현한다:
{| class="wikitable"
!<math>n \mod 8 </math>
| 0
| 1
| 2
| 삼
| 4
| 5
| 6
| 7
|-
! 스피너 대수
| <math> \mathfrak{so}(S_+)\oplus\mathfrak{so}(S_-) </math>
| <math> \mathfrak{so}(S) </math>
| <math> \mathfrak{gl}(S_{\pm}) </math>
| <math> \mathfrak{sp}(S) </math>
| <math> \mathfrak{sp}(S_+)\oplus\mathfrak{sp}(S_-) </math>
| <math> \mathfrak{sp}(S) </math>
| <math> \mathfrak{gl}(S_{\pm}) </math>
| <math> \mathfrak{so}(S) </math>
|}
'''<math> n\leq 6</math>'''의 경우 이러한 묻기는 동형 사상이다('''<math> n= 6</math>'''의 경우 '''<math> \mathfrak{gl}</math>'''이 아닌 '''<math> \mathfrak{sl}</math>'''로).

: <math> \mathfrak{so}(2,\mathbb C) \cong \mathfrak{gl}(1,\mathbb C)\qquad(=\mathbb C)</math>
: <math> \mathfrak{so}(3,\mathbb C) \cong \mathfrak{sp}(2,\mathbb C)\qquad(=\mathfrak{sl}(2,\mathbb C))</math>
: <math> \mathfrak{so}(4,\mathbb C) \cong \mathfrak{sp}(2,\mathbb C)\oplus\mathfrak{sp}(2,\mathbb C)</math>
: <math> \mathfrak{so}(5,\mathbb C) \cong \mathfrak{sp}(4,\mathbb C)</math>
: <math> \mathfrak{so}(6,\mathbb C) \cong \mathfrak{sl}(4,\mathbb C).</math>

== 실 표현 ==
<math>\mathfrak{so}(n,\mathbb C) </math>의 복소 스핀 표현은 작용을 실수 부분 대수로 제한하여 <math>\mathfrak{so}(p,q) </math>의 실 표현 ''<math>S</math>''를 생성한다. 그러나 실 리 대수의 작용 하에서 변하지 않는 추가 "실" 구조가 있다. 이들은 세 가지 유형이 있다.

# 불변 복소 반선형 사상 <math>r: S\rightarrow S </math>와 <math>r^2=\text{id}_S </math>가 있다. 그러면 <math>r </math>의 고정 소수점 집합은<math>S_{\mathbb R}\otimes \mathbb C= S </math>인 <math>S </math>의 실 부분 공간 <math>S_{\mathbb R} </math>이다. 이것을 '''실 구조'''라고 한다.
# 불변 복소 반선형 사상 <math>j: S\rightarrow S </math>  <math>j^2=-\text{id}_S </math>인 가 있다. 세 쌍 ''<math>i,j,k:=ij</math>''는 <math>S </math>를 사원수 선형 공간 <math>S_{\mathbb H}  </math>로 만든다. 이것을 '''사원(四元) 구조'''라고 한다.
# 가역적인 불변 복소 반선형 사상 <math>b:S\rightarrow S^* </math>가 있다 이것은 <math>S </math>에서 유사 에르미트 쌍선형 형식을 정의하고 '''에르미트 구조'''라고 한다.

<math>\mathfrak{so}(p,q) </math>에 대해 불변인 구조의 유형들은 부호수 <math>p - q \mod 8 </math>에만 의존하며 다음 표에 나와 있다:
{| class="wikitable"
!<math>p - q \mod 8 </math>
| <math>0 </math>
| <math>1 </math>
| <math>2 </math>
| <math>3 </math>
| <math>4 </math>
| <math>5 </math>
| <math>6 </math>
| <math>7 </math>
|-
! 구조
| <math>\mathbb R+\mathbb R </math>
| <math>\mathbb R </math>
| '''<math>\mathbb C </math>'''
| <math>\mathbb H </math>
| <math>\mathbb H+\mathbb H </math>
| '''<math>\mathbb H </math>'''
| '''<math>\mathbb C </math>'''
| '''<math>\mathbb R </math>'''
|}
여기서 '''<math>\mathbb R </math>''', '''<math>\mathbb C </math>''' 및 '''<math>\mathbb H </math>'''는 각각 실, 에르미트 및 사원 구조를 나타내며, <math>\mathbb R+\mathbb R </math> 및 <math>\mathbb H+\mathbb H </math>는 반정수 스핀 표현이 각각 실 또는 사원 구조를 허용함을 나타낸다.

=== 설명 및 표 ===
실 표현에 대한 설명을 완료하려면 이러한 구조가 불변 쌍선형 형식과 어떻게 상호 작용하는지 설명해야 한다.<math>n=p+q\equiv p - q \mod 2 </math>이므로 두 가지 경우가 있다. 차원과 부호수이 모두 짝수인 경우와 차원과 부호수가 모두 홀수인 경우이다.

홀수인 경우는 더 간단하다. 복소 스핀 표현 ''<math>S </math>''가 하나만 있고, 에르미트 구조가 발생하지 않는다. 자명한 경우인 <math>n=1 </math>을 제외하고 ''<math>S </math>''는 항상 짝수 차원이다. 예를 들어 <math>\text{dim}S=2N </math>이다. <math>\mathfrak{so}(2N,\mathbb C) </math>의 실수형은 <math>K+L=2N </math>인 <math>\mathfrak{so}(K,L) </math>'''이므로''' <sup>∗</sup>(''N'', '''H''')인 반면 <math>\mathfrak{sp}(2N, \mathbb C) </math>의 실수형은 <math>\mathfrak{sp}(2N, \mathbb R) </math>및 <math>\mathfrak{so}(K,L) </math> <math>K+L=N </math> <math>S </math>에 대한 ''<math>V </math>''의 클리포드 작용의 존재는 <math>pq=0 </math>이 아닌 경우 두 경우 모두에서 <math>K=L </math>이 성립해야 한다. 이 경우 <math>KL=0 </math>이며 간단히 <math>\mathfrak{so}(2N) </math> 또는 <math>\mathfrak{sp}(N) </math>로 표시된다. 따라서 홀수 스핀 표현은 다음 표와 같이 요약될 수 있다:
{| class="wikitable" style="text-align:center"
!
! <math>n \mod 8 </math>
! <math>1,7 </math>
! <math>3,5 </math>
|-
! <math>p - q \mod 8 </math>
!
! <math>\mathfrak{so}(2N,\mathbb C) </math>
! <math>\mathfrak{sp}(2N,\mathbb C) </math>
|-
! <math>1,7 </math>
! <math>\mathbb R </math>
| <math>\mathfrak{so}(N,N) </math> 또는 <math>\mathfrak{so}(2N) </math>
| <math>\mathfrak{sp}(2N,\mathbb R) </math>
|-
! <math>3,5 </math>
! '''<math>\mathbb H </math>'''
| <math>\mathfrak{so}^*(N,\mathbb H) </math>
| <math>\mathfrak{sp}(N/2,N/2)^{\dagger} </math> 또는 <math>\mathfrak{sp}(N) </math>
|}
(†) <math>N </math>은 <math>n>3 </math>인 경우 짝수이고 <math>n=3 </math><math>n=3  </math>인 경우 <math>\mathfrak{sp}(1) </math>이다.

짝수 차원의 경우도 비슷하다. <math>n>2 </math> <math>n>2  </math>의 경우 복소수 반회전 표현은 짝수 차원이다. 우리는 추가로 에르미트 구조와 <math>\mathfrak{sl}(2N,\mathbb C) </math>의 실 형태를 다루어야 한다: <math>\mathfrak{sl}(2N,\mathbb R) </math>,  <math>K+L=2N </math>일 때 <math>\mathfrak{su}(K,L) </math>, <math>\mathfrak{sl}(N,\mathbb H) </math>. 그 결과 짝수 스핀 표현은 다음 표와 같이 요약된다:
{| class="wikitable" style="text-align:center"
!
! <math>n \mod 8 </math>
! <math>0 </math>
! <math>2,6 </math>
! <math>4 </math>
|-
! <math>p - q \mod 8 </math>
!
! <math>\mathfrak{so}(2N,\mathbb C)+\mathfrak{so}(2N,\mathbb C) </math>
! <math>\mathfrak{sl}(2N,\mathbb C) </math>
! <math>\mathfrak{sp}(2N,\mathbb C)+\mathfrak{sp}(2N,\mathbb C) </math>
|-
! <math>0 </math>
! <math>\mathbb R+\mathbb R </math>
| <math>\mathfrak{so}(N,N)+\mathfrak{so}(N,N)^* </math>
| <math>\mathfrak{sl}(2N,\mathbb R) </math>
| <math>\mathfrak{sp}(2N,\mathbb R)+\mathfrak{sp}(2N,\mathbb R) </math>
|-
! <math>2,6 </math>
! '''<math>\mathbb C </math>'''
| <math>\mathfrak{so}(2N,\mathbb C) </math>
| <math>\mathfrak{su}(N,N) </math>
| <math>\mathfrak{sp}(2N,\mathbb C) </math>
|-
! <math>4 </math>
! <math>\mathbb H+\mathbb H </math>
| <math>\mathfrak{so}^*(N,\mathbb H)+\mathfrak{so}^*(N,\mathbb H) </math>
| <math>\mathfrak{sl}(N,\mathbb H) </math>
| <math>\mathfrak{sp}(N/2,N/2)+\mathfrak{sp}(N/2,N/2)^{\dagger} </math>
|}
(*) <math>pq=0 </math>의 경우 대신에 <math>\mathfrak{so}(2N)+\mathfrak{so}(2N)  </math><math>\mathfrak{so}(2N)+\mathfrak{so}(2N) </math>

(†) <math>N </math> 은 <math>n>4 </math> 이고 <math>pq=0 </math> ( <math>N=1 </math> 인 <math>n=4 </math> 포함)인 경우 짝수이다. 대신 <math>\mathfrak{sp}(N)+\mathfrak{sp}(N) </math>

복소 경우의 저차원 동형 사상은 다음과 같은 실 형식을 갖는다.
{| class="wikitable"
|유클리드 부호수
| 민코프스키 부호수
| colspan="2" | 기타 부호수
|-
| <math>\mathfrak{so}(2)\cong \mathfrak{u}(1)</math>
| <math>\mathfrak{so}(1,1)\cong \mathbb R</math>
| colspan="2" |
|-
| <math>\mathfrak{so}(3)\cong \mathfrak{sp}(1)</math>
| <math>\mathfrak{so}(2,1)\cong \mathfrak{sl}(2,\mathbb R)</math>
| colspan="2" |
|-
| <math>\mathfrak{so}(4)\cong \mathfrak{sp}(1)\oplus\mathfrak{sp}(1)</math>
| <math>\mathfrak{so}(3,1)\cong \mathfrak{sl}(2,\mathbb C)</math>
| <math>\mathfrak{so}(2,2)\cong \mathfrak{sl}(2,\mathbb R)\oplus\mathfrak{sl}(2,\mathbb R)</math>
|
|-
| <math>\mathfrak{so}(5)\cong \mathfrak{sp}(2)</math>
| <math>\mathfrak{so}(4,1)\cong \mathfrak{sp}(1,1)</math>
| <math>\mathfrak{so}(3,2)\cong \mathfrak{sp}(4,\mathbb R)</math>
|
|-
| <math>\mathfrak{so}(6)\cong \mathfrak{su}(4)</math>
| <math>\mathfrak{so}(5,1)\cong \mathfrak{sl}(2,\mathbb H)</math>
| <math>\mathfrak{so}(4,2)\cong \mathfrak{su}(2,2)</math>
| <math>\mathfrak{so}(3,3)\cong \mathfrak{sl}(4,\mathbb R)</math>
|}
이 표에서 누락된 실 리 대수의 유일한 특수 동형 사상은 다음과 같다. <math>\mathfrak{so}^*(3,\mathbb H) \cong \mathfrak{su}(3,1)</math>과 <math>\mathfrak{so}^*(4,\mathbb H)\cong\mathfrak{so}(6,2).</math>

== 각주 ==
{{각주}}

== 참고 문헌 ==
* {{인용|last1=Brauer|first1=Richard|author1-link=Richard Brauer|last2=Weyl|first2=Hermann|author2-link=Hermann Weyl|title=Spinors in n dimensions|journal=American Journal of Mathematics|volume=57|issue=2|year=1935|pages=425&ndash;449|doi=10.2307/2371218|jstor=2371218|publisher=American Journal of Mathematics, Vol. 57, No. 2}}.
* {{인용|last=Cartan|first=Élie|authorlink=Élie Cartan|year=1966|title=The theory of spinors|publisher=Paris, Hermann (reprinted 1981, Dover Publications)|isbn=978-0-486-64070-9}}.
* {{인용|last=Chevalley|first=Claude|authorlink=Claude Chevalley|title=The algebraic theory of spinors and Clifford algebras|publisher=Columbia University Press (reprinted 1996, Springer)|year=1954|isbn=978-3-540-57063-9}}.
* {{인용|first=Pierre|last=Deligne|authorlink=Pierre Deligne|chapter=Notes on spinors|title=Quantum Fields and Strings: A Course for Mathematicians|editor=P. Deligne|editor2=P. Etingof|editor3=D. S. Freed|editor4=L. C. Jeffrey|editor5=D. Kazhdan|editor6=J. W. Morgan|editor7=D. R. Morrison|editor8=E. Witten|publisher=American Mathematical Society|place=Providence|year=1999|pages=99&ndash;135}}. See also [http://www.math.ias.edu/QFT the programme website] for a preliminary version.
* {{인용|last1=Fulton|first1=William|author1-link=William Fulton (mathematician)|last2=Harris|first2=Joe|author2-link=Joe Harris (mathematician)|title=Representation theory. A first course|publisher=[[Springer-Verlag]]|location=New York|series=[[Graduate Texts in Mathematics]], Readings in Mathematics|isbn=0-387-97495-4|mr=1153249|year=1991|volume=129}}.
* {{인용|title=Spinors and Calibrations|last=Harvey|first=F. Reese|authorlink=F. Reese Harvey|publisher=Academic Press|year=1990|isbn=978-0-12-329650-4}}.
* {{인용|last1=Lawson|first1=H. Blaine|author1-link=H. Blaine Lawson|last2=Michelsohn|first2=Marie-Louise|author2-link=Marie-Louise Michelsohn|title=Spin Geometry|publisher=Princeton University Press|year=1989|isbn=0-691-08542-0}}.
* {{인용|title=The Classical Groups: Their Invariants and Representations|first=Hermann|last=Weyl|authorlink=Hermann Weyl|year=1946|edition=2nd|publisher=Princeton University Press (reprinted 1997)|isbn=978-0-691-05756-9}}.

[[분류:표현론]]
[[분류:리 군]]
[[분류:리 대수]]