[논문 리뷰] Khovanov-Rozansky homology and higher Catalan sequences

Matthew Hogancamp|arXiv (Cornell University)|2017. 04. 05.

Geometric and Algebraic Topology참고 문헌 22인용 수 20

한 줄 요약

이 논문은 특수 소르게르 이중모듈러스 복합체를 사용하여 무한한 토르스 끈과 링크의 삼중으로 분류된 코호몰로지, 특히 $(n,nm\pm1)$ 및 $(n,nm)$ 토르스 링크의 경우를 포함하여, 재귀적 방법을 제안한다. 주요 결과는 고르스키의 추측을 증명하고, 최근 칼슨과 멜리트에 의해 증명된 $m$-셔플 추측을 통해 대칭 함수와 연결된 코호몰로지에 기반하여 고르스키-오블로모브-라스무센-쉔데 추측을 확인한다.

ABSTRACT

We give a simple recursion which computes the triply graded Khovanov-Rozansky homology of several infinite families of knots and links, including the $(n,nm\pm 1)$ and $(n,nm)$ torus links for $n,m\geq 1$. We interpret our results in terms of Catalan combinatorics, proving a conjecture of Gorsky's. Our computations agree with predictions coming from Hilbert schemes and rational DAHA, which also proves the Gorsky-Oblomkov-Rasmussen-Shende conjectures in these cases. Additionally, our results suggest a topological interpretation of the symmetric functions which appear in the context of the $m$-shuffle conjecture of Haglund-Haiman-Loehr-Remmel-Ulyanov.

연구 동기 및 목표

• 무한한 토르스 끈과 링크의 삼중으로 분류된 코호몰로지의 재귀적 계산 방법을 개발한다.
• 고르스키의 추측을 증명한다: $(n,n+1)$ 토르스 끈의 코호몰로지 Poincaré 다항식의 최소 $a$-차수 부분이 $q,t$-카탈란 다항식 $C_n(q,t)$ 와 일치한다.
• 헤글룬드-하이먼-로엘-레멜-우리야노프의 $m$-셔플 추측에서 나타나는 대칭 함수의 위상적 해석을 링크 코호몰로지에 기반하여 수립한다.
• 새로운 재귀와 $\nabla^m e_n$에 관한 기존 결과를 사용하여 $(n,nm\pm1)$ 및 $(n,nm)$ 토르스 링크에 대해 고르스키-오블로모브-라스무센-쉔데 추측을 확인한다.

제안 방법

• 수열 $v \in \{0,1,\ldots,m\}^n$ 에 따라 인덱싱된 특수 소르게르 이중모듈러스 복합체 $\mathbf{C}_v^{(m)}$ 의 가닥을 도입한다.
• 기저 사례와 $m$ 미만 또는 $k$ 미만의 원소 수에 기반한 재귀 규칙을 사용하여 $q,t,a$ 에 관한 KR 다항식 $f_v^{(m)}$ 과 $g_v^{(m)}$ 의 재귀 공식을 개발한다.
• 홀 내적과 대칭 함수 위의 $\nabla^m$ 연산자를 사용하여 코호몰로지를 $\nabla^m e_n$ 과 $\nabla^m s_{i,1^{n-i}}$ 와 연결한다.
• 최근에 증명된 $m$-셔플 추측(Carlsson-Mellit)을 적용하여 코호몰로지 공식이 다이크 경로를 포함하는 대칭 함수 전개와 일치함을 보인다.
• 분류된 양적 대칭자와 루오퀴어 복합체를 활용하여 대수적 재귀를 링크의 위상적 불변량과 연결한다.
• GNR 대응을 통해 복합체의 KR 다항식과 해당 링크의 코호몰로지 Poincaré 다항식 사이의 대응을 수립한다.

실험 결과

연구 질문

• RQ1 $(n,nm+1)$ 토르스 끈의 삼중으로 분류된 코호몰로지의 Poincaré 다항식이 대칭 함수 표현 $\frac{1}{1-q}\sum_{k=0}^n \langle \nabla^m e_n, h_k e_{n-k} \rangle a^k$ 와 일치하는가?
• RQ2 $(n,nm)$ 및 $(n,nm\pm1)$ 토르스 링크의 코호몰로지를 소르게르 이중모듈러스 복합체에 대한 통일된 재귀 공식으로 계산할 수 있는가?
• RQ3 대칭 함수 $\nabla^m s_{i,1^{n-i}}$ 와 $\nabla^m p_n$ 에 대한 위상적 해석이 링크 코호몰로지의 관점에서 존재하는가?
• RQ4 $f_v^{(m)}$ 과 $g_v^{(m)}$ 의 재귀 공식이 $\nabla^m e_n$ 과 $m$-셔플 추측의 알려진 공식을 정확히 재현하는가?
• RQ5 소르게르 이중모듈러스 복합체의 조합적 그림자들이 $\nabla^m$ 연산자 아래에서 헬-리틀우드 또는 셀 함수로 식별될 수 있는가?

주요 결과

• $(n,nm+1)$ 토르스 끈의 KR 다항식은 $\frac{1}{1-q}\sum_{k=0}^n \langle \nabla^m e_n, h_k e_{n-k} \rangle a^k$ 로 주어지며, 이는 고르스키의 추측을 이 가닥에 대해 증명한다.
• 이 다항식의 $a^0$ 계수는 고차 $q,t$-카탈란 다항식 $C_n^{(m)}(q,t)$ 이며, $a^k$ 계수는 고차 $q,t$-슈뢰딩어 다항식이다.
• $g_v^{(m)}$ 의 재귀는 $(n,nm+1)$ 토르스 끈의 코호몰로지를 계산하며, 그 $g_{m^n}^{(m)}$ 항은 $m$-셔플 추측의 대칭 함수 전개와 일치한다.
• $g_v^{(m)}$ 의 공식은 링크 코호몰로지와 $\nabla^m$-작용 간의 추측적 대응, 특히 $\nabla^m s_{i,1^{n-i}}$ 에 대해 일관되다.
• 새로운 재귀와 $m$-셔플 정리에 기반하여 이 논문은 $(n,nm+1)$ 과 $(n,nm)$ 토르스 링크에 대해 고르스키-오블로모브-라스무센-쉔데 추측을 확인한다.
• 코호몰로지가 헬-리틀우드 함수와 $\nabla^m p_n$ 에 어떻게 연결되는지에 대한 추측을 제안하며, $m$-셔플 추측과 대칭 함수 항등식에 의해 지지된다.