[논문 리뷰] Lectures on BRS invariance for massive boson fields

José M. Gracia-Bondı́a|arXiv (Cornell University)|2008. 08. 21.

Particle physics theoretical and experimental studies참고 문헌 8인용 수 3

한 줄 요약

이 논문은 질량이 있는 스핀-1 게이지 이론에서 BRS 불변성에 대해 엄밀한 다루기를 제공하며, 슈테일베르크 형식과 고스트 장의 양자화에서 크라인 연산자의 역할을 중점적으로 다룬다. 비국소적이지만 인과적으로 일관된 크라인 연산자를 도입함으로써, 질량이 있는 벡터 보손이 존재하는 상황에서(unitarity와 게이지 불변성을 보장하는) 양자화 이론의 기초적 문제를 해결한다.

ABSTRACT

These notes correspond to lectures given at the Villa de Leyva Summer School in Colombia (July 2007). Our main purpose in this short course on BRS invariance of gauge theories is to illuminate corners of the theory left in the shade by standard treatments. The plan is as follows. First a review of Utiyama's "general gauge theory". Promptly we find a counterexample to it in the shape of the massive spin-1 Stueckelberg gauge field. This is not fancy, as the massive case is the most natural one to introduce BRS invariance in the context of free quantum fields. Mathematically speaking, the first part of the course uses Utiyama's notation, and thus has the flavour and non-intrinsic notation of standard physics textbooks. Next we deal with boson fields on Fock space and BRS invariance in connection with the existence of Krein operators; the attending rigour points are then addressed.

연구 동기 및 목표

• 질량이 있는 벡터 장에 대한 BRS 불변성의 기초적 문제를 명확히 하기 위해, 특히 슈테일베르크 형식의 맥락에서 다루기.
• 표준 게이지 이론 다루기에서 내재된 기하학적 구조의 부재를 해결하기 위해, 유티야마의 게이지 대칭성의 근본 원리에서 유도하는 것에 중점을 두기.
• 포크 공간과 크라인 연산자를 사용하여 질량이 있는 스핀-1 장에서 BRS 대칭성에 대해 수학적으로 일관된 프레임워크를 수립하기.
• 고스트 장이 존재하는 상황에서 국소성, 보존성, 게이지 불변성 간의 갈등을 해결하기 위해 적절한 크라인 연산자를 구성함으로써, 국소성과 보존성, 게이지 불변성을 동시에 확보하기.
• 표준 고스트 라그랑지안이 대칭 미분 연산자 구조를 사용하여 재구성될 수 있음을 보여주어, 게이지 불변성과 크라인 메트릭과의 호환성을 유지하기.

제안 방법

• 유티야마의 방법을 사용하여 전역 대칭에서 국소 대칭으로의 게이지 장과 물질 장 간의 최소 결합을 유도하며, 코바리언트 미분의 역할을 강조한다.
• 슈테일베르크 형식을 적용하여 스칼라 보조 장을 도입함으로써 질량이 있는 벡터 장을 정의하고, 게이지 불변성을 유지하면서 일관된 양자화 체계를 가능하게 한다.
• 고스트 장 $u, \tilde{u}$ 를 포크 공간 위의 자유 양자 장으로 도입하며, $\eta_{\rm gh}$ 라는 크라인 연산자를 단위 변환 $S$ 를 통해 정의하여 $\eta$-에르미트성을 보장한다.
• 고스트 수량 연산자 $Q_{\rm gh}$ 와 크라인 연산자 $\eta_{\rm gh} = S I S^{-1} = T(\sigma_1)$ 를 구성하며, 이는 국소성과 올바른 고스트 수량 변환 성질을 보장한다.
• 상호작용 항 $T_1$ 을 대칭 미분 연산자 $\partial^\mu$ 를 사용하여 재구성함으로써, 게이지 불변성과 $\eta_{\rm gh}$-에르미트 구조와의 호환성을 확보한다.
• $\eta = \eta_A \otimes \eta_{\rm gh}$ 를 사용하여 $\eta$-보존성과 게이지 불변성을 결합함으로써 물리 하위공간에서 S행렬이 보존성을 가짐을 증명한다.

실험 결과

연구 질문

• RQ1 질량이 없는 게이지 불변성이 없는 상황에서, 질량이 있는 벡터 장 이론에 대해 BRS 불변성을 어떻게 일관되게 구현할 수 있는가?
• RQ2 고스트 장이 존재하는 질량이 있는 게이지 이론에서 크라인 연산자가 보존성과 인과성 보장을 위해 수행하는 역할은 무엇인가?
• RQ3 표준 고스트 라그랑지안이 왜 $\eta$-에르미트가 아니며, 대칭 미분을 사용하여 어떻게 수정할 수 있는가?
• RQ4 크라인 연산자의 선택이 고스트 장과 그 상호작용의 국소성과 에르미트성에 미치는 영향은 무엇인가?
• RQ5 질량이 있는 경우와 질량이 없는 양-밀스 이론 간에, 파오카레 군 표현과 $\eta$-보존성 간의 관계는 어떠한가?

주요 결과

• 슈테일베르크 형식은 게이지 불변성을 유지하면서 질량이 있는 스핀-1 장에 대해 일관된 프레임워크를 제공하며, BRS 양자화 체계를 가능하게 한다.
• 고스트 장 $u, \tilde{u}$ 는 $\eta$-에르미트성과 인과성을 확보하기 위해 비자명한 크라인 연산자 $\eta_{\rm gh}$ 를 사용하여 다뤄져야 하며, $u^\dagger, \tilde{u}^\dagger$ 의 사용을 피해야 한다.
• 연산자 $I = (-)^{N_{-1}}$ 는 고스트 수량에서 비국소적이므로 크라인 연산자로 적합하지 않지만, 변환된 연산자 $\eta_{\rm gh} = S I S^{-1} = T(\sigma_1)$ 는 국소성과 올바른 변환 성질을 복원한다.
• 상호작용 항 $T_1$ 은 대칭 미분 연산자 $\partial^\mu$ 를 사용하여 재구성할 수 있으며, 이는 게이지 불변성과 $\eta_{\rm gh}$-에르미트 구조와의 호환성을 보장한다. 이는 표준 형태와 $Q_{\rm gh}$-코바운드리에 의해 다를 수 있다.
• 물리 하위공간에서 S행렬은 $\eta$-보존성과 게이지 불변성의 조합을 통해 보존성을 가지며, $\eta = \eta_A \otimes \eta_{\rm gh}$ 이므로 질량이 있는 이론에서 일관성이 보장된다.
• 질량이 있는 경우, 파오카레 표현은 보존적이며 모든 전하와 교환 가능하므로 $\eta$-보존성이 자동으로 성립한다. 반면 질량이 없는 경우 $\eta_A$ 는 공변성 확보를 위해 도입된다.