[논문 리뷰] Odd Khovanov homology for tangles

Grégoire Naisse, Krzysztof K. Putyra|arXiv (Cornell University)|2020. 03. 31.

Algebraic structures and combinatorial models참고 문헌 24인용 수 4

한 줄 요약

이 논문은 비결합성 구조를 가진 비정상적인 아크 대수의 비결합성 문제를 해결하기 위해, 3-코호몰로지가 있는 범주 위에 그레이딩된 준결합 대수와 이중모듈러를 사용하여, 비정상적인 코호몰로지 호몰로지 이론을 트링크에서 트링크로 확장한다. 이는 코어빙 버전의 수준 2 순환 반 2-카크-무디 대수의 2행렬 작용을 통해 비정상적인 코호몰로지 트링크 불변량을 복원하며, 바즈의 구성과의 호환성과 트링크 불변량의 접합 성질을 입증한다.

ABSTRACT

We extend the covering of even and odd Khovanov link homology to tangles, using arc algebras. For this, we develop the theory of quasi-associative algebras and bimodules graded over a category with a 3-cocycle. Furthermore, we show that a covering version of a level 2 cyclotomic half 2-Kac--Moody algebra acts on the bicategory of quasi-associative bimodules over the covering arc algebras, relating our work to a construction of Vaz.

연구 동기 및 목표

• 비정상적인 아크 대수의 비결합성 문제를 해결하여, 표준적인 이중모듈러 텐서곱을 통한 트링크 불변량 정의를 가능하게 한다.
• 3-코호몰로지(연결자)가 있는 범주 위에 그레이딩된 준결합 대수와 이중모듈러의 이론을 개발하여, 비정상적인 설정에서의 일관된 트링크 접합을 가능하게 한다.
• 준결합 이중모듈러의 그레이딩 이동 함수계를 구성하여, 슈퍼범주 부호 이동의 일반화를 이룬다.
• 기록적 코보르디즘 2범주에서 준결합 이중모듈러의 이중범주로의 G-그레이딩된 2함수를 구성하여 트링크 불변량을 도출한다.
• 이 구성이 링크에 대해 비정상적인 코호몰로지 호몰로지 이론을 복원하며, 순환 반 2-카크-무디 대수의 2행렬 작용을 통해 바즈의 비정상적인 트링크 불변량과 일치함을 보인다.

제안 방법

• 평탄한 트링크와 Z×Z 그레이딩으로 표시된 사상이 있는 G-그레이딩된 트링크 범주를 도입하여 아크 대수의 일관된 그레이딩을 가능하게 한다.
• 3-코호몰로지가 있는 범주 위에 준결합 대수와 이중모듈러를 정의하여, 알부르크스키-마지드의 프레임워크를 비결합성 구조를 다룰 수 있도록 일반화한다.
• 그레이딩 범주 위에 이동 2계를 구성하여, 그레이딩 이동 함수를 모델링하고 슈퍼범주 이동 함수의 일반화를 이룬다.
• 기록적 코보르디즘 2범주에서 커버링 아크 대수 위의 준결합 이중모듈러의 이중범주로의 G-그레이딩된 2함수 FL을 정의한다.
• FL이 G-그레이딩된 2함수로서 조건 일관성(유니터 및 결합자 다이어그램)을 만족함을 증명하여 트링크 접합과의 호환성을 확보한다.
• R = Z[X,Y,Z±1]/(X²=Y²=0) 위의 커버링 아크 대수를 X=Z=1, Y=−1로 특수화하여 비정상적인 코호몰로지 호몰로지 이론을 복원하고, 바즈의 트링크 불변량과의 일치를 보인다.

실험 결과

연구 질문

• RQ1 비정상적인 아크 대수의 비결합성 문제로 인해 트링크로의 비정상적인 코호몰로지 호몰로지 이론을 어떻게 확장할 수 있는가?
• RQ2 3-코호몰로지가 존재하는 상황에서 어떤 대수적 구조가 결합성을 일반화하여 비정상 설정에서 일관된 트링크 접합을 가능하게 하는가?
• RQ3 준결합 이중모듈러에 대해 어떤 식으로 그레이딩 이동 함수를 정의할 수 있으며, 비자명한 그레이딩을 가진 트링크 불변량을 모델링할 수 있는가?
• RQ4 순환 반 2-카크-무디 대수의 2행렬 작용이 준결합 이중모듈러 위에 정의된 경우, 바즈의 비정상적인 트링크 불변량을 복원하는가?
• RQ5 G-그레이딩된 2함수 FL이 완전 충실한가? 이는 새로운 트링크 불변량과 바즈의 구성 간의 동치성을 암시하는가?

주요 결과

• 논문은 3-코호몰로지가 있는 그레이딩 범주 위에 준결합 이중모듈러를 사용하여 트링크에 대한 커버링 버전의 비정상적인 코호몰로지 호몰로지 이론을 구성하였으며, 비정상적인 아크 대수의 비결합성 문제를 해결하였다.
• 기록적 코보르디즘 2범주에서 준결합 이중모듈러의 이중범주로의 G-그레이딩된 2함수 FL이 정의되었으며, 2함수로서의 모든 조건 일관성 조건을 만족한다.
• 이 구성은 접합 성질을 만족한다: Kh(T′) ⊗Hn Kh(T) ≅ Kh(T′T)이며, 짝수 설정에서의 일반화를 비정상 설정으로 확장한다.
• 커버링 아크 대수를 X=Z=1, Y=−1로 특수화하면 링크에 대해 비정상적인 코호몰로지 호몰로지 이론과 일치하는 트링크 불변량을 얻는다.
• 순환 비정상 반 2-카크-무디 대수의 2행렬 작용이 준결합 이중모듈러의 이중범주 위에 정의되었을 때, 바즈의 구성에서의 1-형식 복합체를 재현한다.
• 저자들은 2함수 FL이 완전 충실하다는 추측을 제기하며, 이는 바즈의 트링크 불변량이 새로운 비정상 코호몰로지 트링크 불변량과 동치임을 암시한다.