[논문 리뷰] Application of covariant analytic mechanics with differential forms to gravity with Dirac field

Satoshi Nakajima|arXiv (Cornell University)|2015. 10. 30.

Cosmology and Gravitation Theories인용 수 5

한 줄 요약

이 논문은 미분 형식을 사용한 공변 분석역학을 디랙 장과 그와 결합된 중력에 적용하여, 미분형식 기반의 명백한 미분형식 및 게이지 공변 해밀토니안 체계를 수립한다. 이는 이 프레임워크 내에서 고차 곡률 항을 포함하는 중력 이론을 두 번째 차수 형식으로 일관적으로 기술할 수 없음을 보여주며, 이러한 이론에 대해 이 접근법의 근본적인 한계를 드러낸다.

ABSTRACT

We apply the covariant analytic mechanics with the differential forms to the Dirac field and the gravity with the Dirac field. The covariant analytic mechanics treats space and time on an equal footing regarding the differential forms as the basic variables. A significant feature of the covariant analytic mechanics is that the canonical equations, in addition to the Euler-Lagrange equation, are not only manifestly general coordinate covariant but also gauge covariant. Combining our study and the previous works (the scalar field, the abelian and non-abelian gauge fields and the gravity without the Dirac field), the applicability of the covariant analytic mechanics is checked for all fundamental fields. We study both the first and second order formalism of the gravitational field coupled with matters including the Dirac field. It is suggested that gravitation theories including higher order curvatures cannot be treated by the second order formalism in the covariant analytic mechanics.

연구 동기 및 목표

• 스칼라, 게이지, 중력 장에만 적용된 바 있는 공변 분석역학을 디랙 장까지 확장하기.
• 디랙 장과 결합된 중력에 대해, 미분 형식을 사용한 명백한 일반좌표 및 게이지 공변 해밀토니안 체계 수립.
• 공변 분석역학의 두 번째 차수 형식이 고차 곡률 인바리언트를 포함하는 중력 이론을 일관되게 기술할 수 있는지 조사하기.
• 순수 중력의 라그랑지안 형식에서 전체 미분 항의 역할을 명확히 하고, 그 것이 운동 방정식을 유도하기 위해 필수적인 이유를 밝히기.

제안 방법

• 디랙 장을 미분 형식으로 기술하며, 평탄한 시공간에서도 프레임(바이브라인)이 필수적인 기하적 구조로 필요하다는 것을 도입한다.
• 라그랑지안이 D-형식이고 쌍대 운동량이 미분 형식인 공변 분석역학 프레임워크를 적용하여, 미분형식과 게이지 변환에 대한 명백한 공변성을 확보한다.
• 스핀론 장 ψ와 그 쌍대 운동량 형식 Π를 독립 변수로 간주하여 디랙 장의 해밀토니안 형식을 유도한다.
• 디랙 장과 결합된 중력의 첫 번째 차수 형식을 분석하며, 프레임과 스핀 접속을 독립 변수로 사용하고, 라그랑주 승수 형식이 필요한 제약 조건을 식별한다.
• 아인슈타인-힐베르트 형식에서 출발하여 전체 미분 항 $ L'_{\rm{G}} = \frac{1}{2\kappa}d(e_{ab} \wedge \omega^{ab}) $ 를 빼어 두 번째 차수 형식을 유도하며, 이 것이 운동 방정식을 위해 필수적임을 보여준다.
• 4차원 특화된 미분 항등식(예: 호지 쌍대성과 리비치비타 텐서 관계)을 사용하여 해밀토니안 형식의 도함수를 계산하고, 이전 문헌의 오류를 수정한다.

실험 결과

연구 질문

• RQ1 미분 형식을 사용한 공변 분석역학 프레임워크가 디랙 장까지 일관되게 확장될 수 있는가?
• RQ2 공변 분석역학의 두 번째 차수 형식이 고차 곡률 인바리언트를 포함하는 중력 이론을 일관되게 기술할 수 있는가?
• RQ3 이 프레임워크 내에서 순수 중력의 라그랑지안 형식에서 전체 미분 항 $ d(e_{ab} \wedge \omega^{ab}) $ 의 역할은 무엇인가?
• RQ4 디랙 장과 결합된 중력의 해밀토니안 체계는 공변성과 제약 구조 측면에서 이전의 접근과 어떻게 다를까?
• RQ5 이 형식에서 도입된 파울리 브라켓은 제약 시스템에서 사용되는 디랙 브라켓 방법과 호환되는가?

주요 결과

• 공변 분석역학 프레임워크는 디랙 장으로 성공적으로 확장되었으며, 평탄한 시공간에서도 프레임(바이브라인)이 필요함을 보여주며, 이는 장의 스핀론 성격을 반영한다.
• 이 형식에서 순수 중력의 해밀토니안 형식은 리비치비타 접속을 사용할 경우 이전 연구와 동일하지만, 4차원 특화된 항등식을 사용한 도함수 계산에 수정이 필요하다.
• 순수 중력의 라그랑지안 형식은 정확한 운동 방정식을 도출하기 위해 전체 미분 항 $ \frac{1}{2\kappa}d(e_{ab} \wedge \omega^{ab}) $ 를 제외해야 하며, 이를 유지할 경우 일관성 문제가 발생한다.
• 디랙 장과 결합된 중력의 첫 번째 차수 형식은 라그랑주 승수 형식이 필요한 제약 시스템이므로 제약의 존재를 확인한다.
• 고차 곡률 인바리언트를 포함하는 중력 이론은 이 공변 분석역학 프레임워크 내에서 두 번째 차수 형식으로 일관되게 다룰 수 없다.
• 이 형식에서 파울리 브라켓이 처음으로 도입되었지만, 양자화, 캐논리컬 변환, 디랙 브라켓 호환성에 대한 전반적인 함의는 아직 미해결이다.