[논문 리뷰] An adjunction inequality for the Bauer-Furuta type invariants, with applications to sliceness and 4-manifold topology

Nobuo Iida, Anubhav Mukherjee외 1명|arXiv (Cornell University)|2021. 02. 03.

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

한 줄 요약

이 논문은 접촉 경계를 가진 4차원 다양체에서 Bauer–Furuta 유형 불변량에 대한 새로운 조인크션 부등식을 입증한다. 이를 위해 목줄임 기법과 등급수학적 안정 호모토피 이론을 사용한다. 비틀림이 아닌 호모로지 클래스 중 자기 교차수가 음이 아닌 경우, 만약 불변량이 0이 아니면, 이를 매끄럽게 임bed된 2차원 구면으로 표현할 수 없다는 것을 증명한다. 이는 심플렉틱 4차원 다각형에서 슬라이스성과 이국적 매끄러운 구조에 대한 새로운 제약 조건을 이끌어낸다.

ABSTRACT

Our main result gives an adjunction inequality for embedded surfaces in certain $4$-manifolds with contact boundary under a non-vanishing assumption on the Bauer--Furuta type invariants. Using this, we give infinitely many knots in $S^3$ that are not smoothly H-slice (that is, bounding a null-homologous disk) in many $4$-manifolds but they are topologically H-slice. In particular, we give such knots in the boundaries of the punctured elliptic surfaces $E(2n)$. In addition, we give obstructions to codimension-0 orientation-reversing embedding of weak symplectic fillings with $b_3=0$ into closed symplectic 4-manifolds with $b_1=0$ and $b_2^+\equiv 3$ mod $4$. From here we prove a Bennequin type inequality for symplectic caps of $(S^3,ξ_{std})$. We also show that any weakly symplectically fillable $3$-manifold bounds a $4$-manifold with at least two smooth structures.

연구 동기 및 목표

• 접촉 경계와 b₃=0 조건을 만족하는 4차원 다각형에서 Bauer–Furuta 유형 불변량에 대한 조인크션 부등식을 수립하는 것.
• 이 부등식을 사용하여, 위상적으로 H-슬라이스이지만 매끄럽게 H-슬라이스가 되지 않는 다각형 내의 끈에 대한 슬라이스성의 제약을 도출하는 것.
• 약한 심플렉틱 채움이 닫힌 심플렉틱 4차원 다각형에 포함되는 0-차원 방향 전환 임베딩에 대한 새로운 제약 조건을 제공하는 것.
• 심플렉틱 캡에 대해 벤네킨 유형의 부등식을 증명하여, 기존의 게이지 이론 도구를 심플렉틱 채움을 넘어서는 더 넓은 범주로 확장하는 것.
• 비영 불변량과 연결 합 공식을 통해 경계가 있는 4차원 다각형의 이국적 매끄러운 구조를 탐지하는 것.

제안 방법

• Frøyshov(2005)와 Kronheimer–Mrowka(1994)의 영감을 얻은 목줄임 기법을 사용하여, Seiberg–Witten 이론에서 조인크션 유형의 부등식을 유도하는 것.
• b₃(W)=0 조건을 만족하는 접촉 경계를 가진 스피노 c 4차원 다각형에 대해 첫 번째 저자의 Bauer–Furuta 유형 정밀화 Ψ(W,ξ,s)를 사용하는 것.
• 연결합 공식 Ψ(W#X, s_ω#s_X)을 적용하여 상대 불변량을 닫힌 다각형에서의 절대 불변량과 연결하는 것.
• 2020년 [IT20]의 접합 정리와 플로어 호모토피 접촉 불변량을 사용하여 Ψ(W#X, s_ω#s_X)의 비영성 결과를 확립하는 것.
• Bauer–Furuta 불변량의 S¹-등급수학적 안정 호모토피 클래스 구조를 활용하여 비자명성을 탐지하는 것.
• 조인크션 부등식을 기존의 끈 협동 이론과 유리 호모로지 3차원 다각형의 결과와 결합하여 슬라이스성의 제약을 도출하는 것.

실험 결과

연구 질문

• RQ1 접촉 경계와 b₃=0 조건을 만족하는 4차원 다각형에서 Bauer–Furuta 유형 불변량에 대해 조인크션 부등식을 수립할 수 있는가?
• RQ2 이 부등식은 위상적으로 H-슬라이스이지만 매끄럽게 H-슬라이스가 되지 않는 끈의 슬라이스성에 대해 어떤 제약을 제공하는가?
• RQ3 비영 불변량을 통해 경계가 있는 4차원 다각형의 이국적 매끄러운 구조를 탐지할 수 있는가?
• RQ4 조인크션 부등식은 (S³, ξ_std)의 심플렉틱 캡에 대해 어떤 함의를 가지며, 심플렉틱 채움과 비교해 볼 때 어떻게 다를 수 있는가?
• RQ5 b₃=0 조건을 만족하는 약한 심플렉틱 채움은 어떤 조건에서 b₁=0 이고 b₂⁺≡3 mod 4 조건을 만족하는 닫힌 심플렉틱 4차원 다각형에 0-차원으로 포함될 수 있는가?

주요 결과

• 조인크션 부등식은 접촉 경계 (Y,ξ)를 가진 스피노 c 4차원 다각형 W와 b₃(W)=0 조건을 만족할 때, Ψ(W,ξ,s) ≠ 0 이면, H₂(W,∂W;ℤ) 내의 비틀림이 아닌 호모로지 클래스 중 자기 교차수가 음이 아닌 경우, 이를 매끄럽게 임베드된 2차원 구면으로 표현할 수 없다고 한다.
• S³ 내의 무수히 많은 끈, 특히 {T_{2,2ⁿ⁻¹}}이, 구멍이 뚫린 타원 곡면 E(2n)의 경계에서 위상적으로 H-슬라이스이지만 매끄럽게 H-슬라이스가 되지 않는 것으로 밝혀졌다.
• X가 비-S¹-영호모토픽 불변량을 가지며 W가 b₃=0 조건을 만족하는 약한 심플렉틱 채움일 때, 상대 Bauer–Furuta 불변량 Ψ(W#X, s_ω#s_X)는 0이 아니며, BF(X,s_X)와 같다.
• 심플렉틱 캡에 대해 벤네킨 유형의 부등식이 증명되었으며, 이는 게이지 이론 도구를 심플렉틱 채움을 넘어서는 더 넓은 범주로 확장한다.
• 약한 심플렉틱 채움 가능한 3차원 다각형은 최소 두 개의 서로 다른 매끄러운 구조를 가진 4차원 다각형을 경계로 가지며, 비영 불변량을 통해 이를 탐지할 수 있다.
• 불변량은 이국적 쌍을 탐지한다. 예를 들어, X = W#K3#ℂℙ²와 X′ = W#3ℂℙ²#20ℂℙ²는 위상적으로 동일하지만, Ψ(X′,ξ)=0 이고 Ψ(X,ξ)≠0 이므로 미분구조가 다르다.