[논문 리뷰] Polynomial realizations of some combinatorial Hopf algebras

Loïc Foissy, Jean-Christophe Novelli외 1명|arXiv (Cornell University)|2010. 09. 10.

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

한 줄 요약

이 논문은 순서 대신 이진 관계를 사용하는 일반화된 변수 두배화 구조를 도입하여, 뿌리가 있는 트리, 숲, 그래프 기반의 여러 조합적 호프 대수, 특히 콘네스-크라이머 대수와 엔도함수 기반의 새로운 비가환 호프 대수에 대해 명시적인 다항식 실현을 구축한다. 주요 기여는 조합적으로 정의된 곱과 코곱을 갖는 다항식 대수를 통해 이러한 호프 대수를 통합적으로 실현하는 프레임워크를 제공하는 것이다.

ABSTRACT

We construct explicit polynomial realizations of some combinatorial Hopf algebras based on various kind of trees or forests, and some more general classes of graphs, ranging from the Connes-Kreimer algebra to an algebra of labelled forests isomorphic to the Hopf algebra of parking functions, and to a new noncommutative algebra based on endofunctions admitting many interesting subalgebras and quotients.

연구 동기 및 목표

• 뿌리가 있는 트리, 숲, 그래프를 기반으로 한 조합적 호프 대수에 대해 명시적인 다항식 실현을 제공하는 것.
• 이전에 순서된 알파벳에 의존하던 표준 다항식 실현 방법을 순서가 없는 조합 구조(예: 뿌리가 있는 트리, 엔도함수)로 확장하는 것.
• 엔도함수를 기반으로 한 새로운 비가환 호프 대수를 구축하여, 레이블이 붙은 숲을 일반화하고 사이클을 포함하는 것.
• 이 새로운 대수와 기존의 호프 대수(예: 주차 함수의 호프 대수의 쌍대, 로다-론코 대수) 사이의 동형사상 수립.
• 엔도함수 대수 내에서 애시클릭, 비감소, 등幂 엔도함수를 포함한 호프 부분대수와 몫대수를 식별하고 특성화하는 것.

제안 방법

• 집합 [n]의 엔도함수 위에 새로운 호프 대수 구조를 정의하며, 곱은 엔도함수의 분리합집합으로 주어지고, 코프로덕트는 부분집합으로의 제한의 표준화를 통해 정의된다.
• 고정점 기반의 부분순서를 엔도함수에 도입하며, 커버 관계는 비고정점을 고정점으로 전환함으로써 정의된다.
• 부분순서 위에서 모비우스 역행렬을 사용하여 슈어 유형의 기저 {R_f}를 구성하며, 공식 R_f = ∑_{g≤f} (−1)^{Fix(f)−Fix(g)} S^g 를 사용한다.
• 비애시클릭 엔도함수 f에 대해 R_f 를 생성하는 이상수 I_o' 를 정의하고, I_o' 에 대한 몫대수가 콘네스-크라이머 호프 대수 H_o 와 동형임을 보인다.
• F가 순서가 붙은 숲일 때 f ↦ f_F 라는 사상으로 엔도함수와 뿌리가 있는 숲을 연결하고, 대수 동형사상을 수립한다.
• 엔도함수 f on [n'+n''] 에 대해 std(f^I) = f' 및 std(f^{[n']'}) = f'' 를 만족하는 모든 f 에 대한 합으로서, R_{f'}R_{f''} 가 주어진다. 여기서 I = [n'] 이고 I^c = [n'+n'']∓[n'] 이다.

실험 결과

연구 질문

• RQ1 콘네스-크라이머 호프 대수—이전에 다항식 실현이 없었던—은 일반화된 변수 두배화 구조를 통해 다항식 대수에 통합될 수 있는가?
• RQ2 기존에 순서된 알파벳에 의존하는 표준 다항식 실현 방법은 순서가 없는 조합 구조(예: 뿌리가 있는 트리, 엔도함수)로 어떻게 확장될 수 있는가?
• RQ3 엔도함수에서 유도되는 새로운 호프 대수의 구조는 무엇이며, 주차 함수의 호프 대수나 로다-론코 대수와 같은 기존 대수와 어떻게 관련이 있는가?
• RQ4 엔도함수 호프 대수의 어떤 부분대수와 몫대수가 자체적으로 호프 대수인지이며, 그것들을 특성화하는 조합적 성질은 무엇인가?
• RQ5 엔도함수 호프 대수에 대해 곱과 코프로덕트의 구조를 유지하는 슈어 유형의 기저가 존재하는가? 그리고 이러한 기저를 통해 다른 알려진 호프 대수와의 동형사상을 수립할 수 있는가?

주요 결과

• 콘네스-크라이머 호프 대수 H_o 는 비애시클릭 엔도함수 f 에 대해 R_f 를 생성하는 이상수 I_o' 에 대한 몫대수와 동형이다.
• 순서가 붙은 숲 F 를 해당 몫대수에서 R_{f_F} 의 동치류로 보내는 사상은 H_o 와 I_o' 에 대한 몫대수 사이의 대수 동형사상을 제공한다.
• 엔도함수 대수에서 두 기저 원소 R_{f'} 과 R_{f''} 의 곱은, I = [n'] 이고 I^c = [n'+n'']∓[n'] 일 때, f|_I 의 표준화가 f' 이고 f|_{I^c} 의 표준화가 f'' 가 되는 [n'+n''] 에 정의된 모든 엔도함수 f 에 대한 합으로 주어진다.
• 애시클릭 엔도함수의 호프 대수는 H_o 와 동형이며, 주차 함수의 호프 대수의 쌍대(PQSym*)와도 동형이다.
• 비감소 엔도함수의 부분대수는 곱과 코프로덕트에 대해 닫혀 있으며, 호프 부분대수를 이룬다.
• 등幂 엔도함수(즉, f^2 = f 를 만족하는) 부분대수 역시 곱과 코프로덕트에 대해 닫혀 있으며, 호프 부분대수를 이룬다. 이는 높이 ≤1인 트리(코로라)에 대응한다.