[논문 리뷰] Hopf algebras of endomorphisms of Hopf algebras

Michiel Hazewinkel|ArXiv.org|2004. 10. 16.

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

한 줄 요약

이 논문은 비가환 대칭 함수의 일반화, 특히 Malvenuto-Poirier-Reutenauer (MPR) 호프 대수를 이해하는 데 통합적인 프레임워크로, 호프 대수의 내적 사상들의 호프 대수를 제안한다. MPR를 내적 사상들의 호프 대수로 해석함으로써, 그 자가 dual 성질과 미스터리한 구조를 명확히 하고, NSymm에서 MPR로, MPR에서 QSymm으로의 대수적 단순화를 조사한다.

ABSTRACT

In the last decennia two generalizations of the Hopf algebra of symmetric functions have appeared and shown themselves important, the Hopf algebra of noncommutative symmetric functions NSymm and the Hopf algebra of quasisymmetric functions QSymm. It has also become clear that it is important to understand the noncommutative versions of such important structures as Symm the Hopf algebra of symmetric functions. Not least because the right noncommmutative versions are often more beautiful than the commutaive ones (not all cluttered up with counting coefficients). NSymm and QSymm are not truly the full noncommutative generalizations. One is maximally noncommutative but cocommutative, the other is maximally non cocommutative but commutative. There is a common, selfdual generalization, the Hopf algebra of permutations of Malvenuto, Poirier, and Reutenauer (MPR). This one is, I feel, best understood as a Hopf algebra of endomorphisms. In any case, this point of view suggests vast generalizations leading to the Hopf algebras of endomorphisms and word Hopf algebras with which this paper is concerned. This point of view also sheds light on the somewhat mysterious formulas of MPR and on the question where all the extra structure (such as autoduality) comes from. The paper concludes with a few sections on the structure of MPR and the question of algebra retractions of the natural inclusion of Hopf algebras of NSymm into MPR and section of the naural projection of MPR onto QSymm.

연구 동기 및 목표

• NSymm와 QSymm를 초월하여 비가환 대칭 함수의 일반화를 이해하기 위한 개념적 프레임워크를 개발하는 것.
• MPR 호프 대수의 자가 이중성과 높은 구조적 성질을, 그것이 내적 사상들의 호프 대수로 실현됨을 통해 설명하는 것.
• MPR 내의 풍부한 대수적 구조, 특히 자가 이중성과 조합적 공식의 기원을 명확히 하는 것.
• NSymm → MPR의 자연스러운 포함 사상과 MPR → QSymm의 자연스러운 사영 사상에 대한 대수적 단순화를 조사하는 것.
• 더 나아가 연구를 위한 기초로 삼을 수 있는 내적 사상들의 호프 대수와 단어 호프 대수의 더 넓은 일반화를 제공하는 것.

제안 방법

• 주어진 호프 대수의 내적 사상들의 호프 대수의 구성법을 보편 성질과 함자적 구성법을 사용하여 체계화하는 것.
• 특정 자유 대상이 호프 대수의 범주 내에서 구성하는 MPR 호프 대수를 내적 사상들의 호프 대수로 분석하는 것.
• 내적 사상 대수의 시각을 적용하여 MPR의 조합적 공식과 자가 이중성을 설명하는 것.
• 카테고리 이론과 대수적 기법을 사용하여 NSymm, MPR, QSymm 사이의 포함 및 사영 사상들을 연구하는 것.
• 단어 호프 대수 이론을 내적 사상 구성의 일반화로 활용하여 비가환 대칭성을 포괄하는 더 넓은 범위의 비가환 대수적 구조를 포착하는 것.
• 호프 대수의 맥락에서 호소적 및 표현 이론적 방법을 사용하여 단순화와 대수적 구조를 조사하는 것.

실험 결과

연구 질문

• RQ1 Malvenuto-Poirier-Reutenauer (MPR) 호프 대수는 어떻게 자연스럽게 내적 사상들의 호프 대수로 해석될 수 있는가?
• RQ2 내적 사상의 관점에서 MPR 호프 대수의 자가 이중성과 풍부한 조합적 구조는 무엇에 의해 설명되는가?
• RQ3 NSymm에서 MPR로의 포함 사상의 대수적 성질은 무엇이며, 이는 단순화를 허용하는가?
• RQ4 MPR에서 QSymm로의 자연스러운 사영 사상은 대수적 사상으로서 단순화 또는 단순화를 허용하는가?
• RQ5 내적 사상 호프 대수와 단어 호프 대수의 개념은 비가환 설정에서 대칭 함수 이론을 어떻게 일반화하는가?

주요 결과

• MPR 호프 대수는 하나의 생성자를 가진 자유 호프 대수의 내적 사상들의 호프 대수로 자연스럽게 실현되며, 이는 그 자가 이중성과 보편 성질을 설명한다.
• 내적 사상 대수의 시각은 MPR 내에서 미스터리한 조합적 공식, 특히 순열과 그 이중성과 관련된 공식의 기원을 명확히 한다.
• NSymm에서 MPR로의 포함 사상은 호프 대수의 단순화를 허용하지 않으며, 이는 두 대수 사이의 깊은 구조적 차이를 시사한다.
• MPR에서 QSymm로의 사영 사상 역시 호프 대수의 단순화를 허용하지 않으며, 이는 QSymm이 호프 대수의 범주에서 MPR의 직접 합성원소가 아님을 시사한다.
• 내적 사상 호프 대수의 프레임워크는 NSymm, QSymm, MPR를 통합적인 시각으로 제공하며, MPR는 자가 이중성과 동시에 최대한으로 비가환적이며 비코무터티브인 일반화임을 드러낸다.
• 단어 호프 대수 이론은 내적 사상 호프 대수의 자연스러운 일반화로 나타나며, 더 넓은 비가환 대수적 구조의 범위를 확장한다.