[논문 리뷰] A category of noncrossing partitions

Kiyoshi Igusa|arXiv (Cornell University)|2014. 11. 02.

Algebraic structures and combinatorial models참고 문헌 15인용 수 12

한 줄 요약

이 논문은 유형 $A_n$에 대한 비교교차 분할의 범주에 대한 기본적인 조합론적 구성법을 제공한다. 여기서 대상은 고전적인 비교교차 분할이며, 사상은 이진 숲이다. 이 범주의 분류 공간이 국소적으로 $CAT(0)$임을 보여, 따라서 $K(\pi,1)$임을 증명한다. 이는 모든 정점의 링크가 플래그 복합체임을 보여줌으로써 이루어지며, 이는 범주의 기본군이 유형 $A_n$의 그림 그룹(스타셰프 군)과 동형임을 보여준다. 이는 군의 코homology를 입체 복합체를 통해 직접적인 위상적 실현으로 이어진다.

ABSTRACT

In [17], we introduced ``picture groups'' and computed the cohomology of the picture group of type $A_n$. This is the same group what was introduced by Loday [20] where he called it the ``Stasheff group''. In this paper, we give an elementary combinatorial interpretation of the {\color{blue}``cluster morphism category'' constructed in [13] in the special case of the linearly oriented quiver of type $A_n$.} We prove that the classifying space of this category is locally $CAT(0)$ and thus a $K(π,1)$. We prove a more general statement that classifying spaces of certain ``cubical categories'' are locally $CAT(0)$. The objects of our category are the classical noncrossing partitions introduced by Kreweras [19]. The morphisms are binary forests. This paper is independent of [13] and [17] except in the last section where we use [13] to compare our category with the category with the same name given by Hubery and Krause [9].

연구 동기 및 목표

• 유형 $A_n$에 대한 비교교차 분할의 범주에 대해 자립적이고 기본적인 조합론적 기술을 제공한다.
• 이 범주의 분류 공간이 국소적으로 $CAT(0)$임을 증명하여, 이는 $K(\pi,1)$임을 의미한다.
• 이 범주의 기본군이 유형 $A_n$의 그림 그룹(스타셰프 군)과 동형임을 확립한다.
• 후버리와 크라우제가 정의한 비교교차 분할의 범주와의 비교를 통해 복잡하지만 체계적인 관계를 밝힌다.

제안 방법

• 대상은 $n$개의 원소로 이루어진 전체 순서 집합의 고전적인 비교교차 분할로 정의된다.
• 사상은 목표 분할에 대해 '병행 집합' 상에서의 이진 숲으로 구성되며, 호환 가능한 융합 순서를 표현한다.
• 뒤로 가는 링크가 플래그 복합체임을 확인함으로써, 이 범주가 입체 복합체임을 보인다.
• 분류 공간은 그로모프의 기준을 통해 분석된다: 단순 연결된 입체 복합체 공간이 $CAT(0)$임은 모든 정점 링크가 플래그 복합체임과 동치이다.
• 입체 복합체의 구조에서 유도된 생성자와 관계를 통해 기본군을 계산한다.
• 입체 복합체의 $K_0$-기반 임bedding과 자기동형 작용을 통해 클러스터 사상 범주와 후버리 및 크라우제의 범주와 비교한다.

실험 결과

연구 질문

• RQ1 유형 $A_n$에 대한 비교교차 분할의 범주는 어떻게 순수하게 조합론적이고 기본적인 방식으로 구성될 수 있는가?
• RQ2 이 범주의 분류 공간이 국소적으로 $CAT(0)$인 이유는 무엇이며, 이는 위상적으로 어떤 의미를 갖는가?
• RQ3 이 범주의 기본군은 유형 $A_n$의 그림 그룹(스타셰프 군)과 어떻게 관련이 있는가?
• RQ4 이 논문에서의 비교교차 분할의 범주와 후버리 및 크라우제가 정의한 범주 사이의 정확한 관계는 무엇인가?
• RQ5 이 범주의 분류 공간은 스타셰프 아소시아헤드론의 합집합으로 실현될 수 있으며, 이는 코homological 계산과 어떻게 관련이 있는가?

주요 결과

• 범주 $\mathcal{N}\mathcal{P}(n)$의 분류 공간은 국소적으로 $CAT(0)$이며, 따라서 수축 가능하다. 이는 모든 정점의 링크가 플래그 복합체이기 때문이다.
• 범주 $\mathcal{N}\mathcal{P}(n)$의 기본군은 그림 그룹 $G(A_n)$과 동형이며, 이는 스타셰프 군으로 알려져 있다. $n=3$일 때의 표현은 $\langle x_1, x_2, x_3 \mid x_2 = [x_1, x_3] \rangle$이다.
• 범주 $\mathcal{N}\mathcal{P}(n)$는 $K_0 \downarrow K_0(KA_2)$의 콤마 범주에 완전하고 충실하게 임베딩되며, 이는 서로 동형인 대상이 총 13개가 존재한다.
• 총 42개의 랭크-1 사상 중에서 $K_0 \downarrow K_0(KA_2)$에 속하는 것은 정확히 11개이며, 이는 다섯 개인 비교교차 분할과 그 사상들에 해당한다.
• $\mathcal{N}\mathcal{P}(3)$의 기본군은 랭크 2의 자유군이며, $K_0 \downarrow K_0(KA_2)$의 기본군은 6개의 생성자와 관계 $x_i = [x_{i-1}, x_{i+1}]$를 갖는다.
• $\mathcal{N}\mathcal{P}(3)$의 임베딩은 생성자 $x_1,x_2,x_3$를 더 큰 군의 첫 세 생성자에 대응시킨다.