[논문 리뷰] Givental's non-linear Maslov index on lens spaces

Gustavo Granja, Yael Karshon외 2명|arXiv (Cornell University)|2017. 04. 19.

Geometric and Algebraic Topology참고 문헌 38인용 수 10

한 줄 요약

이 논문은 실수 사영 공간의 접촉동형군의 분할 덮개 위에서의 기존의 비선형 Maslov 지표를 렌즈 공간으로 확장하여, 생성 함수와 코homological 지수 이론을 사용한 유사한 불변량을 구성한다. 주요 기여는 렌즈 공간의 접촉동형군의 항등성분의 분할 덮개 위에서 이 지표가 쿼시모르피즘임을 증명한 것으로, 이는 순서 가능성과 분열 거리 측도의 무한성과 같은 새로운 접촉 기하학적 고립 결과를 가능하게 한다.

ABSTRACT

Givental's non-linear Maslov index, constructed in 1990, is a quasimorphism on the universal cover of the identity component of the contactomorphism group of real projective space. This invariant was used by several authors to prove contact rigidity phenomena such as orderability, unboundedness of the discriminant and oscillation metrics, and a contact geometric version of the Arnold conjecture. In this article we give an analogue for lens spaces of Givental's construction and its applications.

연구 동기 및 목표

• 원래 $\mathbb{RP}^{2n-1}$ 에서 정의된 Givental의 비선형 Maslov 지표를 렌즈 공간으로 일반화한다.
• 렌즈 공간의 접촉동형군의 항등성분의 분할 덮개 위에서 쿼시모르피즘을 확립한다.
• 구축된 불변량을 활용하여 렌즈 공간에서의 접촉 기하학적 고립 현상, 즉 순서 가능성과 분열 거리 측도의 무한성을 증명한다.
• 생성 함수와 코homological 지수 이론의 프레임워크를 실수 사영 공간의 경우와 유사하게 렌즈 공간으로 확장한다.

제안 방법

• 호모로지 합성 연산과 $\mathbb{Z}_k$-동차 호모로지를 사용하여 렌즈 공간 위의 코homological 지수를 구성한다.
• Givental의 원래 구성과 유사하게, 접촉 등속변형과 관련된 생성 함수를 통해 비선형 Maslov 지수를 정의한다.
• 고정된 끝점을 갖는 호모토피에 대해 불변성을 보여줌으로써, 지수가 접촉동형군의 분할 덮개 위에서 잘 정의됨을 증명한다.
• 등속변형의 병합에 대한 유계 오차 조건을 만족함을 보여, 지수가 쿼시모르피즘 성질을 갖는다는 것을 증명한다.
• 코homological 지수의 합성 가환성 성질을 활용하여, 등속변형의 연결에 따른 지수의 행동을 제어한다.
• $\mathbb{Z}_k$ 작용 하에서 호모로지 합성의 가환성 성질을 활용하여 지수 공식에서의 부호 보정을 유도한다.

실험 결과

연구 질문

• RQ1 Givental의 비선형 Maslov 지표는 $\mathbb{RP}^{2n-1}$ 에서 렌즈 공간 $L(k,1)$ 으로 확장될 수 있는가?
• RQ2 렌즈 공간에서 구축된 지표는 항등성분의 접촉동형군의 분할 덮개 위에서 쿼시모르피즘인가?
• RQ3 이 지표는 렌즈 공간에서의 순서 가능성과 분열 거리 측도의 무한성과 같은 접촉 기하학적 고립 현상을 탐지하는가?
• RQ4 코homological 지수는 렌즈 공간에서 $\mathbb{Z}_k$-동차 합성 연산에 대해 어떻게 행동하는가?

주요 결과

• 렌즈 공간에서의 비선형 Maslov 지표는 잘 정의된 쿼시모르피즘 $\mu: \widetilde{\mathrm{Cont}}_0(L(k,1)) \to \mathbb{Z}$ 이며, 어떤 균일한 상수 $C$ 에 대해 $|\mu(\phi \cdot \psi) - \mu(\phi) - \mu(\psi)| \leq C$ 를 만족한다.
• 렌즈 공간에서의 코homological 지수는 $\mathbb{Z}_k$-동차 합성 연산에 대해 덧셈성을 갖는다: $\mathrm{ind}(A \ast_{\mathbb{Z}_k} B) \geq \mathrm{ind}(A) + \mathrm{ind}(B)$ 이며, 두 지수 모두 홀수일 경우 $-1$ 의 보정이 있다.
• 지수는 고정된 끝점을 갖는 호모토피에 대해 불변이며, 이는 접촉동형군의 분할 덮개 위에 잘 정의된 사상으로 내림내림을 보장한다.
• 구성은 Givental의 원래 프레임워크를 렌즈 공간으로 일반화하여, 분열과의 교차 지표로의 해석과 같은 핵심 성질을 유지한다.
• 렌즈 공간에서의 호모로지 합성 연산은 부호 가환성 성질을 만족한다: $\tau_*(\alpha \ast_G \beta) = (-1)^{(l+1)(m+1)} \beta \ast_G \alpha$, 이는 지수의 일관성에 핵심적이다.
• 논문은 지수가 렌즈 공간에서의 이동된 점과 Reeb 현의 존재를 탐지함을 증명하여, 이 클래스의 다양체에 대한 접촉 기하학적 응용을 확장한다.