[논문 리뷰] Rational Symplectic Field Theory over Z_2 for exact Lagrangian cobordisms

Tobias Ekholm|ArXiv.org|2006. 12. 01.

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

한 줄 요약

이 논문은 끝이 실린드릭인 심플렉틱 다양체에서 정확한 라그랑주 코버디즘에 대해 ℤ₂ 위의 합리적 심플렉틱 필드 이론을 구성하며, k개의 필터 레벨을 가진 필터링된 체인 복합체를 사용한다. 이는 변형에 대해 불변인 스펙트럴 시퀀스를 수립하며, s개의 평행 복사본이 k개의 부분집합으로 분할된 레지언드르 부분다양체의 심플렉티제이션과 관련된 스펙트럴 시퀀스가 레지언드르 동치 불변량임을 증명한다.

ABSTRACT

We construct a version of rational Symplectic Field Theory for pairs $(X,L)$, where $X$ is an exact symplectic manifold, where $L\subset X$ is an exact Lagrangian submanifold with components subdivided into $k$ subsets, and where both $X$ and $L$ have cylindrical ends. The theory associates to $(X,L)$ a $\Z$-graded chain complex of vector spaces over $\Z_2$, filtered with $k$ filtration levels. The corresponding $k$-level spectral sequence is invariant under deformations of $(X,L)$ and has the following property: if $(X,L)$ is obtained by joining a negative end of a pair $(X',L')$ to a positive end of a pair $(X'',L'')$, then there are natural morphisms from the spectral sequences of $(X',L')$ and of $(X'',L'')$ to the spectral sequence of $(X,L)$. As an application, we show that if $Λ\subset Y$ is a Legendrian submanifold of a contact manifold then the spectral sequences associated to $(Y imes\R,Λ_k^s imes\R)$, where $Y imes\R$ is the symplectization of $Y$ and where $Λ_k^s\subset Y$ is the Legendrian submanifold consisting of $s$ parallel copies of $Λ$ subdivided into $k$ subsets, give Legendrian isotopy invariants of $Λ$.

연구 동기 및 목표

• 끝이 실린드릭인 심플렉틱 다양체에서 정확한 라그랑주 코버디즘에 대해 ℤ₂ 위의 합리적 심플렉틱 필드 이론을 개발한다.
• X가 정확한 심플렉틱 다양체이고 L이 k개의 부분집합으로 분할된 정확한 라그랑주 부분다양체인 쌍 (X, L)에 대해 k개의 필터 레벨을 가진 필터링된 체인 복합체를 정의한다.
• 이 필터링된 복합체로부터 변형에 대해 불변인 스펙트럴 시퀀스를 구성한다.
• 코버디즘의 접합이 이루어질 경우, 구성 요소 쌍의 스펙트럴 시퀀스에서 접합된 쌍의 스펙트럴 시퀀스로 자연스러운 사상이 존재함을 보인다.
• 이 이론을 레지언드르 부분다양체의 심플렉티제이션에 적용하여, (Y×ℝ, Λₖˢ×ℝ)의 스펙트럴 시퀀스가 레지언드르 동치 불변량이 됨을 증명한다.

제안 방법

• 경계가 L에 있고 경계 펄스에서 리브 색결로 수렴하는 J-홀로모르픽 커브로부터 ℤ₂ 위의 ℤ-차수 체인 복합체를 구성한다.
• 정확한 라그랑주 L의 구성 요소에 대응하는 k개의 부분집합에 따라 k개의 필터 레벨을 사용한다.
• 거의 복소構조의 경로에 대한 편미분 기법을 적용하여 전치성과 경계 버블링을 제어한다.
• 편미분에 의해 발생하는 포텐셜 벡터의 변화를 추적하는 증가 사상 Δ: V(X₀,L₀) → V(X₁,L₁)를 정의하며, 각 레벨 간 일관성을 확보한다.
• 차원 ≤1인 허용 가능한 홀로모르픽 디스크의 매니폴드 공간이 전치적으로 잘라져 있음을 증명하여, (-1)-디스크의 다중 접합을 방지한다.
• 경계 접합 공식 f₁ = f₀ + Δ(f₀, k)를 수립하며, f₀와 f₁이 인접한 레벨의 포텐셜 벡터이므로 스펙트럴 시퀀스의 일관성을 보장한다.

실험 결과

연구 질문

• RQ1 정확한 라그랑주 코버디즘에 대해 k-필터링된 구조를 가진 ℤ₂ 위의 합리적 심플렉틱 필드 이론을 구성할 수 있는가?
• RQ2 이로 유도된 스펙트럴 시퀀스는 코버디즘 (X, L)의 변형에 대해 불변하는가?
• RQ3 접합된 코버디즘의 스펙트럴 시퀀스는 그 구성 요소들의 스펙트럴 시퀀스로부터 자연스러운 사상을 받는가?
• RQ4 이 이론이 레지언드르 부분다양체의 레지언드르 동치 불변량을 생성할 수 있는가?
• RQ5 s개의 평행 복사본이 k개의 부분집합으로 분할된 레지언드르 부분다양체의 심플렉티제이션과 관련된 스펙트럴 시퀀스는 레지언드르 동치 불변량인가?

주요 결과

• 이 이론은 구성 요소가 k개의 부분집합으로 분할된 정확한 라그랑주 코버디즘 (X, L)에 대해 ℤ₂ 위의 ℤ-차수 필터링 복합체를 구성한다.
• 이 필터링 복합체와 관련된 스펙트럴 시퀀스는 (X, L)의 변형에 대해 불변하므로 불변량의 강건성을 보장한다.
• (X′, L′)의 음성 끝이 (X′′, L′′)의 양성 끝과 접합되어 (X, L)이 만들어질 경우, (X′, L′)과 (X′′, L′′)의 스펙트럴 시퀀스에서 (X, L)의 스펙트럴 시퀀스로 자연스러운 사상이 존재한다.
• Y에 포함된 레지언드르 부분다양체 Λ에 대해, Λₖˢ가 s개의 평행 복사본이 k개의 부분집합으로 분할된 경우, (Y×ℝ, Λₖˢ×ℝ)의 스펙트럴 시퀀스는 레지언드르 동치 불변량이다.
• 레벨 1의 포텐셜 벡터 f₁은 레벨 0의 f₀와 f₁ = f₀ + Δ(f₀, k)의 관계를 가지며, 여기서 k는 편미분에서 (-1)-디스크의 수를 세는 것으로, 각 레벨 간 일관성을 보장한다.
• 차원 ≤1인 홀로모르픽 디스크의 매니폴드 공간이 전치적으로 잘라져 있으며, 깨진 디스크가 하나 이상의 (-1)-디스크 인자들을 포함할 수 없으므로 선형화된 연산자가 전사임을 보장한다.