On the covariant formulation of gauge theories with boundaries

기술 요약: 경계가 있는 게이지 이론의 공변적 정식화에 관하여

문제 제기
본 논문은 시공간 경계가 존재하는 상황에서의 게이지 이론, 구체적으로 양-밀스(Yang–Mills) 이론과 일반 상대성 이론(아인슈타인-힐베르트 중력)의 정식화를 다룬다. 이 맥락에서 핵심적인 문제는 장(field)의 구성 공간 위에 정의된 닫힌 2-형식(closed two-form)인 전심플렉틱 형식(presymplectic form)의 거동이다. 경계가 없는 경우, 이 형식은 게이지 궤도(gauge orbit)를 따라 퇴화(degenerate)되는 것으로 알려져 있으며, 이는 해당 형식이 게이지가 축소된 물리적 장 공간 위의 비퇴화 심플렉틱 형식의 풀백(pullback)이 되기 위해 필요한 성질이다. 그러나 경계의 존재는 종종 비영(non-vanishing) 경계 전하와 플럭스(flux) 항을 유발하며, 이는 이러한 퇴화성을 깨뜨리거나 비적분적(non-integrable) 전하를 도입할 수 있다.

이 논문에서 다루는 구체적인 혼란 지점은 "에지 모드(edge modes)"의 역할이다. 기존 문헌(예: Donnelly 및 Freidel)은 장 의존적(field-dependent) 게이지 변환에 대해 전심플렉틱 형식의 게이지 불변성을 보장하기 위해 에지 모드를 도입했다. 본 논문은 장 독립적(field-independent) 게이지 변환만을 고려할 때 에지 모드가 왜 필요한지를 조사한다. 장 독립적 변환의 경우 전심플렉틱 형식은 이미 게이지 불변이기 때문이다. 저자들은 만약 게이지 불변성이 충족된다면, 왜 여전히 에지 모드가 필요한지, 그리고 이 맥락에서 그들의 정확한 물리적 및 수학적 정당성은 무엇인지를 묻는다.

방법론
저자들은 특정 시간 좌표를 선택함으로써 공변성을 깨뜨리지 않고 해밀토니안 역학 및 심플렉틱 구조를 기술하는 기하학적 프레임워크인 **공변 위상 공간 정식화(covariant phase space formalism)**를 활용한다. 방법론은 다음을 기반으로 한다:

1. 장 공간에서의 카르탕 미분법(Cartan Calculus on Field Space): 저자들은 표준 카르탕 미분법(외미분 $d$, 내부 곱 $\iota_v$, 리 미분 $L_v$)을 시공간에서 무한 차원의 장 구성 공간($\mathcal{F}$)으로 일반화한다. 이를 통해 장 공간 형식(심플렉틱 포텐셜 $\Theta$ 및 전심플렉틱 형식 $\Omega$)을 정의하고, 게이지 궤도에 접하는 벡터장과의 수축(contraction)을 통해 노터 전하(Noether charges)를 계산할 수 있다.
2. 퇴화성 분석: 핵심적인 방법론적 단계는 게이지 궤도에 접하는 벡터장 $V$에 대해 $i_V \Omega = 0$ 조건을 테스트하는 것이다. 저자들은 물리적 위상 공간이 심플렉틱 다양체가 되기 위해서는 초기 장 공간 위의 전심플렉틱 형식이 물리적 심플렉틱 형식의 풀백이어야 한다고 주장한다. 이는 $\Omega$가 게이지 방향을 따라 퇴화되어야 함($i_V \Omega = 0$)을 필연적으로 요구한다.
3. 확장된 위상 공간(Extended Phase Space): 경계를 보존하지 않는 대칭성(예: 전역적 시공간 평행 이동 또는 일반 디페오모피즘)을 다루기 위해, 저자들은 확장된 위상 공간 정식화를 채택한다. 여기에는 시공간 임베딩 맵 $\phi$를 독립적인 역학적 변수(위상 공간의 장)로 취급하는 과정이 포함된다. 이 확장을 통해 장의 변분(variation)에 경계의 이동으로부터 발생하는 플럭스를 상쇄하는 항들을 포함할 수 있게 된다.

주요 기여 및 결과

• 양-밀스 이론에서의 에지 모드 재평가:

  • 저자들은 장 독립적 게이지 변환에 대하여 양-밀스 이론의 표준 전심플렉틱 형식이 경계가 있음에도 불구하고 이미 게이지 불변임을 입증한다. 따라서 이 특정 맥락에서는 에지 모드가 게이지 불변성을 위해 필요하지 않다.
  • 그러나 저자들은 표준 전심플렉틱 형식이 비영(non-vanishing) 경계 전하($H_{YM}[\epsilon]$)를 생성한다는 점을 보여준다, 즉 $i_V \Omega \neq 0$이다. 이는 풀백 관계를 위한 퇴화 조건을 위반한다.
  • 퇴화성을 회복하기 위해, 저자들은 경계 상의 군 값(group-valued) 에지 모드 장 $\phi$를 도입한다. 이 장은 나타나는 경계 전하를 정확히 상쇄하는 경계 항을 전심플렉틱 형식에 기여함으로써 $i_V \Omega_{total} = 0$을 만족시킨다.

• 전역적 시공간 대칭성과 플럭스:

  • 전역적 푸앵카레 대칭성(예: 맥스웰 이론에서의 평행 이동 및 로런츠 변환)의 맥락에서, 저자들은 전심플렉틱 형식의 수축이 플럭스라고 알려진 비적분적 항들을 생성함을 보여준다. 이러한 플럭스는 전역적 시공간 변환이 경계의 위치를 이동시키기 때문에 발생한다.
  • 임베딩 맵을 포함하여 위상 공간을 확장함으로써, 저자들은 확장된 작용의 변분이 플럭스를 상쇄하는 경계 항을 생성함을 보여준다. 이는 전하(에너지-모멘텀 및 각운동량)의 적분 가능성을 회로한다.

• 중력 (아인슈타인-힐베르트 작용):

  • 양-밀스와 유사하게, 저자들은 디페오모피즘 궤도를 따라 전심플렉틱 형식의 수축을 분석한다. 그들은 일반적인 디페오모피즘(경계를 보존하지 않는 경우)에 대해 플럭스 항이 나타나며, 수축이 완전 미분(total differential)이 아님을 발견한다.
  • 경계를 보존하는 디페오모피즘으로 제한하면 표준 코마르(Komar) 전하를 회복한다.
  • 임베딩 맵을 에지 모드로 도입함으로써, 저자들은 확장된 전심플렉틱 형식이 코마르 전하의 정확한 미분을 산출하여 플럭스를 제거함을 보여준다.
  • 결정적으로, 저자들은 중력에서 퇴화 조건($i_V \Omega = 0$)을 만족시키기 위해 필요한 추가적인 에지 모드 항이 전적으로 임베딩 맵에 의해 표현될 수 있음을 보여준다. 이는 중력의 에지 모드는 임베딩 맵 그 자체이다라는 결론으로 이어진다.

• 에지 모드 유형의 구분:
  저자들은 두 가지 유형의 에지 모드 사이의 개념적 구분을 명확히 한다:

  1. 내부 게이지 에지 모드(Internal Gauge Edge Modes): 장 독립적 내부 대칭성(양-밀스)을 위한 퇴화 조건을 만족시키거나, 장 의존적 대칭성을 위한 불변성을 보장하기 위해 필요하다.
  2. 시공간 에지 모드(Spacetime Edge Modes - 임베딩 맵): 경계를 이동시키는 시공간 대칭성(디페오모피즘)에 대한 플럭스를 제거하고 적분 가능성을 회복하기 위해 필요하다. 중력에서 이 두 역할은 일치하는데, 이는 게이지 군이 디페오모피즘 군이기 때문이다.

의의 및 주장
본 논문은 경계가 있는 게이지 이론, 특히 장 독립적 게이지 변환의 맥락에서 에지 모드에 대한 통합적이고 명확한 이해를 제공한다고 주장한다. 주요 의의는 에지 모드의 정당성을 다음과 같이 전환하는 데 있다:

• 불변성에서 퇴화성으로: 저자들은 에지 모드의 도입이 전심플렉틱 형식을 게이지 불변으로 만들기 위한 주된 동기(장 독립적 변환의 경우 이미 불변인 경우가 많음)가 아니라, 바로 퇴화 조건에 의해 구동된다고 주장한다. 전심플렉틱 형식은 게이지 축소된 공간 위의 심플렉틱 형식의 풀백이 되기 위해 반드시 게이지 궤도를 따라 퇴화되어야 한다.
• 중력에서의 통일: 이 연구는 일반 상대성 이론에서 경계 플럭스를 처리하기 위해 필요한 "에지 모드"와 퇴화 조건을 만족시키기 위해 필요한 "에지 모드"가 동일한 대상, 즉 시공간 임베딩 맵임을 확립한다.
• 접근성: 저자들은 복잡한 추상 기하학을 피하면서도 엄밀한 유도를 유지하며, 보다 단순화된 수학적 언어를 사용하여 이러한 고급 개념들을 접근 가능하게 만들고자 한다.

논문은 에지 모드의 필요성이 전심플렉틱 형식 수준에서 확립되었지만, 이 에지 모드들의 역학(즉, 이들을 생성하는 구체적인 라그랑지안)은 향후 과제로 남아 있는 문제라는 점을 언급하며 마무리된다. 현재의 정식화는 일관성을 보장하기 위해 심플렉틱 구조 수준에서 이들을 도입하지만, 동적인 경계 라그랑지안을 가진 완전한 경로 적분(path integral) 정식화는 아직 제공되지 않았다.