[논문 리뷰] Groebner-Shirshov basis of the universal enveloping Rota-Baxter algebra of a Lie algebra

Vsevolod Gubarev, P. S. Kolesnikov|arXiv (Cornell University)|2016. 02. 24.

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

한 줄 요약

이 논문은 Rota-Baxter 연산자를 가진 리 대수의 보편 포락류 Rota-Baxter 대수에 대해 그뢰브너-시르쇼프 기저를 사용하여 비결합적 형태의 Poincaré-Birkhoff-Witt (PBW) 정리 수립한다. 보편 포락류 Rota-Baxter 리 대수의 관련 순서 대수는 리 대수의 다양체에서 Rota-Baxter 연산자를 갖는 보편 포락류 대수와 동형이며, 리 대수에 대한 연산자를 갖는 경우에 일반화된 고전적 PBW 유형 결과를 구성-다이아몬드 보조정리에 의해 Rota-Baxter 기반으로 확장한다.

ABSTRACT

Consider the class RBLie of Lie algebras equipped with a Rota---Baxter operator. Then the forgetful functor RBLie --> Lie has a left adjoint one denoted by $U_{RB}(\cdot)$. We prove an "operator" analogue of the Poincare---Birkhoff---Witt theorem for $U_{RB}(L)$, where $L$ is an arbitrary Lie algebra, by means of Gröbner---Shirshov bases theory for Lie algebras with an additional operator.

연구 동기 및 목표

• 임의의 리 대수에 대해 보편 포락류 Rota-Baxter 대수에 대한 PBW 유형 정리를 수립하기.
• 그뢰브너-시르쇼프 기저를 사용하여 보편 포락류 Rota-Baxter 리 대수의 조합적 구조를 기술하기.
• 보편 포락류 Rota-Baxter 리 대수 $U_{RB}(L)$의 관련 순서 대수가 Rota-Baxter 연산자를 갖는 리 대수의 다양체에서의 보편 포락류 대수와 동형임을 보여주기.
• 보편 포락류 대수의 고전적 PBW 결과를 필터링을 구성하고 그 관련 순서 대수의 구조를 분석함으로써 Rota-Baxter 대수의 설정으로 확장하기.

제안 방법

• 저자들은 리 대수에 추가 연산자(즉, Rota-Baxter 연산자)를 갖는 경우에 적합한 구성-다이아몬드 보조정리의 변형을 사용한다.
• Rota-Baxter 연산자의 영향을 받는 리 대수의 복제본과 그 이미지를 포함하는 인덕티브 자유 곱셈 구조를 통해 보편 포락류 Rota-Baxter 대수 $U_{RB}(L)$를 구성한다.
• 증명은 구조의 각 단계 사이에서의 자연스러운 준동형사상 $\tau_n$의 단사성에 의존하며, 이는 잘 정의된 필터링을 보장한다.
• 그뢰브너-시르쇼프 기저는 $U_{RB}(L)$와 관련 순서 대수 $\mathrm{gr}\,U_{RB}(L)$의 관계를 비교하는 데 사용되며, 이들의 주요 부분이 일치하고 고차항이 제어됨을 보여준다.
• 이 방법은 [8]과 [14]의 자유 대수와 비결합적 구조의 조합론에 관한 결과를 활용한다.
• 핵심 기술 도구는 보편 포락류 Rota-Baxter 리 대수에 대한 그뢰브너-시르쇼프 기저의 식별이며, 이는 관계 비교와 관련 순서 대수의 동형을 가능하게 한다.

실험 결과

연구 질문

• RQ1 리 대수의 보편 포락류 Rota-Baxter 대수는 관련 순서 대수가 Rota-Baxter 연산자를 갖는 리 대수의 다양체에서의 보편 포락류 대수와 동형이 되는 PBW 유형 필터링을 갖는가?
• RQ2 그뢰브너-시르쇼프 기저를 통해 $U_{RB}(L)$의 구조를 조합적으로 기술할 수 있는가?
• RQ3 $U_{RB}(L)$의 관계와 관련 순서 대수 $\mathrm{gr}\,U_{RB}(L)$의 관계는 어떻게 비교되는가?
• RQ4 동일한 PBW 유형 동형은 결합 및 가환 Rota-Baxter 대수의 다양체에서도 유효한가?
• RQ5 구성-다이아몬드 보조정리는 Rota-Baxter 또는 Nijenhuis 사상과 같은 추가 연산자를 갖는 리 대수에 효과적으로 적용될 수 있는가?

주요 결과

• 관련 순서 대수 $\mathrm{gr}\,U_{RB}(L)$는 Rota-Baxter 연산자를 갖는 리 대수의 다양체에서의 보편 포락류 대수 $U_{RA}(L)$와 동형이다.
• $U_{RB}(L)$의 필터링은 중첩된 Rota-Baxter 적용의 차수에 의해 유도되며, 그뢰브너-시르쇼프 기저 비교를 통해 $U_{RB}(L)$와 $\mathrm{gr}\,U_{RB}(L)$에서 관계의 주요 부분이 동일함을 보여준다.
• 증명은 인덕티브 구성의 각 단계에서 자연스러운 준동형사상 $\tau_n$이 단사임을 보여주며, 이는 대수적 구조가 각 단계를 거쳐도 유지됨을 보장한다.
• 유사한 필터링과 관련 순서 대수의 동형이 성립하므로, 동일한 PBW 유형 결과는 결합 및 가환 Rota-Baxter 대수의 다양체에서도 성립한다.
• 이 방법은 Nijenhuis 연산자와 같은 다른 연산자로도 확장되며, 이 경우에도 관련 순서 대수와 해당 다양체에서의 보편 포락류 대수 사이에 유사한 동형이 성립한다.
• 가환 Rota-Baxter 대수의 경우, $U_{RB}(A)$의 선형 기저는 $s_1 \geq 0$, $s_2,\dots,s_n > 0$, 그리고 $x_i$가 $A$의 기저에 속할 때, 형태 $R^{s_1}(x_1 R^{s_2}(x_2 \cdots R^{s_n}(x_n)\cdots))$의 원소로 명시적으로 기술된다.