[논문 리뷰] Polysymplectic Hamiltonian formalism and some quantum outcomes

G. Giachetta, L. Mangiarotti외 1명|ArXiv.org|2004. 10. 30.

Quantum Mechanics and Applications참고 문헌 16인용 수 6

한 줄 요약

이 논문은 1차 라그랑주 장 이론에 대해 공변 다형심플렉틱 해밀토니안 체계를 수립하여, 익숙한 양자장 이론 방법을 통한 양자화를 가능하게 하는 엄밀한 기하적 프레임워크를 구축한다. 주요 기여는 거의 정규 라그랑주 시스템과 그에 대응하는 해밀토니안 시스템 간의 등가성으로, 이는 레이지언드르 배럴 위에서 이루어지며, 특이 시스템, 특히 양-밀스 이론에 대해 BV 양자화를 적용한다.

ABSTRACT

Covariant (polysymplectic) Hamiltonian field theory is formulated as a particular Lagrangian theory on a polysymplectic phase space that enables one to quantize it in the framework of familiar quantum field theory.

연구 동기 및 목표

• 다양체 Y의 레이지언드르 배럴 위에서 다형심플렉틱 기하학을 사용하여 공변 해밀토니안 장 이론의 기하적 프레임워크를 개발한다.
• 특히 거의 정규 및 초정규 라그랑주 함수에 대해, 1차 라그랑주 장 이론과 그 해밀토니안 대응체 간의 엄밀한 상응관계를 수립한다.
• 다형심플렉틱 프레임워크 내에서 바탈린-빌코비시(Batalin–Vilkoviskii, BV) 형식을 사용하여 제약 조건이 있는 및 특이 장 이론의 양자화 절차를 제공한다.
• 양-밀스 이론을 포함한 게이지 대칭이 있는 시스템으로 이차 라그랑주 함수의 경로 적분 양자화를 일반화한다.
• 게이지 대칭의 역할을 해밀토니안 체계 내에서 명확히 하고, 이들이 레이지언드르 배럴과 임베딩된 임베딩 위상에서 어떻게 작용하는지 밝힌다.

제안 방법

• 레인지언드르 배럴 $\Pi = V^*Y \wedge (\wedge^{n-1}T^*X)$ 위에서 다형심플렉틱 해밀토니안 체계를 수립하며, 이에 자연스러운 다형심플렉틱 형식 $\Omega = dp_i^\lambda \wedge dy^i \wedge \omega \otimes \partial_\lambda$ 가 부여된다.
• 해밀토니안 $\mathcal{H}$ 는 $\zeta: Z_Y \to \Pi$ 를 통해 정의된 배럴의 단면으로, 해밀토니안 형식 $H = \mathcal{H}^*\Xi_Y = p_i^\lambda dy^i \wedge \omega_\lambda - \mathcal{H}\omega$ 를 유도한다.
• 레이지언드르 사상 $\widehat{L}: J^1Y \to \Pi$ 를 통해 라그랑주 체계와 해밀토니안 체계 간의 등가성을 수립하며, 이의 상(image)인 $N_L$ 은 라그랑주 제약 조건 공간으로서의 역할을 한다.
• 제약 부분다양체 $N \subset \Pi$ 의 근방 $U$ 에서의 제약 부분다양체 위에서의 끌어올림 라그랑주 함수 $L_\Pi = \pi_N^*L_N$ 에 대해 BV 양자화를 적용한다. 여기서 $\Pi \to N$ 은 섬유다양체이다.
• 게이지 대칭은 $\Pi \times_Y J^1Y$ 의 자명변환 $\Phi$ 로서 정의되며, 이는 끌어올림 라그랑주 함수 $L_\Pi$ 를 유지한다. 무한소 생성자는 $\Pi \times_Y J^1Y$ 위의 벡터장 $\overline{u}$ 로 주어진다.
• 수직 벡터장 $u$ 가 $Y \to X$ 에서 $L_\Pi$ 의 게이지 대칭을 유도하기 위한 조건 (45) 를 유도하며, 이는 라그랑주 함수가 군 작용에 대해 불변임을 보장한다.

실험 결과

연구 질문

• RQ1 1차 라그랑주 장 이론에 대해 다형심플렉틱 기하학을 사용하여 공변 해밀토니안 체계를 일관적으로 수립할 수 있는가?
• RQ2 장 이론의 맥락에서 다중심플렉틱, 다형심플렉틱, 해밀토니안-데도운 형식 간의 정확한 기하학적 관계는 무엇인가?
• RQ3 라그랑주 함수가 해밀토니안 체계를 갖는 조건는 무엇이며, 이는 라그랑주 함수의 정규성과 어떻게 관련되는가?
• RQ4 특이 및 거의 정규 라그랑주 시스템은 다형심플렉틱 프레임워크 내에서 BV 형식을 사용하여 어떻게 일관되게 양자화할 수 있는가?
• RQ5 게이지 대칭은 해밀토니안 형식에서 어떤 역할을 하는가? 그리고 원래 라그랑주 함수의 대칭성과는 어떻게 관련되는가?

주요 결과

• 다형심플렉틱 체계는 1차 장 이론에 대해 기하학적으로 일관되고 공변적인 해밀토니안 수식을 제공하며, 레이지언드르 배럴 $\Pi$ 가 운동량 위상공간으로서 기능한다.
• 초정규 라그랑주 함수의 경우, 고유한 관련 해밀토니안 $\mathcal{H}$ 가 존재하며, 경로 적분에서의 생성 함수 $Z$ 는 운동량 $p^\mu_i(x)$ 에 대한 가우시안 적분이 되며, 통합을 통해 원래의 라그랑주 함수를 회복한다.
• 특이 라그랑주 함수, 예를 들어 양-밀스 이론의 경우, 관련 해밀토니안 체계는 비자명한 게이지 대칭을 갖으며, 끌어올림 라그랑주 함수 $L_\Pi$ 에 대해 BV 양자화 절차가 적용 가능하다.
• 조건 (45) 는 수직 벡터장 $u$ 가 $Y \to X$ 에서 $L_\Pi$ 의 게이지 대칭을 유도할 조건이 되며, 이는 원래의 라그랑주 함수 $L$ 의 게이지 대칭과 정확히 일치한다.
• 닫힌 임베딩 부분다양체 $N \subset \Pi$ 에서 제약 조건이 있는 해밀토니안 체계의 경로 적분 양자화는 끌어올림 라그랑주 함수 $L_N$ 의 양자화와 동치이며, 라그랑주 함수가 이차일 경우 생성 함수는 가우시안 적분 (40) 으로 주어진다.
• BV 양자화 절차는 표준 경로 적분을 거의 정규 라그랑주 함수로 일반화하며, 게이지 불변성을 유지하고 비자명한 게이지 군을 갖는 시스템의 일관된 양자화를 가능하게 한다.