[논문 리뷰] BiHom-pre-alternative algebras and BiHom-alternative quadri-algebras

Tewfik Chtioui, Sami Mabrouk외 1명|arXiv (Cornell University)|2019. 03. 10.

Advanced Topics in Algebra참고 문헌 22인용 수 8

한 줄 요약

이 논문은 Rota-Baxter 연산자와 $ϴ$-연산자를 사용하여 고전적 대체 및 덴드라이포름 유형 대수의 변형 일반화인 BiHom-pre-대체 대수와 BiHom-대체 4대수를 소개한다. 주요 기여는 BiHom-pre-대체 대수에서 가역적인 $ϴ$-연산자가 호환 가능한 BiHom-대체 4대수의 구조를 유도한다는 것을 증명하는 것이다. 또한 이러한 대수에서 무게 0인 Rota-Baxter 연산자가 작용하는 경우, 연산의 변형을 통해 새로운 4대수 구조를 도출할 수 있음을 보여준다.

ABSTRACT

The purpose of this paper is to introduce and study the notion of BiHom-pre-alternative algebra which may be viewed as a BiHom-alternative algebra whose product can be decomposed into two compatible pieces. Furthermore, we introduce the notion of BiHom-alternative quadri-algebra and show the connections between all these algebraic structures using Rota-Baxter operators and O-operators.

연구 동기 및 목표

• BiHom-pre-대체 대수를 전형적인 pre-대체 대수의 변형 일반화로 도입하고 연구한다.
• BiHom-대체 4대수를 정의하고, 그 대수적 구조 및 BiHom-pre-대체 대수와의 호환성에 대해 탐구한다.
• 무게 0인 $ϴ$-연산자와 Rota-Baxter 연산자를 사용하여 이러한 구조들 사이의 연결 고리를 수립한다.
• 비결합성과 연산자 구성 기반으로, 비결합 대수 이론에서 알려진 결과들을 BiHom 설정으로 일반화한다.

제안 방법

• 두 개의 서로 가환하는 대수 준동형사상 $\alpha$와 $β$를 포함하는 변형된 결합자에 의해 BiHom-대체 대수를 도입한다.
• 제품이 두 개의 호환 가능한 연산으로 분해되고, 변형된 왼쪽 및 오른쪽 대체 항등식을 만족하는 BiHom-pre-대체 대수를 정의한다.
• $ϴ$-연산자를 사용하여 BiHom-pre-대체 대수와 BiHom-대체 4대수를 연결하며, 가역적인 $ϴ$-연산자가 호환 가능한 4대수 구조를 유도함을 보여준다.
• BiHom-pre-대체 대수에서 무게 0인 Rota-Baxter 연산자를 사용하여 변형된 연산을 통해 새로운 BiHom-대체 4대수를 구성한다.
• BiHom-대체 대수에서 서로 가환하는 Rota-Baxter 연산자가 작용할 경우, 그 기저 공간 위에 BiHom-pre-대체 대수의 구조를 유도함을 증명한다.
• 반직접곱 구성법을 적용하여 이중모듈러와 $ϴ$-연산자를 사용하여 새로운 BiHom-대체 대수를 구축한다.

실험 결과

연구 질문

• RQ1 두 개의 대수 준동형사상에 의한 변형을 통해 pre-대체 대수의 개념을 BiHom 설정으로 어떻게 일반화할 수 있는가?
• RQ2 BiHom-pre-대체 대수에서 호환 가능한 BiHom-대체 4대수의 구조를 유도하기 위한 조건은 무엇인가?
• RQ3 $ϴ$-연산자가 BiHom-pre-대체 대수와 BiHom-대체 4대수 사이에서 어떻게 다리 역할을 하는가?
• RQ4 BiHom-pre-대체 대수에서 무게 0인 Rota-Baxter 연산자가 새로운 BiHom-대체 4대수의 구조를 어떻게 생성하는가?
• RQ5 서로 가환하는 Rota-Baxter 연산자가 BiHom 프레임워크 내에서 중첩된 대수적 구조를 구성하는 데 어떤 역할을 하는가?

주요 결과

• BiHom-pre-대체 대수 $(A,\prec,\succ,\alpha,\beta)$에서 가역적인 $ϴ$-연산자 $T$는 다음 연산을 통해 호환 가능한 BiHom-대체 4대수의 구조를 $A$에 유도한다: $x\searrow y = T(L_{\succ}(x)T^{-1}(y))$, $x\nearrow y = T(R_{\succ}(y)T^{-1}(x))$, $x\swarrow y = T(L_{\prec}(x)T^{-1}(y))$, $x\nwarrow y = T(R_{\prec}(y)T^{-1}(x))$.
• BiHom-대체 4대수에서, 관련된 수평 BiHom-pre-대체 대수에 대한 항등사상은 가역적인 $ϴ$-연산자이며, 이는 두 구조 간의 이중성 관계를 수립한다.
• BiHom-pre-대체 대수에서 무게 0인 Rota-Baxter 연산자 $R$는 다음 연산을 통해 새로운 BiHom-대체 4대수의 구조를 유도한다: $x\searrow_R y = R(x)\succ y$, $x\nearrow_R y = x\succ R(y)$, $x\swarrow_R y = R(x)\prec y$, $x\nwarrow_R y = x\prec R(y)$.
• BiHom-대체 대수에서 무게 0인 서로 가환하는 Rota-Baxter 연산자 $R$와 $P$가 존재할 경우, $x\prec_R y = xR(y)$ 및 $x\succ_R y = R(x)y$로 정의된 BiHom-pre-대체 대수에서 $P$는 Rota-Baxter 연산자로 작용한다.
• 반직접곱 구성법은 BiHom-대체 대수와 이중모듈러를 결합하여 더 큰 BiHom-대체 대수를 생성하며, 새로운 예제를 생성하는 방법을 제공한다.
• BiHom-대체 4대수의 연산은 기저 BiHom-pre-대체 대수와 호환되며, 항등식 $x\succ y = x\nearrow y + x\searrow y$ 및 $x\prec y = x\nwarrow y + x\swarrow y$로 이를 보여준다.