[논문 리뷰] Non-contractible periodic trajectories of symplectic vector fields, Floer cohomology and symplectic torsion

Dan Burghelea, Stefan Haller|ArXiv.org|2001. 04. 01.

Geometric and Algebraic Topology참고 문헌 13인용 수 8

한 줄 요약

이 논문은 약한 단조성 조건을 만족하는 심플렉틱 다양체 위에서 시간에 의존하는 심플렉틱 벡터장의 비수축 가능한 폐곡선 궤도에 대해 노비코프 환의 웨이트리 그룹에서 새로운 불변량인 심플렉틱 토르션을 도입한다. 고정된 호모토피류에 속하는 1주기 궤도를 바탕으로 한 플로어 코호몰로지 복합체를 구성함으로써, 1-form $ i_{Z_t}\omega $의 코호몰로지 클래스가 시간에 관계없이 일정하고 궤도 $ \gamma $에서 영이 아닌 조건에서 플로어 코호몰로지가 0이 되지만, 심플렉틱 토르션은 여전히 비자명할 수 있음을 보여주며, 이는 이러한 궤도의 존재에 대한 새로운 차단 조건을 제공한다.

ABSTRACT

For a closed symplectic manifold $(M,ω)$, a compatible almost complex structure $J$, a 1-periodic time dependent symplectic vector field $Z$ and a homotopy class of closed curves $γ$ we define a Floer complex based on 1-periodic trajectories of $Z$ in the homotopy class $γ$. We suppose that the closed 1-form $i_{Z_t}ω$ represents a cohomology class $β(Z):=β$, independent of $t$. We show how to associate to $(M,ω,γ,β)$ and to two pairs $(Z_i,J_i)$, $i=1,2$ with $β(Z_i)=β$ an invariant, the relative symplectic torsion, which is an element in the Whitehead group $Wh(Λ_0)$, of a Novikov ring $Λ_0$ associated with $(M,ω,Z,γ)$. If the cohomology of the Floer complex vanishes or if $γ$ is trivial we derive an invariant, the symplectic torsion for any pair $(Z,J)$. We prove, that when $β(γ) eq 0$, or when $γ$ is non-trivial and $β$ is 'small', the cohomology of the Floer complex is trivial, but the symplectic torsion can be non-trivial. Using the first fact we conclude results about non-contractible 1-periodic trajectories of 1-periodic symplectic vector fields. In this version we will only prove the statements for closed weakly monotone manifolds, but note that they remain true as formulated for arbitrary closed symplectic manifolds.

연구 동기 및 목표

• 시간에 의존하는 심플렉틱 벡터장의 1주기 궤도에 대해 새로운 불변량인 심플렉틱 토르션을 정의하는 것.
• 만일 $[i_{Z_t}\omega]$ 가 $t$ 에 독립적이라면, 비수축 가능한 주기 궤도에 대해 플로어 코호몰로지를 확장하는 것.
• such vector fields and almost complex structures에 대한 상대적 심플렉틱 토르션을 웨이트리 그룹 $\operatorname{Wh}(\Lambda_0)$ 에서 구성하는 것.
• 플로어 코호몰로지가 0이 되더라도 심플렉틱 토르션이 비자명할 수 있음을 보여주며, 이는 코호몰로지의 0이 되는 것보다 더 강력한 차단 조건을 제공한다.

제안 방법

• 심플렉틱 다양체 $(M,\omega)$, 1주기 심플렉틱 벡터장 $Z$, 호모토피류 $\gamma$ 에 대해, 비퇴화된 $\gamma$ 내의 1주기 궤도를 사용하여 노비코프 환 $\Lambda$ 위의 플로어 코계보 복합체를 구성한다.
• 코호몰로지 클래스 $\beta = [i_{Z_t}\omega] \in H^1(M;\mathbb{R})$ 를 정의하며, 이가 $t$ 에 독립적임을 가정함으로써 노비코프 구조와의 호환성을 확보한다.
• 일致된 방향과 정규성 조건을 사용하여, $(Z,J)$ 의 변형에 대해 플로어 코호몰로지의 불변성을 확립한다.
• 플로어 복합체 간의 사상의 매핑 콘의 기반으로 $\operatorname{Wh}(\Lambda_0)$ 내의 상대적 심플렉틱 토르션을 정의한다.
• 모르스-스멜레 모델과 노비코프 모듈러스 구조를 사용하여 플로어 복합체를 위상수학적 웨이트리 토르션과 사슬 수준의 동형사상으로 연결한다.
• 토러스 위의 구체적인 예에서 복합체가 $\cdots \to 0 \to \Lambda \xrightarrow{1 \pm z} \Lambda \to 0 \to \cdots$ 로 주어질 때, 토르션이 $1 \pm z \in \Lambda \setminus \{0\} / \pm z$ 로 비자명하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 플로어 코호몰로지가 0일 때, 시간에 의존하는 심플렉틱 벡터장의 비수축 가능한 주기 궤도에 대해 비자명한 심플렉틱 토르션 불변량을 정의할 수 있는가?
• RQ2 심플렉틱 토르션은 거의 복소 구조와 벡터장의 변화에 대해 어떻게 행동하며, 보조적 선택에 대해 독립적인가?
• RQ3 심플렉틱 토르션과 벡터장의 역학 사이의 관계는 무엇인가? 특히 폐궤도와 관련된 연장된 라플라시안의 스펙트럼 이론과의 관계는?
• RQ4 심플렉틱 토르션은 코호몰로지 불변량만으로는 드러나지 않는 기하적 특징, 예를 들어 약한 복합체에서의 비자명성 등을 감지할 수 있는가?
• RQ5 심플렉틱 토르션은 명시적인 예에서 계산 가능한가? 그리고 이는 기저가 되는 위상수학적 또는 역학적 구조를 반영하는가?

주요 결과

• $\beta(\gamma) \neq 0$ 이거나 $\gamma$ 가 비자명하고 $\beta$ 가 '작을' 경우, $Z$ 와 $\gamma$ 에 관련된 복합체의 플로어 코호몰로지가 0이 된다.
• 플로어 코호몰로지가 0이 되더라도, 심플렉틱 토르션은 비자명할 수 있다. 이는 토러스 예제에서 $1 \pm z \in \Lambda \setminus \{0\} / \pm z$ 로서의 토르션을 통해 입증되었다.
• 상대적 심플렉틱 토르션은 $\operatorname{Wh}(\Lambda_0)$ 내에 잘 정의되어 있으며, $\beta$ 가 고정되어 있다면, 적합한 거의 복소 구조와 시간에 의존하는 벡터장의 선택에 영향을 받지 않는다.
• 심플렉틱 토르션은 노비코프 모듈러스 구조를 통해 위상수학적 매핑 콘의 웨이트리 토르션과 동형이며, 고전적 대수적 위상수학과 연결된다.
• $\gamma$ 가 자명하고 $Z$ 가 시간에 독립적일 경우, 심플렉틱 토르션은 $\operatorname{grad}_g(i_Z\omega)$ 의 역학적 성질과 시간에 의존하는 라플라시안의 스펙트럼 이론 양쪽 모두로 표현될 수 있다.
• 이 구성은 약한 단조성 다양체를 초월하여도 유지되지만, 기술적 명료성과 기본적인 안정성 때문에 논문은 이 경우에 집중한다.