Existence of ghost-eliminating constraints in multivielbein theory

기술 요약: 다중 비엘바인(multivielbein) 이론에서의 고스트 제거 제약 조건의 존재성

문제 정의
각 메트릭에 대한 아인슈타인-힐베르트 작용에 미분 항이 없는 상호작용 포텐셜을 추가하여 구성된, $N$개의 상호작용하는 스핀-2 장을 포함하는 이론적 모델들은 일반적으로 불레 $\text{-}$ 데저(Boulware–Deser, BD) 고스트 불안정성을 겪는다. 이러한 이론들은 이차 단계(quadratic level)에서는 기대되는 $2 + 5(N-1)$ 개의 모드(하나의 질량이 없는 모드와 $N-1$ 개의 질량이 있는 스핀-2 장)를 전파하지만, 고스트 모드들은 일반적으로 비선형 차수에서 다시 나타난다. $N \geq 3$ 인 장을 가진 고스트가 없는 이론을 구축하려는 이전의 시도들은 난관에 봉착해 왔다; [26]에서 제안된 일반적인 다중 비엘바인 상호작용은 [27]에서 일관성이 없는 것으로 밝혀졌으며, 이로 인해 쌍별(pairwise) 바이메트릭 확장이 알려진 일관된 부분 집합으로 남게 되었다. 비엘바인의 반대칭 곱(antisymmetrised product)을 사용하는 [1]에서 제안된 특정 다중 비엘바인 이론은 특정 가정 하에 고스트가 없는 것으로 주장되었으나, 제약 조건 분석을 통해 BD 고스트의 부재를 엄밀하게 증명하는 과정이 결여되어 있었다. 핵심 문제는 이 이론의 비선형 장 방정식이 고스트 장과 그에 켤레인 운동량을 제거하여 이들이 전파되지 않도록 하는 특정한 제약 구조를 보유하고 있는지 여부를 검증하는 것이다.

방법론
저자들은 $N$개의 상호작용하는 비엘바인 $e^A_{I\mu}$로 정의된 다중 비엘바인 이론에 대해 해밀턴 제약 조건 분석을 수행한다. 분석은 다음 단계들을 통해 진행된다:

1. 3+1 분해: 아인슈타인-힐베르트 작용과 상호작용 포텐셜을 3+1 변수(라프스 $N_I$, 쉬프트 $N^i_I$, 공간 비엘바인 $E^a_{Ii}$, 그리고 부스트/회전 매개변수)로 분해한다. 상호작용 포텐셜은 라프스와 쉬프트에 대해 선형임을 보인다.
2. 일차 제약 (Primary Constraints): 비동역학적 변수들에 켤레인 정준 운동량(canonical momenta)을 일차 제약으로 식별한다.
3. 이차 제약 (Secondary Constraints): 일차 제약의 시간 보존은 이차 제약을 생성한다. 여기에는 (상호작용 포텐셜에 의해 수정된) 해밀턴 및 모멘텀 제약과 (반대칭 부분에서 기인하는) 로런츠 제약이 포함된다.
4. 제약 계층 (Constraint Hierarchy): 저자들은 고차 제약을 생성하기 위해 이차 제약의 시간 보존을 체계적으로 강제한다. 분석은 이 고차 제약들이 비동역학적 변수를 결정하는지(게이지를 고정하는지), 아니면 고스트 자유도를 제거하는지에 초점을 맞춘다.
5. 등가 부스트 안사츠 (Equal-Boost Ansatz): 푸아송 괄호를 명시적으로 계산하고 필요한 제약 조건의 존재를 입증하기 위해, 모든 부스트 함수가 일치하는($p^a_I \approx p^a$) 단순화된 안사츠를 채택한다. 이는 동일한 쉬프트($N^i_I \approx N^i$)를 의미하며, 고스트 제거를 위한 핵심 메커니즘을 보존하면서 제약의 대수적 구조를 단순화한다.

주요 기여 및 결과

• 이차 제약의 구조: 분석을 통해 로런츠 장(부스트 및 회전)과 관련된 이차 제약이 쉬프트와 회전 장을 동역학적 변수 및 라프스에 대해 결정할 수 있음을 확인한다. 결정적으로, 남은 이차 제약들(해밀턴 제약 $C_I \approx 0$)은 오직 동역학적 장과 라프스에만 의존하며, 이를 통해 공간 비엘바인 내에 포함된 고스트 장을 제거할 수 있다.
• 삼차 제약의 존재: 결정적인 발견은 삼차 제약($C^{(3)}_I \approx 0$)의 유도이다. 일반적인 이론에서 해밀턴 제약의 시간 미분은 라프스를 결정할 수 있으나, 이 경우 고스트 운동량을 제약되지 않은 상태로 남겨둔다. 그러나 저자들은 이 이론에서 $\dot{C}_I \approx 0$ 방정식이 상호작용 포텐셜을 소멸시켜 장들을 디커플링(decoupling)시키지 않고서는 라프스를 결정하는 데 일관되게 사용될 수 없음을 보여준다. 대신, 이 방정식들은 $N-1$ 개의 라프스 독립적인 제약을 생성한다.
• 고스트 운동량의 제거: 등가 부스트 안사츠 하에서, 이러한 삼차 제약들은 고스트적 컨포멀 모드($\pi^\phi_I$)에 켤레인 운동량을 결정하기 위해 명시적으로 풀린다. 이 단계는 고스트 장만을 제거하는 것만으로는 불충분하며, 그들의 켤레 운동량 또한 전파를 방지하기 위해 고정되어야 한다는 점에서 필수적이다.
• 사차 제약 및 폐쇄 (Closure): 삼차 제약의 시간 보존은 $N-1$ 개의 라프스 함수를 결정하는 $N-1$ 개의 사차 제약($C^{(4)}_I \approx 0$)을 생성한다. 최종 시간 미분은 남은 라그랑주 승수들에 의존하며, 추가적인 제약을 생성하지 않고 제약 알고리즘을 종료한다.
• 제약 분류: 제약들은 퍼스트 클래스(first-class)와 세컨드 클래스(second-class) 집합으로 분류된다. 이 이론은 디퍼런셜(diffeomorphisms)과 국소 로런츠 불변성의 대각 부분군과 관련된 14개의 퍼스트 클래스 제약을 갖는다. 나머지 제약들(고스트를 제거하는 삼차 및 사차 제약을 포함)은 세컨드 클래스이다.
• 물리적 자유도: 위상 공간 차원($2 \times 16N$)을 제약 조건(14개의 퍼스트 클래스 및 $22(N-1)$ 개의 세컨드 클래스)에 대해 계산하면, 저자들은 다음과 같이 전파되는 모드의 수를 산출한다:
  $$2 \times (\text{Physical Modes}) = 32N - 2(14) - 22(N-1) = 2(2 + 5(N-1))$$
  이는 이 이론이 정확히 $2 + 5(N-1)$ 개의 모드, 즉 하나의 질량이 없는 장과 $N-1$ 개의 질량이 있는 스핀-2 장을 전파하며, 불레 $\text{-}$ 데저 고스트로부터 자유로움을 확인시켜 준다.

의의 및 주장
본 논문은 [1]에서 제안된 다중 비엘바인 이론의 고스트가 없는 성질을 검증하는 최초의 명시적인 해밀턴 제약 분석을 제공한다고 주장한다. 삼차 및 사차 제약을 명시적으로 유도함으로써, 저자들은 원래의 제안에서 이루어진 가정들을 확인하고 이 이론이 비선형 수준에서 일관됨을 입증한다. 결과는 이전의 이차 분석[31]과 일치하며, 이 이론이 하나의 질량이 없는 장과 $N-1$ 개의 질량이 있는 스핀-2 장의 비선형 이론을 기술함을 확립한다.

저자들은 자신의 증명 범위에 대해 겸허한 태도를 유지한다. 그들은 삼차 제약의 유도가 "등가 부스트 안사츠"에 의존한다는 점을 명시적으로 밝힌다. 저자들은 이 안사츠가 핵심적인 제약 구조를 포착하며 물리적으로 유의미한 해들(예: 균질한 우주론 및 다중 대각 블랙홀)을 포함한다고 주장하지만, 이러한 제한 없이 일반적인 경우에 대한 완전한 증명은 향후 과제로 남아 있다. 그럼에도 불구하고, 이 안사츠 하에서 고스트 모드의 부재를 확립한 것은 다중 비엘바인 이론의 완전한 일관성을 입증하는 중요한 진전이다.