Boundaries in the Instantaneous Formulation of Field Theories

문제 정의
본 논문은 고전 장론의 순시적(instantaneous, 3+1) 프레임워크 내에서 경계 조건의 엄밀한 정식화를 다루며, 특히 GiMmsy(Gotay, Isenberg, Marsden, Montgomery, Sniatycki, Yasskin)가 개발한 공변적 및 순시적 형식론을 확장한다. 경계와 국소화 가능한 대칭군 사이의 상호작용는 정준 해밀턴 형식론에서 잘 연구되어 왔으나, 순시적 라그랑지안, 르장드르 변환, 그리고 경계가 존재하는 상황에서의 결과적인 위상 공간을 포함하는 완전한 순시적 형식론은 엄밀한 기초가 부족했다. 핵심 문제는 경계 조건이 장의 구성(configuration)이나 속도(velocity)를 제한하는 경우(예: 경계에서 속도가 0이어야 한다는 조건만 요구하는 경우)의 순시적 상태 공간과 위상 공간을 규명하는 것이다.

방법론
저자는 코시 곡면 $\Sigma_t$로 시공간 $M$을 3+1 분할하는 GiMmsy의 기하학적 프레임워크를 사용한다. 방법론은 다음과 같이 진행된다:

1. 프레임워크 확장: 순시적 구성 공간 $Q_t = \Gamma(Y_t)$와 그 접다발(tangent bundle) $TQ_t$는 공변적 제트(covariant jets)와 순시적 공간 제트 및 속도를 연결하는 제트 분해 사상 $\beta_\zeta$를 통해 정의된다.
2. 경계 조건 분석: 본 논문은 두 가지 유형의 경계 조건을 구분한다:
   • 상수 디리클레(Constant Dirichlet): 장의 구성이 경계에서 특정 값 $b_t$로 고정되며, 이 값은 슬라이싱 흐름(slicing flow)에 대해 일정하게 유지된다.
   • 속도 소멸(Velocity-Vanishing): 장의 구성은 경계에서 변할 수 있으나, 시간 미분(속도)은 0이어야 한다($\dot{\phi}|_{\partial \Sigma} = 0$).
3. 기하학적 규명: 경계 제한 사상 $r_t: Q_t \to \Gamma(Y_t|_{\partial \Sigma_t})$의 성질을 사용하여, 허용 가능한 상태 공간의 구조를 분석한다. 상수 디리클레 조건의 경우, 상태 공간은 단일 접다발로 나타난다. 속도 소멸 조건의 경우, 상태 공간은 경계 구성들에 의해 인덱싱된 접다발들의 서로소 합집합으로 나타난다.
4. 르장드르 변환: 순시적 르장드르 변환은 이 "섹터화된(sectored)" 상태 공간(허용 가능한 속도 다발 $D$) 위에서 파이버 미분(fiber derivative)을 사용하여 정의된다. 결과적인 위상 공간의 심플렉틱 및 푸아송 구조를 분석한다.
5. 양-밀스 이론에 대한 적용: 본 형식론을 점근적 경계 조건을 가진 컴팩트화된 공간 조각 위의 양-밀스 이론에 적용한다. 게이지 군 작용을 분석하여 어떤 변환이 해밀턴적(모멘텀 맵을 갖는 것)이고 어떤 것이 그렇지 않은지 결정한다.

주요 기여 및 결과

• 순시적 상태 공간의 구조:

  • 상수 디리클레 경계 조건 하에서, 순시적 상태 공간은 해당 경계 조건을 만족하는 구성 공간의 접다발 $TQ_b$와 동형이다 (Proposition 3.5).
  • 오직 속도만이 경계에서 0이 되는 조건(경계 값을 고정하지 않음) 하에서, 순시적 상태 공간은 단일 접다발이 아니라 접다발들의 서로소 합집합인 "섹터 구조"를 갖는다: $D = \bigsqcup_{b} TQ_b$ (Corollary 3.6). 각 섹터는 고정된 경계 구성 $b$에 대응한다.

• 르장드르 변환 및 위상 공간 구조:

  • 르장드르 변환은 허용 가능한 속도 다발 $D = \ker(Tr)$ 위에서 엄밀하게 정의된다. 결과적인 1차 위상 공간 $P$는 위상 공간 $P_b \subset T^*Q_b$들의 서로소 합집합이다.
  • 전체 위상 공간 $P$는 경계 구성에 대한 공액 모멘텀(conjugate momenta)이 존재하지 않기 때문에 전역적인 심플렉틱 구조를 갖지 않는다. 대신, $P$는 개별 섹터 $T^*Q_b$를 심플렉틱 리프로 갖는 리프와이즈(leafwise) 정준 푸아송 구조를 가진다 (Remark 4.5).

• 게이지 변환 및 모멘텀:

  • 양-밀스 이론에서, 경계 구성을 변화시키는 게이지 변환(섹터 이동 변환)은 $P$의 푸아송 구조에 대해 **비해밀턴적(non-Hamiltonian)**임이 밝혀졌다. 이들은 서로 다른 심플렉틱 리프 사이를 매핑하며, 경계 모멘텀이 이 형식론에서 정의되지 않으므로 고전적 모멘텀 맵이 결여되어 있다.
  • 경계 섹터를 보존하는 게이지 변환(안정자 부분군 $G_b$)은 해밀턴적이다. 이들의 모멘텀 맵은 전기 플럭스(electric flux)에 대응하는 경계 항을 포함한다.

• 물리적 대칭군의 정의:

  • 본 논문은 물리적 경계 대칭군에 대한 새로운 정의를 제안한다: $G_{phys} := G_{Ham} / G_{triv}$, 여기서 $G_{Ham}$은 경계를 보존하는 해밀턴적 변환이고 $G_{triv}$는 자명한(중복된) 변환들이다.
  • 전자기학 ($U(1)$): 모든 섹터에 걸친 물리적 대칭군은 전역 게이지 군 $U(1)$과 동형인 것으로 나타났다. 상수 변환은 모든 섹터를 보존하며 비제로(non-zero) 플럭스 모멘텀을 갖기 때문이다.
  • 비가환 양-밀스 이론: 경계 트라이얼라이제이션(boundary trivialization)에서, 모든 섹터에 걸친 물리적 대칭군은 (경계 구성에 $Ad(G)$-불변성과 같은 특정 제한이 부과되지 않는 한) 자명하다(리 대수의 중심). 특정 제한이 부과될 경우 전역 군$G$가 다시 등장한다.

의의 및 주장
본 논문은 경계가 장 이론의 순시적 형식론과 어떻게 상호작용하는지를 이해하기 위한 엄밀한 기하학적 기초를 제공한다고 주장한다.

주된 의의는 경계 값이 고정되지 않을 때, 상태 공간이 자연스럽게 섹터들로 분해되며, 이로 인해 전역 심플렉틱 구조가 아닌 리프와이즈 푸아송 구조를 가진 위상 공간이 유도됨을 보여준 데 있다. 이러한 구조적 통찰은 왜 "섹터 이동" 게이지 변환(경계 연결을 변화시키는 변환)이 이 형식론에서 해밀턴 함수에 의해 생성될 수 없는지를 설명한다. 결과적으로, 본 논문은 물리적 경계 대칭성이 해밀턴적 변환(즉, 섹터를 보존하고 모멘텀 맵을 갖는 변환)으로 제한되어야 한다고 주장한다. 이는 점근적 대칭성을 재정의하며, 물리적 관측량(모멘텀) 없이 단순히 초선택 섹터(superselection sectors) 사이를 이동하는 변환과 구별한다.

결과들은 이전 연구[9]를 속도 소멸 경계 조건의 완전한 일반성으로 확장하여, 플럭스 초선택 섹터와 경계 공액 변수가 없는 상황에서의 에지 모드(edge modes)의 역할을 더 명확한 기하학적 그림으로 제시한다.