[논문 리뷰] Framed bordism and Lagrangian embeddings of exotic spheres

Mohammed Abouzaid|arXiv (Cornell University)|2008. 12. 29.

Geometric and Algebraic Topology참고 문헌 15인용 수 4

한 줄 요약

이 논문은 표준 4k+1차원 구면 $S^{4k+1}$의 코탄제인 벡터장 $T^*S^{4k+1}$ 속에서 라그랑주로 삽입되는 모든 호모토피 구면은 컴acts한 평행화 가능한 다양체를 경계로 가져야 한다고 증명한다. 편미분 코쉬-리만 방정식의 매개변수화된 가족과 해면곡선 및 구면 버블을 포함하는 그로모프-플로어 컴팩티피케이션을 사용하여, 경계에 라그랑주를 포함하는 모서리가 있는 매끄러운 다양체를 구성한다. 이는 $K$-이론과 해면곡선 분석을 통해 경계 다양체가 평행화 가능하다는 것을 증명한다. 이 결과는 9차원에서의 28개의 이국적 구면과 같은 특정 이국적 구면이 $T^*S^9$에 라그랑주로 삽입될 수 없음을 시사하며, 미분형식을 초월한 심플렉틱 구조의 구별을 가능하게 한다.

ABSTRACT

In dimensions congruent to 1 modulo 4, we prove that the cotangent bundle of an exotic sphere which does not bound a parallelisable manifold is not symplectomorphic to the cotangent bundle of the standard sphere. More precisely, we prove that such an exotic sphere cannot embed as a Lagrangian in the cotangent bundle of the standard sphere. The main ingredients of the construction are (1) the fact that the graph of the Hopf fibration embeds the standard sphere, and hence any Lagrangian which embeds in its cotangent bundle, as a displaceable Lagrangian in the product a symplectic vector space of the appropriate dimension with its complex projective space, and (2) a moduli space of solutions to a perturbed Cauchy-Riemann equation introduced by Gromov.

연구 동기 및 목표

• 모든 호모토피 구면 라그랑주가 $T^*S^{4k+1}$에 존재할 경우, 컴acts한 평행화 가능한 다양체를 경계로 가져야 한다는 것을 증명하는 것.
• 근접 라그랑주 추측에 대한 핵심 단계를 해결하여, 심플렉틱 위상수학이 특정 이국적 미분구조를 차단한다는 것을 보여주는 것.
• $T^*S^{4k+1}$의 심플렉틱 구조가 기저 구면의 미분형식을 초월한 미분구조를 감지할 수 있다는 것을 보여주는 것.
• 해면곡선과 디스크 및 구면 버블을 포함하는 허위-해면곡선 모듈리 공간을 붙임으로써 컴acts한 평행화 가능한 경계 다양체를 구성하는 것.

제안 방법

• 콤���된 지지 집합을 가진 해밀토니안 이소토피를 사용하여 심플렉틱 다양체 $\mathbb{C}^n \times \mathbb{C}\mathbb{P}^{n-1}$ 위에서 편미분 코쉬-리만 방정식의 일차원 매개변수 가중 가족을 구성하는 것.
• 해면곡선과 구면 버블을 포함하는 그로모프-플로어 컴팩티피케이션을 사용하여, 경계가 라그랑주와 미분형식을 이루는 컴팩티피케이션된 모듈리 공간을 형성하는 것.
• 두 번째 해면곡선 디스크 모듈리 공간을 사용하여 디스크 버블 스트라타를 봉합하여 경계가 $L$인 닫힌 다양체를 형성하고, 구면 버블 스트라타는 $S^2$ 위의 배럴로 기술하는 것.
• 모듈리 공간의 접선 공간의 $K$-이론 클래스를 분석하고, 이가 매끄러운 사상 공간에서 올라온다는 것을 보여, 결과 다양체가 평행화 가능하다는 것을 증명하는 것.
• 모듈리 공간의 첫 번째 코호몰로지 클래스가 짝수일 때 $\mathbb{C}\mathbb{P}^{n-1}$이 짝수인 $n$일 때 $K$-이론 클래스가 평행화 가능성과 호환되는 방식으로 자명하다는 사실을 이용하는 것.
• 해석적 추정과 소볼레프 포함을 사용하여 고차원 스트라타 근처의 해의 붙임을 제어하고, 결과 다양체의 모서리가 있는 매끄러움을 보장하는 것.

실험 결과

연구 질문

• RQ1 평행화 가능한 다양체의 경계가 아닌 이국적 구면은 $T^*S^{4k+1}$에 라그랑주로 삽입될 수 있는가?
• RQ2 $T^*S^{4k+1}$의 심플렉틱 구조는 기저 구면의 미분형식을 초월하여 그 미분구조를 감지하는가?
• RQ3 구면의 코탄제인 벡터장 속에서 호모토피 구면의 라그랑주 삽입에 대해 어떤 위상적 장애물이 발생하는가?
• RQ4 디스크 및 구면 버블을 포함하는 허위-해면곡선 모듈리 공간은 어떻게 평행화 가능한 경계 다양체를 구성하는가?
• RQ5 차원의 mod 4 값(특히 $4k+1$)이 평행화 가능성 증명에서 중요한 이유는 무엇인가?

주요 결과

• 모든 호모토피 구면이 $T^*S^{4k+1}$에 라그랑주로 삽입될 경우, 정리 1.1에 따르면 컴acts한 평행화 가능한 다양체를 경계로 가져야 한다.
• 9차원에서는 여덟 개의 이국적 구면 중에서 오직 두 개만이 평행화 가능한 다양체를 경계로 가져야 하므로, 나머지 여섯 개는 $T^*S^9$에 라그랑주로 삽입될 수 없으며, 이는 추론 1.2에 따라 성립한다.
• $\Sigma^{4k+1}$가 평행화 가능한 다양체를 경계로 가지 않는 이국적 구면일 경우, $T^*Σ^{4k+1}$과 $T^*S^{4k+1}$는 심플렉틱으로 동치가 아니다.
• 경계 다양체의 구성은 해면곡선과 디스크 및 구면 버블을 포함하는 허위-해면곡선 모듈리 공간을 붙임으로써 이루어지며, 결과로 모서리가 있는 매끄러운 다양체가 형성된다.
• 경계 다양체의 평행화 가능성은 모듈리 공간의 접선 공간에 대한 $K$-이론 분석을 통해 확립되며, 이는 $n$이 짝수일 때 $\mathbb{C}\mathbb{P}^{n-1}$의 첫 번째 코호몰로지 클래스가 짝수이기 때문이다.
• 이 증명은 차원이 $4k+1$일 때 핵심적으로 작용하며, $K$-이론 계산에서 mod 4 값이 들어가서 접선 번들의 자명성을 보장한다.