[논문 리뷰] Structure of the Malvenuto-Reutenauer Hopf algebra of permutations (Extended Abstract)

Marcelo Aguiar, Frank Sottile|ArXiv.org|2002. 03. 11.

Advanced Combinatorial Mathematics참고 문헌 15인용 수 5

한 줄 요약

이 논문은 대칭군의 약순서 위에서 모비우스 역변환을 통해 관련된 새로운 단항기저를 도입함으로써 순열의 말베누토-루텐아우어 호프 대수에 대한 종합적인 구조 분석을 제공한다. 이 대수는 코프리미티브(cofree)로 간주되며, 그 코반류 필터링과 코초기원소를 명시적으로 계산하고, 호프 대수의 분해가 정칙함수 대수 위에서의 크로스드 프로덕트임을 보이며, 승법의 구조상수는 퍼뮤테이드론의 면 수로 기하학적으로 해석된다.

ABSTRACT

We analyze the structure of the Malvenuto-Reutenauer Hopf algebra of permutations in detail. We give explicit formulas for its antipode, prove that it is a cofree coalgebra, determine its primitive elements and its coradical filtration and show that it decomposes as a crossed product over the Hopf algebra of quasi-symmetric functions. We also describe the structure constants of the multiplication as a certain number of facets of the permutahedron. Our results reveal a close relationship between the structure of this Hopf algebra and the weak order on the symmetric groups.

연구 동기 및 목표

• 말베누토-루텐아우어 호프 대수의 순열에 대한 체계적이고 조합론적인 이해를 제공하는 것.
• 약순서 위에서 모비우스 역변환을 통해 얻어진 새로운 단항기저를 도입하고 분석하는 것.
• 이 대수의 코알제브라적 구조, 즉 코반류 필터링과 초기원소를 특성화하는 것.
• 이 호프 대수를 정칙함수 대수 위에서의 크로스드 프로덕트로 묘사하는 것.
• 승법의 구조상수를 퍼뮤테이드론의 면으로 기하학적·조합론적으로 해석하는 것.

제안 방법

• 대칭군의 약순서 위에서 모비우스 역변환을 통해 말베누토-루텐아우어 호프 대수의 새로운 단항기저 {M_u}를 도입한다.
• 전역내림값(global descent)을 코프로덕트를 묘사하는 데 핵심적인 조합론적 도구로 정의하며, 코프로덕트는 전역내림 위치에서 순열을 분할함으로써 주어진다.
• 퍼뮤테이드론의 1-스켈레톤을 약순서의 하세 다이어그램으로 해석하여, 구조상수를 특정한 퍼뮤테이드론 면의 수로 해석한다.
• 전역내림 수에 의해 정의된 하위순서 이상의 이상집합과 일치하는 코반류 필터링을 보여줌으로써, 이 대수가 순차적인 코알제브라로서 코프리미티브임을 증명한다.
• 내림맵의 단면함수 Z를 통해 정칙함수 대수의 호프 대수에서 말베누토-루텐아우어 대수로의 준위를 설정함으로써, 크로스드 프로덕트 분해를 수립한다.
• 블라트너-코헨-몬트고메리 정리를 사용하여 말베누토-루텐아우어 대수를 A#σQSym로 표현한다. 여기서 A는 내림맵의 왼쪽 호프 핵심이다.

실험 결과

연구 질문

• RQ1 말베누토-루텐아우어 호프 대수는 새로운 기저를 통해 어떻게 대수적이고 조합론적으로 분해될 수 있는가?
• RQ2 말베누토-루텐아우어 대수의 반대자 구조는 정확히 어떻게 되어 있으며, 약순서와 어떤 관련이 있는가?
• RQ3 이 대수의 코반류 필터링은 대칭군 내의 조합론적 구조와 어떻게 대응하는가?
• RQ4 승법의 구조상수는 어떻게 기하학적으로 의미를 갖는가?
• RQ5 말베누토-루텐아우어 대수는 정칙함수 대수 위에서의 크로스드 프로덕트로 표현될 수 있는가?

주요 결과

• 말베누토-루텐아우어 호프 대수는 순차적인 코알제브라로서 코프리미티브이며, 코반류 필터링은 전역내림 수에 의해 정의된 하위순서 이상의 이상집합과 일치한다.
• 초기원소의 공간은 전역내림이 없는 순열 u에 대해 M_u인 단항기저 원소들에 의해 선형으로 생성된다.
• 단항기저에서의 승법에 대한 구조상수는 음이 아닌 정수이며, 이는 (p,q)-형 면에서 특별히 지정된 정점 (u,v)가 w 아래에 있으며, 그 면 내의 다른 정점보다 w에 더 가까운 경우의 수와 같다. 여기서 면은 퍼뮤테이드론 Π_{p+q-1}의 면이다.
• 단항기저에서의 반대자 공식이 명시적으로 계산되었으며, 이는 순열의 역순 및 전역내림 구조를 포함한다.
• 내림맵 D: SSym → QSym은 u가 닫혀 있을 경우(즉, Des(u) = GDes(u)) M_u를 M_{GDes(u)}로 보낸다. 그렇지 않으면 0으로 보낸다.
• 말베누토-루텐아우어 대수는 A#σQSym로 분해되며, 여기서 A는 내림맵의 왼쪽 호프 핵심이며, dim A_n = n! - ∑_{k=0}^{n-1} k! 이다.