경계 방정식으로 보는 아시켈 바로로 임리니 모델의 정준 해석

초록

본 강의노트는 ABI(아시켈‑바로로‑임리니) 모델의 라그랑지안에서 시작해 3+1 분해를 수행하고, 독립적인 연결 (A^i_a)와 전기장 (E_i^a) 쌍을 얻는다. 제약식은 전적으로 임리니 파라미터 (β)에만 의존하며, 홀스트 파라미터 (γ)는 사라진다. 가우스·모멘텀·해밀토니안 제약을 도출하고, 이들을 바탕으로 양자화 스킴을 제시한다.

상세 분석

논문은 먼저 (Σ) 위에 정의된 (SU(2)) 연결 (A^i_\mu)와 1‑형식 (k^i_\mu), 그리고 스핀 프레임 (e^I_\mu)를 포함하는 1차 라그랑지안 (L_H)을 제시한다. 여기서 두 개의 자유 파라미터, 즉 임리니 파라미터 (β)와 홀스트 파라미터 (γ)가 등장한다. 저자는 (γ)와 (β)를 구분해 두어, 일반적인 경우에도 제약식이 (β)에만 의존함을 증명한다.

핵심 단계는 (i) 공간‑시간을 (t)와 공간 좌표 (x^a)로 분해하고, 적절한 적응 사다리꼴(tetrad)을 선택해 (e^0)를 법선 벡터, (e^i)를 삼중체로 정의한 점이다. 여기서 라플스 변환을 이용해 밀도화된 삼중체 (E_i^a = \star \epsilon_i^a)를 도입하고, 전통적인 ADM 변수와 비교한다. (ii) 운동량 (p^{\mu\nu}i)와 (\pi^{\mu\nu}i)를 계산해, (β=γ)일 때와 일반 경우의 차이를 명확히 보여준다. 특히 (k^i\mu)와 (\tilde{k}^i\mu) 사이의 대수적 제약을 이용해 (k^i)를 삼중체와 (N,β^a)의 함수로 고정한다.

그 결과, 독립적인 동역학 변수는 오직 ((A^i_a, E_i^a))뿐이며, 이들은 서로 켤레(conjugate) 관계에 있다. 제약식은 다음과 같이 정리된다.

• 가우스 제약: (D_a E^a_i = 0) (SU(2) 게이지 불변성)
• 모멘텀 제약: (F_{ab}^i E^b_i = 0) (공간 좌표 변환)
• 해밀토니안 제약: (\epsilon_{ijk}F_{ab}^k + 2(β^2+1)k_a^i k_b^j + \frac{Λ}{3}\epsilon_{ijk}\epsilon_{abc}E^c_k = 0)

여기서 (k_a^i = \star k^i_a)는 알게 된 대수적 관계를 통해 삼중체에 의해 완전히 결정된다. 흥미롭게도, 모든 제약식은 (β)만을 매개변수로 갖고, (γ)는 사라진다. 이는 기존 LQG에서 흔히 보는 “임리니 파라미터만 남는다”는 결과와 일치하지만, 여기서는 (γ)와 (β)를 구분함으로써 그 근원을 명확히 드러낸다.

또한 저자는 제약식과 진화 방정식을 구분한다. 총 40개의 원시 방정식 중 12개의 대수적 제약을 이용해 12개의 변수를 제거하고, 남은 18개의 동역학 변수에 대해 7개의 제약식과 12개의 진화 방정식이 남는다. 진화 방정식은 표준 GR의 외곡 방정식 (\dot{χ}{ab}=3R{ab}+χχ_{ab}-2χ_{ac}χ^c{}b-Λγ{ab})와 동일함을 확인한다.

마지막으로, 저자는 이러한 제약식 위에 양자화 절차를 적용하는 스킴을 제시한다. 기본 변수 ((A^i_a, E_i^a))를 홀로노미와 스핀 네트워크 상태로 표현하고, 제약 연산자를 디레클레 연산자 형태로 구현한다는 전통적인 LQG 접근법을 그대로 따르면서도, (β)와 (γ)를 구분한 초기 설정이 양자화 단계에서 어떠한 자유도를 남기는지에 대한 논의를 예고한다.