[논문 리뷰] Cambrian Hopf Algebras

Grégory Châtel, Vincent Pilaud|arXiv (Cornell University)|2014. 11. 13.

Advanced Combinatorial Mathematics참고 문헌 32인용 수 6

한 줄 요약

이 논문은 서명된 순열과 캄브리아 나무—지역적 순서 조건을 가진 방향성 있고 레이블이 부여된 나무—를 사용하여 Loday와 Ronco의 이진 나무 위의 호프 대수의 일반화인 캄브리아 호프 대수를 도입한다. 이 대수와 그 쌍대 대수는 이러한 나무 위의 조합적 연산을 통해 정의되며, 곱 기저가 확립되고, 버택서 및 슈뢰더-캄브리아 호프 대수로의 확장이 이루어져 아소시아헤드론, 퍼뮤테하드론 및 관련 다면체의 구조를 통합한다.

ABSTRACT

Cambrian trees are oriented and labeled trees which fulfill local conditions around each node generalizing the conditions for classical binary search trees. Based on the bijective correspondence between signed permutations and leveled Cambrian trees, we define the Cambrian Hopf algebra generalizing J.-L. Loday and M. Ronco's algebra on binary trees. We describe combinatorially the products and coproducts of both the Cambrian algebra and its dual in terms of operations on Cambrian trees. We also define multiplicative bases of the Cambrian algebra and study structural and combinatorial properties of their indecomposable elements. Finally, we extend to the Cambrian setting different algebras connected to binary trees, in particular S. Law and N. Reading's Baxter Hopf algebra on quadrangulations and S. Giraudo's equivalent Hopf algebra on twin binary trees, and F. Chapoton's Hopf algebra on all faces of the associahedron.

연구 동기 및 목표

• 캄브리아 격자와 서명된 순열을 사용하여 Loday와 Ronco의 이진 나무 위의 호프 대수를 더 넓은 조합적 대상의 클래스로 일반화하기.
• 서명된 순열 위의 FQSym± 대수의 부분대수로서 새로운 호프 대수인 캄브리아 호프 대수를 정의하기.
• 버택서-캄브리아 및 슈뢰더-캄브리아 설정으로의 프레임워크 확장을 통해 관련 조합적 구조 위의 호프 대수를 통합하기.
• 곱과 코프로덕트 연산의 명시적 조합적 기술을 나무 연산과 갭을 통해 기술하기.
• 캄브리아 대수에서 곱 기저와 분해 불가능한 원소를 연구하고 기하적 실현과 격자 동치류와의 연결 고리를 탐색하기.

제안 방법

• 서명된 순열을 수준이 부여된 캄브리아 나무로 매핑하는 캄브리아 대응 Θ를 사용하여 이진 탐색 나무 삽입을 일반화한다.
• 기저 원소가 캄브리아 나무로 인덱싱된 FQSym±의 부분대수로서 캄브리아 호프 대수를 정의한다.
• 캄브리아 대응의 섬유와 격자 동치류를 사용하여 FQSym±*의 몫으로 쌍대 캄브리아 대수를 정의한다.
• 서명된 셈블링과 복합 연산을 통한 곱을 서명된 순열에서 나무 연산으로 번역한다.
• 각 갭이 왼쪽과 오른쪽 부분나무의 텐서곱을 생성하도록, 갭을 따라 캄브리아 나무를 분할함으로써 코프로덕트를 기술한다.
• 쌍둥이 캄브리아 나무와 슈뢰더-캄브리아 나무로의 프레임워크 확장을 통해, 순서 있는 분할과 격자 동치류를 통한 새로운 호프 대수를 도입한다.

실험 결과

연구 질문

• RQ1 캄브리아 격자를 사용하여 Loday-Ronco의 이진 나무 위의 호프 대수는 어떻게 더 넓은 조합적 대상의 클래스로 일반화될 수 있는가?
• RQ2 캄브리아 호프 대수의 곱과 코프로덕트에 대한 명시적 조합적 규칙은 나무 연산을 통해 어떻게 기술될 수 있는가?
• RQ3 캄브리아 대수의 곱 기저는 분해 불가능한 원소와 그 구조적 및 수량적 성질과 어떻게 관련되어 있는가?
• RQ4 버택서의 사각형 분할 위의 호프 대수와 슈뢰더-캄브리아 대수는 고차원 캄브리아 나무 쌍둥이 집합을 통해 하나의 프레임워크 안에서 통합될 수 있는가?
• RQ5 아소시아헤드론의 민코프스키 합이 슈뢰더-캄브리아 ℓ-튜플과 관련하여 기하학적이고 대수학적으로 어떤 의미를 갖는가?

주요 결과

• 캄브리아 호프 대수는 FQSym±의 부분대수로서 정의되며, 기저는 캄브리아 나무로 인덱싱되고, 곱과 코프로덕트는 이러한 나무 위의 조합적 연산을 통해 완전히 기술된다.
• 캄브리아 나무의 코프로덕트는 모든 갭을 통해 합산되며, 각 항은 갭 경로를 따라 분할된 왼쪽과 오른쪽 부분나무의 텐서곱으로 구성된다.
• 캄브리아 대수에서 곱 기저가 구성되며, 그 분해 불가능한 원소는 조합적으로 특성화되어 구조적 및 수량적 성질이 드러난다.
• 버택서-캄브리아 호프 대수는 FQSym±의 부분대수이자 FQSym±*의 몫으로 정의되며, 쌍둥이 캄브리아 나무와 격자 동치류로부터 유도된 연산을 갖는다.
• 슈뢰더-캄브리아 호프 대수는 서명된 순서 있는 분할 위에 구성되며, 곱과 코프로덕트는 슈뢰더-캄브리아 나무 위의 셈블링과 갭 분할 연산을 통해 정의된다.
• 슈뢰더-캄브리아 ℓ-튜플이 ℓ개의 아소시아헤드론의 민코프스키 합의 모든 면과 대응됨을 보이고, 순서 있는 분할 위의 약한 순서의 격자 동치류를 통해 이들 위에 호프 대수 구조가 정의된다.