[논문 리뷰] Isotopy invariants for closed braids and almost closed braids via loops in stratified spaces

Thomas Fiedler|ArXiv.org|2006. 06. 19.

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

한 줄 요약

이 논문은 브레이드의 계층적 공간에서의 고리들을 이용하여 고체 토러스 내의 닫힘 및 거의 닫힘 브레이드에 대한 새로운 호환성 불변량을 제안한다. 정규 고리들을 구성하고 그들이 코드리미니스터-일차 구조(삼중점과 접선점)와의 교차를 분석함으로써, 유한 타입의 일차 코호몰로지 불변량(유한 타입)과 비유한 타입이지만 다항 시간 내에 계산 가능한 특성 불변량(비유한 타입)을 정의한다. 이러한 불변량들은 양자 불변량이 감지하지 못하는 2성분 링크의 비역행성도 감지할 수 있다.

ABSTRACT

Let $ϕ: S^1 imes D^2 o S^1$ be the natural projection. An oriented knot $K\hookrightarrow V = S^1 imes D^2$ is called an almost closed braid if the restriction of $ϕ$ to K has exactly two (non-degenerate) critical points (and K is a closed braid if the restriction of $ϕ$ has no critical points at all). We introduce new isotopy invariants for closed braids and almost closed braids in the solid torus V. These invariants refine finite type invariants. They are still calculable with polynomial complexity with respect to the number of crossings of K. Let the solid torus V be standardly embedded in the 3-sphere and let A be the axis of the complementary solid torus $S^3\setminus V$. We give examples which show that our invariants can detect non-invertibility of 2-component links $K\cup A\hookrightarrow S^3$. Notice that all quantum link invariants fail to do so and that it is not known wether there are finite type invariants which can detect non-invertibility of 2-component links.

연구 동기 및 목표

• 고체 토러스 내의 닫힘 및 거의 닫힘 브레이드에 대해 다항 시간 복잡도를 갖는 계산 가능한 호환성 불변량을 개발한다.
• 유한 타입 불변량을 정교화하는 불변량을 도입함으로써 브레이드 동치 문제의 지수적 복잡도를 극복한다.
• 양자 불변량이 감지하지 못하는 2성분 링크 $K \bigcup A$ 의 비역행성도 감지할 수 있는 불변량을 구축한다.
• 호모토피적 및 호모로지적 도구를 사용하여 유한 타입 불변량 이론을 비유한 타입 불변량으로 확장한다.
• 트레이스 그래프와 분열 구조와의 가중 교차 수를 통한 불변량 계산 프레임워크를 제공한다.

제안 방법

• 닫힘 브레이드 $\hat{\beta}$ 와 호환성 있는 브레이드의 공간 $M(\hat{\beta})$ 를 정의하고, 삼중점과 자가접선점과 같은 코드리미니스터-일차 특이점으로 자연스럽게 계층화한다.
• 투영 $pr: V \to S^1 \times I$ 를 통해 $M(\hat{\beta})$ 내에 정규 고리 $rot(\hat{\beta})$ 를 구성하고, 이는 두꺼운 토러스 내의 트레이스 그래프 $TL(\hat{\beta})$ 를 유도한다.
• 가우스 다이어그램과 상대적 교차 위치를 사용하여 삼중점의 구조 $\Sigma^{(1)}(tri)$ 와의 가중 교차 수를 할당한다.
• 이러한 가중 교차 수로부터 도출된 유한 타입의 일차 코호몰로지 불변량을 정의하며, 이는 자동으로 표시된 4T관계를 만족한다.
• 특정 세 개의 컴포넌트를 포함하는 삼중점에 국한하여 특성 불변량을 도입한다. 이는 유한 타입이 아니지만 여전히 다항 시간 내에 계산 가능하다.
• 호모토피적 및 호모로지적 추정치(예: 정리 10)를 사용하여 특성 불변량의 절댓값을 통해 호모토피류의 $*$-길이를 유계화한다.

실험 결과

연구 질문

• RQ1 닫힘 브레이드에 대해 다항 시간 복잡도를 갖는 계산 가능한 호환성 불변량을 유한 타입 불변량을 정교화하여 구성할 수 있는가?
• RQ2 이러한 불변량이 양자 불변량이 감지하지 못하는 2성분 링크 $K \cup A$ 의 비역행성을 감지할 수 있는가?
• RQ3 비유한 타입이지만 계산 가능한 특성 불변량은 도함수 1차 불변량보다 링크를 구분하는 데 더 강력한가?
• RQ4 일차 매개변수를 갖는 닫힘 브레이드의 가중치 관계 수는 트레이스 그래프의 위상수학적 성질과 어떻게 관련되는가?
• RQ5 이 이론은 $\phi|_K$ 가 정확히 두 개의 임계점을 갖는 거의 닫힘 브레이드로 확장될 수 있는가?

주요 결과

• 도함수 $d$ 에 대해, 단어 길이 $c$ 와 함께 $n$-브레이드의 닫힘 브레이드에 대해 $d \geq c + n^2 - n - 1$ 이면 일차 코호몰로지 불변량이 0이 된다. 이는 유한 타입 불변량 내에 자연스러운 필터링을 나타낸다.
• 도함수 1차 특성 불변량은 닫힘 및 거의 닫힘 브레이드 모두에 대해 호환성 불변량이며, 양자 불변량이 감지하지 못하는 비역행성도 감지할 수 있다.
• $S = l \cdot \text{rot}(\hat{\sigma_2} \hat{\sigma_1}^{-1})$ 에 대해 $*$-길이는 $b([S]_{t-t}) = 4|l|$ 를 만족하며, 크기가 $\pm 1$ 인 여덟 개의 비자명한 도함수 1차 특성 불변량이 존재한다.
• 양성 및 음성 특성 불변량은 도함수 1차 불변량만으로는 감지하지 못하는 더 많은 정보를 포함한다. 예를 들어 $C^{\pm}_{(1,1)^-}(x_1,x_1,x_2) = 1$ 과 $C^{\pm}_{(2,2)^+}(x_2,x_2,x_1) = 1$ 의 예시에서 그러하다.
• 정규 고리 $rot(\hat{\beta})$ 는 $\Sigma^{(1)}(tan)$ 와 항상 접선이 아니므로, 수정된 트레이스 그래프의 연결 성분은 모두 호환성 불변량이 된다.
• 고차 특성 불변량은 고차 일차 코호몰로지 불변량과 유사하게 사용되어 호모토피류의 $*$-길이를 추정할 수 있으며, 정리 10의 유계화를 확장할 수 있다.