[논문 리뷰] Deformations and homotopy theory of Rota-Baxter algebras of any weight

Kai Wang, Guodong Zhou|arXiv (Cornell University)|2021. 08. 15.

Advanced Topics in Algebra참고 문헌 58인용 수 5

한 줄 요약

이 논문은 Rota-Baxter 대수의 임의의 무게에 대해, 결합된 곱과 Rota-Baxter 연산자를 동시에 변형하는 데 제어하는 $L_{\infty}$-대수를 구성함으로써, Rota-Baxter 대수의 코homology 이론을 수립한다. 이는 낮은 차수의 코homology 군이 형식적 변형과 아벨 확장을 분류함을 증명하며, 이 $L_{\infty}$-대수의 메우어-카르탕 원소로 호모토피 Rota-Baxter 대수를 정의하고, 이에 해당하는 작용소가 최소 모델을 갖는다는 것을 보여준다.

ABSTRACT

This paper studies formal deformations and homotopy theory of Rota-Baxter algebras of any weight. We define an $L_\infty$-algebra, which controls simultaneous deformations of associative products and Rota-Baxter operators. As a consequence, we develop a cohomology theory of Rota-Baxter algebras of any weight and justify it by interpreting lower degree cohomology groups as formal deformations and abelian extensions. The notion of homotopy Rota-Baxter algebras is introduced and it is shown that the operad governing homotopy Rota-Baxter algebras is a minimal model of the operad of Rota-Baxter algebras.

연구 동기 및 목표

• 임의의 무게를 가진 Rota-Baxter 대수를 위한 코homology 이론을 개발하여, 변형 이론과 코homological 이론에서 오랫동안 존재해 온 격차를 메운다.
• Rota-Baxter 대수에서 결합된 곱과 Rota-Baxter 연산자를 동시에 변형하는 데 제어하는 $L_{\infty}$-대수를 구성한다.
• Rota-Baxter 대수의 낮은 차수의 코homology 군이 형식적 변형과 아벨 확장을 분류함을 해석한다.
• 구축된 $L_{\infty}$-대수에서 메우어-카르탕 원소로 호모토피 Rota-Baxter 대수를 정의한다.
• 호모토피 Rota-Baxter 대수를 제어하는 작용소가 Rota-Baxter 대수의 작용소의 최소 모델임을 증명한다.

제안 방법

• 임의의 무게를 가진 Rota-Baxter 대수의 변형 복합체를 구성하고, 곱과 Rota-Baxter 연산자의 동시에 변형을 제어하는 $L_{\infty}$-대수 구조를 부여한다.
• Rota-Baxter 대수의 코チェ인 복합체를 정의하고, Rota-Baxter 연산자와 결합된 곱을 포함하는 명시적 고차 스크류를 통해 $L_{\infty}$-구조를 부여한다.
• Rota-Baxter 대수의 구조를 $L_{\infty}$-대수의 메우어-카르탕 원소로 실현함으로써, 대수적 구조와 메우어-카르탕 방정식의 해 사이의 연결 고리를 맺는다.
• 호모토피 Rota-Baxter 대수를 $L_{\infty}$-대수의 메우어-카르탕 원소로 정의하여, 엄밀한 대수적 구조를 일반화한다.
• $L_{\infty}$-대수를 사용하여 Rota-Baxter 대수를 제어하는 작용소의 최소 모델을 정의하고, 이가 코프리프레시언임을 보여준다.
• 이론을 적용하여 코homology 군을 해석한다: $H^1$은 무한소 변형을 분류하고, $H^2$는 아벨 확장을 분류하며, $H^3$은 형식적 변형의 연장에 대한 장애를 분류한다.

실험 결과

연구 질문

• RQ1 어떻게 하면 주어진 임의의 무게를 가진 Rota-Baxter 대수의 코homology 이론을 구성할 수 있을까? 이는 곱과 Rota-Baxter 연산자의 변형을 동시에 캡처해야 한다.
• RQ2 Rota-Baxter 대수에서 결합된 곱과 Rota-Baxter 연산자의 동시에 변형을 제어하는 $L_{\infty}$-대수의 구조는 무엇인가?
• RQ3 Rota-Baxter 대수의 낮은 차수의 코homology 군은 형식적 변형과 아벨 확장과 어떻게 관련이 있는가?
• RQ4 Rota-Baxter 대수의 호모토피 판본은 무엇이며, 이는 $L_{\infty}$-대수의 구조와 어떻게 관련이 있는가?
• RQ5 Rota-Baxter 대수의 작용소는 최소 모델과 quasi-isomorphic한가? 만약 그렇다면, 그 구조는 어떠한가?

주요 결과

• Rota-Baxter 대수의 코チェ인 복합체에 부여된 $L_{\infty}$-대수 구조는 곱과 Rota-Baxter 연산자의 동시에 변형을 제어한다.
• 첫 번째 코homology 군 $H^1$은 Rota-Baxter 대수의 구조에 대한 무한소 변형을 분류한다.
• 두 번째 코homology 군 $H^2$는 Rota-Baxter 대수의 아벨 확장을 분류한다.
• 세 번째 코homology 군 $H^3$은 Rota-Baxter 대수의 형식적 변형을 연장하는 데 발생하는 장애를 분류한다.
• 호모토피 Rota-Baxter 대수는 $L_{\infty}$-대수의 메우어-카르탕 원소로 정의되며, Rota-Baxter 대수의 호모토피론적 일반화를 제공한다.
• 호모토피 Rota-Baxter 대수를 제어하는 작용소는 임의의 무게를 가진 Rota-Baxter 대수의 작용소의 최소 모델이다.