[논문 리뷰] Higher representations and cornered Heegaard Floer homology

Andrew Manion, Raphaël Rouquier|arXiv (Cornell University)|2020. 09. 21.

Geometric and Algebraic Topology참고 문헌 12인용 수 9

한 줄 요약

이 논문은 초리 군 𝔤𝔩(1|1)⁺의 양의 부분에 대한 2표현 이론을 개발하며, 표면 접합을 모델링하는 2표현의 텐서곱 구조를 구축한다. 표면 접합 연산과 2표현의 텐서곱 간의 대응을 확립함으로써, 헤가드-플로어 이론을 차원 1로 확장하고, 4차원 TQFT를 위한 호모토피적 구조를 포함하지 않는 프레임워크를 제공한다.

ABSTRACT

We develop the 2-representation theory of the odd one-dimensional super Lie algebra $gl(1|1)^+$ and show it controls the Heegaard-Floer theory of surfaces of Lipshitz, Ozsváth and Thurston. Our main tool is the construction of a tensor product for 2-representations. We show it corresponds to a gluing operation for surfaces, or the chord diagrams of arc decompositions. This provides an extension of Heegaard-Floer theory to dimension one, expanding the work of Douglas, Lipshitz and Manolescu.

연구 동기 및 목표

• 호모토피적 복잡성 없이 초리 군 𝔤𝔪(1|1)⁺의 양의 부분에 대한 2표현 이론을 개발하기 위해.
• 헤가드-플로어 이론에서 표면 접합 연산과 대응하는 2표현의 텐서곱 구조를 구축하기 위해.
• 곡선에 관련된 미분 범주 위에 2표현을 실현함으로써, 빗변 헤가드-플로어 이론을 차원 2에서 차원 1으로 확장하기 위해.
• 활분해에서 유도된 현수도와 2표현의 텐서곱 간의 대응을 확립하기 위해.
• 크레인-프렌켈의 제안에 영감을 받아 𝔤𝔪(1|1)⁺를 기반으로 하는 4차원 TQFT를 위한 대수적 프레임워크를 제공하기 위해.

제안 방법

• 특성 2의 노일 하이커 대수와 미분을 포함하는 모노이드 미분 범주 𝒰로 구성된, 미분 범주 위에 작용하는 2표현의 2범주를 정의한다.
• 유연한 준형사상과 미분 범주 위의 교환 가능한 2표현 구조를 사용하여 2표현의 텐서곱을 구성한다.
• 2표현에 대한 대각선 작용과 쌍대 대각선 작용을 통해 표면 접합을 모델링하며, 이는 열린 패aires를 부착하는 것과 대응한다.
• 특이 곡선과 관련된 스트랜드 대수를 사용하여 2표현을 실현하며, 곡선의 끝부분이 경계 자료를 코딩한다.
• 스트랜드 범주 위의 작용을 통해 곡선 접합과 2표현의 텐서곱 간의 대응을 확립한다.
• 크호바노프의 모노이드 범주 𝒰를 활용하여, 그 코호몰로지 군이 𝔤𝔪(1|1)⁺의 보편 포락 대수와 동형임을 이용하여 2표현 프레임워크를 정의한다.

실험 결과

연구 질문

• RQ1 호모토피적 구조에 의존하지 않고, 𝔤𝔪(1|1)⁺의 양의 부분에 대한 2표현 이론을 어떻게 개발할 수 있는가?
• RQ2 2표현의 텐서곱의 대수적 구조는 무엇이며, 이는 위상수학적 접합 연산을 어떻게 모델링하는가?
• RQ3 표면의 호 분해에서 유도된 현수도는 2표현의 텐서곱과 어떻게 대응하는가?
• RQ4 미분 범주 위의 2표현 프레임워크는 빗변 헤가드-플로어 이론에서 표면의 접합을 어떻게 실현할 수 있는가?
• RQ5 스트랜드 대수는 2표현과 그 텐서곱 구조를 어떻게 코딩하는가?

주요 결과

• 일반적인 카크-무디 대수와 달리, 호모토피적 복잡성이 없는 𝔤𝔪(1|1)⁺의 2표현 이론이 구축되었으며, 이는 구체적인 대수적 프레임워크를 가능하게 한다.
• 유연한 준형사상과 교환 가능한 작용을 통해 2표현의 텐서곱 구조가 정의되며, 이는 표면 접합 연산과 대응한다.
• 경계 간격을 따라 두 표면을 접합하는 것은 그에 대응하는 2표현의 텐서곱으로 모델링되며, 이는 스트랜드 대수를 통해 실현된다.
• 모노이드 범주 𝒰가 미분 범주 위에 작용함으로써, 빗변 헤가드-플로어 불변량을 곡선 수준에서 코딩하는 2표현이 실현된다.
• 이 구성은 헤가드-플로어 이론을 차원 1로 확장하는 호모토피적 요소를 포함하지 않는 2카테고리적 확장이며, 4차원 TQFT 프레임워크를 지원한다.
• 스트랜드 대수의 구조와 그 미분 모듈을 통해 현수도와 2표현의 텐서곱 간의 대응이 확립된다.