[논문 리뷰] Isometry classes of generalized associahedra

Nantel Bergeron, Christophe Hohlweg외 2명|arXiv (Cornell University)|2007. 09. 27.

Advanced Combinatorial Mathematics참고 문헌 9인용 수 16

한 줄 요약

이 논문은 유한 코x터 계열에서 $c$-캄브리안 팬을 통해 페르뮤티하에드론에서 유도된 일반화된 아소시아헤드론의 등장하는 등급을 분류한다. 두 아소시아헤드론이 등급일 조건은 그들의 코x터 원소가 무게 매개변수 $\kappa_s$ 를 유지하는 코x터 그래프의 자기동형사상으로 관련되어 있거나, 최장 원소 $w_0$ 를 통한 역전으로 관련되어 있을 때이다. 결과는 캄브리안 팬의 등급 분류로 확장된다.

ABSTRACT

Let $(W,S)$ be a finite Coxeter system acting by reflections on an $\mathbb R$-Euclidean space with simple roots $Δ=\{\a_s | s\in S\}$ of the same length and fundamental weights $Δ^*=\{v_s | s\in S\}$. We set $M(e)=\sum_{s\in S}κ_s v_s$, $κ_s>0$, and for $w\in W$ we set $M(w)=w(M(e))$. The permutahedron $Perm(W)$ is the convex hull of the set $\{M(w) | w\in W\}$. Given a Coxeter element $c\in W$, we have defined in a previous work a generalized associahedron $Asso_c(W)$ whose normal fan is the corresponding $c$-Cambrian fan $F_c$ defined by N. Reading. By construction, $Asso_c(W)$ is obtained from $Perm(W)$ by removing some halfspaces according to a rule prescribed by $c$. In this work, we classify the isometry classes of these realizations. More precisely, for $(W,S)$ an irreducible finite Coxeter system and $c,c'$ two Coxeter elements in $W$, we have that $Asso_{c}(W)$ and $Asso_{c'}(W)$ are isometric if and only if $μ(c') = c$ or $μ(c')=w_0c^{-1}w_0$ for $μ$ an automorphism of the Coxeter graph of $W$ such that $κ_s=κ_{μ(s)}$ for all $s\in S$. As a byproduct, we classify the isometric Cambrian fans of $W$.

연구 동기 및 목표

• 유한 코x터 계열에서 $c$-캄브리안 팬을 통해 페르뮤티하에드론에서 유도된 일반화된 아소시아헤드론의 등급 클래스를 분류하는 것.
• 고정된 무게 할당 $\kappa_s > 0$ 이하에서 두 아소시아헤드론이 등급일 조건을 규명하는 것.
• 이 분류를 아소시아헤드론의 정규 팬, 즉 캄브리안 팬으로 확장하는 것.
• 코x터 그래프의 자기동형사상과 최장 원소 $w_0$ 가 등급 유형을 유지하는 데 수행하는 역할을 특성화하는 것.

제안 방법

• 무게 매개변수 $\kappa_s$ 를 고려하여 $M(e) = \sum_{s \in S} \kappa_s v_s$ 이면, $\mathsf{Perm}(W)$ 를 $\{M(w) = w(M(e)) \mid w \in W\}$ 의 볼록결합으로 정의한다.
• $c$-가능한 초평면에 해당하는 반공간을 제거하여 $\mathsf{Perm}(W)$ 의 부분다면체로 일반화된 아소시아헤드론 $\mathsf{Asso}_c(W)$ 를 정의한다.
• $c$ 를 코x터 원소로 두고, $\mathsf{Asso}_c(W)$ 의 정규팬으로서 $c$-캄브리안 팬 $\mathcal{F}_c$ 를 사용한다.
• 코x터 그래프의 자기동형사상 $\mu$ 가 $\kappa_s$ 를 유지할 경우, 그에 의해 유도되는 등급을 통해 $\mathsf{Asso}_c(W)$ 와 $\mathsf{Asso}_{c'}(W)$ 사이의 등급을 확립한다.
• $M(e)$ 를 $M(w_0)$ 로 보내는 치환 $g$ 를 도입하고, 이를 통해 $\mathsf{Asso}_c(W)$ 와 $\mathsf{Asso}_{w_0 c^{-1} w_0}(W)$ 를 연결한다.
• 페르뮤티하에드론과 아소시아헤드론을 유지하는 등급이 코x터 그래프의 자기동형사상 $\mu$ 를 유도하며, 이때 $\mu(c') = c$ 또는 $\mu(c') = w_0 c^{-1} w_0$ 를 만족함을 증명한다.

실험 결과

연구 질문

• RQ1 다른 코x터 원소 $c$ 와 $c'$ 에 대해 두 일반화된 아소시아헤드론 $\mathsf{Asso}_c(W)$ 와 $\mathsf{Asso}_{c'}(W)$ 가 등급일 조건은 무엇인가?
• RQ2 코x터 그래프의 자기동형사상이 일반화된 아소시아헤드론의 등급 유형에 어떤 영향을 미치는가?
• RQ3 최장 원소 $w_0$ 는 등급 아소시아헤드론을 연결하는 데 어떤 역할을 하는가?
• RQ4 $c$-캄브리안 팬이 팬으로서 등급일 조건은 무엇인가?
• RQ5 무게 할당 $\kappa_s$ 는 아소시아헤드론의 등급 유형에 어떤 영향을 미치는가?

주요 결과

• 두 일반화된 아소시아헤드론 $\mathsf{Asso}_c(W)$ 와 $\mathsf{Asso}_{c'}(W)$ 가 등급일 조건은 코x터 그래프의 자기동형사상 $\mu$ 가 존재하여 $\kappa_s = \kappa_{\mu(s)}$ 를 만족하고 $\mu(c') = c$ 또는 $\mu(c') = w_0 c^{-1} w_0$ 일 때이다.
• $\mathsf{Asso}_c(W)$ 의 등급 유형은 $\mathrm{Aut}(\text{코x터 그래프}) \times \mathbb{Z}_2$ 작용 하에서 $c$ 의 궤도에만 의존한다. 여기서 $\mathbb{Z}_2$ 는 $c \mapsto w_0 c^{-1} w_0$ 를 작용으로 한다.
• $c$-캄브리안 팬 $\mathcal{F}_c$ 와 $\mathcal{F}_{c'}$ 가 팬으로서 등급일 조건은 코x터 그래프의 자기동형사상 $\mu$ 가 존재하여 $\kappa_s$ 를 유지하고 $\mu(c') = c$ 또는 $\mu(c') = w_0 c^{-1} w_0$ 일 때이다.
• 아소시아헤드론의 등급 유형은 자기동형사상군과 $w_0$ 를 통한 역전 하에서 궤도 내에서 $c$ 의 선택과 무관하다.
• 그래프 자기동형사상 $\mu$ 로부터 유도된 등급 $\varphi_\mu$ 는 $c$-가능한 반공간을 유지하므로, $\varphi_\mu(\mathsf{Asso}_{c'}(W)) = \mathsf{Asso}_{\mu(c')}(W)$ 가 성립한다.
• 분해 가능 케이스에서는 불가분 성분의 부분집합을 고려하고, 각 $\mathcal{A} \subset \mathcal{D}$ 에 대해 $g_\mathcal{A}$-등급을 정의하며, $\mathcal{A}$ 에서 반사의 순서를 뒤집어 $c^\mathcal{A}$ 를 얻는다.