[논문 리뷰] Dualizable link homology

Alexei Oblomkov, Lev Rozansky|arXiv (Cornell University)|2019. 05. 16.

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

한 줄 요약

이 논문은 다항식환 R(L) = C[x₁,y₁,…,xℓ,yℓ] 위에서 정의된 이중가능한 삼중으로 분류된 링크 호모로지 이론 HXY(L)를 소개한다. 이 이론은 xᵢ ↔ yᵢ를 교환하고 q를 역수로 만드는 푸리에 대칭 함수자 F를 지닌다. 이 이론은 q → 1/q에 대한 카테고리적 대칭성을 만족하며, 임의의 뭉치의 슈퍼다항식이 팰린드롬임을 증명한다: PK(a,q,t) = PK(a,t⁻¹,t). 이는 이전의 구성들을 확장하며, HOMFLY-PT 다항식의 대칭성에 대한 카테고리화를 제공한다.

ABSTRACT

We modify our previous construction of link homology in order to include a natural duality functor $\mathfrak{F}$. To a link $L$ we associate a triply-graded module $HXY(L)$ over the graded polynomial ring $R(L)=\mathbb{C}[x_1,y_1,\dots,x_\ell,y_\ell]$. The module has an involution $\mathfrak{F}$ that intertwines the Fourier transform on $R(L)$, $\mathfrak{F}(x_i)=y_i$, $\mathfrak{F}(y_i)=x_i$. In the case when $\ell=1$ the module is free over $R(L)$ and specialization to $x=y=0$ matches with the triply-graded knot homology previously constructed by the authors. Thus we show that the corresponding super-polynomial satisfies the categorical version of $q o 1/q$ symmetry. We also construct an isotopy invariant of the closure of a dichromatic braid and relate this invariant to $HXY(L)$.

연구 동기 및 목표

• 다항식환 R(L) 위에서 Tq,t-작용을 갖는 모듈의 유도 범주 Dper_Tq,t(RpL))를 정의한다.
• 이 범주 위에 작용하는 푸리에 함수자 F를 도입하며, F(xᵢ) = yᵢ, F(yᵢ) = -xᵢ, F(q) = tq⁻¹, F(t) = t로 정의한다.
• 이중색 브레이드 β의 닫힘에 대응하는 유도 범주의 객체 EpL(β))를 구성한다. 이는 이중색 브레이드의 군족에서 행렬 인자화 범주로의 준동형을 통해 이루어진다.
• EpL(β))가 마크로프 이동과 푸리에 함수자 F에 대해 불변임을 증명하며, 따라서 F(EpL)) ≅ EpL)임을 보인다.
• 전역 단면을 적용하여 호모로지 모듈 HXY(L) = RΓ(EpL))를 얻는다. 이는 대칭 구조와 팰린드롬 적분을 상속받는다.
• 행렬 인자화 위에서 추적 함수자를 적용하여 닫힐 수 있는 이중색 브레이드에 대한 불변량을 정의하고, 닫힘의 동치 불변성을 증명한다.

제안 방법

• RpL) = C[x₁,y₁,…,xℓ,yℓ] 위에서 Tq,t-작용을 갖는 RpL)-모듈의 유도 범주 Dper_Tq,t(RpL))를 정의한다.
• 이 범주 위에 작용하는 푸리에 함수자 F를 도입하며, F(xᵢ) = yᵢ, F(yᵢ) = -xᵢ, F(q) = tq⁻¹, F(t) = t로 정의한다.
• 이중색 브레이드 β의 닫힘에 대응하는 유도 범주의 객체 EpL(β))를 구성한다. 이는 이중색 브레이드의 군족에서 행렬 인자화 범주로의 준동형을 통해 이루어진다.
• EpL(β))가 마크로프 이동과 푸리에 함수자 F에 대해 불변임을 증명하며, 따라서 F(EpL)) ≅ EpL)임을 보인다.
• 전역 단면을 적용하여 호모로지 모듈 HXY(L) = RΓ(EpL))를 얻는다. 이는 대칭 구조와 팰린드롬 적분을 상속받는다.
• 행렬 인자화 위에서 추적 함수자를 적용하여 닫힐 수 있는 이중색 브레이드에 대한 불변량을 정의하고, 닫힘의 동치 불변성을 증명한다.

실험 결과

연구 질문

• RQ1 논문 [OR18d]에서 유도된 삼중으로 분류된 뭉치 호모로지 이론이 카테고리적 q → 1/q 대칭성을 갖는가? 이는 기존의 HOMFLY-PT 다항식의 대칭성을 카테고리화하는가?
• RQ2 R(L) 위의 모듈 유도 범주에 대해, 푸리에 변환과 상호작용하고 링크 불변량을 유지하는 대칭 함수자 F를 정의할 수 있는가?
• RQ3 t → t⁻¹ 변환 하에서 어떤 뭉치의 슈퍼다항식이 팰린드롬인가? 이때 q와 a는 고정되어 있다.
• RQ4 확대된 호모로지 HXY(L)는 y=0로 특수화할 경우 원래의 삼중으로 분류된 호모로지 HpL)을 회복하는가? 그리고 뭉치에 대해 HXY(L)가 R(L) 위에서 자유이고 유한한가?
• RQ5 닫힐 수 있는 이중색 브레이드의 링크 불변량은 행렬 인자화 위에서 추적 함수자를 통해 구성될 수 있으며, 이 불변량이 동치 불변임을 증명할 수 있는가?

주요 결과

• 임의의 뭉치 K에 대해 슈퍼다항식 PK(a,q,t) = PK(a,t⁻¹,t)를 만족하며, 이는 [DGR06]에서 제안된 팰린드롬 대칭성의 증명이다.
• 링크 닫힘에 대응하는 유도 범주 객체 EpL)은 푸리에 함수자 F에 대해 불변이며, 즉 F(EpL)) ≅ EpL)임을 보였다.
• 뭉치의 경우, 모듈 HXY(K)는 R(K) = C[x,y) 위에서 자유이고 유한하며, y=0로 특수화하면 원래의 삼중으로 분류된 호모로지 HpK)로 복원된다.
• 닫힐 수 있는 이중색 브레이드 β에 대한 행렬 인자화 불변량의 추적은 Dper(Cℓ)에 속하는 동치 불변량 T r(β)를 생성하며, 이는 EpL(β))의 유도 전역 단면과 동형이다.
• β가 순수 브레이드일 경우, 불변량 T r(β)는 A∞-변형을 통한 그 dg 코herent sheaf 범주의 기하학적 구조와 관련이 있을 것으로 추측된다.
• 논문은 필터링된 D-모듈 복합체 ˜EpL(β))가 존재하며, 이의 관련 복합체가 EpL(β))를 회복할 것이라 추측한다. 이는 링크 불변량의 양자화를 시사한다.