[논문 리뷰] Higher Spin Quantum Fields as Twisted Dirac Fields

Rainer Muehlhoff|arXiv (Cornell University)|2011. 03. 24.

Advanced Operator Algebra Research참고 문헌 3인용 수 3

한 줄 요약

이 논문은 전역적으로 하이퍼볼릭인 로렌츠 시공간 위에서 끈적임이 있는 디랙 연산자의 해로서 고스핀 양자장의 구성법을 제안한다. 이는 고유한 그린 함수와 잘 정의된 초기값 문제를 갖는 전형적으로 하이퍼볼릭 연산자를 활용한다. 주요 결과는 스핀 장의 배치에 대해 캐비티 데이터에 대한 표준 CAR-대수적 양자화가 불가능한, 정규화된 헤르미트 내적의 정의가 불가능한, 컴팩트한 초기 조건에 대한 내적이 정의되지 않는다는 것이다.

ABSTRACT

We pursue the idea of constructing higher spin fields as solutions to twisted Dirac operators. As general results we find that twisted prenormally hyperbolic first order operators (such as the Dirac operator) on globally hyperbolic Lorentzian spacetime manifolds have unique advanced and retarded Green's functions and their Cauchy problem is well-posed. The space of compactly supported Cauchy data can be equipped with a naturally induced Hermitian but generally indefinite product, which is shown to be independent of the underlying choice of Cauchy hypersurface. As a special result, we study one particular example of twisted Dirac operator for Fermionic fields of higher spin. It allows a canonical Hermitian product on the spinor bundle, but the resulting product on the space of compactly supported Cauchy data fails positivity. Thus, it is shown that this construction does not allow quantization by forming a C*-algebra representation of the canonical anti-commutation relations in the well known fashion generalizing the spin 1/2 construction by Dimock (1982). This document is equipped with an introduction to the formalism of 2-spinors on curved spacetimes in an invariant fashion using abstract index notation.

연구 동기 및 목표

• 디랙 연산자를 통한 스핀-1/2 양자장 구성법을 고스핀 장으로 일반화하기 위해 끈적임이 있는 전형적으로 하이퍼볼릭 연산자를 사용하는 것.
• 콤팩트한 초기 조건의 공간에 대해, 초기 조건 표면의 선택과 무관하게 헤르미트 내적을 정의할 수 있는지 조사하는 것.
• 최종적으로 유도된 내적이 양의 정부호인지 확인하여 표준 C*-대수적 CAR 양자화가 가능한지 판단하는 것.
• 특정 고스핀 페르미온에 대해 끈적임이 있는 디랙 연산자를 분석하여, 스핀 장의 배치에 대해 자연스러운 헤르미트 배치 메트릭이 존재하지만, 초기 조건에 대한 내적이 부정정의가 되는 경우를 분석하는 것.
• 스핀 장과 그들의 미분 연산자를 곡선 시공간에서 기하학적으로 정확하게 표현할 수 있도록 추상 첨자 표기법을 사용하는 형식론을 수립하는 것.

제안 방법

• 전역적으로 하이퍼볼릭인 로렌츠 시공간 위에서 끈적임이 있는 전형적으로 하이퍼볼릭 1차 미분 연산자를 사용하여 고스핀 장을 정의한다.
• 전형적으로 하이퍼볼릭 연산자에 대한 진동 및 후행 그린 함수 이론을 적용하여 잘 정의된 초기값 문제를 확보한다.
• 배치 메트릭에서 유도된 내적을 통해 콤팩트한 초기 조건의 공간에 헤르미트 내적을 구성하며, 이 내적이 초기 조건 표면의 선택과 무관함을 증명한다.
• 스핀 장과 연산자를 불변적으로 표현하기 위해 추상 첨자 표기법을 활용하여 수학적 형식과 물리적 형식 간의 비교를 용이하게 한다.
• 일반화된 디랙 수반을 통해 유도된 자연스러운 헤르미트 메트릭이 존재하는 특정 고스핀 디랙 연산자를 분석한다.
• 초기 조건에 대한 유도된 내적이 부정정의임을 입증하여, 전 힐버트 공간을 형성할 수 없고, 따라서 표준 CAR-대수적 양자화가 차단됨을 보여준다.

실험 결과

연구 질문

• RQ1 곡선 시공간에서 전역적으로 하이퍼볼릭인 구조를 갖는 데서, 고스핀 양자장이 끈적임이 있는 디랙 연산자의 해로서 일관되게 구성될 수 있는가?
• RQ2 이러한 장의 콤팩트한 초기 조건의 공간이, 초기 조건 표면의 선택과 무관하게 헤르미트 내적을 상속하는가?
• RQ3 유도된 헤르미트 내적이 양의 정부호인가? 이를 통해 표준 C*-대수적 CAR 양자화가 가능해지는가?
• RQ4 스핀 장의 배치에 자연스러운 헤르미트 메트릭이 존재할 경우, 초기 조건에 대한 내적의 성격은 어떠한가? (특히 특정 고스핀 디랙 연산자의 경우)
• RQ5 추상 첨자 표기법을 어떻게 활용하여, 곡선 시공간에서 스핀 장과 그들의 미분 연산자의 표현에서 불변성과 명료성을 유지할 수 있는가?

주요 결과

• 전역적으로 하이퍼볼릭 시공간 위에서 끈적임이 있는 전형적으로 하이퍼볼릭 연산자는 고유한 진동 및 후행 그린 함수를 갖으며, 잘 정의된 초기값 문제를 보장한다.
• 콤팩트한 초기 조건의 공간은 초기 조건 표면의 선택과 무관하게 헤르미트 내적을 상속하며, 이는 스핀-1/2의 경우를 일반화한다.
• 특정 고스핀 디랙 연산자에 대해, 일반화된 디랙 수반을 통해 스핀 장의 배치에 자연스러운 헤르미트 메트릭이 존재한다.
• 콤팩트한 초기 조건의 공간에 대한 유도된 헤르미트 내적은 부정정의이며, 양의 정부호가 아니다.
• 결과적으로, 딤록(1982)의 프레임워크에서 표준 C*-대수적 CAR 대수의 구성이 불가능하며, 직접적인 양자화가 차단된다.
• 추상 첨자 표기법을 사용하는 형식론은 동시에 기준 프레임워크의 변환에 대해 불변성을 유지하며, ε, σ, γ 텐서와 같은 기하학적 의미를 보존한다.