[논문 리뷰] Normal forms in Poisson geometry

Ioan Mărcuț|arXiv (Cornell University)|2013. 01. 19.

Homotopy and Cohomology in Algebraic Topology참고 문헌 51인용 수 7

한 줄 요약

이 학위논문은 기하학적, 대수학적, 해석적 방법을 사용하여 파울슨 기하학에서 네 가지 국소 정규형 정리들을 수립한다. 이는 나쉬-모저 방법을 통해 파울슨 부분다양체 주변에서 형식적 동치 결과(정리 3)와 강성 정리(정리 4)를 증명하며, 컴팩트 단순 비아벨 리 대수의 리-파울슨 구면에 대해 차원 ≥3에서 처음으로 파울슨 모듈리 공간을 계산하는 데 이르렀다(정리 5).

ABSTRACT

This thesis studies normal forms for Poisson structures around symplectic leaves using several techniques: geometric, formal and analytic ones. One of the main results (Theorem 2) is a normal form theorem in Poisson geometry, which is the Poisson-geometric version of the Local Reeb Stability (from foliation theory) and of the Slice Theorem (from equivariant geometry). The result generalizes Conn's theorem from fixed points to arbitrary symplectic leaves. We present two proofs of this result: a geometric one relying heavily on the theory of Lie algebroids and Lie groupoids (similar to the new proof of Conn's theorem by Crainic and Fernandes), and an analytic one using the Nash-Moser fast convergence method (more in the spirit of Conn's original proof). The analytic approach gives much more, we prove a local rigidity result (Theorem 4) around compact Poisson submanifolds, which is the first of this kind in Poisson geometry. Theorem 4 has a surprising application to the study of smooth deformation of Poisson structures: in Theorem 5 we compute the Poisson-moduli space around the Lie-Poisson sphere (i.e. the invariant unit sphere inside the linear Poisson manifold corresponding to a compact semisimple Lie algebra). This is the first such computation of a Poisson moduli space in dimension greater or equal to 3 around a degenerate (i.e. non-symplectic) Poisson structure. Other results presented in the thesis are: a new proof to the existence of symplectic realizations (Theorem 0), a normal form theorem for symplectic foliations (Theorem 1), a formal normal form/rigidity result around Poisson submanifolds (Theorem 3), and a general construction of tame homotopy operators for Lie algebroid cohomology (the Tame Vanishing Lemma). We also revisit Conn's theorem and a theorem of Hamilton on rigidity of foliations.

연구 동기 및 목표

• 심플렉틱 리브 주변 및 파울슨 부분다양체 주변에서 파울슨 구조의 국소 정규형 정리 수립.
• 코탄젠트 경로와 횡단선을 이용한 심플렉틱 실현의 존재에 대한 새로운 접근법 개발.
• 등급 리 대수와 테임 코homology를 활용하여 파울슨 부분다양체 주변에서의 형식적 동치 및 강성 결과 증명.
• 컴팩트 단순 비아벨 리 대수의 리-파울슨 구면의 매끄러운 변형 공간(모듈리 공간) 계산, 차원 ≥3에서의 첫 번째 계산.
• 리-파울슨 기하학의 리-파울슨 구면에 대해 리-파울슨 폴로노미아의 리-파울슨 기하학으로 확장하고, 홀로노미 군의 구조에 대한 하우스도르프 조건 증명.

제안 방법

• 모저의 경로 방법과 리 앨지브로이드의 적분 가능성을 활용한 심플렉틱 리브 주변의 정규형 증명에 기하학적 방법 사용.
• 바른 에스트 맵과 리 군의 코homology를 활용하여 심플렉틱 실현과 코탄젠트 경로 기하학 간의 관계 규명.
• 형식적 급수 전개와 형식적 벡터장 대수를 활용하여 파울슨 부분다양체 주변에서의 형식적 동치에 대한 정리 3 증명.
• 테임 호모토피 연산자와 테임 코homology를 활용한 나쉬-모저 방법을 통해 해석적 강성(정리 4) 증명, 힘튼의 테임 소멸 렘마에 의존.
• 코탄젠트 경로 공간의 횡단선에서 심플렉틱 실현을 구성하여 적분 가능성 문제를 '좋은' 실현의 존재 문제로 환원.
• 보트 접속과 홀로노미 표현을 활용하여 정규 벡터장에 대한 작용 정의하고, 첫 번째 차수에서 테임 소멸 렘마의 적용 가능성을 확보.

실험 결과

연구 질문

• RQ1 어떤 조건에서 파울슨 다양체가 심플렉틱 실현을 갖는가? 그리고 이러한 실현은 기하학적으로 어떻게 구성할 수 있는가?
• RQ2 심플렉틱 리브 주변에서 파울슨 구조의 국소 정규형은 무엇이며, 그 구조는 제1차 데이터에 어떻게 의존하는가?
• RQ3 파울슨 부분다양체 주변의 파울슨 구조는 미분형태로 분류 가능할 수 있으며, 그 과정에서 발생하는 장애 요소는 무엇인가?
• RQ4 파울슨 부분다양체 주변에서 매끄러운 변형에 대해 파울슨 구조는 강성을 갖는가? 이를 증명하기 위한 해석적 도구는 무엇인가?
• RQ5 컴팩트 단순 비아벨 리 대수의 리-파울슨 구면의 매끄러운 변형 공간(모듈리 공간)의 구조는 어떠한가?

주요 결과

• 정리 2는 임의의 파울슨 다양체에 대해 심플렉틱 리브 주변에서의 국소 정규형을 수립하며, 표준 선형화 결과를 일반화한다.
• 정리 4는 나쉬-모저 방법을 활용하여 파울슨 부분다양체 주변에서의 해석적 강성을 증명하며, 이는 정리 2의 강화를 의미한다.
• 정리 5는 컴팩트 단순 비아벨 리 대수의 리-파울슨 구면의 매끄러운 변형 공간(모듈리 공간)을 계산하며, 이 공간이 유한차원이면서 파울슨 코homology를 통해 명시적으로 기술됨을 보여준다.
• 코탄젠트 경로 공간의 횡단선을 이용한 새로운 구성 방법을 통해 심플렉틱 실현의 존재를 확립하였으며, 오랫동안 미해결이었던 문제에 기하학적 해결책을 제공한다.
• 콤팩트하고 하우스도르프인 심플렉틱 폴로노미아의 홀로노미 군의 구조는 자동으로 하우스도르프이자 올바른 조건이 되며, 이는 리브 공간이 하우스도르프일 때에만 성립한다.
• 폴로노미아의 보트 복합체에 대해 테임 소멸 렘마를 적용하여 테임 호모토피 연산자를 구성하고, 관련 설정에서 첫 번째 코homology의 소멸을 증명하였다.