[논문 리뷰] The relative $\mathcal{L}$-invariant of a compact $4$-manifold

Nickolas A. Castro, Gabriel Islambouli외 2명|arXiv (Cornell University)|2019. 08. 14.

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

한 줄 요약

이 논문은 경계를 가진 컴acts, 미분가능하고 정렬 가능한 4차원 다양체에 대해 경계를 고려한 상대적 $τ$-불변량 $r\mathcal{L}(X)$를 도입한다. 이는 트리세션 표면의 컷 복합체에서의 경로 길이를 통해 정의되며, 클라이버와 톰슨의 닫힌 4차원 다각체에 대한 $τ$-불변량을 일반화한다. 논문은 유리수 호모로지 볼 $X$에 대해 $r\mathcal{L}(X) = 0$이 되는 것은 $X \cong B^4$와 동치임을 증명하고, 내부 안정화, 상대 안정화, 그리고 새로운 이동인 상대 이중 휘감기(move)를 사용한 상대 트리세션에 대한 완전한 안정화 동치 정리도 수립한다.

ABSTRACT

In this paper, we introduce the relative $\mathcal{L}$-invariant $r\mathcal{L}(X)$ of a smooth, orientable, compact 4-manifold $X$ with boundary. This invariant is defined by measuring the lengths of certain paths in the cut complex of a trisection surface for $X$. This is motivated by the definition of the $\mathcal{L}$-invariant for smooth, orientable, closed 4-manifolds by Kirby and Thompson. We show that if $X$ is a rational homology ball, then $r\mathcal{L}(X)=0$ if and only if $X\cong B^4$. In order to better understand relative trisections, we also produce an algorithm to glue two relatively trisected 4-manifold by any Murasugi sum or plumbing in the boundary, and also prove that any two relative trisections of a given 4-manifold $X$ are related by interior stabilization, relative stabilization, and the relative double twist, which we introduce in this paper as a trisection version of one of Piergallini and Zuddas's moves on open book decompositions. Previously, it was only known (by Gay and Kirby) that relative trisections inducing equivalent open books on $X$ are related by interior stabilizations.

연구 동기 및 목표

• 경계를 가진 컴팩트 4차원 다각체에 대해 클라이버와 톰슨의 닫힌 4차원 다각체에 대한 불변량을 일반화한 상대적 $τ$-불변량을 정의하는 것.
• 유리수 호모로지 볼 중에서 상대적 $τ$-불변량의 소멸 조건을 통해 4차원 볼 $B^4$를 특성화하는 것.
• 같은 4차원 다각체의 두 상대 트리세션을 연결하는 데 사용할 수 있는 완전한 이동 집합—내부 안정화, 상대 안정화, 상대 이중 휘감기—을 개발하는 것.
• 상대 트리세션 다이어그램을 통해 경계 연결 합의 4차원 다각체에 대한 트리세션을 구성할 수 있도록, 무라수기 합을 수행하는 알고리즘을 제공하는 것.
• 상대적 $τ$-불변량이 경계에 유도된 오픈 북의 모노드로미와 어떻게 관련되어 있는지, 특히 아크 복합체에서의 이동 거리 측면에서 설명하는 것.

제안 방법

• 모든 상대 트리세션 다이어그램에 대해 트리세션 표면의 컷 복합체에서의 최소 경로 길이로 상대적 $τ$-불변량 $r\mathcal{L}(X)$를 정의한다.
• 세 가지 불변량인 $r\mathcal{L}(X)$, $r\mathcal{L}^\partial(X)$, $r\mathcal{L}^\circ(X)$를 도입하여 각각 전체 다각체, 경계, 내부의 복잡도를 측정한다.
• 상대 이중 휘감기 이동을 정의하여, 경계에 유도된 오픈 북의 모노드로미를 조작할 수 있는 트리세션 수준의 해라 트위스트의 유사체를 제공한다.
• 두 상대 트리세션된 4차원 다각체를 무라수기 합을 통해 접합하는 명시적 알고리즘을 구축하여 경계에 유도된 오픈 북의 구조를 유지한다.
• 부분표면 투영과 아크 복합체 거리 기반으로 $r\mathcal{L}^\partial(\mathcal{T})$를 다각체 경계에 유도된 오픈 북의 모노드로미 맵 $\phi$의 안정 이동 거리와 연결한다.
• 아크 복합체와 드레인 트위스트 분해의 결과를 응용하여, 고정된 계수에서 임의로 큰 $r\mathcal{L}^\partial$를 가진 상대 트리세션의 예를 구성한다.

실험 결과

연구 질문

• RQ1 유리수 호모로지 볼 $X$에 대해 상대적 $τ$-불변량 $r\mathcal{L}(X)$가 0이 되는 조건은 무엇인가?
• RQ2 4차원 다각체의 상대 트리세션은 어떤 유한한 이동 집합을 통해 상호 연결될 수 있는가?
• RQ3 4차원 다각체의 무라수기 합은 트리세션 다이어그램을 통해 실현될 수 있는가? 만약 그렇다면, 어떻게?
• RQ4 상대적 $τ$-불변량은 경계에 유도된 오픈 북의 모노드로미의 위상적 복잡도와 어떻게 관련되어 있는가?
• RQ5 고정된 계수를 가진 상대 트리세션은 임의로 큰 상대적 $τ$-불변량을 가질 수 있는가?

주요 결과

• 유리수 호모로지 볼 $X$에 대해 $r\mathcal{L}(X) = 0$이 되는 것은 $X \cong B^4$와 동치이며, 클라이버와 톰슨의 닫힌 경우 결과를 일반화한다.
• 모든 $n \in \mathbb{N}$에 대해 $r\mathcal{L}(X) \geq n$인 4차원 다각체 $X$가 존재함을 보여, 이 불변량이 임의로 클 수 있음을 시사한다.
• $(g,k;p,b)$-상대 트리세션 $\mathcal{T}$에 대해 $r\mathcal{L}^\partial(\mathcal{T}) \leq 1$이면 $\partial X \cong \#_{2p+b-1} S^1 \times S^2$임을 보여준다.
• $r\mathcal{L}^\partial(\mathcal{T}) < 2(2p+b-1)$이면 $\partial X$는 $S^1 \times S^2$ 합성의 성분을 가진다.
• 모든 $n \in \mathbb{N}$과 고정된 $p,b$에 대해 $2p + b - 1 > 1$이면, $r\mathcal{L}^\partial(\mathcal{T}_n) > n$인 상대 트리세션 $\mathcal{T}_n$이 존재하며, 이때 $H_1(\partial X_n; \mathbb{Z})$는 균일하게 유계이다.
• 상대적 $τ$-불변량은 $r\mathcal{L}^\partial(\mathcal{T}) \geq \frac{1}{3}(2p + b - 1) d_e(\phi)$를 만족하며, 여기서 $d_e(\phi)$는 경계에 유도된 오픈 북의 모노드로미 $\phi$의 이동 거리이다.