[논문 리뷰] Weak Bruhat order on the set of faces of the permutahedra

Patricia Palacios, Marı́a Ronco|ArXiv.org|2004. 04. 20.

Advanced Combinatorial Mathematics참고 문헌 3인용 수 8

한 줄 요약

이 논문은 코x터 군에서의 약한 브하트 순서를 그의 치환 부분군의 오른쪽 동치류 집합으로 확장하여 페르뮤타에드론의 면들에 대한 새로운 부분순서를 정의한다. 이 순서는 평면 유도된 트리로 생성된 벡터 공간 위에 덴드리포름 트라이알제브라의 구조를 유도하며, 약한 브하트 순서와 일반화된 셔플을 통해 자유 덴드리포름 트라이알제브라의 조합론적 실현을 제공한다.

ABSTRACT

We extend the weak Bruhat order of a finite Coxeter group to the set of its coclasses, modulo parabolic standard subgroups. We use this order to describe associative algebra structures on the vector spaces spanned by the faces of permutahedra on one side, and on the vector space spanned by the planar rooted trees, on the other one.

연구 동기 및 목표

• 코x터 군 W의 약한 브하트 순서를 그의 치환 부분군의 오른쪽 동치류 집합으로 확장하여 페르뮤타에드론의 면들에 대한 새로운 부분순서를 형성한다.
• 확장된 약한 브하트 순서를 사용하여 이러한 동치류로 생성된 벡터 공간 위에 덴드리포름 트라이알제브라의 구조를 정의한다.
• 동치류 순서 집합에서 n+1개의 잎을 가진 평면 유도된 트리 집합으로의 자연스러운 전성사상 Γ를 구축하여, 트리 집합 위에 부분순서를 유도하고 자유 덴드리포름 트라이알제브라의 구조를 지원한다.
• 이러한 트리 위에 유도된 구조가 이전 문헌에서 정의된 자유 덴드리포름 트라이알제브라의 구조와 일치함을 보인다.
• 동치류 대수와 트리 대수의 결합 곱이 약한 브하트 순서와 일반화된 셔플로부터 유도된 세 개의 연산을 사용하여 기술될 수 있음을 보여준다.

제안 방법

• 약한 브하트 순서의 길이가 덧셈되는 분해를 사용하여 군 W의 약한 브하트 순서를 오른쪽 동치류 WJ∘w의 집합에 확장하여 부분순서 ≤B 를 정의한다.
• 각 동치류를 {1,…,n}에서 {1,…,r}로의 전성사상으로 표현함으로써 Pn의 순서 집합의 조합론적 기술을 가능하게 한다.
• 순서 집합 Pn의 구조를 모델링하고 덴드리포름 트라이알제브라의 세 개의 연산(succ, ·, prec, *)을 정의하기 위해 일반화된 셔플 집합 SH(n0,…,nr)을 도입한다.
• Pn에서 n+1개의 잎을 가진 평면 유도된 트리 집합 Tn으로의 표준 전성사상 Γ를 구성하여 순서 구조를 유지한다.
• Tn 위에 유도된 순서를 사용하여 트리 분해의 약한 브하트 순서 조건을 통해 k[T∞] 위의 결합 곱을 정의한다.
• 유도된 대수적 구조가 이전 연구에서 정의된 자유 덴드리포름 트라이알제브라의 구조와 일치함을 보이기 위해 순서 관계와 곱 공식의 재귀적 검증을 수행한다.

실험 결과

연구 질문

• RQ1 코x터 군 W의 약한 브하트 순서는 어떻게 그의 치환 부분군의 오른쪽 동치류 집합으로 확장될 수 있는가?
• RQ2 확장된 순서에 따라 이 동치류들로 생성된 벡터 공간 위에 어떤 대수적 구조가 나타나는가?
• RQ3 평면 유도된 트리 위에 유도된 순서는 동치류 순서 집합의 약한 브하트 순서와 어떻게 관련되는가?
• RQ4 자유 덴드리포름 트라이알제브라의 평면 유도된 트리 위의 결합 곱은 약한 브하트 순서를 명시적으로 기술할 수 있는가?
• RQ5 유도된 평면 유도된 트리 위의 덴드리포름 트라이알제브라의 구조는 이전에 다른 조합론적 구성으로 정의된 것과 동형인가?

주요 결과

• 동치류 WJ∘w 집합 위의 확장된 약한 브하트 순서는 W 위의 표준 약한 순서를 일반화하는 부분순서를 이룬다.
• Pn의 순서 집합에 의해 생성된 벡터 공간 k[P∞]은 약한 브하트 순서와 일반화된 셔플로부터 유도된 세 개의 연산으로 정의된 덴드리포름 트라이알제브라의 구조를 갖는다.
• 전성사상 Γ: Pn → Tn 은 Pn 위의 확장된 약한 브하트 순서를 n+1개의 잎을 가진 평면 유도된 트리 집합 Tn 위의 부분순서로 매핑한다.
• Tn 위에 유도된 순서는 k[T∞] 위에 자유 덴드리포름 트라이알제브라의 구조를 구성할 수 있게 하며, 이는 [LR3]과 [LR4]에서 정의된 구조와 일치한다.
• k[T∞]의 결합 곱은 약한 브하트 순서 간격의 합으로 명시적으로 기술될 수 있다: t≺z = ∑w with ⋁(t⁰,…,tᵏ⁻¹,tᵏ/z) ≤B w ≤B tackslash z.
• 논문은 Pn 위의 순서 ≤C 가 인버스 이미지에서 순서를 유지하는 인접 전치를 통해 정의되며, 이는 Tn 위에 유도된 순서가 채포톤이 정의한 것과 동일한 대수적 구조를 지지함을 확인한다.