[논문 리뷰] Matching Rota-Baxter algebras, matching dendriform algebras and matching pre-Lie algebras

Xing Gao, Li Guo외 1명|arXiv (Cornell University)|2019. 09. 23.

Advanced Topics in Algebra참고 문헌 37인용 수 4

한 줄 요약

이 논문은 정규화 구조에서의 대수적 리노멀라이제이션을 동기로 삼아, 고전적 대수적 구조의 일반화로서 매칭 Rota-Baxter 대수, 매칭 덴드라이포르 대수, 매칭 프리-리 대수를 도입한다. Rota-Baxter 연산자를 통한 이들 구조 간의 범주론적 연결을 확립하고, 호환 가능한 결합 대수가 호환 가능한 리 대수를 유도하는 반면, 매칭 결합 대수가 매칭 리 대수를 유도하지 못함을 보여, 이 이론에서의 핵심적 차이를 부각시킨다.

ABSTRACT

We introduce the notion of a matching Rota-Baxter algebra motivated by the recent work on multiple pre-Lie algebras arising from the study of algebraic renormalization of regularity structures~[10,18]. This notion is also related to iterated integrals with multiple kernels and solutions of the associative polarized Yang-Baxter equation. Generalizing the natural connection of Rota-Baxter algebras with dendriform algebras to matching Rota-Baxter algebras , we obtain the notion of matching dendriform algebras. As in the classical case of one operation, matching Rota-Baxter algebras and matching dendriform algebras are related to matching pre-Lie algebras which coincide with the aforementioned multiple pre-Lie algebras. More general notions and results on matching tridendriform algebras and matching PostLie algebras are also obtained.

연구 동기 및 목표

• 알고리즘적 리노멀라이제이션에서의 다중 프리-리 대수를 동기로 삼아, 고전적 Rota-Baxter 대수의 일반화로서 매칭 Rota-Baxter 대수의 개념을 체계화하는 것.
• 고전적인 Rota-Baxter 대수, 덴드라이포르 대수, 프리-리 대수 간의 대응관계를 다중 호환 가능한 연산의 맥락으로 확장하는 것.
• 특히 결합 대수에서 리 대수를 구성할 때 '호환'과 '매칭' 대수적 구조 간의 차이를 명확히 하는 것.
• 매칭 트라이덴드라이포르 및 포스트리 대수를 고차원 일반화로서 도입하고 연구하는 것.
• 극성화된 결합 양-버터플러스 방정식이 매칭 Rota-Baxter 대수 및 유도 구조들과 어떻게 정확히 연결되는지를 정립하는 것.

제안 방법

• 다중 연산을 포함하는 일반화된 Rota-Baxter 항등식을 만족하는, 집합 Ω에 의해 인덱싱된 Rota-Baxter 연산자들의 집합을 통해 매칭 Rota-Baxter 대수를 정의한다.
• 매칭 결합 대수의 분할로서 매칭 덴드라이포르 대수를 정의하며, 연산 ∗α와 ∗β가 특정 이항관계를 만족한다.
• 매칭 Rota-Baxter 대수에서 교환자 브라켓을 사용하여 매칭 프리-리 대수를 구성하고, 고전적인 Rota-Baxter에서 프리-리로의 대응관계를 일반화한다.
• 매칭 Rota-Baxter 대수를 지배하는 핵심 방정식으로서 극성화된 결합 양-버터플러스 방정식을 확립하고, 반복 적분과 다중 커널과의 연결을 제시한다.
• 호환 가능한 결합 대수(매칭 대수가 아님)는 교환자 브라켓을 통해 호환 가능한 리 대수를 유도함을 보이며, 매칭 결합 대수로부터 매칭 리 대수를 유도하지 못함을 입증함으로써, 이론적 핵심 차이를 드러낸다.
• 형식적 평면 이진 트리를 사용하여 매칭 덴드라이포르 대수를 실현하고, 연산에 대한 조합론적 모델을 제공한다.

실험 결과

연구 질문

• RQ1 고전적 Rota-Baxter 대수 구성법을 다중 호환 가능한 연산으로 일반화하여, 매칭 Rota-Baxter 대수라는 새로운 대수적 구조로 이어질 수 있는가?
• RQ2 매칭 Rota-Baxter 대수, 매칭 덴드라이포르 대수, 매칭 프리-리 대수 간의 정확한 대수적 관계는 무엇인가?
• RQ3 왜 호환 가능한 결합 대수는 호환 가능한 리 대수를 유도하지만, 매칭 결합 대수에서는 매칭 리 대수를 유도하지 못하는가?
• RQ4 극성화된 결합 양-버터플러스 방정식은 매칭 Rota-Baxter 대수의 특성을 규명하는 데 어떤 역할을 하는가?
• RQ5 매칭 트라이덴드라이포르 및 포스트리 대수는 매칭 대수적 구조의 계층을 어떻게 확장하는가?

주요 결과

• 매칭 Rota-Baxter 대수는 다중 인덱스를 포함하는 일반화된 Rota-Baxter 항등식을 만족하는, 집합 Ω에 의해 인덱싱된 Rota-Baxter 연산자들의 집합을 통해 정의되며, 고전적 경우를 일반화한다.
• 매칭 덴드라이포르 대수는 매칭 결합 대수의 분할로 나타나며, 고전적 덴드라이포르 관계를 일반화한 특정 이항항등식을 만족하는 연산으로 구성된다.
• 매칭 프리-리 대수는 매칭 Rota-Baxter 대수에서 교환자 브라켓을 통해 구성되며, 포이시가 도입하고 대수적 리노멀라이제이션에 사용한 다중 프리-리 대수와 정확히 일치한다.
• 호환 가능한 결합 대수에서 호환 가능한 리 대수를 구성하는 것은 타당하지만, 매칭 결합 대수에서 매칭 리 대수를 구성하는 것은 성립하지 않으며, 이는 구조적 핵심적 차이를 드러낸다.
• 극성화된 결합 양-버터플러스 방정식은 매칭 Rota-Baxter 대수의 정의 방정식과 동치임을 입증하였으며, 반복 적분과 다중 커널 이론과의 연결을 제시한다.
• 매칭 트라이덴드라이포르 및 포스트리 대수는 고차원 일반화로서 매칭 대수적 구조의 계층을 확장하는 데 도입된다.