[논문 리뷰] The Hopf algebras of non-commutative symmetric functions and quasi-symmetric functions are free and cofree

Nantel Bergeron, Mike Zabrocki|arXiv (Cornell University)|2005. 09. 12.

Advanced Combinatorial Mathematics인용 수 2

한 줄 요약

이 논문은 비가환 변수에서의 비가환 대칭 함수와 쿼asi대칭 함수의 호프 대수들이 모두 자유롭고 코프리미티브(free and cofree)임을 증명한다. 저자들은 집합 분할과 집합 합성에 대한 새로운 순서를 도입함으로써, 곱과 코곱 규칙이 단순한 모노미얼 기저를 정의하며, 명시적인 조합적 구성에 의해 이러한 대수들의 기초적인 자유롭고 코프리미티브 구조를 드러낸다.

ABSTRACT

Abstract. We uncover the structure of the space of symmetric functions in non-commutative variables by showing that the underlined Hopf algebra is both free and co-free. We also introduce the Hopf algebra of quasi-symmetric functions in non-commutative variables and define the product and coproduct on the monomial basis of this space and show that this Hopf algebra is free and cofree. In the process of looking for bases which generate the space we define orders on the set partitions and set compositions which allow us to define bases which have simple and natural rules for the product of basis elements. 1.

연구 동기 및 목표

• 비가환 대칭 함수의 대수적 구조를 밝혀내기 위해, 그 기초가 되는 호프 대수가 그룹화된 연결 호프 대수로서 자유롭고 코프리미티브임을 증명하는 것.
• 비가환 변수에서의 쿼اسي대칭 함수의 호프 대수를 정의하고 연구하는 것.
• 집합 분할과 집합 합성에 대한 순서를 이용하여 자연스러운 곱과 코곱 규칙을 가진 명시적 모노미얼 기저를 구성하는 것.
• 비가환 대칭 함수와 쿼اسي대칭 함수의 호프 대수가 모두 그룹화된 연결 호프 대수로서 자유롭고 코프리미티브임을 확립하는 것.
• 이 비가환 함수 공간에서의 대수적 연산을 단순화하는 데 기여하는 조합적 프레임워크를 제공하는 것.

제안 방법

• 집합 분할과 집합 합성에 대한 부분 순서를 도입하여 비가환 대칭 함수의 정규 기저를 정의하는 것.
• 비가환 변수에서의 쿼اسي대칭 함수의 모노미얼 기저에서 곱과 코곱 연산을 정의하는 것.
• 정의된 순서의 조합적 성질을 활용하여 곱셈과 코곱셈에 대한 단순하고 자연스러운 규칙을 유도하는 것.
• 비가환 대칭 함수와 쿼اسي대칭 함수 사이의 이중성(duality)을 적용하여 자유성과 코프리미티브성 분석을 수행하는 것.
• 그룹화된 연결 호프 대수의 구조를 활용하여 두 대수가 자유롭고 코프리미티브임을 증명하는 것.
• 쌍대 기저의 존재와 전-리 대수(pre-Lie algebra) 구조의 존재를 활용하여 호프 대수의 자유롭고 코프리미티브 성격을 확인하는 것.

실험 결과

연구 질문

• RQ1 비가환 대칭 함수의 호프 대수는 그룹화된 연결 호프 대수로서 자유롭고 코프리미티브인가?
• RQ2 비가환 변수에서의 쿼اسي대칭 함수에 대해 곱과 코곱 규칙이 단순한 모노미얼 기저를 정의할 수 있는가?
• RQ3 집합 분할이나 집합 합성과 같은 조합적 구조는 이러한 비가환 함수 대수의 자연스러운 기저를 지원할 수 있는가?
• RQ4 집합 분할과 집합 합성에 대한 순서는 자유롭고 코프리미티브 호프 대수 구조의 구성에 어떻게 기여하는가?
• RQ5 비가환 변수에서의 비가환 대칭 함수와 쿼اسي대칭 함수의 호프 대수 구조 사이의 관계는 무엇인가?

주요 결과

• 비가환 대칭 함수의 호프 대수는 그룹화된 연결 호프 대수로서 자유롭고 코프리미티브이다.
• 비가환 변수에서의 쿼اسي대칭 함수의 호프 대수 역시 자유롭고 코프리미티브이다.
• 특정 순서를 가진 집합 합성에 기반하여 비가환 변수에서의 쿼اسي대칭 함수에 대한 모노미얼 기저가 정의되며, 이는 곱과 코곱 규칙을 단순하게 만든다.
• 쿼اسي대칭 함수의 모노미얼 기저에서의 곱과 코곱은 명시적으로 정의되었고, 호프 대수 구조와 호환됨을 보여주었다.
• 집합 분할과 집합 합성에 대한 조합적 순서는 자연스러운 대수적 연산을 가진 기저를 체계적으로 생성하는 방법을 제공한다.
• 비가환 대칭 함수와 비가환 변수에서의 쿼اسي대칭 함수 사이의 이중성은 두 대수 모두의 자유성과 코프리미티브성을 뒷받침한다.