일반공변성의 비자명성: 전자가 시간좌표를 제한하고 스피노르가 텐서 계산에 거의 들어맞으며 사중대의 7/16은 남는 구조

초록

오기예베츠키‑폴루바리노프(OP) 스피노르는 1965년에 좌표계에서 정의될 수 있음을 보였으며, 이는 전통적인 텐서와 사중대 형식보다 구조적으로 간결하다. OP 스피노르는 “시간” 좌표가 먼저 나열되어야 하고, 메트릭과 diag(−1,1,1,1)의 곱이 음의 고유값을 갖지 않을 때만 실수 대칭 제곱근을 정의할 수 있다. 이 제한은 좌표 차트의 허용성을 필드의 종류와 값에 따라 달라지게 만든다. 밀도 가중 스피노르와 결합된 9성분의 대칭 제곱근을 사용하면 사중대의 7/16이 불필요한 여분 구조임을 보여준다.

상세 분석

이 논문은 두 가지 널리 퍼진 오해—(1) 모든 이론은 텐서 계산만으로 임의의 좌표계에 쓸 수 있다, (2) 스피노르는 곡률이 있는 시공간에서 좌표 표현이 불가능하다는 주장—을 동시에 반박한다. 핵심은 1965년 오기예베츠키와 폴루바리노프가 제시한 비선형 스피노르 형식이다. OP 스피노르는 로컬에서 메트릭의 대칭 제곱근을 취해 정의되며, 이 제곱근은 실수 대칭 행렬이어야 한다. 따라서 메트릭 g_{\mu\nu}와 diag(−1,1,1,1)의 곱이 음의 고유값을 갖지 않을 경우에만 실수 제곱근이 존재한다. 이는 “시간” 좌표가 먼저 나와야 함을 의미한다(시간-공간 순서가 고정됨). 결과적으로 허용 가능한 좌표 차트는 필드의 구체적 형태와 값에 의존한다는 새로운 일반공변성 개념을 제시한다.

OP 스피노르는 메트릭과 함께 비선형 기하학적 객체를 형성한다. 이 객체는 전통적인 텐서와 달리 Lie 미분과 공변 미분이 정의될 수 있으며, 이는 Anderson‑Friedman의 절대 객체 논의에서 스피노르가 절대 객체가 아님을 보인다. 또한, 무한 차원 중력 에너지의 게이지 불변 국소화가 가능해진다.

밀도 가중 스피노르를 도입하면 질량이 없는 디랙 방정식이 컨포멀 불변성을 갖는다는 사실을 이용해 부피 요소가 사라진다. 따라서 16성분의 일반적인 vierbein 대신, 9성분(대칭, 비축소)인 메트릭의 제곱근과 가중 스피노르만을 사용하면 사중대의 7/16(즉, 6개의 회전·부스트 자유도와 1개의 스케일 자유도)이 불필요한 여분 구조임을 증명한다. 이는 “오컴의 면도날” 관점에서 텐서와 스피노르를 보다 경제적으로 결합한다는 의미다.

논문은 Schwarzschild 해에 대한 구체적 예시를 들어 좌표 순서 제한이 실제로는 매우 관대함을 보여준다. 시간 좌표를 먼저 두고, 메트릭이 요구하는 고유값 조건을 만족하면 일반적인 구면 좌표계에서도 OP 스피노르를 정상적으로 정의할 수 있다.

전체적으로 이 연구는 스피노르와 텐서 계산을 통합하는 새로운 수학적 틀을 제공하며, 전통적인 tetrad 형식이 갖는 불필요한 여분 구조를 제거하고, 일반공변성의 의미를 필드‑의존적으로 재정립한다.