트위스터 공간

수학에서 **트위스터 공간**(twistor空間, )은 트위스터 방정식 \nabla_{A'}^{(A}\Omega^{B)}=0 의 해들로 이뤄진 복소선형공간이다. 1960년대에 로저 펜로즈와 말콤 맥콜럼(Malcolm MacCallum)이 묘사하였다.

민코프스키 공간에 대해 트위스터  방정식의 해들은 다음과 같은 형태이다:

:
\Omega^A(x)=\omega^A-ix^{AA'}\pi_{A'}


여기서 \omega^A 와 \pi_{A'}는 두 상수 바일 스피너들이고   x^{AA'}=\sigma^{AA'}_\mu x^{\mu}는 민코프스키 공간의 한 점이다.  트위스터 공간은 4차원 민코프스키 공간의 등각 대칭을 자명하게 드러내는 한 방법이기도 하다.

펜로즈는 양자 중력 이론의 하나인 트위스터 이론을 발표하며, 트위스터 공간이 양자 중력 이론의 근본적 배경이고, 여기서 기존의 시공간 개념이 자연스럽게 나온다고 제안했다. 엔드류 호지스에 따르면, 트위스터 공간은 복소수 4개를 가지고 광자의 움직임을 개념화 하는데 유용하다고 한다. 또한 트위스터 공간은 약한 상호작용의 비대칭성을 이해하는데 도움을 줄지 모른다고 한다.

## 정의
트위스터 공간은 다양한 시공간 차원에 대하여 정의될 수 있다.

### 4차원 트위스터 공간
다음이 주어졌다고 하자.
* 체 K
** 수리물리학에서는 K = \mathbb R 또는 K = \mathbb C인 경우만 생각한다.
* 2차원 K-벡터 공간 \Delta_+, \Delta_-
** 수리물리학에서, 이는 왼쪽·오른쪽 바일 스피너 (K=\mathbb C인 경우) 또는 왼쪽·오른쪽 마요라나-바일 스피너(K = \mathbb R인 경우)에 해당한다.
그렇다면, 4차원 K-벡터 공간
:V = \Delta_+ \otimes_K \Delta_-
을 정의할 수 있다. (물리학적으로, 이는 [복소화한] 시공간에 해당한다.) 그 위에는 비퇴화 이차 형식
:Q(v) = \det v
이 존재한다. (K=\mathbb R인 경우 이는 부호수 (2,2)를 가진다.) V 위에는 \operatorname{GL}(\Delta_+) \times \operatorname{GL}(\Delta_-)가 작용하며, 이 가운데 \operatorname{SL}(\Delta_+) \times \operatorname{SL}(\Delta_-)의 작용은 Q를 보존한다. 즉, 이는 동형 사상
:\operatorname{SO}(V,Q) \cong \frac{\operatorname{SL}(\Delta_+) \times \operatorname{SL}(\Delta_-)}{\{(1,1),(-1,-1)\}}
을 정의한다. 사실, 4차원 벡터 공간 V를 이렇게 2차원 벡터 공간의 텐서곱으로 나타내는 구조는 V 위의 선형 등각 구조와 동치이다.

**설명:**

구체적으로, \Delta_\pm에 임의의 심플렉틱 벡터 공간 구조 \omega^\pm를 주었을 때 비퇴화 쌍선형 형식
:g \colon V \otimes V \to K
:g_{\alpha\dot\alpha\beta\dot\beta} = \omega^+_{\alpha\beta}\omega^-_{\dot\alpha\dot\beta}
을 정의할 수 있다. \Delta_\pm 위의 심플렉틱 벡터 공간 구조들은 모두 서로 비례하며, 이에 따라 등각 계량 동치류 [g] = \{\lambda g\colon \lambda\in K^\times\}는 잘 정의된다.

반대로, V 위에 등각 계량이 주어졌을 때, 이를 사용하여 직교군 \operatorname{SO}(V)을 정의할 수 있다. 리 군 표현론에 의하여 \operatorname{SO}(V)의 4차원 표현 V는 두 바일 스피너 표현의 텐서곱으로 주어지며, 이 두 공간이 \Delta_\pm에 해당한다.


이제, 다음과 같은 공간을 생각하자.
:F=\mathbb P(\Delta_+^\vee) \times V = \mathbb P(\Delta_+^\vee) \times \Delta_+ \otimes \Delta_-
이 5차원 비특이 대수다양체 F를 **대응 공간**(對應空間, )이라고 한다. 그 국소 좌표는
:(x^{\alpha\dot\alpha},[\lambda_\alpha])
로 쓸 수 있다. 여기서 \alpha는 \Delta_+의 지표이며, \dot\alpha는 \Delta_-의 지표이다.

그렇다면, \Delta_+와 그 쌍대 공간 \Delta_+^\vee 사이의 쌍대성으로 인하여 다음과 같은 사영 사상이 유도된다.
: \mathbb P(\Delta_+^\vee) \times (\Delta_+ \otimes \Delta_-) \to \mathbb P(\Delta_- \oplus \Delta_+^\vee) \cong \mathbb P^3_K
:(x^{\alpha\dot\alpha},[\lambda_\alpha])\mapsto\left[\sum_\alpha \lambda_\alpha x^{\alpha\dot\alpha}:\lambda_\alpha\right]
이 함수는 전사 함수가 아니며, 그 상은 다음과 같다.
:T = \{[\psi:\lambda] \colon \psi\in \Delta_-,\;\lambda\in\Delta_+^\vee,\;\lambda \ne 0 \} \subsetneq  \mathbb P(\Delta_- \oplus \Delta_+^\vee)
이는 3차원 복소수 사영 공간 속의 열린 부분 스킴을 이루며, 그 여집합은 \{[\psi:0]\colon \psi \in \Delta_- \} \cong \mathbb P(\Delta_-)이다. 즉, T는 3차원 준사영 대수다양체를 이룬다. 이를 **트위스터 공간**이라고 하며, 그 속의 임의의 원소 [\psi:\lambda]를 **트위스터**()라고 한다.

이는 사영 사상
:T \to \mathbb P(\Delta_+^\vee)
:[\psi:\lambda] \mapsto [\lambda]\qquad(\psi\in\Delta_-,\;\lambda\in\Delta_+^\vee)
을 가지며, 이 사영 아래 T는  \mathbb P(\Delta_+^\vee) \cong \mathbb P^1_K 위의 2차원 벡터 다발
:\mathcal O(1) \oplus \mathcal O(1)
의 전체 공간과 동형이다.

즉, 대응 공간 F는 (복소화) 시공간과 트위스터 공간 둘 다 위의 올다발을 이룬다.
:\mathbb P(\Delta_+^\vee)\twoheadleftarrow T \twoheadleftarrow \mathbb P(\Delta_+^\vee) \times V \twoheadrightarrow V

#### 앰비트위스터
왼쪽·오른쪽 바일 스피너를 고르는 대신, 둘 다 사용할 수 있다. 이 경우 더 큰 트위스터 공간을 얻으며, 이를 **앰비트위스터 공간**()이라고 한다.

구체적으로, **대응 공간**
:F = \Delta_+ \otimes \Delta_- \oplus \mathbb P(\Delta_+^\vee) \oplus \mathbb P(\Delta_-^\vee)
을 생각하자. 그렇다면, 이는 사상
:F \to \mathbb P(\Delta_- \oplus \Delta_+^\vee) \times \mathbb P(\Delta_- \oplus \Delta_-^\vee)
:(x,\lambda^+,\lambda^-) \mapsto ([x^{ij}\lambda^+_i,\lambda^+], [x^{ij}\lambda^-_j,\lambda_-]) = ([\xi_+,\lambda^+],[\xi_-,\lambda^-])
을 정의한다. 그 상은
:\lambda^+ \ne 0
:\lambda^- \ne 0
:\xi_+^\alpha\lambda^+_\alpha = \xi_-^{\dot\alpha}\lambda^-_{\dot\alpha}
를 따른다. 즉, 이는 두 3차원 사영 공간의 곱공간 속의 이차 초곡면이다. 이 5차원 초곡면 T_5를 **앰비트위스터 공간**이라고 한다. 앰비트위스터 공간은 물론 왼쪽 또는 오른쪽 트위스터 공간 T_3으로의 사영 사상
:T_5 \twoheadrightarrow T_3
을 갖는다.

또한, 이로부터 다음과 같은 사영 사상이 존재한다.
:T_5 \to \mathbb P(\Delta_+^\vee \otimes \Delta_-^\vee \oplus K) \cong \mathbb P^4
:([x^{\alpha\dot\alpha}\lambda^+_\alpha:\lambda^+],
[x^{\alpha\dot\alpha}\lambda^-_{\dot\alpha}:\lambda^-]) \to
 [x^{\alpha\dot\alpha}\lambda^+_\alpha:\lambda^+:\lambda^+\otimes\lambda^-]
그 상은 4차원 사영 공간 \mathbb P(\Delta_+^\vee \otimes \Delta_-^\vee \oplus K) 속에서
:\det (\lambda^+ \otimes \lambda^-) = 0
으로 정의되는 3차원 이차 초곡면이다. 이 T_3'는 **초평면 트위스터 공간**()이라고 한다. 이는 세그레 사상
:\mathbb P(\Delta_+^\vee) \times \mathbb P(\Delta_-^\vee) \to \mathbb P(\Delta_+^\vee\otimes\Delta_-^\vee)
을 통하여, 사실 \mathbb P(\Delta_+^\vee) \times \mathbb P(\Delta_-^\vee) 위의 선다발
:\mathcal O_{\mathbb P(\Delta_+^\vee) \times \mathbb P(\Delta_-^\vee)}(1,1)
의 전체 공간과 같다.

### 6차원 트위스터 공간
다른 차원에서도 유사하게 트위스터 공간을 구성할 수 있다. 예를 들어, 6차원을 생각하자. 즉, 다음이 주어졌다고 하자.
* 체 K
* 4차원 K-벡터 공간 \Delta (6차원 마요라나-바일 스피너)
그렇다면
:V = \bigwedge^2\Delta
를 정의하면, V 위에는 \operatorname{SL}(\Delta) \times \operatorname{SL}(\Delta)가 작용한다. V 위에는 비퇴화 이차 형식
:Q(v) = \epsilon_{ijkl}v^{ij}v^{kl}
이 작용하며, 이에 대하여 불변이다. (여기서 \epsilon_{ijkl}은 레비치비타 기호이다. K = \mathbb R일 때 이는 부호수 (3,3)를 가진다.) 이는 동형 사상
:\operatorname{SO}(3,3) \cong \frac{\operatorname{SL}(4)} {\{1,-1\}}
에서 유래한다.

이 경우, 마찬가지로 공간
:\left(\bigwedge^2\Delta\right) \times \mathbb P(\Delta^\vee)
은 다음과 같은 사영 사상을 갖는다.
:\bigwedge^2\Delta \times\mathbb P(\Delta^\vee)\to \mathbb P(\Delta\oplus\Delta^\vee)
:(v^{ij},[\lambda_i]) \mapsto \left[\sum_iv^{ij}\lambda_i:\lambda_i\right]
이는 마찬가지로 \mathbb P(\Delta^\vee \oplus \Delta) \cong \mathbb P^7의 부분 집합이다. 그런데
:\sum_{i,j}(v^{ij}\lambda_i)\lambda_j = 0
이므로, 그 상은
:T = \{[\xi:\lambda]\colon \xi^i\lambda_i = 0,\;\lambda \ne 0 \} \subsetneq \mathbb P(\Delta\oplus\Delta^\vee)
이다. 이는 6차원 준사영 대수다양체이다. 이 공간 T를 6차원 공간의 **트위스터 공간**이라고 하며, 그 원소 [\xi:\lambda]를 **트위스터**라고 한다. T는 3차원 사영 공간 \mathbb P(\Delta^\vee) 위의 3차원 벡터 다발을 이룬다. 이는 4차원 벡터 다발
:\Delta\otimes\mathcal O_{\mathbb P(\Delta^\vee)}
의 부분 다발이며, 짧은 완전열
:0 \to T \to \Delta\otimes\mathcal O_{\mathbb P(\Delta^\vee)} \,\overset{(\xi,\lambda) \mapsto \xi^i\lambda_i} \to\, \mathcal O_{\mathbb P(\Delta^\vee)}(2) \to 0
을 따른다.
:
\begin{matrix}
\bigwedge^2\Delta&\twoheadleftarrow & \left(\bigwedge^2\Delta\right) \times \mathbb P(\Delta^\vee) & \twoheadrightarrow & T & \twoheadrightarrow & \mathbb P(\Delta^\vee) \\
&&& & \cap \\
&&& & \operatorname{Spec}\frac{K[\Delta\oplus\Delta^\vee]}{(\xi^i\lambda_j\colon \xi\in \Delta,\;\lambda\in\Delta^\vee)} \\
&&& & \cap \\
&&& & \mathbb P(\Delta\oplus\Delta^\vee)
\end{matrix}

### 3차원 트위스터 공간
3차원에서도 마찬가지로 트위스터 공간을 정의할 수 있다. 이 경우의 트위스터 공간은 간혹 **미니트위스터 공간**()라고 한다.

다음이 주어졌다고 하자.
* 체 K
* 2차원 K-벡터 공간 \Delta (3차원 [마요라나-]바일 스피너의 공간)
그렇다면 3차원 벡터 공간
:V = \operatorname{Sym}^2\Delta
를 정의할 수 있다.

\dim\Delta=2이므로, \Delta 위의 심플렉틱 벡터 공간 구조는 모두 서로 비례한다. 임의의 심플렉틱 벡터 공간 구조 \omega\colon\Delta\to\Delta^\vee를 고른다면, V는 딸림표현 \mathfrak{sl}(\Delta)와 동형이며, 이는 킬링 형식을 갖춘다. 이는 2×2 행렬의 행렬식에 비례한다. (K = \mathbb R일 때, V 위의 이차 형식의 부호수는 (2,1)이므로, 이는 3차원 민코프스키 공간이다.) 즉, 이는 동형 사상
:\operatorname{SL}(\Delta) \cong \operatorname{SO}(V,\det) / \{\pm1\}
을 실현한다. 물론, 사용한 심플렉틱 벡터 공간 구조를 \omega \mapsto \lambda\omega와 같이 바꾸더라도, 우변에서 이는 이차 형식을 스칼라배 재정의하는 것에 불과하므로, 우변은 사용한 심플렉틱 벡터 공간 구조에 불변이다.

이 경우, 대응 공간
:F = V \times \mathbb P(\Delta^\vee)
으로부터, 다음과 같은 사상을 정의할 수 있다.
:F \to \mathbb P(K[1]\oplus\Delta^\vee)\cong\mathbb P(2,1,1)
:(x^{ij},\lambda_i) \mapsto [x^{ij}\lambda_i\lambda_j : \lambda_1 : \lambda_2]
여기서 K[1] \oplus \Delta^\vee는 1등급 성분이 \Delta^\vee이며 2등급 성분이 K인 등급 벡터 공간이며, 이에 대하여 가중 사영 공간을 취할 수 있다. 이 사상의 상을 **트위스터 공간** T라고 한다. 이는 2차원 준사영 대수다양체이다.

즉, 이는 가중 사영 공간의 열린집합을 정의한다. 사실, 사영 사상
: \mathbb P(K[1]\oplus\Delta^\vee) \to \mathbb P(\Delta^\vee) \cong \mathbb P^1
:[\xi:\lambda_1 : \lambda_2 ] \mapsto [\lambda_1 : \lambda_2]
에 대하여, 이는 선다발을 이룬다. 그 단면 \xi = x^{ij}\lambda_i\lambda_j는 (\lambda_1,\lambda_2)에 대한 2차 함수이므로, 이는 선다발 \mathcal O(2)에 해당한다. 이는 사실 사영 직선 위의 접다발에 해당한다. 즉, T \cong \mathrm T\mathbb P(\Delta^\vee)이다.

가중 사영 공간은 물론 다음과 같이 4차원 사영 공간으로 매장된다.
:\mathbb P(K[1]\oplus\Delta^\vee) \to \mathbb P(K\oplus\operatorname{Sym}^2\Delta^\vee) \cong \mathbb P^4
:[\xi:\lambda_i] \mapsto [\xi:\lambda_i \lambda_j]
즉, T는 4차원 사영 공간 속의 2차원 준사영 대수다양체이다.

:
\begin{matrix}
\operatorname{Sym}^2\Delta&\twoheadleftarrow & (\operatorname{Sym}^2\Delta) \times \mathbb P(\Delta^\vee) & \twoheadrightarrow & \mathcal O_{\mathbb P(\Delta^\vee)}(2) & \twoheadrightarrow & \mathbb P(\Delta^\vee) \\
&&& & \cap \\
&&& & \mathbb P(K[1] \oplus\Delta^\vee) \\
&&& & \cap \\
&&& & \mathbb P(K\oplus\operatorname{Sym}^2\Delta^\vee)
\end{matrix}

## 성질
### 시공간과 트위스터 공간 사이의 관계
#### 4차원
4차원 트위스터 공간
:T \,\overset{\pi_T}\twoheadleftarrow\, F \,\overset{\pi_V}\twoheadrightarrow\, V = \Delta_+ \otimes \Delta_-
을 생각하자.

이 경우, 시공간 V와 트위스터 공간 T 사이에 다음과 같은 대응이 존재한다.

위 표에서 **영평면**(零平面, )이란 (원점을 지나지 않을 수 있는) 2차원 평면 X 가운데, 임의의 두 점 x,y\in X에 대하여 (x-y)^2 = 0인 것이다.

사실, 이는 근본적으로 다음과 같은 성질에서 기인한다. 우선, 4차원 벡터 공간 속의 2차원  그라스만 다양체
:\operatorname{Gr}(2,4)
를 생각하자. 그 속의 닫힌점은 사영 공간 \mathbb P^3 속의 사영 직선에 대응한다. 즉, \operatorname{Gr}(2,4)는 \mathbb P^3 속의 사영 직선의 모듈라이 공간이다.
이제, 계수를 복소수체로 잡으면, 복소다양체 \operatorname{Gr}(2,4)에 적절한 ‘실수 형식’을 주면, 이는 4차원 초구 \mathbb S^4\hookrightarrow\operatorname{Gr}(2,4;\mathbb C)가 된다. 즉, \mathbb S^4의 점은 트위스터 공간 속의 직선을 정의한다. 여기서 포함 사상은 \mathbb C^4 \cong \mathbb H^2의 선택에 의하여 유도되는 포함 관계 \mathbb S^4 \cong \mathbb P^1_{\mathbb H} \to \mathbb P^3_{\mathbb C}이다. (여기서 \mathbb H는 사원수 대수이다.)

#### 3차원
3차원 트위스터 공간
:T \,\overset{\pi_T}\twoheadleftarrow\, F \,\overset{\pi_V}\twoheadrightarrow\, V = \operatorname{Sym}^2(\Delta)
을 생각하자. 복소화 시공간의 임의의 점 x^{ij}\in V에 대응하는 트위스터 공간의 부분 공간 \pi_T(\pi_V^{-1}(x))\subset T는 다음과 같다.
:\pi_T\circ\pi_V^{-1}(x)=\{[x^{ij}\lambda_i\lambda_j:\lambda_i]\colon \lambda\in\Delta^\vee\}\subsetneq T
이는 트위스터 공간의 한 사영 직선 \mathbb P^1\hookrightarrow T에 해당한다. 또한, 이는 사영 사상 T \twoheadrightarrow \mathbb P(\Delta^\vee) 아래 각 \lambda\in \Delta^\vee에 대하여 정확히 하나의 점을 포함하므로, 이는 \mathcal O_{\mathbb P(\Delta^\vee)}(2)의 단면을 이룬다. 즉, 다음과 같은 표준적인 동형 사상이 존재한다.
:\operatorname{Sym}^2\Delta \cong \operatorname H^0(\mathbb P(\Delta^\vee), \mathcal O(2))
물론, 우변은 리만-로흐 정리를 통해 3차원임을 쉽게 계산할 수 있다.

임의의 두 점
:x,y\in V
에 대응되는 단면
:s, t\in \operatorname H^0(\mathbb P(\Delta^\vee), \mathcal O(2))
이 주어졌을 때, 이를 \mathcal O_{\mathbb P(\Delta^\vee)}(2)의 전체 공간의 부분 공간으로 간주할 때, 이는 정확히 두 개의 점에서 교차한다. 이것이 \lambda,\lambda' \in \mathbb P(\Delta^\vee) 위에 있다고 하자. 그렇다면
:(x-y)^{ij}\lambda_i = (x-y)^{ij}\lambda'_i = 0
이 된다. 이것이 가능할 필요 충분 조건은
:(x-y)^{ij} \propto \epsilon^{ik}\epsilon^{jl}(\lambda_k \lambda'_l+\lambda_l \lambda'_k)
이다. 즉, (4차원과 달리) 3차원에서는 임의의 벡터는 스피너의 대칭화 텐서곱으로 표현될 수 있다. 특히, \lambda \propto \lambda'일 필요 충분 조건은 (x-y)^2 = 0인 것이다.

트위스터 공간의 한 점 [\xi:\lambda]\in\mathbb P(\Delta^\vee)에 대응되는 두 시공간의 점 x,y\in \operatorname{Sym}^2(\Delta)에 대하여,
:x^{ij}\lambda_i\lambda_j = \xi
:y^{ij}\lambda_i\lambda_j = \xi
이다. 즉
:(x-y)^{ij}\lambda_i\lambda_j = 0
이다. 이는 3개의 변수에 대하여 하나의 방정식이므로, 3차원 시공간 속의 어떤 평면을 정의한다. 또한, x-y는 \Delta^\vee 위의 계량을 정의하는 것으로 여기면, \lambda는 그 영벡터를 이루며, 따라서 \lambda를 포함하는 \Delta^\vee의 어떤 기저에 대하여
:\begin{pmatrix}
0&t\\
t&s
\end{pmatrix}
의 꼴이다. 즉, 이 평면을 정의하는 두 선형 독립 접벡터는 다음과 같다.
:\left\{\begin{pmatrix}
0&0\\
0&1
\end{pmatrix},\begin{pmatrix}
0&1\\
1&0
\end{pmatrix}
\right\}

여기서 첫 벡터는 노름이 0이며, 둘째 벡터는 첫째 벡터와 직교한다(즉, 첫째 벡터와의 내적이 0이다). 이러한 평면을 **영평면**()이라고 한다. 물리학적으로, 이는 빛원뿔과 접하는 평면으로 해석할 수 있다.

### 펜로즈 변환
K \in \{\mathbb R, \mathbb C\}라고 하자. \Delta_+ \otimes \Delta_- 위에서, 매끄러운 함수
:\phi\colon \Delta_+ \otimes \Delta_- \to \operatorname{Sym}^n\Delta_+ 
에 대하여 다음과 같은 선형 편미분 방정식을 정의할 수 있다.
:\partial_{\alpha_1\dot\alpha}\phi^{\alpha_1\alpha_2\dotso\alpha_n} = 0
이 선형 1차 편미분 방정식의 해를 **나선도 <math>-n/2</math>의 영질량장**()이라고 한다. 마찬가지로, 매끄러운 함수
:\phi\colon \Delta_+ \otimes \Delta_- \to \operatorname{Sym}^n\Delta_- 
에 대하여 선형 1차 편미분 방정식
:\partial_{\alpha\dot\alpha_1}\phi^{\dot\alpha_1\dot\alpha_2\dotso\dot\alpha_n} = 0
의 해를 **나선도 <math>n/2</math>의 영질량장**()이라고 한다. h = 0일 때는, 우선 \Delta_\pm에 각각 심플렉틱 벡터 공간 구조 \omega_{\alpha\beta}, \omega_{\dot\alpha\dot\beta}를 부여하자. 그렇다면 2차 미분 연산자
:\square = \omega^{\alpha\beta}\omega^{\dot\alpha\dot\beta}\partial_{\alpha\dot\alpha}\partial_{\beta\dot\beta}
를 정의할 수 있다. 그렇다면, **나선도 0의 영질량장**은 매끄러운 함수
:\phi \colon \Delta_+ \otimes\Delta_- \to K
가운데
:\square\phi=0
을 따르는 것이다. 2차원 벡터 공간 위의 심플렉틱 벡터 공간 구조는 모두 서로 비례하므로, 만약 다른 심플렉틱 벡터 공간 구조를 사용하더라도 나선도 0의 영질량장의 개념은 잘 정의된다. 나선도 h의 영질량장의 K-벡터 공간을
:V_h
라고 하자.

이제, 4차원 트위스터 공간
:\mathbb P(\Delta_-\oplus\Delta_+^\vee) \,\overset{\pi_T}\leftarrow\, \Delta_+ \otimes \Delta_- \times \mathbb P(\Delta_+^\vee) \,\overset{\pi_V}\twoheadrightarrow\, \Delta_+ \otimes \Delta_-
을 생각하자. 임의의 열린집합
:U \subseteq \mathbb P(\Delta_-\oplus\Delta_+^\vee)
에 대하여,
:\pi_V(\pi_T^{-1}(U)) = U'
라고 하자. 그렇다면, 다음과 같은 표준적인 동형 사상이 존재한다.
:\operatorname H^1(U,\mathcal O(2h-2)) \cong V_h
즉, 트위스터 공간 위의 2h-2차 선다발의 정칙 단면은 시공간 위의, 나선도 h의 영질량장과 일대일 대응한다. 이를 **펜로즈 변환**()이라고 한다.

### 순간자 모듈러스 공간
임의의 콤팩트 반단순 리 군 G에 대하여,
4차원 유클리드 공간 M 위의 G-양-밀스 이론의 순간자
:F = *F
를 생각하자. 이 경우, 유클리드 공간을 복소화하여 4차원 복소수 벡터 공간 V = M \otimes_{\mathbb R} \mathbb C을 취할 수 있다. 이 경우에도 자기 쌍대성 조건은 여전히 유효하다. 이 경우, V 위의 순간자의 모듈라이 공간은 순간자 공간 T 위의 정칙 G-주다발 가운데 ① 위상적으로 자명하며 ② 임의의 포함 사상 \mathbb P^1_{\mathbb C} \hookrightarrow T에 제한하였을 때 정칙적으로 자명한 것들의 모듈라이 공간과 표준적으로 동형이다. 이 대응을 **펜로즈-워드 변환**()이라고 한다.

구체적으로, 사영 직선 \mathbb P^1(\Delta_+^\vee)는 두 개의 아핀 직선으로 구성된 열린 덮개를 가지며, 따라서 그 위의 벡터 다발 T는 두 개의 3차원 아핀 공간 U, V로 구성된 열린 덮개를 갖는다. 위의 조건들을 따르는 G-주다발 P는 따라서 전이 함수
:g\colon U\cap V \to G
로 주어진다.

사영 사상 \pi\colon V \times \mathbb P(\Delta_+^\vee) \twoheadrightarrow T 아래, \pi^{-1}(U)와 \pi^{-1}(V)는 F=V \times \mathbb P(\Delta_+^\vee)의 열린 덮개를 이룬다.  \{\pi^{-1}(U),\pi^{-1}(V)\}가 F의 열린 덮개를 이루므로, 항상
:\pi^*g = h^{-1}k
:h\colon \pi^{-1}(U) \to G
:k\colon \pi^{-1}(V) \to G
으로 표현될 수 있다. V \times \mathbb P(\Delta_+^\vee) 위에는 표준적인 벡터장
:X_{\dot\alpha}=\lambda^\alpha\partial_{\alpha\dot\alpha}
:X \in \Gamma(\mathrm TF \otimes \Delta_-^\vee)
이 존재하며, 이에 따라
:\pi^*g \colon \pi^{-1}(U) \cap \pi^{-1}(V) \to G
는
:0 = X(\pi^*g) = X(h^{-1}k) = (Xh^{-1})k - h^{-1}k(Xk^{-1})k = h^{-1}\left(hXh^{-1} - kXk^{-1} \right)k
를 따른다. 즉,
:hXh^{-1} \restriction (\pi^{-1}(U)\cap\pi^{-1}(V)) = kXk^{-1} \restriction (\pi^{-1}(U)\cap\pi^{-1}(V))
이다. 이를 짜깁기하여 \tilde A_{\dot\alpha}를 다음과 같이 정의할 수 있다.
:\tilde A \colon F \to \mathfrak{lie}(G) \otimes \Delta_-^\vee
\tilde A는 X에 비례하며, X는 \lambda에 비례하므로, V 위의 <math>\mathfrak{lie}(G)</math>값의 1차 미분 형식
:A \in \Omega(V) \otimes \mathfrak{lie}(G)
:\tilde A_{\dot\alpha} = A_{\alpha\dot\alpha}\lambda^\alpha
을 정의할 수 있다. 그렇다면 이는 V 위의 순간자를 정의하는 주접속을 이룬다.

## 역사
1967년에 로저 펜로즈가 4차원 시공간의 트위스터 공간을 최초로 도입하였다. 이후 펜로즈는 파동 방정식의 해와 트위스터 공간 위의 선다발의 층 코호몰로지 사의 펜로즈 변환을 발견하였다. 1977년에 리처드 새뮤얼 워드(, 1951〜)가 양-밀스 이론의 순간자를 트위스터 공간으로 나타내는 펜로즈-워드 변환을 발견하였다.

## 참고 문헌

## 외부 링크
* 
* 

분류:양자장론
분류:끈 이론
분류:복소다양체