[논문 리뷰] An sl_n stable homotopy type for matched diagrams

Dan Jones, Andrew Lobb외 1명|arXiv (Cornell University)|2015. 06. 25.

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

한 줄 요약

이 논문은 방향이 반대이고 짝수 개의 교차점을 가진 열린 2브레드로 구성된 매칭 다이어그램—즉, 서로 연결된 2브레드로 이루어진 루프 다이어그램—에 대해 $ɑ\mathfrak{sl}_n$ 안정 호모토피 유형을 구축한다. 이는 $n=2$일 때 기존의 Lipshitz-Sarkar 안정 호모토피 유형을 복원하고, $n\geq3$일 때는 그 코homology가 $\mathfrak{sl}_n$ Khovanov-Rozansky 코homology를 복원한다. 명시적인 계산을 통해 $\mathfrak{sl}_3$에서 $\mathbb{C}\mathbf{P}^2$와 $\mathfrak{sl}_4$에서 이전에 발견되지 않았던 합성합을 포함한 새로운 안정 호모토피 유형이 드러났다.

ABSTRACT

There exists a simplified Bar-Natan Khovanov complex for open 2-braids. The Khovanov cohomology of a knot diagram made by gluing tangles of this type is therefore often amenable to calculation. We lift this idea to the level of the Lipshitz-Sarkar stable homotopy type and use it to make new computations. Similarly, there exists a simplified Khovanov-Rozansky sl_n complex for open 2-braids with oppositely oriented strands and an even number of crossings. Diagrams made by gluing tangles of this type are called matched diagrams, and knots admitting matched diagrams are called bipartite knots. To a pair consisting of a matched diagram and a choice of integer n >= 2, we associate a stable homotopy type. In the case n = 2 this agrees with the Lipshitz-Sarkar stable homotopy type of the underlying knot. In the case n >= 3 the cohomology of the stable homotopy type agrees with the sl_n Khovanov-Rozansky cohomology of the underlying knot. We make some consistency checks of this sl_n stable homotopy type and show that it exhibits interesting behaviour. For example we find a CP^2 in the sl_3 type for some diagram, and show that the sl_4 type can be interesting for a diagram for which the Lipshitz-Sarkar type is a wedge of Moore spaces.

연구 동기 및 목표

• 기존의 Lipshitz-Sarkar 구성이 $n=2$를 초월하여 $\mathfrak{sl}_n$ Khovanov-Rozansky 코homology에 대해 안정 호모토피 유형을 일반화할 수 있도록 개발한다.
• 높은 $\mathfrak{sl}_n$ 불변량의 계산 과제를 해결하기 위해 간소화된 복합체를 갖는 매칭 다이어그램으로 제한한다.
• 접합된 타앵글 다이어그램에서 유도된 프레임된 플로우 카테고리를 구성하여, Cohen-Jones-Segal 기법을 통해 안정 호모토피 유형을 실현한다.
• 기존 불변량(예: 두 번째 스틴로드 스퀘어와 정수 코homology)과의 일致성을 확인함으로써 구성의 일致성을 검증한다.
• 예를 들어 $T_{4,7}$와 $P(2,-3,5)$와 같은 루프에 대해 새로운 안정 호모토피 유형 계산을 가능하게 하고, 이전에 발견되지 않았던 합성합을 드러낸다.

제안 방법

• 매칭 다이어그램을 정의한다: 방향이 반대이고 짝수 개의 교차점을 가진 열린 2브레드로 이루어진 링크 다이어그램으로, $n\geq2$에 대해 간소화된 $\mathfrak{sl}_n$ 복합체를 갖는다.
• Lipshitz-Sarkar 접근법을 일반화하기 위해 'sock 플로우 카테고리'와 그 커버링을 사용하여 타앵글 분해로부터 프레임된 플로우 카테고리를 구성한다.
• 프레임된 플로우 카테고리에 Cohen-Jones-Segal 구성법을 적용하여, 그 코homology가 $\mathfrak{sl}_n$ Khovanov-Rozansky 코homology를 복원하는 안정 호모토피 유형을 생성한다.
• 장애 이론과 프레임 할당을 사용하여 플로우 카테고리가 안정 호모토피 유형 구성과 잘 맞는지 보장한다.
• 안정 호모토피 유형의 두 번째 스틴로드 스퀘어를 계산하여, 비영인 $\mathrm{Sq}^2$를 갖는 양자 차수에서 비자명한 위상이 존재하는지 탐지한다.
• 스틴로드 대수 작용과 정수 코homology 자료를 분류 정리(예: Baues-Hennes)와 결합하여 안정 호모토피 유형의 불가약한 합성합을 식별한다.

실험 결과

연구 질문

• RQ1 Lipshitz-Sarkar 구성이 $n=2$를 초월하여 $\mathfrak{sl}_n$ Khovanov-Rozansky 코homology에 대해 안정 호모토피 유형을 일반화할 수 있는가?
• RQ2 매칭 다이어그램에 대해 안정 호모토피 유형은 어떻게 행동하며, 모든 경우에서 올바른 $\mathfrak{sl}_n$ 코homology를 복원하는가?
• RQ3 $n\geq3$일 때 $\mathfrak{sl}_n$ 안정 호모토피 유형에서 어떤 새로운 위상적 특징이 나타나며, $n=2$의 경우와 비교해 볼 때 어떻게 다른가?
• RQ4 두 번째 스틴로드 스퀘어와 정수 코homology 자료는 이전에 알려지지 않은 $\mathfrak{sl}_n$ 안정 호모토피 합성합을 탐지하는 데 사용될 수 있는가?
• RQ5 $n=2$일 때 안정 호모토피 유형이 무너진 모어 공간의 합집합이지만, $n\geq3$일 때는 그렇지 않은 루프가 존재하는가? 이는 더 풍부한 위상학적 성질을 나타낸다.

주요 결과

• 모든 $n=2$의 경우에, 구축된 안정 호모토피 유형은 Lipshitz-Sarkar 안정 호모토피 유형과 일致함을 확인하여 기존 사례와의 일致성을 입증한다.
• $\mathfrak{sl}_3$의 경우, $(3,4)$-토르스 루프의 안정 호모토피 유형은 $\mathbb{C}\mathbf{P}^2$ 합성합을 포함하며, 비자명한 위상학적 성질을 나타낸다.
• $(3,4)$-토르스 루프의 $\mathfrak{sl}_4$ 유형에서, 안정 호모토피 유형은 무너진 모어 공간의 합집합이 아니며, 정수 코homology는 $H_{-2}(\mathcal{X}^4_{-1}(D)) = \mathbb{Z} \oplus \mathbb{Z}/4$를 보이며, 추가 Bockstein 계산이 필요하다.
• $T_{4,7}$의 $\mathfrak{sl}_4$ 유형에서, 양자 차수 $q=29$에 새로운 합성합 $X(\eta 2, 5)$가 나타나며, 이는 이전에 Lipshitz-Sarkar 유형에서 발견되지 않았다.
• $T_{4,5}$의 $\mathfrak{sl}_4$ 유형에서, 양자 차수 $q=25$의 안정 호모토피 유형은 $X(\eta 4, 7)$로 식별되며, 이는 $n=2$의 경우에 존재하지 않는 이전에 발견되지 않았던 합성합이다.
• $T_{4,7}$과 $T_{4,5}$의 여러 $\mathfrak{sl}_n$ 안정 호모토피 유형에서 여러 양자 차수에서 비자명한 두 번째 스틴로드 스퀘어를 보이며, $X(_2\eta, 2)$와 $X(\eta 2, 5)$와 같은 합성합이 존재하여, 모어 공간을 초월한 비자명한 위상학적 성질을 확인한다.