정의
푸아송 코호몰로지(Poisson cohomology)는 푸아송 다양체 $ (M,\pi) $ 위에서 정의되는 코호몰로지 이론이다. 여기서 $ \pi \in \Gamma(\wedge^{2} TM) $는 푸아송 이중벡터이며, 푸아송 괄호 ${f,g} = \pi(df,dg)$ 로 정의되는 푸아송 구조를 제공한다.
다중벡터장 공간 $ \mathfrak{X}^{k}(M)=\Gamma(\wedge^{k}TM) $에 대해 차수 $+1$의 미분 연산자
$$
\delta_{\pi} : \mathfrak{X}^{k}(M) \longrightarrow \mathfrak{X}^{k+1}(M),\qquad
\delta_{\pi}X = [\pi, X]{S},
$$
를 정의한다. 여기서 $[\cdot,\cdot]{S}$는 슈나이더–니제니히(Schouten–Nijenhuis) 괄호이며 $[\pi,\pi]{S}=0$ (푸아송 조건) 때문에 $\delta{\pi}^{2}=0$이 된다.
그 결과 얻어지는 체인 복합체 $(\mathfrak{X}^{\bullet}(M),\delta_{\pi})$의 코호몰로지군을
$$
H^{k}{\pi}(M)=\frac{\ker(\delta{\pi}:\mathfrak{X}^{k}(M)\to\mathfrak{X}^{k+1}(M))}
{\operatorname{im}(\delta_{\pi}:\mathfrak{X}^{k-1}(M)\to\mathfrak{X}^{k}(M))}
$$
이라 하며, 이를 푸아송 코호몰로지라 부른다.
주요 성질 및 활용
| 차수 $k$ | 의미·예시 |
|---|---|
| $k=0$ | $H^{0}_{\pi}(M)$는 푸아송 구조와 호환되는 함수(즉, ${f,\cdot}=0$인 Casimir 함수)의 공간이다. |
| $k=1$ | $H^{1}_{\pi}(M)$는 푸아송 구조를 보존하는 벡터장(포아송 흐름)의 동형류를 기술한다. |
| $k=2$ | $H^{2}_{\pi}(M)$는 푸아송 구조의 변형(첫 번째 차수의 변형)과 연관되며, 변형 정량화와 관계가 있다. |
| 모든 차수 | 푸아송 코호몰로지는 푸아송 구조의 전역적인 위상·기하학적 정보를 제공한다. 특히 변형 정량화(deformation quantization)와 푸아송 구조의 안정성(stability) 연구에서 핵심 도구로 활용된다. |
역사·어원
‘푸아송(Poisson)’은 프랑스의 수학자 시메옹 드니 푸아송(Siméon‑Denis Poisson, 1781–1840)의 이름에서 유래한다. 그는 확률론과 푸아송 방정식 등 다분야에서 중요한 공헌을 한 인물이다. ‘코호몰로지(cohomology)’는 ‘co-’(보조, 대칭)와 ‘homology(동형성)’의 합성어로, 대수적 구조의 대비되는 불변량을 의미한다. 따라서 ‘푸아송 코호몰로지’는 푸아송 구조에 대응하는 코호몰로지 이론을 뜻한다.
관련 문헌
- A. Lichnerowicz, Les variétés de Poisson et leurs algèbres de Lie associées, J. Diff. Geom. 12 (1977) 253–300.
- I. Vaisman, Lectures on the Geometry of Poisson Manifolds, Birkhäuser, 1994.
- M. Kontsevich, Deformation quantization of Poisson manifolds, Lett. Math. Phys. 66 (2003) 157–216.
비고
푸아송 코호몰로지는 미분기하학·수학물리학·대수기하학 등 여러 분야에서 활발히 연구되고 있으며, 구체적인 계산은 대상 다양체의 차원·푸아송 구조의 복잡도에 따라 크게 달라진다.
