[논문 리뷰] Natural endomorphisms of quasi-shuffle Hopf algebras

Jean-Christophe Novelli, Frédéric Patras외 1명|arXiv (Cornell University)|2011. 01. 04.

Advanced Combinatorial Mathematics인용 수 4

한 줄 요약

이 논문은 어휘-준대칭 함수의 호프 대수(WQSym)에 자연스러운 내부 곱을 도입하여, 이 대수가 준셔플리 대수 위의 선형 내부환의 콘볼루션 대수로 작용할 수 있음을 보여준다. 또한 준셔플리 대수에 대해 스체르-웨일 dualty를 수립하고, 분해 불가능성에 사영하는 일반화된 오일러형 아이소포텐셜의 존재를 증명함으로써, 이러한 대수들—다중 제타 값(MZVs)과 자유 로타-백스터 대수를 포함—에 대한 자유 다항식 생성자를 조합론적으로 구성한다.

ABSTRACT

The Hopf algebra of word-quasi-symmetric functions ($\WQSym$), a noncommutative generalization of the Hopf algebra of quasi-symmetric functions, can be endowed with an internal product that has several compatibility properties with the other operations on $\WQSym$. This extends constructions familiar and central in the theory of free Lie algebras, noncommutative symmetric functions and their various applications fields, and allows to interpret $\WQSym$ as a convolution algebra of linear endomorphisms of quasi-shuffle algebras. We then use this interpretation to study the fine structure of quasi-shuffle algebras (MZVs, free Rota-Baxter algebras...). In particular, we compute their Adams operations and prove the existence of generalized Eulerian idempotents, that is, of a canonical left-inverse to the natural surjection map to their indecomposables, allowing for the combinatorial construction of free polynomial generators for these algebras.

연구 동기 및 목표

• 다중 제타 값(MZVs)과 준셔플리 대수에 작용하는 자연스러운 연산의 형식적 대수적 구조를 이해하기 위해.
• 솔로몬의 오일러형 아이소포텐셜을 포함한 고전적 리 미적 계산 개념들을 비가환성과 준셔플리 환경으로 확장하기 위해.
• 준셔플리 대수의 맥락에서 FQSym의 자연스러운 유사체로 WQSym을 정립하기 위해.
• 기본 사영을 통한 정규화를 통해 준셔플리 대수의 자유 다항식 생성자를 조합론적으로 구성하기 위해.
• 일반화된 오일러형 아이소포텐셜이 분해 불가능성에 사영하는 데 있어 정규화의 왼쪽 역함수로 작용함을 증명하여, 명시적 생성자 구성이 가능하도록 하기 위해.

제안 방법

• 준셔플리 대수 위의 선형 내부환의 복합을 업그레이드한 방식으로 WQSym 위의 내부 곱을 정의한다.
• 항등사상 I를 생성자로 갖는 특징 부분대수 Car ⊂ WQSym를 정의하며, 이는 군형 원소임을 이용해 일반화된 오일러형 아이소포텐셜 e₁ = log(I)를 정의한다.
• 스위들러 표기법을 사용하여 Car의 코곱이 준셔플리 대수 위의 작용과 호환됨을 증명한다: (a⊗b)·σ = (a·σ⁽¹⁾)⊗(b·σ⁽²⁾).
• 아담스 작용 Ψⁿ 이 QS(A) 위에 작용할 때, e₁이 가장 낮은 비자명한 고유값에 대한 스펙트럴 아이소포텐셜임을 이용한다.
• Ψ² = 2·e₁ 과 Ψ² = 2·I 가 Ind = QS(A)⁺/(QS(A)⁺)² 에서 성립함을 보여, e₁ 이 분해 불가능성 Ind 에서 항등사상으로 작용함을 증명한다.
• 셔플 곱이 준셔플리 곱의 최고 차수 성분임을 이용한 삼각형 성질의 추론을 통해, QS(A) 가 교환 대수로서 자유임을 증명한다.

실험 결과

연구 질문

• RQ1 고전적 리 미적 계산, 특히 오일러형 아이소포텐셜이 준셔플리 대수의 맥락으로 올리기 가능한가?
• RQ2 호프 대수 WQSym는 준셔플리 대수의 자연스러운 내부환을 어떻게 코딩하는가?
• RQ3 일반화된 오일러형 아이소포텐셜 e₁ 은 준셔플리 대수의 분해 불가능성에 대한 정규 사영으로서 어떤 역할을 하는가?
• RQ4 텐서 대수에 대한 고전적 스체르-웨일 대칭성과 유사한 준셔플리 대수에 대한 스체르-웨일 대칭성이 존재하는가?
• RQ5 스펙트럴 아이소포텐셜을 사용하여 준셔플리 대수의 자유 다항식 생성자를 조합론적으로 구성할 수 있는가?

주요 결과

• WQSym 위의 내부 곱은 준셔플리 대수 위의 선형 내부환의 복합을 업그레이드한 것으로, 자연스러운 콘볼루션 대수의 구조를 제공한다.
• 일반화된 오일러형 아이소포텐셜 e₁ = log(I) 는 특징 부분대수 Car ⊂ WQSym 내의 원소로서 프라임 원소이며, 아담스 작용에 대한 스펙트럴 아이소포텐셜로 작용한다.
• 사상 e₁ 은 분해 불가능성 Ind = QS(A)⁺/(QS(A)⁺)² 에서 항등사상으로 작용함을 증명하여, 이는 분해 불가능성에 사영하는 데 있어 정규 왼쪽 역함수임을 보여준다.
• e₁ 이 준셔플리 곱에 작용할 때, 동차 원소 a, b 가 양의 차수를 가질 경우 (a⊗b)·e₁ = 0 임을 확인함으로써, e₁ 이 (QS(A)⁺)² 에서 0이 됨을 확인한다.
• 아담스 작용 Ψ² 는 Ind 에서 2·e₁ 으로 작용하고, QS(A) 에서는 2·I 로 작용하므로, e₁ 이 Ind 에서 항등사상임을 확인하고 따라서 자유 생성자에 사영하는 것으로 증명된다.
• 결과적으로, e₁ 의 상은 MZVs 및 자유 로타-백스터 대수를 포함한 QS(A) 의 자유 다항식 생성자를 조합론적으로 구성한다.