[논문 리뷰] Toric contact geometry in arbitrary codimension

Vestislav Apostolov, David M. J. Calderbank외 2명|arXiv (Cornell University)|2017. 08. 16.

Geometric and Algebraic Topology참고 문헌 22인용 수 2

한 줄 요약

이 논문은 임의의 계수 ℓ ≥ 1에 대해 토릭 접촉 기하학을 확장하여, 이중 리 대수의 ℓ차원 부분공간의 그라스만이안 Grℓ(t∗N)에 있는 다각형 부분집합으로서 토릭 접촉 다양체를 표현하는 그라스만이안 운동량 맵을 도입한다. 주요 기여는 분류 정리이다: 리프 타입의 컴팩트 토릭 접촉 다양체는 서로 동형일 때 그라스만이안 이미지 Ξ와 층 코homology 군 H¹(Ξ, conT(D))에 의해 분류되며, 이는 데르자노프 정리를 고차원 계수로 일반화한 것으로, 국소적 불변량은 그라스만이안의 기하학과 무한소 접촉동형사상의 층에 의해 암묵적으로 표현된다.

ABSTRACT

We define toric contact manifolds in arbitrary codimension and give a description of such manifolds in terms of a kind of labelled polytope embedded into a grassmannian, analogous to the Delzant polytope of a toric symplectic manifold.

연구 동기 및 목표

• 토릭 접촉 기하학을 계수 1을 초월하여 임의의 계수 ℓ ≥ 1로 확장하기.
• 토릭 접촉 다양체의 고차원 계수에서 데르자노프 다각형의 자연스러운 일반화 정의하기.
• 그라스만이안 이미지와 층 코homology를 사용하여 컴팩트 토릭 접촉 다양체의 리프 타입을 분류하기.
• 고차원 계수에서 국소적 불변량이 존재하는 이유를 그라스만이안 내 다각형의 유연성에서 기인함을 보여주기.

제안 방법

• 고차원 계수에서의 기술적 장애를 피하기 위해 잘 정의된 접촉 작용을 보장하기 위해 전이 조건(조건 1)을 도입한다.
• 운동량 다각형의 일반화로서, 궤도 공간 N/TN를 Grℓ(t∗N)에 컴팩트하고 다각형적인 임베딩으로서 정의한 그라스만이안 운동량 맵을 제시한다.
• 해밀턴 감소와 심플렉틱 슬라이스 이론을 사용하여 토릭 접촉 작용의 국소 모델을 구성하며, 접촉 다양체의 심플렉틱화 UD를 활용한다.
• TS의 작용과 운동량 맵 φ를 사용하여 eV × T × CS의 수준 0에서의 심플렉틱 감소를 통해 전역적 토릭 심플렉틱 다양체를 구성한다.
• 심플렉틱 몫 M이 T작용과 T-불변의 등방성 분할 G를 상속하며, 그의 잎 공간 N은 Ng,λ와 미분형상임을 보인다.
• 분할 G에 대한 심플렉틱 수직의 프로젝션을 통해 N 위에 접촉 분포 D를 얻으며, 이는 R∗-작용과 단순형 1형식 ιYω를 이용해 증명된다.

실험 결과

연구 질문

• RQ1 접촉 분포의 계수 ℓ > 1인 경우, 토릭 접촉 기하학은 어떻게 일반화될 수 있는가? 이 경우 국소적 불변량이 존재한다.
• RQ2 임의의 계수에서 토릭 접촉 다양체에 대한 데르자노프 다각형의 적절한 일반화는 무엇인가?
• RQ3 고차원 계수에서 국소적 불변량은 어떻게 유래되며, 이를 조합론적으로 표현할 수 있는가?
• RQ4 토릭 접촉 다양체의 분류에서 층 conT(D)의 역할은 무엇이며, 그 첫 번째 코homology 군이 언제 0이 되는가?

주요 결과

• 리프 타입의 컴팩트 토릭 접촉 다양체의 그라스만이안 이미지 Ξ는 그라스만이안 Grℓ(t∗N) 내에서 데르자노프적이고 다각형적이다. 이는 고차원 계수에서 데르자노프 다각형을 일반화한 것이다.
• 리프 타입의 토릭 접촉 다양체는 서로 동형일 때 그라스만이안 이미지 Ξ와 층 코homology 군 H¹(Ξ, conT(D))에 의해 분류된다.
• 층 conT(D)는 무한소 접촉동형사상을 암시하며, 일반적으로 비완전한 선형 상미분방정식계로 정의되는 과다정의 선형 PDE계로 표현된다.
• 만약 다양체가 계수 1 토릭 접촉 다양체의 곱이라면, 코homology 군 H¹(Ξ, conT(D))는 0이 되며, 이는 분류의 유일성을 의미한다.
• 이 구성은 심플렉틱 감소를 통해 전역적 토릭 심플렉틱 다양체를 얻으며, 몫 공간 N은 분할에 대한 심플렉틱 수직의 프로젝션을 통해 접촉 구조를 상속한다.
• 운동량 맵 µ: M →t∗ 는 맵 E: N →Ξ로 내림내림되며, N 위의 분포 D는 접촉적임을 보이며, 이는 심플렉틱 분할의 수직에 포함된 단순형 1형식 ιYω의 존재로 증명된다.