[논문 리뷰] Algebraic structures on typed decorated rooted trees

Loïc Foissy|arXiv (Cornell University)|2018. 11. 19.

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

한 줄 요약

이 논문은 스토케스틱 PDE의 재정규화에 응용되는 유형화된 장식된 루트 트리 위에 대수적 구조를 도입하고 연구한다. 이는 조합론적 호프 대수학의 핵심 구성요소를 일반화한다. 이 논문은 이러한 트리의 공간이 다중 프리-리 대수를 이룬다는 것을 증명하고, 구인-우돔 및 콘네스-크라이머 유형의 함자들을 통해 관련 호프 대수학을 구성하며, 브룬드-헤이러-잠바티 프레임워크가 이러한 구조의 부분몫으로 나타남을 증명한다. 이는 이 분야의 이전 결과들을 통합하고 확장한다.

ABSTRACT

Typed decorated trees are used by Bruned, Hairer and Zambotti to give a description of a renormalisation processon stochastic PDEs. We here study the algebraic structures on these objects: multiple prelie algebrasand related operads (generalizing a result by Chapoton and Livernet), noncommutative and cocommutative Hopf algebras (generalizing Grossman and Larson's construction),commutative and noncocommutative Hopf algebras (generalizing Connes and Kreimer's construction),bialgebras in cointeraction (generalizing Calaque, Ebrahimi-Fard and Manchon's result). We also define families of morphisms and in particular we prove that any Connes-Kreimer Hopf algebraof typed and decorated trees is isomorphic to a Connes-Kreimer Hopf algebra of non--typed and decoratedtrees (the set of decorations of vertices being bigger), through a contraction process,and finally obtain the Bruned-Hairer-Zambotti construction as a subquotient.

연구 동기 및 목표

• 스토케스틱 PDE 재정규화에 사용되는 유형화된 장식된 루트 트리에 대한 보편적인 대수적 프레임워크를 개발하기 위해.
• 유형화된, 장식된 설정으로 일반화된 프리-리 대수학 및 호프 대수학의 구성(예: 그로스만-라르손, 콘네스-크라이머)을 위해.
• 브룬드-헤이러-잠바티 재정규화 구성이 이 프레임워크의 부분몫임을 증명하기 위해.
• 다양한 매개변수 선택에 따른 호프 대수학 간의 동형관계를 확립하여 구조적 강건성(robustness)을 보여주기 위해.

제안 방법

• 각 유형 t에 대해 그라프팅 연산 ‚t를 정의하여, 유형화된 D-장식된 트리 위에 T-다중 프리-리 대수를 형성한다.
• 구인-우돔 구성법을 사용하여 프리-리 곱을 대칭 대수의 삼중호프 대수학으로 올린다.
• 코인터랙션 별도 대수학 프레임워크를 통해 이중 호프 대수학을 구성하며, 칼라크-에브라힘피-판드만의 결과를 일반화한다.
• 브룬드-헤이러-잠바티 구성법을 모델링하기 위해 수축-추출 코곱 δ를 도입한다.
• 모든 유형화된 트리에 대한 콘네스-크라이머 호프 대수학이 수축 과정을 통해 더 큰 장식 집합을 가진 비유형 트리의 호프 대수학과 동형임을 증명한다.
• 비결합적 순열 코곱과 리븐버트의 강성 정리( rigidity theorem )를 사용하여 매개변수 변화에 대한 동형관계 불변성을 확립한다.

실험 결과

연구 질문

• RQ1 유형화된 경우에서 비유형화된 경우로의 대수적 구조를 체계적으로 일반화할 수 있는가?
• RQ2 다중 프리-리 대수학과 그 오페라드는 유형 트리의 조합론과 어떻게 관련되는가?
• RQ3 브룬드-헤이러-잠바티 재정규화 프레임워크는 더 일반적인 대수적 구성의 자연스러운 부분몫인가?
• RQ4 다른 매개변수 선택(λ)으로부터 구성된 호프 대수학은 동형인가? 이는 재정규화 불변성에 어떤 의미를 갖는가?
• RQ5 콘네스-크라이머 호프 대수학이 유형 트리 위에서 수축 과정을 통해 비유형 트리의 호프 대수학으로 축소될 수 있는가?

주요 결과

• T-유형, D-장식된 루트 트리의 공간은 채포톤-리븐버트의 결과를 일반화한 자유 T-다중 프리-리 대수를 이룬다.
• T-다중 프리-리 대수의 오페라드는 T-유형, 인덱스가 부여된 트리로 조합론적으로 기술된다.
• 구인-우돔 구성법을 통해 얻는 호프 대수학 HGLλD,T 는 유형화된 경우로의 그로스만-라르손 대수학을 일반화한다.
• 이중 호프 대수학 HCKλD,T 는 콘네스-크라이머 대수학을 일반화하며, 하우시하우드 코homological 보편 성질을 만족한다.
• 모든 영이 아닌 λ에 대해, 호프 대수학 HGLλD,T 와 HCKλD,T 는 다른 모든 영이 아닌 매개변수에 대해 동형이며, 이는 구조적 불변성을 보여준다.
• 브룬드-헤이러-잠바티 별도 대수학 구성은 구성된 호프 대수학 프레임워크의 부분몫으로 실현되며, 재정규화 과정을 통합한다.