[논문 리뷰] Normal forms of Poisson structures near a symplectic leaf

Olivier Brahic|ArXiv.org|2004. 03. 08.

Homotopy and Cohomology in Algebraic Topology인용 수 5

한 줄 요약

이 논문은 보르요브의 기하적 자료 형식론(에르헤스만 접속, 수직 이차장, 곡률 형식)을 사용하여 심플렉틱 리브 주변의 파오송 구조에 대한 정규형 정리들을 수립한다. 약간의 코homological 조건(첫 번째 파오송 코homology가 자명) 하에서, 파오송 구조는 국소적으로 선형 모델과 동치이며, 이는 반국소적 선형화와 수평 및 수직 파오송 성분으로의 분해를 가능하게 한다.

ABSTRACT

We show how one can handle the formalism developped by Yurii Vorobjev in order to give general results about the problems of linearisation and of normal form of a Poisson structure in the neighborhood of one of its symplectic leaves.

연구 동기 및 목표

• 기하적 자료를 사용하여 심플렉틱 리브 주변의 파오송 구조를 분석하는 체계적인 프레임워크를 개발하는 것.
• 비퇴화된 횡방향 구조를 가진 컴팩트 심플렉틱 리브 주변에서의 파오송 구조의 선형화 문제를 다루는 것.
• 특히 수직 부분이 첫 번째 파오송 코homology가 자명할 경우, 파오송 구조가 국소적으로 선형 모델과 동치가 되는 조건을 확립하는 것.
• 수평 부분과 수직 파오송 성분으로 분해되는 파오송 구조를 보여주는 분할 정리 증명하기.

제안 방법

• 보르요브의 기하적 자료 형식론을 활용: 에르헤스만 접속 $\Gamma$, 수직 이차장 $\mathcal{V}$, $C^\infty(E)$ 값의 비퇴화 2형식 $\mathcal{F}$.
• 모든 수평적으로 비퇴화된 이차장 $\Pi$ 를 $\Pi = \Pi_H + \mathcal{V}$ 로 표현하며, 여기서 $\Pi_H$ 는 수평이고 $\mathcal{V}$ 는 수직이다.
• 파오송 조건을 네 개의 식으로 제약: $[\mathcal{V},\mathcal{V}] = 0$, $\mathcal{L}_{\text{hor}(X)}\mathcal{V} = 0$, $\partial_\Gamma \mathcal{F} = 0$, 및 $\text{Curv}_\Gamma(u,v) = \mathcal{V}^\sharp(d\mathcal{F}(u,v))$.
• 먼저 수직 부분 $\mathcal{V}$ 를 선형화하고, 그 다음 접속을 조정함으로써 구조를 선형 모델로 축소하기 위해 미분동형사를 적용한다.
• 첫 번째 파오송 코hom로지 $H^1(\mathcal{V}_x^{(1)})$ 의 자명성 덕분에, 곡률을 제거할 수 있는 전역 1형식 $\phi$ 가 존재함을 보장한다.
• 만약 $H^1(\mathcal{V}_x) = 0$ 이고, $\mathcal{V}$ 를 유지하는 평탄한 접속이 존재한다면, 분할 정리를 적용하여 $\Pi = \Pi_H + \mathcal{V}$ 를 얻으며, 여기서 $\Pi_H$ 와 $\mathcal{V}$ 는 모두 파오송이다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 심플렉틱 리브 주변의 파오송 구조가 국소적으로 선형 모델과 동치가 되는가?
• RQ2 심플렉틱 리브 주변의 파오송 구조는 어떻게 횡방향과 수직 성분으로 분해될 수 있는가?
• RQ3 수직 선형화의 첫 번째 파오송 코homology 가 정규형의 존재성에 어떤 역할을 하는가?
• RQ4 접속을 곡률을 제거하면서도 파오송 조건을 유지하도록 수정할 수 있으며, 그 조건은 무엇인가?
• RQ5 파오송 구조가 규칙적인 수평 부분과 수직 파오송 성분으로 분리되는 조건은 언제인가?

주요 결과

• 점에서의 수직 이차장 $\mathcal{V}$ 의 편미분이 선형화 가능하고 $H^1(\mathcal{V}_x^{(1)}) = 0$ 이면, 파오송 구조는 국소적으로 선형 모델과 동치이다.
• 반국소적 선형화 정리(정리 2.3)는 파오송 구조가 선형화된 기하적 자료 $(\Gamma^{(1)}, \mathcal{V}^{(1)}, \mathcal{F})$ 를 가진 구조와 동치임을 보여준다.
• 만약 수직 선형 부분 $\mathcal{V}_x^{(1)}$ 이 비퇴화이고 $H^1(\mathcal{V}_x^{(1)}) = 0$ 이면, 구조는 반국소적으로 비퇴화적이며 어떤 $\mathcal{F}'$ 를 가진 선형 모델과 동치이다.
• 횡방향으로 컴팩트하고 단순한 파오송 구조에 대해서는, $\mathcal{V}_x^{(1)}$ 이 컴팩트 단순 리 대수에서 유래할 경우 동일한 선형화 결과가 성립한다.
• $H^1(\mathcal{V}_x) = 0$ 이고, $\mathcal{V}$ 를 유지하는 평탄한 접속이 존재하는 조건 하에서, 파오송 구조는 $\Pi = \Pi_H + \mathcal{V}$ 로 분할되며, 두 성분 모두 파오송이다.
• 분할은 곡률을 제거하면서도 파오송 조건을 유지하는 미분동형사를 통해 달성되며, 이는 $\Gamma = \Gamma^{(1)} + \mathcal{V}^\sharp(d\phi)^h$ 를 만족하는 전역 1형식 $\phi$ 의 존재성에 의존한다.