[논문 리뷰] Leafwise Coisotropic Intersections

Başak Z. Gürel|ArXiv.org|2009. 05. 26.

Geometric and Algebraic Topology참고 문헌 18인용 수 9

한 줄 요약

이 논문은 첫 번째 π₂에 대한 캐론 클래스가 0이고 정확하고 기하학적으로 유계이며 넓은 심플렉틱 다양체에서 제한된 접촉 유형을 가진 닫힘, 공이소트로픽 부분다양체에 대해 잎자루 교차 성질을 수립한다. 행동 선택자와 플로어 이론적 기법을 사용하여, 호퍼 노름이 낼맞은 임계값 𝔞(M) 이하인 모든 컴actsupport된 해밀토니안 미분동형사상에 대해, 그의 이미지와 특성 분할의 한 잎이 교차함을 증명한다. 이는 이전의 초면에서의 결과를 고차원의 공이소트로픽 부분다양체로 일반화한다.

ABSTRACT

We establish the leafwise intersection property for closed, coisotropic submanifolds in an exact symplectic manifold satisfying natural additional assumptions.

연구 동기 및 목표

• 라그랑주 및 초면의 경우에 대해 알려진 잎자루 교차 성질을 일반적인 고차원 공이소트로픽 부분다양체로 확장하기.
• 제한된 접촉 유형을 가진 공이소트로픽 부분다양체에 대해 날카로운 자연스러운 호퍼 노름 임계값 𝔞(M) 아래에서의 잎자루 교차 존재를 수립하기.
• 알버스–프라우엔펠더 및 진츠버의 이전 결과를 초과하는 초면 이외의 공이소트로픽 부분다양체로 일반화하며, 다중도 하한 조건을 요구하지 않기.
• 환경 다양체의 넓이와 기하학적 유계성 조건을 활용하여 행동 선택자를 구성함으로써 플로어 이론적 방법을 통해 증명을 가능하게 하기.

제안 방법

• 최고차수 플로어 homology를 통해 구성된 행동 선택자를 사용하며, 이는 넓은, 기하학적으로 유계인 심플렉틱 다양체에서 비음성인 컴팩트 지원 해밀토니안에 대해 비영임.
• 잎자루 교차가 없다는 가정을 반증하기 위해, s ∈ [0,1]로 매개변수화된 해밀토니안 흐름의 가为准을 구성함.
• 시간의 함수로 변하는 해밀토니안 G^{s_0}_t = H_t + s_0 K_t의 시간 1 지도의 행동을 분석함. 여기서 K는 공이소트로픽 부분다양체 근처에 지원이 있는 음이 아닌 해밀토니안임.
• 동일한 잎 위의 점들을 연결하는 궤도에 대해 ∫_γ_K λ의 심플렉틱 행동 적분을 추정하며, ω의 원시형 λ와 σ(ψ_s), A_H(γ_H)의 추정치를 사용함.
• M 주변의 수축하는 이웃 U_{r_i}의 수열에 대해 아르체라-아스콜리 정리를 적용하여, 동일한 잎 위의 극한 점 쌍 (x,y)를 추출함. 이때 φ_H(y) = x임.
• 핵심 기술 단계는, K의 지지 크기와 무관하게, ∫_γ_K λ의 추정치를 |∫_γ_K α_i|의 합을 통해 사용하여, x를 y로 옮기는 데 필요한 시간 T가 일관되게 유계임을 보이는 것임.

실험 결과

연구 질문

• RQ1 초과하는 차원을 가진 공이소트로픽 부분다양체에 대해, 초면에서의 알려진 결과를 초월하여 잎자루 교차 성질이 성립하는가?
• RQ2 잎자루 교차에 대한 호퍼 노름 임계값이 환경 기하학에 의존하지 않고 부분다양체 자체에 내재된 날카로운 값이 될 수 있는가?
• RQ3 부분다양체가 단순연결이 아니더라도, 작은 해밀토니안 변형에 대해 잎자루 교차 성질이 안정적인가?
• RQ4 행동 선택자 방법이 심플렉틱적으로 비아사포르 조건을 요구하지 않는 넓고 기하학적으로 유계인 심플렉틱 다양체의 공이소트로픽 부분다양체로 확장 가능한가?
• RQ5 이러한 교차 문제를 위한 행동 선택자를 구성할 수 있는 환경 다양체에 필요한 최소한의 정규성 또는 기하학적 조건은 무엇인가?

주요 결과

• 모든 컴팩트 지원 해밀토니안 미분동형사상 φ_H에 대해 Hofer 노름 ‖H‖ < 𝔞(M) 이면, M 위의 특성 분할의 한 잎 F 가 존재하여 φ_H(F) ∩ F ≠ ∅ 임.
• 임계값 𝔞(M)는 날카롭고, 특성 분할에 탄성된 접선을 가진 수축 가능한 고리에 의해 둘러싸인 음의 심플렉틱 면적의 하한으로 정의됨.
• 해밀토니안 흐름 하에서 동일한 잎 위의 점 x에서 y로 이동하는 데 필요한 시간 T는, 변형 해밀토니안 K의 지지 크기와 무관하게 일관되게 유계임.
• 수축하는 이웃의 수열에 대해 아르체라-아스콜리 정리를 적용한 극한 근사 방법을 통해, φ_H(y) = x 를 만족하는 동일한 잎 위의 점 쌍 (x,y) 가 존재함을 증명함.
• 이 증명은 넓은 심플렉틱 다양체에서 최고차수 플로어 homology가 비영임을 바탕으로 하며, 고정점 탐지가 가능한 행동 선택자를 구성함.
• 알버스–프라우엔펠더 및 진츠버의 이전 정리들을 초과하는 초면 이외의 모든 차원의 공이소트로픽 부분다양체로 일반화하였으며, 다중도 하한 조건을 요구하지 않음.