[논문 리뷰] Sortable elements in infinite Coxeter groups

Nathan Reading, David E Speyer|arXiv (Cornell University)|2008. 03. 18.

Algebraic structures and combinatorial models참고 문헌 23인용 수 5

한 줄 요약

이 논문은 유한한 Coxeter 군에서부터 임의의 무한 Coxeter 군으로 정렬 가능 원소와 Cambrian fan 이론을 통일된 대수적 및 기하적 도구를 사용하여 확장한다. $\omega_c$라는 비대칭 형식과 $\pi_{✕}^c$ 사영을 도입하여 $c$-정렬 가능 원소를 특성화하고 Cambrian 동치관계의 섬유를 기술함으로써, 패턴 회피 기반의 통일된 특성화를 가능하게 하며, 이는 무한 유형에서도 기하학적 방법으로 Cambrian 팬을 구성할 수 있게 한다.

ABSTRACT

In a series of previous papers, we studied sortable elements in finite Coxeter groups, and the related Cambrian fans. We applied sortable elements and Cambrian fans to the study of cluster algebras of finite type and the noncrossing partitions associated to Artin groups of finite type. In this paper, as the first step towards expanding these applications beyond finite type, we study sortable elements in a general Coxeter group W. We supply uniform arguments which transform all previous finite-type proofs into uniform proofs (rather than type by type proofs), generalize many of the finite-type results and prove new and more refined results. The key tools in our proofs include a skew-symmetric form related to (a generalization of) the Euler form of quiver theory and the projection \pidown^c mapping each element of W to the unique maximal c-sortable element below it in the weak order. The fibers of \pidown^c essentially define the c-Cambrian fan. The most fundamental results are, first, a precise statement of how sortable elements transform under (BGP) reflection functors and second, a precise description of the fibers of \pidown^c. These fundamental results and others lead to further results on the lattice theory and geometry of Cambrian (semi)lattices and Cambrian fans.

연구 동기 및 목표

• 유한한 Coxeter 군에서부터 임의의 무한 Coxeter 군으로 정렬 가능 원소와 Cambrian 팬 이론을 일반화하는 것.
• 이전에 사례별 분석을 통해 확립된 결과들에 대해 유형에 의존하지 않는 통일된 증명을 제공하는 것.
• 비대칭 형식 $\omega_c$를 사용하여 패턴 회피 조건을 통한 $c$-정렬 가능 원소의 통일된 특성화를 제공하는 것.
• $\pi_{\downarrow}^c$ 사영의 섬유를 Cambrian 동치관계의 동치류로 기술함으로써, Cambrian 준순서 집합의 조합론적 및 기하학적 이해를 가능하게 하는 것.
• Cambrian 팬과 클러스터 대수 간의 연결성을 유한 유형을 초월해 확장하기 위한 기초를 마련하는 것.

제안 방법

• 근계 위에 비대칭 이차형식 $\omega_c$를 도입하여, 화살표 이론에서의 옐러 형식을 일반화하는 것.
• 각 군 원소를 약한 순서에서 그 아래에 있는 유일한 최대 $c$-정렬 가능 원소로 사영하는 사영 $\pi_{\downarrow}^c: W \to W$를 정의하는 것.
• $c$-정렬 단어를 사용하여 각 원소에 대해 단순형 콘을 정의하고, 이로써 Cambrian 팬의 기초를 마련하는 것.
• $c$-정렬 가능 원소가 반사 순서를 따라 $\omega_c$-쌍대가 비음이 아닌 성질을 만족하며, 반사가 교환되지 않을 경우 엄밀히 양수임을 증명하는 것.
• $\pi_{\downarrow}^c$의 섬유가 유한하고, 유한한 체크 가능한 조건 목록으로 완전히 기술됨을 증명함으로써 Cambrian 동치관계의 전체 기술을 확보하는 것.
• 정렬 단어와 정렬 기법의 조합론을 사용하여 Cambrian 팬의 기하학적 성질을 제어하며, 특히 티츠 원뿔 내에서의 행동을 다루는 것.

실험 결과

연구 질문

• RQ1 정렬 가능 원소 개념을 유한한 Coxeter 군에서부터 무한 Coxeter 군으로 어떻게 통일적으로 확장할 수 있는가?
• RQ2 사영 $\pi_{\downarrow}^c$의 섬유에 대한 정확한 대수적 및 기하학적 특성화는 무엇인가?
• RQ3 $c$-정렬 가능 원소의 반사 순서는 비대칭 형식 $\omega_c$ 하에서 어떻게 행동하는가?
• RQ4 무한 Coxeter 군에서 Cambrian 팬을 기하학적으로 구성할 수 있으며, 이는 티츠 원뿔에 대해 어떤 구조를 갖는가?
• RQ5 원소의 $c$-정렬 단어와 그 $c$-정렬 가능 상태 사이의 관계는 무엇인가?

주요 결과

• 논문은 비대칭 형식 $\omega_c$를 사용하여 임의의 Coxeter 군에서 $c$-정렬 가능 원소에 대한 통일된 패턴 회피 기반 특성화를 제공하며, 이는 이전의 유형별 구축 방식을 대체한다.
• $\pi_{\downarrow}^c$의 섬유가 유한하며, 체크 가능한 조건의 유한한 목록으로 완전히 기술됨을 입증하여 Cambrian 동치관계의 동치류를 완전히 기술한다.
• 정렬 가능 원소의 반사 순서는 모든 $i \leq j$에 대해 $\omega_c(\beta_i, \beta_j) \geq 0$를 만족하며, 해당 반사들이 교환되지 않을 경우 엄밀히 양수이다.
• $c$-정렬 가능 원소에 의해 정의된 콘들의 집합이 티츠 원뿔과의 교차에서 잘 정의된, 면 대 면의 분할을 이룬다. 이는 일반화된 팬의 구조를 시사한다.
• $\pi_{\downarrow}^c$ 사영은 각 원소를 약한 순서에서 그 아래에 있는 유일한 최대 $c$-정렬 가능 원소로 사영하며, 이 사영은 Cambrian 준순서 집합의 격자 구조와 호환된다.
• 이 이론은 이전에 특정 유형에 국한된 논문의 결과들을 통일적으로 증명할 수 있게 하여, 사례별 추론을 일반적인 구조적 추론으로 대체한다.