[논문 리뷰] Cobordism maps in embedded contact homology

Jacob Hunter Rooney|arXiv (Cornell University)|2019. 12. 02.

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

한 줄 요약

이 논문은 정확한 심플렉틱 코버디즘의 완비화에서의 펄처드 힐베르트 곡선과, ECH 분할 조건이 위반될 경우의 분열을 고려하기 위해 도입된 새로운 유형의 오브제クト인 인덱스-0 ECH 빌딩을 사용하여, 접촉 3차원 다양체의 임베디드 컨택트 호모로지(ECH) 복합체 사이의 체인 맵을 구성한다. 주어진 작용 이하에서 타원형 리브 오르빗이 존재하지 않는 조건 하에서, 이 맵은 잘 정의되어 있으며 보조 선택에 의존하지 않으며, ECH 미분과 가환성을 가지며, 힐베르트 곡선 수를 통한 코버디즘 유도 맵의 기하학적 실현을 제공한다.

ABSTRACT

Given an exact symplectic cobordism $(X, λ)$ between contact $3$-manifolds $(Y_+, λ_+)$ and $(Y_-, λ_-)$ with no elliptic Reeb orbits up to a certain action, we define a chain map from the embedded contact homology (ECH) chain complex of $(Y_+, λ_+)$ to that of $(Y_-, λ_-)$, both taken with coefficients in $\mathbb Z / 2 \mathbb Z$. The map is defined by counting punctured holomorphic curves with ECH index $0$ in the completion of the cobordism and new objects that we call ECH buildings, answering a question of Hutchings.

연구 동기 및 목표

• 정확한 심플렉틱 코버디즘에서의 힐베르트 곡선을 사용하여, 접촉 3차원 다항체의 임베디드 컨택트 호모로지 복합체 사이의 기하학적 체인 맵을 정의한다.
• 휴치닝스가 ECH에서 힐베르트 곡선 수를 통한 코버디즘 맵을 구성하는 데 있어 기초적인 질문을 제기한 바를 해결한다.
• 분열이 발생할 경우 모듈리 공간에서 ECH 분할 조건이 위반될 때를 고려하기 위해, 새로운 유형의 오브제クト인 인덱스-0 ECH 빌딩을 도입하고 철저히 정의한다.
• 보조 데이터의 선택에 대해 불변성을 확립하고, 필터링된 ECH 설정에서 체인 맵 성질을 증명한다.
• 기존의 ECH, 헤가르드 플로어, 시브르그-워너 플로어 호모로지 간의 동형사상과의 호환성을 확보하기 위해 프레임워크를 $L$-초단순 설정으로 확장한다.

제안 방법

• 완비화된 정확한 심플렉틱 코버디즘 $(X,\lambda)$ 의 완비화 $\widehat{X}$ 에서의 펄처드 힐베르트 곡선을 사용하여 구성한다. 이는 접촉 3차원 다항체 $(Y_{+},\lambda_{+})$ 와 $(Y_{-},\lambda_{-})$ 사이의 코버디즘을 다룬다.
• ECH 분할 조건이 위반될 경우 모듈리 공간에서의 분열을 고려하기 위해, 새로운 유형의 오브제クト인 인덱스-0 ECH 빌딩을 도입한다.
• $J$ 가 끝부분에서 $J_{\pm}$ 와 호환되는 일반적인 거의 복소構조를 사용하여, ECH 인덱스 0인 힐베르트 곡선과 ECH 빌딩을 세는 방식으로 맵 $\Phi_{X,\lambda,J,\mathbf{c}}$ 를 정의한다.
• 바오-혼다의 평가 사상이 곡선의 위상수학을 분석하고, 일차원 모듈리 공간에서 ECH 인덱스 부등식이 등식으로 전환됨을 증명하는 데 사용된다.
• 모듈리 공간의 컴actification 과 $L$-초단순 설정에서의 전이성 확보를 위해 고장 막대(gluing) 기법을 적용한다.
• 체인 맵 성질의 증명은 $L$-초단순 조건 하에서의 인덱스 계산, 분열 분석, 행렬식 계산을 포함한다.

실험 결과

연구 질문

• RQ1 정확한 심플렉틱 코버디즘에서의 힐베르트 곡선을 사용하여, 임베디드 컨택트 호모로지 복합체 사이의 체인 맵을 어떻게 정의할 수 있는가?
• RQ2 모듈리 공간에서 ECH 분할 조건이 위반될 경우 발생하는 분열을 설명하기 위해 어떤 새로운 기하 오브제クト가 필요한가?
• RQ3 $L$-초단순 조건이 이러한 맵을 정의하는 데 필수적인 이유는 무엇이며, 리브 오르빗과 힐베르트 곡선의 분석을 어떻게 단순화하는가?
• RQ4 필터링된 ECH 설정에서 보조 데이터의 선택에 대해 맵의 불변성을 어떻게 확립할 수 있는가?
• RQ5 $L$-초단순 설정에서 ECH 인덱스 부등식을 어떻게 개선하여 일차원 모듈리 공간에서 등식이 성립함을 보장할 수 있는가?

주요 결과

• 필터링된 ECH 복합체 $ECC^L(Y_{+},\lambda_{+},J_{+})$ 에서 $ECC^L(Y_{-},\lambda_{-},J_{-})$ 로의 체인 맵 $\Phi_{X,\lambda,J,\mathbf{c}}$ 는 $L$-초단순 조건 하에서 잘 정의된다.
• 보조 데이터 $\mathbf{c}$ 의 선택에 관계없이 맵이 불변이므로 기하학적 불변성이 확보된다.
• 맵은 체인 맵이므로 ECH 미분과 가환성을 가지며, 인덱스 계산과 접합 기법을 통해 증명된다.
• 일차원 모듈리 공간에서는 ECH 인덱스 부등식이 등식으로 전환되며, 이는 관련된 힐베르트 곡선에 대한 위상적 제약 조건을 제공한다.
• 인덱스-0 ECH 빌딩의 도입으로 모듈리 공간의 완전한 컴 pactification 이 가능해지고 접합 과정에서의 장애 요소가 제거된다.
• 이 구성은 ECH와 시브르그-워너 플로어 (코)호모로지 간의 동형사상과 호환되며, 코버디즘 맵의 힐베르트 곡선 기반 실현을 제공한다.