[논문 리뷰] Excision of Skein Categories and Factorisation Homology

Juliet Cooke|arXiv (Cornell University)|2019. 10. 07.

Algebraic structures and combinatorial models인용 수 5

한 줄 요약

이 논문은 스케인 분류가 분할 조건을 만족함을 증명하여, 표면에 대한 k-선형 인수 분해 homology로 간주할 수 있음을 보장한다. 또한 스케인 분류의 자유 코컴pletation이 국소적으로 유한하게 표현 가능한 인수 분해 homology를 복원함을 보이며, 일반적인 양자군 매개변수를 가진 구멍이 있는 표면의 스케인 대수는 특성 다양체의 변형 양자화를 제공함을 보여준다.

ABSTRACT

We prove that the skein categories of Walker--Johnson-Freyd satisfy excision. This allows us to conclude that skein categories are $k$-linear factorisation homology and taking the free cocompletion of skein categories recovers locally finitely presentable factorisation homology. An application of this is that the skein algebra of a punctured surface related to any quantum group with generic parameter gives a quantisation of the associated character variety.

연구 동기 및 목표

• 스케인 분류가 인수 분해 homology 이론의 기본 성질인 분할 조건을 만족함을 확립하기 위해.
• 스케인 분류가 올림표면에 대해 k-선형 인수 분해 homology와 동치임을 보여주기 위해.
• 스케인 분류의 자유 코컴pletion이 국소적으로 유한하게 표현 가능한 인수 분해 homology를 복원함을 보여주기 위해.
• 구멍이 있는 표면의 스케인 대수와 일반적인 양자군 매개변수를 가진 경우가 특성 다양체의 변형 양자화임을 증명하기 위해.

제안 방법

• 스케인 분류에서 분할 조건을 정의하기 위해 k-선형 분류의 탐바라 상대 텐서곱을 사용함.
• 분할 조건과 보편 성질을 통한 인수 분해 homology의 특성화를 적용하여 스케인 분류와 비교함.
• 탐바라의 상대 텐서곱과 Cat×k 내의 컬리미트 기반 상대 텐서곱 간의 동치성을 확립함.
• 자유 및 코시 코컴플리션을 사용하여 스케인 분류를 국소적으로 유한하게 표현 가능한 분류와 연결함.
• 프로파르타 캐테고리와 컴팩트 프로젝티브 객체를 활용하여 스케인 분류의 코시 완비화를 식별함.
• 벤-즈비, 브로히어, 조던의 구멍이 있는 표면의 인수 분해 homology에 대한 결과를 양자군 계수로 적용함.

실험 결과

연구 질문

• RQ1 스케인 분류는 위상적 장비 이론의 의미에서 분할 조건을 만족하는가?
• RQ2 스케인 분류와 올림표면에 대한 k-선형 인수 분해 homology 사이에 동치가 존재하는가?
• RQ3 스케인 분류의 자유 코컴플리션은 국소적으로 유한하게 표현 가능한 인수 분해 homology로 식별될 수 있는가?
• RQ4 일반적인 양자군 매개변수를 가진 구멍이 있는 표면의 스케인 대수는 특성 다양체의 변형 양자화를 제공하는가?

주요 결과

• 스케인 분류는 탐바라의 상대 텐서곱에 대해 분할 조건을 만족하며, 존슨-프라이드의 추측을 확인함.
• 임의의 올림표면 Σ에 대해 스케인 분류 SkV(Σ)와 k-선형 인수 분해 homology ZCat×k(Σ) 사이에 자연스러운 동치가 존재함.
• 스케인 분류 SkA(Σ)의 자유 코컴플리션은 레이어 분류 A의 자유 완비화의 LFPk 인수 분해 homology ZLFPk(Σ)와 동치임을 보임.
• 스케인 분류의 코시 완비화는 LFPk 인수 분해 homology 내의 컴팩트 프로젝티브 객체의 전체 부분분류와 동치임을 보임.
• 구멍이 있는 표면의 스케인 대수 SkAlgRepfdq(G)(Σ)는 LFPk 인수 분해 homology ZLFPk(Σ)Repq(G)의 불변량 대수와 동형임을 증명하여, 이 대수가 특성 다양체 ChG(Σ)의 변형 양자화임을 입증함.
• ℂ× 내에서 1의 근이 아닌 일반적인 q ∈ ℂ×에 대해 스케인 대수 SkAlgRepfdq(G)(Σ)는 특성 다양체 ChG(Σ)의 변형 양자화임을 보이며, 양자 특성 다양체 이론의 요구 조건을 충족함.