[논문 리뷰] Commutative Hopf algebras of permutations and trees

Florent Hivert, Jean-Christophe Novelli외 1명|ArXiv.org|2005. 02. 22.

Advanced Combinatorial Mathematics참고 문헌 17인용 수 11

한 줄 요약

이 논문은 교환 가능한 미지수 위에서 그래프 기반 프레임워크를 사용하여 치환과 나무의 교환적 호프 대수를 구성하며, 그로스만-라르슨 대수와 같은 비가환 호프 대수의 쌍대체와의 동형을 확립한다. 표준 조합적 호프 대수의 일파라미터 변형을 도입하여, 특수한 매개수 값에서 고전적 극한을 가지는 양자군의 성질을 갖는다는 것을 시사한다.

ABSTRACT

We propose several constructions of commutative or cocommutative Hopf algebras based on various combinatorial structures, and investigate the relations between them. A commutative Hopf algebra of permutations is obtained by a general construction based on graphs, and its non-commutative dual is realized in three different ways, in particular as the Grossman-Larson algebra of heap ordered trees. Extensions to endofunctions, parking functions, set partitions, planar binary trees and rooted forests are discussed. Finally, we introduce one-parameter families interpolating between different structures constructed on the same combinatorial objects.

연구 동기 및 목표

• 치환과 나무와 같은 조합 구조에서 그래프 기반의 미지수를 사용하여 교환적 호프 대수의 체계적인 구성 방법을 개발하는 것.
• 이러한 교환적 대수와 그로스만-라르슨 대수와 같은 알려진 호프 대수의 비가환 쌍대체 사이의 동형을 확립하는 것.
• 종속함수, 주차 함수, 집합 분할, 루트가 있는 삼각형 등으로 구성의 일반화를 시도하는 것.
• 표준 호프 대수와 변형된 호프 대수 사이를 연결하는 일파라미터 가중치 가중치를 탐색하여, 양자군 해석을 제안하는 것.

제안 방법

• 치환 가능한 미지수 x_{ij}와 관계 x_{ij}x_{ik} = 0를 사용하여 R/J라는 교환적 대수를 정의하고, 종속함수 f에 대응하는 M_f 다항식의 기초를 마련한다.
• M_f가 생성하는 부분대수인 EQSym을 구성하며, 치환의 셔플 곱과 계수 C_{f,g}^h(유효한 재배열 수)를 통해 곱셈을 정의한다.
• 코곱 ΔM_h = ∑_{f•g=h} M_f ⊗ M_g를 정의하여 EQSym이 교환적이고 비코모듈라르인 호프 대수임을 보장한다.
• 등급 쌍대체 ESym = EQSym*를 실현하여, 코모듈라르이고 연결된 호프 대수로서 연결된 종속함수의 쌍대 기저에 의해 자유롭게 생성됨을 보여준다.
• FQSym에 대해 일파라미터 가중치 코곱 Δ_q를 도입하여, 일반적인 q일 때 FQSym(표준)과 q=0일 때 QSym 사이를 연결한다.
• FQSym의 q-변형 몫을 구성하기 위해 히포플락틱 및 실베스터 합동의 q-해석을 정의하고, QSym_q와 평면 이진 나무의 변형된 호프 대수와의 동형을 확립한다.

실험 결과

연구 질문

• RQ1 그래프 기반의 미지수로부터 치환과 나무의 교환적 호프 대수를 체계적으로 구성할 수 있는가?
• RQ2 이러한 교환적 호프 대수는 그로스만-라르슨 대수와 같은 표준 조합적 호프 대수의 비가환 쌍대체와 어떻게 관련되어 있는가?
• RQ3 표준 호프 대수의 일파라미터 변형(예: FQSym)이 고전적 극한을 가지는 양자군의 구조를 유도하는가?
• RQ4 히포플락틱 및 실베스터 합동의 q-해석을 정의하여 QSym과 로다-론코 대수의 q-변형을 실현할 수 있는가?
• RQ5 환경 대수와 그 쌍대체 사이를 매개수로 조절하는 매개수 기반 호프 대수의 통합 프레임워크가 존재하는가?

주요 결과

• 종속함수 f에 대해 M_f가 생성하는 대수 EQSym는 곱셈 M_f M_g = ∑ C_{f,g}^h M_h를 가지며, C_{f,g}^h는 h = τ⁻¹∘(f•g)∘τ를 만족하는 셔플 재배열의 수를 세는 것으로, 교환적이고 비코모듈라르인 호프 대수이다.
• 호프 대수 ESym = EQSym*는 코모듈라르이며 연결된 종속함수의 쌍대 기저에 의해 자유롭게 생성되며, 곱셈은 이동된 연결을 통해 주어진다.
• EQSym는 히프-오더링된 나무의 그로스만-라르슨 대수의 비가환 쌍대체와 동형이므로, 비자명한 이중성 관계를 확립한다.
• FQSym에 대해 일파라미터 가중치 코곱 Δ_q는 일반적인 q일 때 FQSym(표준)과 q=0일 때 QSym 사이를 연결하며, Δ_q는 대수 준동형이며 일반적인 q에 대해 FQSym와 동형이다.
• FQSym의 q-히포플락틱 몫 ≡_{qH}에 대한 상은 QSym_q와 동형이며, q-교환 가능한 알파벳을 가진 변형된 호프 대수이다.
• q-실베스터 합동 ≡_{qS}는 평면 이진 나무의 Loday-Ronco 대수의 q-변형과 동형인 변형된 호프 대수를 유도한다.