[논문 리뷰] A cohomological study of modified Rota-Baxter algebras

Apurba Das|arXiv (Cornell University)|2022. 07. 05.

Advanced Topics in Algebra인용 수 4

한 줄 요약

이 논문은 수정된 Rota-Baxter 대수에 대한 코homology 이론을 도입하여, Rota-Baxter 대수의 코homology와의 연결을 수립하고, 형식적 변형과 아벨 확장을 분류하는 데 응용한다. 주요 기여는 수정된 Rota-Baxter 대수를 유도된 곱 $*_R$ 를 통해 결합한 결합 대수적 구조로 연결하는 코homological 프레임워크를 제공함으로써, Hochschild 유형 복합체를 통해 변형과 확장을 분류할 수 있도록 한다.

ABSTRACT

A modified Rota-Baxter algebra is an algebra equipped with an operator that satisfies the modified Yang-Baxter equation. In this paper, we define the cohomology of a modified Rota-Baxter algebra with coefficients in a suitable bimodule. We relate our cohomology of a modified Rota-Baxter algebra with the known cohomology theory of a Rota-Baxter algebra. As applications of our cohomology, we study formal one-parameter deformations and abelian extensions of modified Rota-Baxter algebras.

연구 동기 및 목표

• 수정된 Rota-Baxter 대수에 대한 계수를 갖는 이론적 코homology 이론을 개발한다.
• 수정된 Rota-Baxter 대수의 코homology와 기존의 Rota-Baxter 대수의 코homology 간의 관계를 규명한다.
• 코homology를 활용하여 수정된 Rota-Baxter 대수의 형식적 일파라미터 변형과 아벨 확장을 분류한다.
• Rota-Baxter 대수에서 수정된 Rota-Baxter 대수로의 변형 및 확장 이론을 일반화한다.
• 미래 방향으로는 $L_∞$-대수적 구조와 수정된 Rota-Baxter 대수에 대한 호모토피 이론을 제안한다.

제안 방법

• 수정된 Rota-Baxter 대수 $(A,R)$ 위의 이중모듈러를 $R$, $S$, 그리고 $M$ 위의 $A$-이중모듈러 구조 간의 호환 조건을 만족하는 쌍 $(M,S)$로 정의한다.
• 곱 $a*_R b = R(a)\cdot b + a\cdot R(b)$ 를 사용하여, $A$의 기저 공간 위에 새로운 결합 대수 $A_R$ 를 구성한다.
• 이중모듈러 $M$ 에 $A_R$-이중모듈러 구조 $\widetilde{M}$ 를 도입함으로써 Hochschild 코チェ인 복합체의 사용이 가능해진다.
• 계수 $(M,S)$ 를 갖는 $(A,R)$ 의 코homology 복합체를 $A$ 와 $A_R$ 의 Hochschild 복합체의 조합으로 정의하여, $H^*_{\mathrm{mRBA}}((A,R),(M,S))$ 를 도출한다.
• 무게 $\lambda$ 를 갖는 Rota-Baxter 대수 $(A,P)$ 의 코homology 는 무게 $\kappa=-\lambda^2$ 를 갖는 수정된 Rota-Baxter 대수 $(A,R=\lambda\mathrm{id}+2P)$ 의 코homology 와 동형임을 증명한다.
• 코homology 를 활용하여 2-코호모로지와 동치류를 통해 형식적 변형과 아벨 확장을 분류한다.

실험 결과

연구 질문

• RQ1 수정된 Rota-Baxter 대수에 대해 계수를 갖는 이중모듈러에 대한 코homology 이론은 어떻게 정의할 수 있는가?
• RQ2 수정된 Rota-Baxter 대수의 코homology 와 Rota-Baxter 대수의 코homology 간의 관계는 무엇인가?
• RQ3 이 코homology 는 수정된 Rota-Baxter 대수의 형식적 일파라미터 변형을 어떻게 분류하는 데 사용할 수 있는가?
• RQ4 수정된 Rota-Baxter 대수의 아벨 확장을 코homological 불변량을 통해 어떻게 분류할 수 있는가?
• RQ5 이 이론을 $L_\infty$-대수, 호모토피 이론, 그리고 리 또는 군론적 대응 구조로 확장할 수 있는 전망은 무엇인가?

주요 결과

• 무게 $\lambda$ 를 갖는 Rota-Baxter 대수 $(A,P)$ 의 코homology 는 무게 $\kappa=-\lambda^2$ 를 갖는 수정된 Rota-Baxter 대수 $(A,R=\lambda\mathrm{id}+2P)$ 의 코homology 와 동형이다.
• 수정된 Rota-Baxter 대수 $(A,R)$ 의 기저 공간 $A$ 는 곱 $a*_R b = R(a)\cdot b + a\cdot R(b)$ 로 정의된 새로운 결합 대수적 구조 $A_R$ 를 지닌다.
• 수정된 Rota-Baxter 대수 $(A,R)$ 위의 임의의 이중모듈러 $(M,S)$ 는 $A_R$-이중모듈러 구조 $\widetilde{M}$ 을 유도하며, 이는 Hochschild 코체인 복합체의 구성이 가능하게 한다.
• 수정된 Rota-Baxter 대수의 형식적 변형은 두 번째 코homology 군 $H^2_{\mathrm{mRBA}}((A,R),(M,S))$ 로 분류된다.
• 수정된 Rota-Baxter 대수의 아벨 확장은 동일한 두 번째 코homology 군으로 분류되며, 확장 클래스에서 코homology 클래스로의 잘 정의된 사상이 존재한다.
• 분류 결과는 확장의 동형에 대해 불변이므로, 코homological 불변량이 잘 정의되고 표준적임을 확인한다.