4.2.1 — 심플렉틱 다양체: 닫혀 있고 비퇴화인 2-형식을 가진 무대

짝수 차원 매끄러운 다양체 + 닫힌 비퇴화 2-형식 $\omega$. $T^*M$ 이 정준 예시. 모든 심플렉틱 다양체는 국소적 으로 $T^*\mathbb R^n$ 과 동형 — Darboux 정리. 해밀턴 역학의 기하학적 무대.

본문이 말하는 것

심플렉틱 다양체 (symplectic manifold) 의 정의: 짝수 차원 ($2n$) 매끄러운 다양체 $P$ 와 2-형식 $\omega \in \Omega^2(P)$ 가 다음 두 조건을 만족하는 쌍 $(P, \omega)$.

(1) 닫혀 있음: $d\omega = 0$.

(2) 비퇴화: 임의의 점 $x \in P$ 와 0 이 아닌 접벡터 $v \in T_x P$ 에 대해, 어떤 접벡터 $w$ 가 있어 $\omega_x(v, w) \neq 0$.

이 2-형식 $\omega$ 가 심플렉틱 형식 (symplectic form).

기본 사실.

• 차원이 반드시 짝수 — 홀수 차원에선 비퇴화 2-형식이 불가능.
• 체적 형식 $\omega^n / n!$ 이 자동 정의 — 모든 심플렉틱 다양체는 방향성 있음.
• §4.1.3 의 여접번들 $T^*M$ 에 $\omega = -d\theta = dq^\alpha \wedge dp_\alpha$ 가 표준 심플렉틱 형식.

Darboux 정리. 임의의 심플렉틱 다양체 $(P, \omega)$ 의 모든 점은 근방 에서 $T^*\mathbb R^n$ 과 심플렉틱 동형 (symplectomorphism) — 즉 심플렉틱 형식이 $\omega = dq^\alpha \wedge dp_\alpha$ 의 표준 형식 으로 변환되는 좌표 (Darboux 좌표) 가 존재.

이 정리의 의미: 심플렉틱 다양체의 국소 기하학에는 비자명한 정보가 없다. 리만 기하학에서 곡률 이 점마다 변하는 것과 대조적. 심플렉틱 기하학은 위상학적 정보 — 전역 구조 — 가 핵심.

한 번 더, 천천히

도해 설명 — 심플렉틱 이 왜 본질적 인가, 리만과의 차이 는 무엇인가.

(a) “심플렉틱” 의 어원. 영어 complex 의 그리스어 어원 symplectikos — 얽혀 있는, 짝지어진. 라틴어 complex 의 대응. “위치와 운동량이 얽혀 있는” 의 의미를 담는다. 1936 년 Hermann Weyl 의 명명.

(b) 리만과의 대조.

구조	2-형식	대칭성	곡률	국소 모양
심플렉틱	$\omega$ (반대칭)	닫힘 + 비퇴화	없음	$T^*\mathbb R^n$ (Darboux)
리만	$g$ (대칭)	양의 정부호	있음	일반적으로 위치 의존

심플렉틱은 국소적으로 자명 — Darboux 정리. 리만은 국소 곡률 이 비자명. 두 구조의 완전히 다른 성격.

(c) $T^*M$ 이 왜 정준 예시인가. 여접번들 자체 가 자연스러운 심플렉틱 구조를 가진다 — 좌표 선택 무관의 정준 1-형식 $\theta = p_\alpha dq^\alpha$ 의 외미분 $-d\theta$. 모든 라그랑주 시스템의 해밀턴 형식이 이 무대에서 살아간다.

(d) 비-$T^*M$ 의 심플렉틱 다양체. 모든 심플렉틱 다양체가 여접번들이지는 않다. 대표 예: 구면 $S^2$ 위의 면적 형식. $S^2$ 가 콤팩트 (compact, 닫혀 있고 유계) — $T^*M$ 은 비콤팩트 (위치 무한). 콤팩트 심플렉틱 다양체는 공간 매개 자체가 위상학적 정보. 양자역학의 스핀 시스템, Berry phase 등의 무대.

(e) §4.4 의 리우빌 정리의 출발점. 심플렉틱 흐름이 체적 보존 이라는 사실이 심플렉틱 형식의 자동 결과. $\omega$ 가 흐름에 의해 보존 → $\omega^n$ (체적 형식) 도 보존. 위상공간 부피의 보존 이 이 자리에서 자연스럽게 떨어진다.

(f) 양자화·게이지 이론으로의 다리. 심플렉틱 다양체의 양자화 가 양자역학의 자연스러운 형식. 기하학적 양자화 (geometric quantization), 변형 양자화 (deformation quantization) 모두 심플렉틱 무대 위. 게이지 이론의 모듈러 공간 도 자연스러운 심플렉틱 다양체.

다음 절(4.2.2)로 가는 다리

심플렉틱 다양체 위에서 해밀토니언 $H : P \to \mathbb R$ 가 주어졌을 때, 그 흐름 을 정의하는 벡터장 이 자연스럽게 결정된다 — *비퇴화한 $\omega$ 가 1-형식 $dH$ 와 벡터장 $X_H$ 사이의 동형. $\iota_{X_H} \omega = dH$ 가 그 정의. 4.2.2 가 이 좌표 자유 형식 의 정준 방정식을 박는다.