[논문 리뷰] On definite strongly quasipositive links and L-space branched covers

M. Boileau, Steven Boyer외 1명|arXiv (Cornell University)|2018. 11. 21.

Geometric and Algebraic Topology참고 문헌 25인용 수 3

한 줄 요약

이 논문은 L-공간을 가지는 순환 분지 덮개를 가진 확정적인 강력한 쿼드포지티브 링크를 특성화하며, BKL-지수 k(L) ≥ 2일 때 이러한 링크는 정확히 단순 끈형 아보레센트 링크—토루스 링크 T(2,q), T(3,4), T(3,5), 그리고 프리텔 링크 P(−2,2,m), P(−2,3,4)—임을 보여준다. 또한, 브레이드 지수 2 또는 3인 소수 강력한 쿼드포지티브 링크에 대해, 순환 분지 덮개가 L-공간임은 정확히 단순 끈형 아보레센트 링크 또는 몬테스inos 링크 M(1;1/p,1/q,1/r)일 때에만 성립하며, 어떤 Σₙ(L)이 L-공간이면 Σ₂(L)도 L-공간임을 확인한다. 유일한 예외는 세 개의 링크로, 그 상태는 아직 미결정이다.

ABSTRACT

We investigate the problem of characterising the family of strongly quasipositive links which have definite symmetrised Seifert forms and apply our results to the problem of determining when such a link can have an L-space cyclic branched cover. In particular, we show that if $\delta_n = \sigma_1 \sigma_2 \ldots \sigma_{n-1}$ is the dual Garside element and $b = \delta_n^k P \in B_n$ is a strongly quasipositive braid whose braid closure $\widehat b$ is definite, then $k \geq 2$ implies that $\widehat b$ is one of the torus links $T(2, q), T(3,4), T(3,5)$ or pretzel links $P(-2, 2, m), P(-2,3,4)$. Applying Theorem 1.1 of our previous paper we deduce that if one of the standard cyclic branched covers of $\widehat b$ is an L-space, then $\widehat b$ is one of these links. We show by example that there are strongly quasipositive braids $\delta_n P$ whose closures are definite but not one of these torus or pretzel links. We also determine the family of definite strongly quasipositive $3$-braids and show that their closures coincide with the family of strongly quasipositive $3$-braids with an L-space branched cover.

연구 동기 및 목표

• 강력한 쿼드포지티브 링크의 가역 대칭 세이페르트 형식과 L-공간 순환 분지 덮개를 가진 링크의 가족을 특성화하기 위해.
• 강력한 쿼드포지티브 링크 중에서 순환 분지 덮개가 L-공간이 되는 링크를 특정하기, 특히 낮은 브레이드 지수에서.
• 브레이드 지수 2 또는 3인 링크에 대해 추측 1.2를 해결하기 위해, L-공간 분지 덮개를 갖는 링크는 정확히 단순 끈형 아보레센트 링크 또는 특정 몬테스inos 링크일 뿐임을 증명하기 위해.
• BKL-지수 k(L)가 이러한 링크를 분류하는 데서 어떤 역할을 하는지 조사하고, k(L) ≥ 2가 핵심적인 식별 조건임을 보여주기 위해.

제안 방법

• BKL-양성 브레이드 표현을 사용하고, 링크가 δₙᵏP의 닫힘임을 만족하는 최대 k에 대해 BKL-지수 k(L)를 정의한다.
• 논문 [BBG]의 정리 1.3을 적용하여, L-공간 분지 덮개를 가진 강력한 쿼드포지티브 링크는 반드시 확정적이어야 함을 보여준다.
• 다이노프 다이어그램(Aₘ, Dₘ, E₆, E₇, E₈)과 관련 링크(토루스 및 프리텔 링크)를 통한 단순 끈형 아보레센트 링크의 분류를 활용한다.
• 분지 덮개가 L-공간이 되는지 여부를 판단하기 위해 앨리거스터 다항식과 그 근의 조건을 분석하며, 특히 Re(ζ) > cos(2π/n) 조건을 만족하는 근 ζ에 초점을 맞춘다.
• 세이페르트 섬유화된 공간의 불변량과 오일러 지표 계산을 통해 공면이 있는 타우털 폴리에이션을 배제함으로써 L-공간 상태를 확인한다.
• 브레이드 지수 2 및 3 링크에 대해 사례별 분석을 수행하며, 특정 링크에 대해 알려진 결과와 컴퓨터 계산을 통해 Σₙ(L)의 L-공간 상태를 검증한다.

실험 결과

연구 질문

• RQ1 확정적인 대칭 세이페르트 형식을 가진 강력한 쿼드포지티브 링크 중에서 L-공간 순환 분지 덮개를 가지는 링크는 무엇인가?
• RQ2 소수 강력한 쿼드포지티브 링크 중에서 어떤 링크가 n ≥ 2인 어떤 n에 대해 Σₙ(L)이 L-공간이 되는가?
• RQ3 BKL-지수 k(L) ≥ 2를 사용하여 L-공간 분지 덮개를 가지는 링크의 가족을 완전히 특성화할 수 있는가?
• RQ4 브레이드 지수 2 또는 3인 강력한 쿼드포지티브 링크의 모든 L-공간 분지 덮개는 Σᵣ(L)가 모든 2 ≤ r ≤ n에 대해 L-공간이 되는가?
• RQ5 6₂², 6₂³, 7₁³ 세 개의 예외 링크에 대해 중간 단계의 분지 덮개 Σₙ(L)가 L-공간인지 여부는 어떻게 되는가?

주요 결과

• 강력한 쿼드포지티브 브레이드 닫힘 bb가 확정적이고 δₙᵏP로부터 유도되며 k ≥ 2일 경우, bb는 T(2,q), T(3,4), T(3,5), P(−2,2,m), 또는 P(−2,3,4) 중 하나이다.
• BKL-지수 k(L) ≥ 2인 소수 강력한 쿼드포지티브 링크에 대해, 어떤 n ≥ 2에 대해 Σₙ(L)이 L-공간이 되는 것은 정확히 단순 끈형 아보레센트 링크일 때에만 성립한다.
• 브레이드 지수 2 또는 3인 비분리적이고 비자명한 강력한 쿼드포지티브 링크에 대해, Σ₂(L)가 L-공간이 되는 것은 정확히 단순 끈형 아보레센트 링크 또는 몬테스inos 링크 M(1;1/p,1/q,1/r)일 때에만 성립한다.
• 브레이드 b(1,1,1)의 닫힘은 모든 n에 대해 Σₙ(L)이 L-공간임을 보여주며, 이는 세이페르트 섬유화된 공간 불변량과 오일러 지표 추론을 통해 확인된다.
• 6₂², 6₂³, 7₁³ 링크에 대해, 중간 단계의 분지 덮개 Σₙ(L)가 L-공간인지 여부는 아직 미결정이며, 부분적인 결과만 알려져 있다: Σ₃(L)은 L-공간일 수도 있고 아닐 수도 있고, Σ₄(L) 역시 마찬가지로 불확실하다.
• 논문은 6₂², 6₂³, 7₁³를 제외한 모든 경우에서 Σₙ(L)이 모든 2 ≤ r ≤ n에 대해 L-공간임을 확인하였으며, 나머지 경우가 전체 성질을 만족할 수 있는 정확한 조건을 제시한다.