[논문 리뷰] On the asphericity of a symplectic M3 x S1

John D. McCarthy|ArXiv.org|1998. 07. 16.

Geometric and Algebraic Topology참고 문헌 11인용 수 19

한 줄 요약

이 논문은 $M \times S^1$ 가 심플렉틱 형식을 가진 3차원 다중체 $M$ 의 위상적 구조를 조사한다. 소수 분해와 피복 공간 이론을 사용하여, $M$ 이 유일하게 $A \# B$ 로 분해되어야 하며, 여기서 $A$ 는 $S^2 \times S^1$ 이거나 비가역적이고 비구면적인 3차원 다중체이며, $B$ 는 유한 차수의 피복을 가지지 않는다는 것을 증명한다. 이는 테르스턴의 기하화 추측 하에 $B$ 가 호모토피 구면이라는 것을 의미한다. 결과적으로, 심플렉틱 $M \times S^1$ 은 $M$ 이 호모토피 구면 합성원을 제외하고 거의 비구면적임을 보여준다.

ABSTRACT

An interesting question in symplectic topology, which was posed by C. H. Taubes, concerns the topology of closed (i.e. compact and without boundary) connected oriented three dimensional manifolds whose product with a circle admits a symplectic structure. The only known examples of such manifolds are those which fiber over a circle. Taubes asked whether these examples are the only examples of such manifolds. An affirmative answer to Taubes' question would have the following consequence: any such manifold either is diffeomorphic to the product of a two-sphere with a circle or is irreducible and aspherical. In this paper, we prove that this implication holds up to connect sum with a manifold which admits no proper covering spaces with finite index. It is pointed out that Thurston's geometrization conjecture and known results in the theory of three dimensional manifolds imply that such a manifold is a three-dimensional sphere. Hence, modulo the present conjectural picture of three-dimensional manifolds, we have shown that the stated consequence of an affirmative answer to Taubes' question holds.

연구 동기 및 목표

• 닫힘되고 올바르게 방향이 주어진 3차원 다중체 $M$ 에 대해 $M \times S^1$ 이 심플렉틱 구조를 가질 수 있는 위상적 제약 조건을 규명하는 것.
• 타우브스가 추측한 바와 같이, 이러한 다중체들이 원주 위로 피브리레이션되어야 하는지 조사하는 것.
• 심플렉틱 구조가 존재할 조건 하에서 $M$ 의 비구면성에 대해 분석하며, 특히 소수 분해와 피복 공간 이론과의 관계를 다루는 것.
• 특정 위상적 및 호모토피적 성질을 가진 성분들로의 고유한 연결 합 분해를 $M$ 에 대해 확립하는 것.

제안 방법

• 3차원 다중체의 소수 분해 정리를 활용하여 $M = M_1 \# \cdots \# M_r$ 로 소수 성분들로 분해한다.
• 피복 공간 이론을 적용하여, 유한 차수의 피복을 가지지 않는 분해의 성분 $B$ 는 호모로지 구면임을 보인다.
• 밀너의 비가역성과 비구면성에 관한 정리를 적용: 소수 3차원 다중체가 $b_1 \geq 1$ 이면, $S^2 \times S^1$ 이거나 비가역적이고 비구면적임을 의미한다.
• $X = M \times S^1$ 에 정의된 심플렉틱 형식 $\omega$ 의 비퇴화성으로부터 $b_2^+(X) \geq 1$ 를 도출하고, 이는 $b_1(M) \geq 1$ 이라는 것을 의미하여, 적어도 하나의 성분이 양의 첫 번째 베티 수를 가짐을 보장한다.
• 소수 분해의 고유성(순서와 미르피즘을 제외하고)을 활용하여, 주어진 성질을 만족하는 $M = A \# B$ 의 고유성을 증명한다.
• 테르스턴의 기하화 추측과 잔여 유한성에 관한 알려진 결과에 기반하여, $B$ 가 반드시 호모토피 구면이 되며, 따라서 3차원 구면이 되어야 한다고 논증한다.

실험 결과

연구 질문

• RQ1 모든 닫힘되고 올바르게 방향이 주어진 3차원 다중체 $M$ 에 대해 $M \times S^1$ 이 심플렉틱 구조를 가질 경우, 원주 위로 피브리레이션되어야 하는가?
• RQ2 심플렉틱 구조가 $M \times S^1$ 에 존재할 경우, $M$ 에 어떤 위상적 제약 조건이 가해지는가?
• RQ3 $M$ 이 비구면적 또는 $S^2 \times S^1$ 성분과 유한 차수 피복을 가지지 않는 성분으로 분해될 수 있는가?
• RQ4 $M \times S^1$ 이 심플렉틱일 경우, $M$ 이 어느 정도 비구면적인가?
• RQ5 기하화 추측 하에, $M$ 의 비구면적 부분은 반드시 3차원 구면이어야 하는가?

주요 결과

• $M$ 은 고유한 연결 합 분해 $M = A \# B$ 를 가지며, $b_1(A) \geq 1$, $A$ 는 $S^2 \times S^1$ 이거나 비가역적이고 비구면적임을 만족하고, $B$ 는 비자명한 유한 차수 피복을 가지지 않는다.
• $B$ 는 호모로지 구면이며, 기하화 추측 하에 호모토피 구면(즉, $S^3$ 와 미르피즘)이다.
• $M \times S^1$ 에 심플렉틱 구조가 존재하면 $b_1(M) \geq 1$ 이므로, $M$ 은 비자명하고 호모토피 구면이 아니다.
• $A$ 는 유일하게 첫 번째 베티 수가 양수인 $M$ 의 소수 성분으로 고유하게 결정된다.
• 이 분해는 $M$ 이 거의 비구면적임을 보장한다: $B$ 성분을 제외하고는 고차 호모토피 군이 모두 영이 된다.
• 기하화 추측 하에 $B$ 는 3차원 구면이므로, $M$ 은 $S^2 \times S^1$ 이거나 비가역적이고 비구면적이며, 이는 타우브스의 추측의 결과가 기하화 추측 하에 확인됨을 의미한다.