[논문 리뷰] Deforming symplectomorphisms of complex projective spaces by the mean curvature flow

Ivana Medoš, Mu‐Tao Wang|arXiv (Cornell University)|2009. 07. 15.

Geometric Analysis and Curvature Flows참고 문헌 6인용 수 3

한 줄 요약

이 논문은 복소 프로젝티브 공간 $\mathbb{CP}^n$ 의 미분형식에 대해 그의 역상 메트릭에 대한 편평성 조건을 만족하는 동형형식의 평균 곡률 흐름을 적용한다. $\Lambda$-편평한 동형형식이 흐름을 통해 심플렉틱적으로 동치된 복소해석적等距사상으로 변형됨을 증명하며, $n \geq 1$ 에서 심플렉틱형식군이 그 등距사상 부분군으로 매끄럽게 변형가능함을 보인다. 이 결과는 이전의 리만 곡면에 대한 연구를 일반화하며, 심플렉틱 위상기하학에 새로운 기하적 접근법을 제공한다.

ABSTRACT

We apply the mean curvature flow to deform symplectomorphisms of $\mathbb{CP}^n$. In particular, we prove that, for each dimension n, there exists a constant $Λ$, explicitly computable, such that any $Λ$-pinched symplectomorphism of $\mathbb{CP}^n$ is symplectically isotopic to a biholomorphic isometry.

연구 동기 및 목표

• 복소 프로젝티브 공간 $\mathbb{CP}^n$ 의 심플렉틱형식군의 위상을 기하학적 흐름을 통해 연구한다.
• 이전의 리만 곡면에 대한 결과를 고차원 복소 프로젝티브 공간으로 확장한다.
• $\Lambda$-편평한 동형형식이 심플렉틱적으로 복소해석적 등距사상과 동치임을 확립한다.
• 심플렉틱형식의 그래프 위에서 평균 곡률 흐름의 장기 존재성과 매끄러운 수렴성을 증명한다.
• $\mathbb{CP}^n$ 에서 심플렉틱형식군이 그 등距사상 부분군으로 기하학적 흐름을 통해 변형가능함을 제공한다.

제안 방법

• $f: \mathbb{CP}^n \to \mathbb{CP}^n$ 의 그래프는 $\mathbb{CP}^n \times \mathbb{CP}^n$ 에서 $\pi_1^*\omega - \pi_2^*\omega$ 를 심플렉틱 형식으로 하는 라그랑주 부분다양체로 임bed된다.
• 이 그래프에 대해 푸비니-슈트라우스 메트릭 하에서 평균 곡률 흐름을 적용하여 라그랑주 부분다양체로서의 진화를 유도한다.
• 투영 $\pi_1$ 의 자코비안에 최대원리 적용을 통해 부분다양체의 그래프 성질이 유지됨을 보인다.
• 붕괴 분석을 통해 두 번째 기본형의 유계성으로 유한시간 특이점을 배제한다.
• 비교 원리를 적용하여 편평성 조건이 시간이 지남에 따라 향상됨을 보이며, $f_t^*g$ 가 푸비니-슈트라우스 메트릭 $g$ 쪽으로 수렴함을 보인다.
• $t \to \infty$ 에서 두 번째 기본형의 균일한 유계성을 확립하여 매끄러운 수렴을 보장한다.

실험 결과

연구 질문

• RQ1 평균 곡률 흐름을 통해 $\mathbb{CP}^n$ 의 $\Lambda$-편평한 동형형식이 복소해석적 등距사상으로 변형될 수 있는가?
• RQ2 평균 곡률 흐름이 $\mathbb{CP}^n \times \mathbb{CP}^n$ 에서 동형형식 그래프의 그래프 성질을 유지하는가?
• RQ3 $\Lambda(n) > 1$ 이 존재하여 모든 $\Lambda$-편평한 동형형식이 심플렉틱적으로 등距사상과 동치가 되는가?
• RQ4 시간이 무한에 가까워질수록 흐름이 매끄럽게 최소 라그랑주 부분다양체로 수렴하는가?
• RQ5 $n > 2$ 인 $\mathbb{CP}^n$ 에서 심플렉틱형식군이 기하학적 흐름을 통해 등距사상 부분군으로 변형가능한가?

주요 결과

• $n$ 마다 계산 가능한 $\Lambda(n) > 1$ 이 존재하여, $1 < \Lambda < \Lambda(n)$ 인 모든 $\Lambda$-편평한 동형형식이 심플렉틱적으로 복소해석적 등距사상과 동치임을 보였다.
• 편평성 조건 하에서 $f$ 의 그래프에 대한 평균 곡률 흐름은 모든 시간 $t \geq 0$ 에서 매끄럽게 존재한다.
• 흐름은 항상 그래프 형태를 유지하므로, 모든 $t \geq 0$ 에서 $\Sigma_t$ 는 $f_t$ 의 그래프이다.
• $t \to \infty$ 에서 $f_t$ 는 매끄럽게 복소해석적 등距사상으로 수렴한다.
• $\Sigma_t$ 의 두 번째 기본형은 $t$ 에 대해 균일하게 유계이며, 이는 매끄러운 수렴을 보장한다.
• $\mathbb{CP}^n$ 의 곡률 성질로 인해 편평성 조건이 시간이 지남에 따라 향상되며, 이는 $f_t^*g$ 가 $g$ 쪽으로 수렴하게 한다.