[논문 리뷰] Gromov Invariants and Symplectic Maps

Eleny-Nicoleta Ionel, Thomas H. Parker|ArXiv.org|1997. 03. 20.

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

한 줄 요약

이 논문은 심플렉틱 매핑 цили린더 $X_f$ 와 그들의 피복 합성을 Lefschetz zeta 함수를 통해 계산하여, 비-카이러 심플렉틱 다양체를 구별하는 데 사용할 수 있는 계산 방법을 제공한다. 또한 Fintushel과 Stern이 최근에 발견한 것으로 알려진, 심플렉틱 기법을 통해 이국적인 타원 곡면과 6차원 다양체를 구성한다. 이 과정에서 Gromov 불변량과 링크의 아르스터의 다항식 사이의 연관성을 규명한다.

ABSTRACT

Given a symplectomorphism f of a symplectic manifold X, one can form the `symplectic mapping cylinder' $X_f = (X imes R imes S^1)/Z$ where the Z action is generated by $(x,s,t)\mapsto (f(x),s+1,t)$. In this paper we compute the Gromov invariants of the manifolds $X_f$ and of fiber sums of the $X_f$ with other symplectic manifolds. This is done by expressing the Gromov invariants in terms of the Lefschetz zeta function of f and, in special cases, in terms of the Alexander polynomials of knots. The result is a large set of interesting non-Kahler symplectic manifolds with computational ways of distinguishing them. In particular, this gives a simple symplectic construction of the `exotic' elliptic surfaces recently discovered by Fintushel and Stern and of related `exotic' symplectic 6-manifolds.

연구 동기 및 목표

• 심플렉틱 다양체 $X$ 위의 심플렉토모르피즘 $f$ 로부터 생성된 심플렉틱 매핑 원통 $X_f$ 의 Gromov 불변량을 계산하는 것.
• $X_f$ 와 다른 심플렉틱 다양체의 피복 합성에 이 불변량을 확장하는 것.
• $f$ 의 동적 불변량을 사용하여 비-카이러 심플렉틱 다양체를 구별할 수 있는 계산 프레임워크를 수립하는 것.
• Fintushel과 Stern이 최근에 발견한 이국적인 타원 곡면과 6차원 다양체를 심플렉틱 기법으로 구성하는 것.
• Gromov 불변량과 아르스터 다항식 등의 위상수학적 불변량 간의 관계를 규명하는 것.

제안 방법

• 심플렉토모르피즘 $f$ 에 의한 $\mathbb{Z}$-작용 $(x,s,t) \mapsto (f(x), s+1, t)$ 에 의한 몫을 취해 심플렉틱 매핑 원통 $X_f = (X \times \mathbb{R} \times S^1)/\mathbb{Z}$ 을 구성한다.
• 심플렉틱 매핑 원통 $X_f$ 의 Gromov 불변량을 심플렉토모르피즘 $f$ 의 Lefschetz zeta 함수로 표현한다.
• 특수한 경우에, 섬유화된 링크의 단형성에 의해 유도되는 링크의 아르스터 다항식과 불변량을 연결한다.
• 피복 합성 연산을 사용하여 새로운 심플렉틱 다양체를 구성하고, $X_f$ 와 합성된 다양체의 Gromov 불변량을 그들의 불변량으로부터 계산한다.
• 심플렉틱 위상수학과 Gromov-Witten 이론의 기법을 활용하여 결과 다양체의 불변량을 계산한다.
• 매핑 원통 구성이 심플렉틱 구조를 유지하고, 준해석 곡선의 제어를 가능하게 한다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 심플렉토모르피즘 $f$ 와 관련된 심플렉틱 매핑 원통 $X_f$ 의 Gromov 불변량은 어떻게 계산할 수 있는가?
• RQ2 $f$ 의 Lefschetz zeta 함수와 $X_f$ 의 Gromov 불변량 사이의 관계는 무엇인가?
• RQ3 $X_f$ 를 포함하는 피복 합성의 Gromov 불변량은 합성된 성분들의 불변량으로 표현될 수 있는가?
• RQ4 이러한 불변량이 비-카이러 심플렉틱 다양체를 어느 정도로 잘 구별할 수 있는가?
• RQ5 이 프레임워크를 사용하여 이국적인 심플렉틱 6차원 다양체와 타원 곡면을 구성하고 식별할 수 있는가?

주요 결과

• 심플렉틱 매핑 원통 $X_f$ 의 Gromov 불변량은 심플렉토모르피즘 $f$ 의 Lefschetz zeta 함수에 의해 완전히 결정된다.
• 특수한 경우에, $X_f$ 의 불변량은 $f$ 의 동역학으로부터 유도되는 링크의 아르스터 다항식과 관련이 있다.
• 이 방법은 광범위한 비-카이러 심플렉틱 다양체를 구별하는 데 사용할 수 있는 계산 도구를 제공한다.
• 이 구성은 Fintushel과 Stern이 발견한 이국적인 타원 곡면의 심플렉틱 실현을 제공한다.
• $X_f$ 와 다른 심플렉틱 다양체의 피복 합성은 합성된 성분들의 불변량을 통해 계산 가능한 Gromov 불변량을 상속한다.
• 이 접근법은 심플렉틱 위상수학과 링크 이론 사이를 동적 불변량을 통해 연결한다.