[논문 리뷰] Fa\`a di Bruno subalgebras of the Hopf algebra of planar trees from combinatorial Dyson-Schwinger equations

Loïc Foissy|arXiv (Cornell University)|2007. 07. 09.

Advanced Topics in Algebra참고 문헌 9인용 수 11

한 줄 요약

이 논문은 평면 루트 트리의 Connes-Kreimer 호프 대수에서 조합적 디슨-슈윙거 방정식 $X = B^+(P(X))$ 의 해를 연구하며, 생성된 부분대수 $A_P$ 가 호프 부분대수가 되는 형식적 급수 $P$ 를 규명한다. 이를 통해 세 개의 동형류로 분류되며, 다항식 환, 순서수열에 이sov모르픽인 쿼اسي대칭 함수와 동형인 호프 대수, 그리고 비가환 Fá di Bruno 호프 대수의 비가환 버전을 포함한다. 후자는 고전적 Fá di Bruno 대수의 트리 호프 대수로의 무한한 임베딩을 제공한다.

ABSTRACT

We consider the combinatorial Dyson-Schwinger equation X=B^+(P(X)) in the non-commutative Connes-KreimerHopf algebra of planar rooted trees H, where B^+ is the operator of grafting on a root, and P a formal series. The unique solution X of this equation generates a graded subalgebra A_P of\H. We describe all the formal series P such that A_P is a Hopf subalgebra. We obtain in this way a 2-parameters family of Hopf subalgebras of H, organized into three isomorphism classes: a first one, restricted to a olynomial ring in one variable; a second one, restricted to the Hopf subalgebra of ladders, isomorphic to the Hopf algebra of quasi-symmetric functions; a last (infinite) one, which gives a non-commutative version of the Fa\`a di Bruno Hopf algebra. By taking the quotient, the last classe gives an infinite set of embeddings of the Fa\`a di Bruno algebra into the Connes-Kreimer Hopf algebra of rooted trees. Moreover, we give an embedding of the free Fa\`a di Bruno Hopf algebra on D variables into a Hopf algebra of decorated rooted trees, togetherwith a non commutative version of this embedding.

연구 동기 및 목표

• 해 $X$ 가 디슨-슈윙거 방정식 $X = B^+(P(X))$ 를 만족할 때 생성되는 부분대수 $A_P$ 가 Connes-Kreimer 평면 루트 트리 호프 대수 $H$ 의 호프 부분대수가 되는 모든 형식적 급수 $P$ 를 특성화하는 것.
• 해당 호프 부분대수 $A_P$ 를 동형류로 분류하고 그 대수적 구조를 규명하는 것.
• 몫 구조를 통한 $A_P$ 를 이용해 고전적 Fá di Bruno 호프 대수를 트리 호프 대수로의 임베딩을 확립하는 것.
• 장식된 루트 트리 구조를 사용해 $D$ 개 변수에 대한 자유 Fá di Bruno 호프 대수의 비가환 버전을 구성하는 것.

제안 방법

• 비가환 Connes-Kreimer 호프 대수 $H$ 의 평면 루트 트리에서 조합적 디슨-슈윙거 방정식 $X = B^+(P(X))$ 를 푸는 것. 여기서 $B^+$ 는 이식 연산자이다.
• 부분대수 $A_P$ 가 쌍대원소에 대해 닫혀 있음을 보장함으로써, $X$ 의 해에 의해 생성된 부분대수 $A_P$ 가 호프 부분대수가 되는 형식적 급수 $P$ 를 특성화하는 것.
• 다양한 $P$ 의 유형에 대해 $A_P$ 의 대수적 구조를 분석하여 세 개의 동형류로 식별: 다항식 환, 루프, 비가환 Fá di Bruno 유사 구조.
• 몫 구조를 이용해 비가환 부분대수의 무한 가족이 고전적 Fá di Bruno 호프 대수로 사영됨을 보여주며, 이를 통해 임베딩을 증명하는 것.
• 장식된 루트 트리의 호프 대수로 자유 Fá di Bruno 호프 대수($D$ 개 변수)의 임베딩을 구성하는 것.
• 비가환 관계를 가진 장식된 트리를 사용해 이 임베딩의 비가환 버전을 개발하는 것.

실험 결과

연구 질문

• RQ1 어떤 형식적 급수 $P$ 에 대해 디슨-슈윙거 방정식의 해 $X = B^+(P(X))$ 가 생성하는 부분대수 $A_P$ 가 평면 루트 트리의 Connes-Kreimer 호프 대수의 호프 부분대수가 되는가?
• RQ2 디슨-슈윙거 방정식의 해로부터 유도된 호프 부분대수 $A_P$ 는 어떤 동형류로 분류되는가?
• RQ3 어떻게 $A_P$ 의 몫 구조를 통해 고전적 Fá di Bruno 호프 대수를 평면 트리 호프 대수로 임베딩할 수 있는가?
• RQ4 자유 Fá di Bruno 호프 대수($D$ 개 변수)는 장식된 루트 트리의 호프 대수로 임베딩될 수 있으며, 그 임베딩의 구조는 어떠한가?
• RQ5 비가환 Fá di Bruno 호프 대수의 구조는 무엇이며, 이를 장식된 트리의 프레임워크 내에서 어떻게 실현할 수 있는가?

주요 결과

• 논문은 디슨-슈윙거 방정식 $X = B^+(P(X))$ 의 해로부터 유도된 평면 루트 트리의 Connes-Kreimer 호프 대수 내에서 2파라미터 가족의 호프 부분대수 $A_P$ 를 규명한다.
• 이 부분대수들은 세 개의 동형류로 분류되며, 하나는 한 개 변수의 다항식 환과 동형이며, 다른 하나는 루프 부분대수를 통해 쿼اسي대칭 함수의 호프 대수와 동형이며, 나머지 하나는 비가환 Fá di Bruno 호프 대수의 비가환 버전이다.
• 비가환 Fá di Bruno 부분대수는 무한한 호프 부분대수의 가족으로 나타나며, 그 몫은 고전적 Fá di Bruno 대수의 트리 호프 대수로의 무한한 임베딩을 제공한다.
• 고전적 Fá di Bruno 호프 대수의 임베딩은 비가환 부분대수의 몫 사상들을 통해 트리 호프 대수로 체계적으로 확립된다.
• 자유 Fá di Bruno 호프 대수($D$ 개 변수)는 장식된 루트 트리의 호프 대수로 임베딩되며, 고전적 경우를 일반화한다.
• 이 임베딩의 비가환 버전이 개발되어, 비가환 장식된 트리의 프레임워크로 확장되며, 비가환 Fá di Bruno 구조의 새로운 실현을 제공한다.