라그랑주 부분 다양체(Lagrangian submanifold)는 심플렉틱 기하학(symplectic geometry)에서 다루어지는 기본적인 개념으로, 차원 $2n$의 심플렉틱 다양체 $(M,\omega)$의 차원 $n$인 부분다양체 $L\subset M$ 중에서 다음 두 조건을 동시에 만족하는 경우를 말한다.
-
심플렉틱 형식의 제한이 영:
$$ \omega|_{L}=0, $$
즉, $L$ 위에서 심플렉틱 2-형식 $\omega$가 전혀 작용하지 않는다. -
반정규 차원:
$ \dim L = \tfrac{1}{2}\dim M = n$.
이 두 조건은 $\omega$가 비퇴화(non‑degenerate)임을 이용하면, $L$이 $\omega$에 대해 최대한 “전혀 차단되지 않은” 부분다양체임을 의미한다. 따라서 라그랑주 부분 다양체는 심플렉틱 다양체 안에서 “전역적인” 전위(phase) 공간의 “가능한 상태”를 나타내는 기하학적 모델로 해석되기도 한다.
정의와 기본 성질
| 항목 | 내용 |
|---|---|
| 정의 | $(M,\omega)$가 심플렉틱 다양체일 때, 차원 $\frac12\dim M$이며 $\omega |
| 전형적인 예 | $\mathbb{R}^{2n}$에 표준 심플렉틱 형식 $\omega_{0}= \sum_{i=1}^{n}dx_i\wedge dy_i$가 주어지면, 좌표축 $ {(x_1,\dots ,x_n,0,\dots ,0)}$ 혹은 ${(0,\dots ,0,y_1,\dots ,y_n)}$ 등이 라그랑주 부분 다양체 |
| 동등성 | 두 라그랑주 부분 다양체 $L_0, L_1$가 서로 호몰토피(동형동형)될 경우 라그랑주 동형(Lagrangian isotopy)이라 부른다. |
| 정규형 | 임의의 라그랑주 부분 다양체 $L$는 근방에서 $(M,\omega)$와 $(T^*L,\omega_{\mathrm{can}})$가 시흐마(시뮬레이션) 동형임을 보장하는 ‘라그랑주 정규형(Lagrangian neighbourhood theorem)’이 있다. |
| 라그랑주 교차 이론 | 두 라그랑주 부분 다양체 $L_0, L_1$의 교차점은 푸아송(Poisson) 구조와 관련된 대수적 위상수학(예: Floer cohomology)에서 중요한 역할을 한다. |
주요 예시
-
표준 심플렉틱 공간 $(\mathbb{R}^{2n},\omega_0)$
- 좌표축 $ \mathbb{R}^n \times {0}$와 ${0}\times \mathbb{R}^n$는 각각 라그랑주 부분 다양체이다.
- 그래프 형태 ${(q, \partial f/\partial q) \mid q\in \mathbb{R}^n}$ (단, $f$는 매끄러운 함수) 역시 라그랑주 부분 다양체가 된다.
-
코탄젠트 번들 $T^*N$
- 기본적인 라그랑주 부분 다양체는 영 섹션 $N\hookrightarrow T^*N$이다.
- 임의의 1-형식 $\alpha$에 대해 그래프 ${(x,\alpha_x)\mid x\in N}$가 $\mathrm{d}\alpha=0$이면 라그랑주다.
-
복소 프로젝트 공간 $\mathbb{C}P^n$에 대한 실 프로젝트 공간 $\mathbb{R}P^n$
- $\mathbb{C}P^n$에 카플란-마이어 형식이 주어질 때, 실 프로젝트 공간 $\mathbb{R}P^n$은 라그랑주 부분 다양체가 된다.
관련 이론 및 응용
- 플로어 코호몰로지(Floer cohomology) : 두 라그랑주 부분 다양체 사이의 교차점 정보를 대수적 위상수학적으로 추출하는 이론으로, 심플렉틱 토폴로지와 미러 대칭(Mirror symmetry) 연구에 핵심적인 도구다.
- 라그랑주 변분법 : 고전역학에서 라그랑주 함수를 이용한 변분 원리와 관련하여, 상태공간을 라그랑주 부분 다양체로 모델링한다.
- 양자화 : 위상 양자장 이론 및 변형된 양자역학에서 라그랑주 부분 다양체는 “양자 상태”의 기하학적 전제조건으로 활용된다.
참고문헌
- V. I. Arnold, Mathematical Methods of Classical Mechanics, Springer, 1978.
- D. McDuff, D. Salamon, Introduction to Symplectic Topology, Oxford University Press, 1998.
- K. Cieliebak, Y. Eliashberg, From Stein to Weinstein and Back: Symplectic Geometry of Affine Complex Manifolds, AMS, 2012.
(위 내용은 일반적인 수학 교과서·전문 서적에 기반한 것으로, 최신 연구 동향에 대한 상세한 서술은 별도의 전문 문헌을 참고한다.)