4.1.4 — 위상공간의 리만 계량: 심플렉틱과 다른 종류의 추가 구조

심플렉틱 구조와는 독립적으로 위상공간 $T^*M$ 위에 리만 계량 을 박을 수 있다. 두 구조 — 심플렉틱 (반대칭) 과 리만 (대칭) — 의 역할이 다르다. Kähler 다양체 의 학부 표본.

본문이 말하는 것

원서 4.1.4 절은 위상공간 $T^*M$ 위에 추가로 리만 계량 $g$ 를 박을 수 있음을 짚는다.

배위공간 $M$ 의 리만 계량 $g_M$ (§1.6.3) 이 주어졌다면, 르장드르 변환 으로 위상공간의 자연스러운 리만 계량 $g_{T^*M}$ 이 유도된다. 좌표로 적으면

$$g_{T^*M} = g_M^{\alpha\beta}(q)\, dp_\alpha \otimes dp_\beta + g_{M, \alpha\beta}(q)\, dq^\alpha \otimes dq^\beta$$

(첫 항: 운동량 부분, 둘째 항: 위치 부분.) 즉 위치와 운동량의 길이 측정 이 각각 정의됨.

두 구조의 차이.

• 심플렉틱 $\omega = dq \wedge dp$ — 반대칭. 부피의 부호 있는 측정. 정준 변환의 불변량.
• 리만 $g$ — 대칭. 거리·각도 의 척도. 일반적 좌표 변환에서 변환됨 (정준 변환에서는 일반적으로 불변 아님).

심플렉틱 구조가 해밀턴 역학의 본질. 리만 구조는 부가적 도구 — 위상공간 위 함수의 그라디언트 흐름 이나 통계역학의 확률 측도 에 쓰임.

한 번 더, 천천히

도해 설명 — 두 구조의 상호 관계 와 각자의 역할.

(a) Kähler 다양체. 심플렉틱 + 리만 + 호환성 조건 을 모두 가진 다양체가 Kähler 다양체 — 복소 기하학의 핵심 객체. $T^*M$ 이 항상 Kähler 는 아니지만, 심플렉틱과 리만 둘 다 자연스럽게 박을 수 있는 무대. 이론 물리학의 모듈러 공간, 양자장 이론의 표적 공간 에서 활용.

(b) 심플렉틱 vs 리만 변환의 자유. 정준 변환은 심플렉틱 보존 만 강제 — 훨씬 큰 그룹 (Sp(2n) 의 작용). 리만 변환은 거리 보존 만 강제 — 등거리변환 (isometry, O(2n)). 두 그룹의 교집합 — 유니타리 그룹 U(n) — 이 Kähler 등거리변환 의 그룹. 양자역학의 유니타리 변환 이 정확히 여기.

(c) 그라디언트 흐름 vs 해밀턴 흐름. 함수 $f: T^*M \to \mathbb R$ 에 대해:

• 그라디언트 흐름: $\dot x^I = g^{IJ} \partial_J f$ — 리만 계량을 사용. $f$ 의 등고선에 수직 방향.
• 해밀턴 흐름: $\dot x^I = \omega^{IJ} \partial_J f$ — 심플렉틱을 사용. $f$ 의 등고선을 따라 (= $f$ 보존).

두 흐름이 전혀 다른 성격. 해밀턴 역학의 운동이 해밀턴 흐름 — 에너지 보존이 자동.

(d) 통계역학과의 연결. 정준 앙상블의 확률 측도 $\rho = e^{-\beta H} / Z$ 가 위상공간 위의 함수. 그 측도 전 위상공간의 부피 적분 에 심플렉틱 체적 형식 $\omega^n / n!$ 사용. 리만 계량 은 오차 추정·정보 거리 (Fisher information metric) 같은 통계적 척도에 쓰임.

(e) 본 절의 결론. 위상공간에 심플렉틱이 본질, 리만은 보조. 해밀턴 역학의 모든 핵심 결과 (정준 변환, 리우빌 정리, 푸앵카레 재귀) 가 심플렉틱 만으로 결정. 리만 계량은 별 응용에서 추가 도구. §4.2 가 심플렉틱에 집중한다.

다음 절(4.1.5)로 가는 다리

§4.1.3 의 위상공간 $T^*M$ 은 시간 독립 — 시간이 외부 매개변수. 시간을 좌표 로 다루려면 확장 상공간 이 필요. §3.1.3 의 확장 상태공간 과 평행한 객체. §4.1.5 가 그 확장 상공간 과 확장 정준 1-형식 의 정의를 박는다.