5.4.3 — 정준 변환의 충분조건: 국소 → 전역의 확장

심플렉틱 조건의 국소 만족 이 전역 정준 변환 으로 확장되는 위상학적 조건. 단일 연결 영역에서 국소 = 전역. 그러나 비자명한 위상공간에서는 부분 정준 만 가능.

본문이 말하는 것

§5.4.1 의 심플렉틱 조건 ($J^T \Omega J = \Omega$) 은 각 점에서 검증 하는 국소적 진술. 변환 $\Phi : (q, p) \to (Q, P)$ 가 전역 정준 변환 이려면 이 외에도 위상학적 조건이 필요할 수 있다.

기본 정리. 위상공간 영역 $U \subseteq T^*M$ 이 단일 연결 (simply connected) 이고, $\Phi$ 의 자코비안이 $U$ 모든 점에서 심플렉틱 이라면, $\Phi$ 는 $U$ 위의 정준 변환. 더 정확히, 생성 함수 $F$ 가 $U$ 위에서 전역적으로 존재.

증명 (스케치). §5.4.2 의 국소 동치성 에서 생성 함수 $F$ 가 국소적으로 존재. 닫힌 1-형식 $\theta := \Phi^*(P\, dQ) - p\, dq$ 가 닫혔다 (= 심플렉틱 조건). 단일 연결 영역에서 푸앵카레 보조정리 (§1.6.6) → 전역 정확함 → 전역 $F$ 존재.

비자명한 위상공간. 단일 연결이 아닌 위상공간 — 예: $T^*S^1$ (원 위의 코탄젠트, 위상공간 = 원기둥). 닫힌 1-형식이 전역 정확하지 않을 수 있다. 그 경우 부분 영역 에서만 생성 함수가 존재 — 카메라 위상학 의 카메라 변환.

Maslov 지수. 비자명 위상공간 에서 Lagrangian submanifold 위의 위상학적 정수 — Maslov 지수. 반고전 양자화 의 위상 보정.

한 번 더, 천천히

도해 설명 — 국소 vs 전역 의 핵심 차이.

(a) 단일 연결의 기하학적 의미. 영역의 모든 닫힌 곡선 이 연속 변형 으로 한 점으로 줄어들 수 있음. 평면 (모든 영역), 디스크, 구면 = 단일 연결. 원기둥, 토러스, 자기 단극 주변 = 비-단일 연결.

(b) 정확 vs 닫힘 — 푸앵카레 보조정리 회수 (§1.6.6). 모든 닫힌 형식이 정확함 ↔ 영역이 단일 연결 (대략적). 비자명 위상에서는 닫힘 ≠ 정확. 정준 변환에서는 닫힌 1-형식 $\theta$ 가 국소적으로 정확 이지만 전역적으로 정확하지 않을 수 있다.

(c) Aharonov–Bohm 효과와의 평행. 양자역학의 Aharonov–Bohm 효과 — 비자명 위상공간에서 위상이 단순한 게이지 변환으로 제거되지 않는다. 본 절의 비자명 위상 ↔ 전역 생성 함수 부재 가 같은 위상학적 메커니즘.

(d) 작용-각 변수의 전역 존재 조건. 적분 가능 시스템 (Liouville–Arnold) 에서 작용-각 변수가 전역적으로 존재 하려면 환들의 위상학 이 자명 해야 한다 (Mumford). 일반적인 경우 — 작용 변수가 다중값 — 부분적으로만 정의.

(e) Chern 클래스 와의 연결. 비자명 위상공간 위 심플렉틱 형식의 코호몰로지 클래스 가 Chern 클래스 — 양자화의 조건 (Weil 양자화 조건). 본 절의 위상학적 제약이 양자화 가능 조건.

(f) 실용적 의미. 본 책의 대부분 예제 ($T^*\mathbb R^n$, 단진자, 케플러) 는 단일 연결. 그래서 생성 함수가 전역적으로 존재 — 본 절의 정밀화가 실용적 한정 안에서는 신경 쓸 일 없다. 일반상대론·게이지 이론에서 비자명 위상이 본질적.

다음 절(5.4.4)로 가는 다리

정준 변환의 집합 이 군 구조 를 이룬다 — 합성과 역연산이 정준성을 보존. 그 정준 변환군 $Sp(2n, \mathbb R)$ 의 정밀한 구조와 Lie 대수 가 §5.4.4 의 주제. 해밀턴 흐름이 그 군의 1-매개 부분군 으로 정확히 자리잡는다.