[논문 리뷰] Categorification and Dynamics in Generalised Braid Groups

Edmund Heng|arXiv (Cornell University)|2022. 01. 01.

Algebraic structures and combinatorial models인용 수 1

한 줄 요약

이 논문은 분류된 부르앙 표현을 통한 삼각 범주 위의 자동동치로 표현되는 일반화된 브레인 군의 랭크 두 개인 경우에 대해 니엘센-서턴 분류의 범주론적 동반체를 수립한다. 범주론적 엔트로피(질량 성장)를 사용하여 군 원소를 축약 가능, 주기적, 페시오-아노소프 유형으로 알고리즘적으로 분류하며, 페시오-아노소프 성장은 랭크 두 개의 행렬로부터 계산 가능하다.

ABSTRACT

Recent developments in the theory of stability conditions and its relation to Teichmuller theory have revealed a deep connection between triangulated categories and surfaces. Motivated by this, we prove a categorical analogue of the Nielsen-Thurston classification theorem for the rank two generalised braid groups by viewing them as (sub)groups of autoequivalences of certain triangulated categories. This can be seen as a categorical generalisation of the classification known for the type $A$ braid groups when viewed as mapping class groups of the punctured discs. Firstly, we realise the generalised braid groups as groups of autoequivalences through categorical actions that categorify the corresponding Burau representations. These categorifications are achieved by constructing certain algebra objects in the tensor categories associated to the quantum group $U_q(\mathfrak{sl}_2)$, generalising the construction of zigzag algebras used in the categorical actions of simply-laced-type braid groups to include the non-simply-laced-types. By viewing the elements of the generalised braid groups as autoequivalences of triangulated categories, we study their dynamics through mass growth (categorical entropy), as introduced by Dimitrov--Haiden--Katzarkov--Kontsevich. Our classification is then achieved in a similar fashion to Bestvina-Handel's approach to the Nielsen-Thurston classification for mapping class groups. Namely, our classification can be effectively decided through a given algorithm that also computes the mass growth of the group elements. Moreover, it shows that the mass growth of the pseudo-Anosov elements are computable from certain rank two matrices. This is the author's PhD thesis.

연구 동기 및 목표

• 범주론적 역학을 통해 일반화된 브레인 군에 대해 니엘센-서턴 분류를 확장한다.
• 범주화된 부르앙 표현을 통해 일반화된 브레인 군을 삼각 범주의 자동동치군으로 실현한다.
• 범주론적 엔트로피(질량 성장)를 기반으로 한 군 원소 분류를 위한 계산 가능한 프레임워크를 개발한다.
• 양자군 Uq(sl2) 대수 객체를 사용하여 단순 끈형이 아닌 유형으로 제작된 지그째그 대수의 일반화를 시도한다.
• 모든 주어진 군 원소의 역학적 유형을 결정하는 알고리즘적 결론 절차를 수립한다.

제안 방법

• Uq(sl2)와 관련된 텐서 범주에 속하는 대수 객체를 사용하여 일반화된 브레인 군의 부르앙 표현을 범주화한다.
• 범주적 작용을 통해 일반화된 브레인 군을 삼각 범주의 자동동치군으로 실현한다.
• 디미트로프 등이 도입한 개념인 범주론적 엔트로피(질량 성장)를 사용하여 역학적 복잡도를 측정한다.
• 브리지젤란 안정 조건과 약한 HN 필터링을 사용하여 자동동치의 구조를 분석한다.
• 팔면체 변형과 내부 삼각형의 정규화 가능성을 활용하여 삼각 범주 내의 지오데식 필터링을 결정한다.
• 안정 조건 데이터와 랭크 두 개의 부분행렬에서 유도된 행렬 불변량을 기반으로 알고리즘적 분류를 구성한다.

실험 결과

연구 질문

• RQ1 범주론적 프레임워크에서 니엘센-서턴 분류를 일반화된 브레인 군에까지 확장할 수 있는가?
• RQ2 범주론적 엔트로피를 통해 일반화된 브레인 군 원소의 역학은 어떻게 측정할 수 있는가?
• RQ3 안정 조건과 HN 필터링은 삼각 범주의 자동동치를 분류하는 데 어떤 역할을 하는가?
• RQ4 이 설정에서 랭크 두 개의 행렬은 페시오-아노소프 원소의 질량 성장을 어떻게 표현하는가?
• RQ5 모든 주어진 군 원소의 역학적 유형을 결정하는 알고리즘 절차가 존재하는가?

주요 결과

• 논문은 범주론적 엔트로피를 통해 랭크 두 개의 일반화된 브레인 군 원소를 축약 가능, 주기적, 페시오-아노소프 유형으로 완전한 알고리즘적 분류를 제공한다.
• 페시오-아노소프 원소는 자동동치 작용에서 유도된 랭크 두 개의 행렬에 의해 결정되는 계산 가능한 질량 성장을 보인다.
• 지오데식 필터링 다각형의 성질은 팔면체 변형에 대해 불변이며, 삼각 범주의 구조 분석에 기여한다.
• 일부 호모 복합체의 소멸성과 안정 조건의 호환성 조건을 사용하여 지오데식 필터링에 대한 충분 조건을 수립한다.
• Uq(sl2)-관련 텐서 범주에 속하는 대수 객체를 사용하여 지그째그 대수의 구성 방식을 단순 끈형이 아닌 유형으로 일반화한다.
• 이 방법은 모든 군 원소에 대해 범주론적 엔트로피(질량 성장)를 효과적으로 계산할 수 있으며, 페시오-아노소프 경우에 대해 명시적인 공식을 제공한다.