시공간 대수

**시공간 대수**()는 관성계에 해당하는 시공간의 수학적 모형인 민코프스키 공간과 연관된 클리퍼드 대수의 일종인 \text{Cl}_{1,3}(\mathbb R) 또는 동등하게 기하적 대수 G(M^4)를 수리물리학에서 일컫는 단어다. 데이비드 헤세테네스에 따르면 시공간 대수은 특수 상대성이론 및 상대론적 시공간의 기하학과 특히 밀접하게 연관될 수 있다.

시공간 대수는 벡터 뿐만 아니라 쌍벡터(면적 또는 회전과 같은 특정 평면과 관련된 지시된 양) 또는 블레이드 (특정 초부피와 관련된 양)가 결합되고 로런츠 부스트, 회전, 반사를 허용하는 선형 공간이다. 또한 특수 상대성 이론에서 스피너를 포함하는 자연스러운 상위 대수이다. 이러한 속성 때문에 물리학에서 중요한 많은 방정식들을 단순한 형태로 표현할 수 있으며, 그 의미를 보다 기하학적으로 이해하는 데 큰 도움이 될 수 있다.

## 구조
시공간 대수는 시간꼴 벡터 \gamma_0와 세 개의 공간꼴 벡터들 \gamma_1, \gamma_2, \gamma_3이 이루는 직교 기저와 다음 곱셈 규칙

:  \gamma_\mu \gamma_\nu + \gamma_\nu \gamma_\mu = 2 \eta_{\mu \nu} 

으로부터 구축될 수 있다. 여기서 \eta_{\mu \nu}는 부호수 인 민코프스키 계량이다.

따라서, \gamma_0^2 = {+1}, \gamma_1^2 = \gamma_2^2 = \gamma_3^2 = {-1}이고, 그렇지 않으면 \gamma_\mu \gamma_\nu = - \gamma_\nu \gamma_\mu이다.

기저 벡터 \gamma_k는 이러한 성질은 디랙 행렬과 동일하지만 시공간 대수에서 행렬 표현을 사용할 필요는 없다.

이눈 1개의 스칼라 1, 4개의 벡터들\gamma_0, \gamma_1, \gamma_2, \gamma_3, 6개의 쌍벡터들 \gamma_0\gamma_1, \, \gamma_0\gamma_2,\, \gamma_0\gamma_3, \, \gamma_1\gamma_2, \, \gamma_2\gamma_3, \, \gamma_3\gamma_1, 4개의 유사벡터들 i\gamma_0, i\gamma_1, i\gamma_2, i\gamma_3 하나의 유사스칼라 i 로 이뤄진 기저를 생성한다. 여기서 i=\gamma_0 \gamma_1 \gamma_2 \gamma_3.

## 상호 틀
직교 기저와 연관된 \{\gamma_\mu\}는 \mu = 0, \dots, 3에 대해 \{\gamma^\mu = {\gamma_\mu}^{-1}\}이며

: \gamma_\mu \cdot \gamma^\nu = {\delta_\mu}^\nu

가 성립하는 상호 기저이다.

이러한 상호 틀 벡터는 부호만 다르다. k = 1, \dots, 3에 대해 \gamma^0 = \gamma_0, \gamma^k = -\gamma_k.

벡터는 아인슈타인 표기법에 따라 \mu = 0, \dots, 3에 대한 합인 위 또는 아래 첨자 좌표 a = a^\mu \gamma_\mu = a_\mu \gamma^\mu로 표시될 수 있다. 여기서 좌표는 기저 벡터 또는 그 역수로 내적을 취하여 추출할 수 있다.

: \begin{align}a \cdot \gamma^\nu &= a^\nu \\ a \cdot \gamma_\nu &= a_\nu .\end{align}

## 시공간 기울기
시공간 기울기는 유클리드 공간의 기울기와 마찬가지로 방향 미분 관계가 충족되도록 정의된다.

: a \cdot \nabla F(x)= \lim_{\tau \rightarrow 0} \frac{F(x + a\tau) - F(x)}{\tau} .

이를 위해서는 기울기의 정의가 다음과 같아야 한다.

:  \nabla = \gamma^\mu \frac{\partial}{\partial x^\mu} = \gamma^\mu \partial_\mu .

여기서 x = ct \gamma_0 + x^k \gamma_k 이고,

:  \partial_0 = \frac{1}{c} \frac{\partial}{\partial t}, \quad \partial_k = \frac{\partial}{\partial {x^k}} .

## 시공간 분할

시공간 대수에서 **시공간 분할**은 다음 두 가지 작업을 통해 선택한 기준 틀을 사용하여 4차원 공간에서 (3+1)차원 공간으로 가는 사영이다:

* 선택한 시간 축의 붕괴로 쌍벡터에 걸쳐 있는 3D 공간 생성
* 4D 공간을 선택한 시간 축에 투영하여 스칼라의 1D 공간을 생성한다.

이것은 시간꼴 기저 벡터 \gamma_0에 의한 사전 또는 사후 곱셈에 의해 달성된다. 이는 4개의 벡터를 스칼라 시간꼴 및 쌍벡터 공간꼴 구성원소로 분할하는 역할을 한다. x = x^\mu \gamma_\mu에 대해,

: 
\begin{align}x \gamma_0 &= x^0 + x^k \gamma_k \gamma_0 \\ \gamma_0 x &= x^0 - x^k \gamma_k \gamma_0 \end{align}


이다. 이러한 쌍벡터 \gamma_k \gamma_0들은 공간적 기저 역할을 한다. 파울리 행렬 표기법을 사용하여 \sigma_k = \gamma_k \gamma_0과 같이 적을 수 있다. 시공간 대수의 공간 벡터는 굵은 글씨체로 표시된다. 그러면, \gamma_0-시공간 분할 x \gamma_0과 그 반대 \gamma_0 x는 다음과 같다:

: 
\begin{align}x \gamma_0 &= x^0 + x^k \sigma_k = x^0 + \mathbf{x} \\ \gamma_0 x &= x^0 - x^k \sigma_k = x^0 - \mathbf{x} \end{align}


여기서 \mathbf{x} = x^k \sigma_k이다.

## 다중 벡터 나눗셈
시공간 대수는 멱등원 \tfrac{1}{2}(1 \pm \gamma_0\gamma_i)과 0이 아닌 영인자들: 1 + \gamma_0\gamma_i, 1 - \gamma_0\gamma_i 을 포함하기 때문에 나눗셈 대수가 아니다. 이들은 각각 빛원뿔로의 사영 및 이러한 사영에 대한 직교성 관계로 해석될 수 있다. 그러나 어떤 경우에는 하나의 다중 벡터 양을 다른 양으로 나누고 그 결과를 이해하는 것이 가능하다.

## 비상대론적 물리학의 시공간 대수 설명
### 비상대론적 양자역학
시공간 대수는 행렬 이론 대신 실수적 이론의 관점에서 파울리 입자의 설명을 허용한다. 파울리 입자의 행렬 이론 설명은 다음과 같다.

: i \hbar \, \partial_t \Psi = H_S \Psi - \frac{e \hbar}{2mc} \, \hat\sigma \cdot \mathbf{B} \Psi ,

여기서 \Psi는 스피너이다, i는 기하학적 해석이 없는 허수 단위, \hat\sigma_i들은 파울리 행렬이다('hat' 표기법은 \hat\sigma가 행렬 연산자이며 기하 대수학의 원소가 아님을 나타낸다.) H_S는 슈뢰딩거 해밀토니안이다. 시공간 대수에서 파울리 입자는 *실 파울리-슈뢰딩거 방정식으로 설명된다.*

: \partial_t \psi \, i \sigma_3 \, \hbar = H_S \psi - \frac{e \hbar}{2mc} \, \mathbf{B} \psi \sigma_3 ,

지금 여기서 i는 단위 유사 스칼라 i = \sigma_1 \sigma_2 \sigma_3이며, \sigma_3와 짝수 다중 벡터 \psi는 기하 대수의 원소이며, H_S는 다시 슈뢰딩거 해밀토니안이다. 헤스테네스는 자기장을 포함하는 항을 빼면 이 이론이 슈뢰딩거 이론으로 환원된다는 점을 강조하기 위해 이를 *실 파울리-슈뢰딩거 이론*이라고 부른다.

## 상대론적 물리학의 시공간 대수 설명
### 상대론적 양자역학
상대론적 양자 파동함수는 때때로 스피너 장

:  \psi = e^{\frac{1}{2} ( \mu + \beta i + \phi )}

으로 표현된다. 여기서 \phi는 쌍벡터이고

:  \psi = R (\rho e^{i \beta})^\frac{1}{2}.

데이비드 헤스테네스의 미분에 따르면,  \psi = \psi(x)는 시공간에서 짝수 다중 벡터 값 함수이며, R = R(x)는 유니모듈러 스피너(또는 "회전자")이고,  \rho = \rho(x)와 \beta = \beta(x)는 스칼라 값 함수이다.

이 방정식은 스핀을 허수 유사 스칼라와 연결하는 것으로 해석된다. R은 \gamma_\mu 벡터들의 틀에서 e_\mu 벡터들의 다른 틀으로 e_\mu = R \gamma_\mu \tilde{R} 작용에 의한 로런츠 회전으로 여겨진다. 여기서 물결 기호는 *반전*을 나타낸다(반대는 종종 단검 기호로도 표시된다. 기하적 대수의 회전 참조).

이것은 국소적으로 변화하는 벡터 및 스칼라 값 관찰 가능 항목에 대한 틀을 제공하고 원래 슈뢰딩거가 제안한 양자 역학의 치터베베궁 해석을 지원하도록 확장되었다.

헤스테네스는 자신의 \psi에 대한 표현을 경로 적분 공식에서 이에 대한 파인만의 표현과 비교했다:

:  \psi = e^{i \Phi_\lambda / \hbar} 

여기서 \Phi_\lambda는 \lambda-경로에 대한 고전적인 작용이다.

시공간 대수는 행렬 이론 대신 실수 이론의 관점에서 디랙 입자를 설명할 수 있게 한다. 디랙 입자의 행렬 이론 설명은 다음과 같다.

: \hat \gamma^\mu (\mathbf{j} \partial_\mu - e \mathbf{A}_\mu) |\psi\rangle = m |\psi\rangle 

여기서 \hat\gamma는 디랙 행렬이다. 시공간 대수에서 디랙 입자는 다음 방정식으로 설명된다.

: \nabla \psi \, i \sigma_3 - \mathbf{A} \psi = m \psi \gamma_0

여기서, \psi와 \sigma_3는 기하 대수의 원소이며, \nabla = \gamma^\mu \partial_\mu는 시공간 벡터 도함수이다.

### 일반 상대성 이론의 새로운 공식화
케임브리지 대학의 라센바이, 도란 및 굴은 게이지 이론 중력 (GTG)이라고 하는 중력의 새로운 공식을 제안했다. 여기서 시공간 대수는 민코프스키 공간에 곡률을 유도하는 동시에 "사건을 시공간으로 임의로 매끄럽게 다시 사상"하는 게이지 대칭을 데 사용된다."

:  \frac{d}{d \tau} R = \frac{1}{2} (\Omega - \omega) R 

및 공변 도함수

:  D_\tau = \partial_\tau + \frac{1}{2} \omega ,

여기서 \omega는 중력 퍼텐셜과 관련된 접속이며, \Omega는 전자기장과 같은 외부 상호 작용이다.

이 이론은 슈바르츠실트 해의 형태가 특이점에서 분해되지 않기 때문에 블랙홀 처리에 대한 몇 가지 가능성을 보여준다. 일반 상대성이론의 결과는 대부분 수학적으로 재현되었으며, 고전 전자기학의 상대론적 공식화는 양자역학 및 디랙 방정식으로 확장되었다.

## 같이 보기
* 기하적 대수학
* 디랙 대수학
* 디랙 방정식
* 일반 상대성 이론

## 참조
* 
* 
* 
* 
* 
* 

## 외부 링크
* 허수는 실제가 아니다 – S. 굴, A. Lasenby, C. 도란의 기하학적 대수 개념에 대한 자습서 소개인 시공간  의 기하학적 대수학
* 기하 대수 코스 노트의 물리적 응용, 특히 파트 2를 참조하십시오.
* 케임브리지 대학 기하 대수학 그룹
* 기하미적분학 연구개발

분류:수리물리학
분류:클리퍼드 대수
분류:민코프스키 시공간