[논문 리뷰] Nonisotopic Symplectic Tori in the Fiber Class of Elliptic Surfaces

Stefano Vidussi|ArXiv.org|2004. 01. 30.

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

한 줄 요약

이 논문은 수정된 호프 링크 외곽을 기반으로 한 새로운 링크 수술 구조를 사용하여, $n \geq 3$ 인 타원면 $E(n)$ 의 섬유 클래스 $q[F]$ 에서 무한한 수의 심플렉틱 토러스 $T^{p,q}$ 를 구성한다. 이 토러스들은 상호로 비등장하며, $E(n)$ 의 어느 방향 보존 미분구조에 의해서도 관련이 없으며, 동일한 심플렉틱 및 호모로지 유형을 가진 심플렉틱 4차원 다양체에 대해 무한히 많은 서로 다른 매끄러운 구조가 존재함을 증명한다.

ABSTRACT

The purpose of this note is to present a construction of an infinite family of symplectic tori T_{p} representing an arbitrary multiple of the homology class of the fiber of an elliptic surface E(n), for n > 2, such that, for i eq j, there is no orientation-preserving diffeomorphism between (E(n),T_{i}) and (E(n),T_{j}). In particular, these tori are mutually nonisotopic. This complements previous results of Fintushel and Stern, showing in particular the existence of such phenomenon for a primitive class.

연구 동기 및 목표

• $n \geq 3$ 인 타원면 $E(n)$ 의 섬유 클래스 $q[F]$ 에서 무한한 수의 심플렉틱 토러스를 구성하는 것.
• 이 토러스들이 상호로 비등장하며, 환경 다각체의 방향 보존 미분구조에 의해서도 관련이 없음을 보이는 것.
• 이전의 방법이 실패한 원시적 호모로지 클래스(즉, $q=1$)를 포함하도록 펌프킨델과 슈타인의 결과를 확장하는 것.
• 분지 덮개를 피하는 새로운 수술 방법을 사용하여, 수정된 호프 링크 외곽에서 링크 수술을 수행하는 것.
• 결과로 얻어진 심플렉틱 4차원 다각체들이 시베르그-와인버그 불변량을 통해 상호로 미분구조가 다름을 보이는 것.

제안 방법

• 보로메언 링크의 브레이드 구조를 $p$ 개의 3줄 브레이드 복제와 첫 번째 줄에 추가로 $q-1$ 개의 줄을 더하여 이중 첨수된 4성분 링크 $L_{p,q}$ 를 구성한다.
• 심플렉틱 토러스 $T^{p,q}$ 는 $L_{p,q}$ 의 외곽에서의 섬유화된 토러스의 핵심으로 정의되며, 이는 $E(n)$ 에 심플렉틱 링크 수술을 통해 붙여넣는다.
• 심플렉틱 링크 수술을 통해 $E(1)$ 의 복제본을 토러스 $T^{p,q}$ 에 붙여, 오직 쌍 $(E(n), T^{p,q})$ 의 미분구조 유형에만 의존하는 심플렉틱 4차원 다각체를 생성한다.
• 링크 $L_{p,q}$ 의 다변수 아르틴 다항식을 사용하여 결과로 얻어진 다각체의 시베르그-와인버그 불변량을 계산하고, 이들이 서로 다른 $p$ 에서 다르게 됨을 보인다.
• 레마 5.1에 제시된 라우렌트 다항식에 대한 새로운 부등식을 적용하여, 아르틴 다항식의 특수화에서 비영인 계수의 수가 $p$ 에 따라 발산함을 증명하고, 이는 서로 다른 시베르그-와인버그 불변량을 의미한다.
• 다른 $p$ 는 서로 다른 다각체를 만들어내며, 따라서 토러스 $T^{p,q}$ 는 매끄럽게 등장하지 않음을 증명한다.

실험 결과

연구 질문

• RQ1 타원면의 원시적 호모로지 클래스를 나타내는 심플렉틱 토러스를 구성할 수 있는가? 이 토러스들은 상호로 비등장하는가?
• RQ2 이러한 토러스들을 등장성 이외의 관점, 즉 환경 다각체의 방향 보존 미분구조가 존재하지 않는다는 관점에서 구별할 수 있는가?
• RQ3 분지 덮개를 피하는 수술 방법을 사용하여, $E(n)$ 의 섬유 클래스에서 비등장하는 심플렉틱 대표를 생성할 수 있는가?
• RQ4 다른 링크 $L_{p,q}$ 에 대해 링크 수술을 수행하여 얻어진 심플렉틱 4차원 다각체를 구별하는 데 사용할 수 있는 위상 불변량은 무엇인가?
• RQ5 아르틴 다항식에서 비영인 계수의 수의 증가율은 결과로 얻어진 다각체의 시베르그-와인버그 불변량과 어떻게 관련이 있는가?

주요 결과

• 모든 $q \geq 1$ 과 $n \geq 3$ 에 대해, $p \in \mathbb{N}_0$ 인 무한한 수의 심플렉틱 토러스 $T^{p,q}$ 가 존재하며, 이는 $E(n)$ 에서 $q[F]$ 를 표현한다.
• 이 토러스들은 상호로 비등장하며, $i \neq j$ 이면 $(E(n), T^{(i,q)})$ 와 $(E(n), T^{(j,q)})$ 사이에 방향 보존 미분구조가 존재하지 않는다.
• 이 구성은 $p$-중 브레이드 수정과 $q$-중 줄 추가를 거친 호프 링크에서 유도된 링크 $L_{p,q}$ 의 가족을 기반으로 한 링크 수술을 사용한다.
• 결과로 얻어진 심플렉틱 4차원 다각체의 시베르그-와인버그 불변량은 아르틴 다항식의 특수화에서 비영인 계수의 수가 발산함에 따라 서로 다르다.
• $p \to \infty$ 일 때 비영인 계수의 수 $\tilde{\tau}_p$ 는 발산하며, 이는 무한히 많은 서로 다른 미분구조를 가진 다각체가 있음을 증명한다.
• 이 방법은 분지 덮개를 피하고 원시적 호모로지 클래스에서 비등장하는 심플렉틱 표면을 구성하는 데 새로운 방법을 제공하며, 펌프킨델과 슈타인의 결과를 확장한다.