[논문 리뷰] Closed exact Lagrangians in the symplectization of contact manifolds

Emmy Murphy|arXiv (Cornell University)|2013. 04. 24.

Geometric and Algebraic Topology참고 문헌 1인용 수 11

한 줄 요약

이 논문은 3보다 큰 차원을 가진 특정한 외재적(contact) 다양체의 심플렉틱화에서, 구면 핵심과 자명한 회전을 가진 작은 플라스티크스투프(Plastikstufe)를 포함하는 경우, 임의의 닫힌 다양체에 대한 형식적 라그랑주 임베딩은 정확한 라그랑주 임베딩으로 동치임을 증명한다. 핵심 결과는 이러한 정확한 라그랑주 다양체가 풍부하며, 해밀턴 이sovopy를 통해 이동 가능하고, 자주 0-동치임을 보여주며, 이러한 설정에서 레이지앙드로이드 부분다양체의 느슨함을 활용한다.

ABSTRACT

For a certain class of exotic contact manifolds of dimension greater than 3, we show that there is an abundance of closed exact Lagrangians in their symplectization. All of these Lagrangians are displaceable by Hamiltonian isotopy, and many of the examples are nulhomotopic.

연구 동기 및 목표

• 작은 플라스티크스투프를 가지며 구면 핵심과 자명한 회전을 가진 접촉 다양체의 심플렉틱화에서 닫힌 정확한 라그랑주 다양체의 존재를 확립하는 것.
• 그러한 심플렉틱화에서 형식적 라그랑주 임베딩이 해밀턴 이sovopy를 통해 정확한 라그랑주 임베딩으로 동치임을 보이는 것.
• 이러한 정확한 라그랑주 다양체가 이동 가능하고 자주 0-동치임을 보이며, 그들의 위상수학적 및 심플렉틱적 성질을 부각하는 것.
• 느슨한 레이지앙드로이드와 형식적 라그랑주 이sovopy 이론을 심플렉틱화 설정으로 확장하여 정확화를 위한 구축 방법을 제공하는 것.

제안 방법

• 접촉 다양체 Y에 작은 플라스티크스투프가 존재하고, 핵심이 구형이며, 회전이 자명한 경우, 이를 통해 정리 2를 활용해 특정 레이지앙드로이드 부분다양체의 느슨함을 보장한다.
• 경계가 느슨한 레이지앙드로이드로 모델링된 형식적 라그랑주 임베딩의 경우, 그 임베딩이 정확한 라그랑주 임베딩으로 동치임을 보여주는 정리 3를 적용한다.
• 형식적 라그랑주 임베딩 f:L→ℝ×Y를 구성하고, 이를 매끄러운 이sovopy를 통해 L의 디스크 D를 다르부 차트에서 레이지앙드로이드 불량의 표준 라그랑주 메쉬와 일치하도록 수정한다.
• ℝ×Y∖{γ}에서 음의 리우빌 흐름의 완비성을 활용해 심플렉틱화를 구멍 난 공의 완비로 표현함으로써 표준 라그랑주 모델의 사용을 가능하게 한다.
• 비라그랑주 부분을 t≤0 영역에서 멀리 옮기기 위해 해밀턴 이sovopy를 적용함으로써, D에서의 라그랑주 성질을 유지하고 정확화 결과를 적용할 수 있도록 한다.
• 심플렉틱화에서 정확한 라그랑주 다양체는 t-이동이 정확성을 유지하므로 해밀턴 이동 가능하다는 사실에 기반한다.

실험 결과

연구 질문

• RQ1 접촉 다양체에 작은 플라스티크스투프가 포함된 경우, 그 심플렉틱화에서 형식적 라그랑주 임베딩을 정확한 라그랑주 임베딩으로 변형할 수 있는가?
• RQ2 그러한 정확한 라그랑주 다양체는 이동 가능성과 호모토피 측면에서 어떤 위상수학적 및 심플렉틱적 성질을 가지는가?
• RQ3 플라스티크스투프의 존재는 심플렉틱화에서 정확한 라그랑주 다양체의 존재와 분류에 어떤 영향을 미치는가?
• RQ4 느슨한 레이지앙드로이드는 심플렉틱화에서 정확한 라그랑주 다양체를 얼마나 넓게 구성하는 데 활용될 수 있는가?

주요 결과

• 작은 플라스티크스투프를 가지며 구면 핵심과 자명한 회전을 가진 접촉 다양체의 심플렉틱화에 대한 임의의 형식적 라그랑주 임베딩은 정확한 라그랑주 임베딩으로 동치이다.
• 결과적으로 생성된 정확한 라그랑주 다양체는 해밀턴 이동 가능하며, 심플렉틱화에서 t-이동이 정확성을 유지하므로 이동 가능한 복사본으로의 이sovopy를 허용한다.
• 많은 수의 생성된 정확한 라그랑주 다양체는 0-동치이며, 이는 그 임베딩에 대한 비자명한 위상수학적 제약 조건을 시사한다.
• 3보다 큰 차원을 가진 임의의 접촉 다양체에서 이러한 정확한 라그랑주 다양체의 존재는 작은 플라스티크스투프와 자명한 회전이 존재할 경우 보장된다.
• 이 구성은 효과적이고 구축 가능하다: 주어진 형식적 라그랑주 임베딩은 플라스티크스투프가 없는 경우 레이지앙드로이드 불량의 느슨함을 활용해 명시적으로 이sovopy를 통해 정확한 라그랑주 임베딩으로 변형할 수 있다.