[논문 리뷰] Lagrangian isotopies in Stein manifolds

Richard Hind|ArXiv.org|2003. 11. 06.

Geometric and Algebraic Topology참고 문헌 5인용 수 7

한 줄 요약

이 논문은 특정 4차원 스타인 심플렉틱 다양체—특히 코타angent(bundle) $T^*S^2$와 $T^1S^2$에 1-핸들을 추가한 다양체—에서 임의의 라그랑주 2-구는 영단면과 하이퍼볼릭 호모토피임을 증명한다. 증명은 $S^2 \times S^2$ 위의 거의 복소 구조, $S^2$ 위의 미분형식 호모토피 결과, 그리고 심플렉틱 토폴로지에서의 해석적 곡선 기법을 사용하며, 핵심 결과는 이러한 다양체에서 라그랑주 구의 하이퍼볼릭 호모토피에 의한 유일성이다.

ABSTRACT

We establish the uniqueness up to Hamiltonian isotopy of the Lagrangian spheres in some four dimensional Stein manifolds.

연구 동기 및 목표

• 특정 4차원 스타인 다양체에서 라그랑주 구가 하이퍼볼릭 호모토피에 의해 유일한가를 규명하는 것.
• $T^*S^2$에서의 라그랑주 호모토피 결과를 $T^1S^2$에 1-핸들을 추가한 다양체로 확장하는 것.
• $S^2 \times S^2 \setminus \Delta$에서 $\sigma$-불변 라그랑주 구들과 $T^*\mathbb{R}P^2$에서의 라그랑주 $\mathbb{R}P^2$들 사이의 대응관계를 복소수의 대칭에 의한 몫을 통해 설정하는 것.
• $T^*\mathbb{R}P^2$에서 영단면과 호모토피인 라그랑주 $\mathbb{R}P^2$들이 영단면과 하이퍼볼릭 호모토피임을 증명하는 것.

제안 방법

• 이전 연구에서 얻은 특정 성질을 가진 $S^2 \times S^2$ 위의 거의 복소 구조 존재 결과를 활용한다.
• $S^2$의 미분형식에 대한 호모토피 결과를 적용하여, 어떤 점도 반대점으로 보낼 수 없도록 보장함으로써 성질 (*) 가 유지되도록 한다.
• 심플렉틱 및 거의 복소 기하 기법을 통해 $T^*S^2$에 대한 주요 정리를 미분형식 호모토피 결과로 환원한다.
• 1-핸들을 추가한 다양체를 다룰 수 있도록 [4]의 결과를 일반화하며, 심플렉틱 형식과 모저의 방법을 사용해 호모토피를 구성한다.
• 심플렉틱 코버디즘에서의 해석적 곡선 분석을 활용하여, 콘리-젠더 지표를 계산하고, 지표 공식을 사용해 유한 에너지 곡선을 제약한다.
• 1-형식에 대한 스케일링 및 커프오프 절차를 통해 경계의 튜브형 이웃에서 심플렉틱 형식 $\omega_t$를 구성하며, 경계 근처에서는 원래 형식과 일치하고 라그랑주 성질을 유지한다.

실험 결과

연구 질문

• RQ1 모든 $T^*S^2$ 내의 라그랑주 구는 영단면과 하이퍼볼릭 호모토피인가?
• RQ2 $T^1S^2$에 1-핸들을 추가해도 라그랑주 구의 유일성이 하이퍼볼릭 호모토피에 의해 유지되는가?
• RQ3 $T^*\mathbb{R}P^2$에서의 라그랑주 $\mathbb{R}P^2$의 유일성은 심플렉틱 몫 구조와 호모토피 기법을 통해 확립될 수 있는가?
• RQ4 반대점 사상은 $S^2 \times S^2$에서 라그랑주 부분다양체의 $\sigma$-등변 호모토피를 구성하는 데 어떤 역할을 하는가?
• RQ5 심플렉틱 코버디즘에서 유한 에너지 해석적 곡선의 점근적 극한의 콘리-젠더 지표는 존재성과 위상구조에 어떤 제약을 가하는가?

주요 결과

• $T^*S^2$ 내의 모든 라그랑주 구는 영단면과 하이퍼볼릭 호모토피하며, 이는 이 다양체에서의 유일성을 증명한다.
• 임의의 수의 1-핸들을 $T^1S^2$에 추가한 다양체에서도 동일한 유일성이 유지되며, 이는 핸들 추가 과정 동안 호모토피를 연장할 수 있기 때문이다.
• $T^*\mathbb{R}P^2$에서 영단면과 호모토피인 라그랑주 $\mathbb{R}P^2$는 $S^2 \times S^2 \setminus \Delta$를 변환 $\sigma$에 대해 몫을 취한 결과로, 영단면과 하이퍼볼릭 호모토피임을 보였다.
• $L$에 대한 일반화된 데인 트랜스포지션 $\tau_L^2$는 항등사상과 심플렉틱 호모토피가 아니며, 이는 $\tau_L^2(L')$ 가 매끄럽게 호모토피될 수는 있지만 하이퍼볼릭 호모토피로는 되지 않음을 보여주며, 하이퍼볼릭 호모토피류의 비자명성을 증명한다.
• 심플렉틱 코버디즘에서의 유한 에너지 해석적 곡선에 대한 지표 공식은, 모든 음의 점근적 극한이 콘리-젠더 지표 1 이상을 가져야 하며, 이는 $\mathrm{index}(C) \leq 2$ 를 이끌어내며, 필요한 해석적 구의 존재성과 일치한다.
• $\chi$를 커프오프 함수로 사용해 다양체 $M$ 위에 심플렉틱 형식 $\omega_t$를 구성함으로써, 라그랑주 부분다양체 $L_t$가 여전히 라그랑주임을 보장하고, 모저의 방법을 통해 원래 심플렉틱 구조 안으로 이동시킬 수 있다.