[논문 리뷰] Rota-Baxter operators on $ω$-Lie algebras

Yin Chen, Shan Ren외 2명|arXiv (Cornell University)|2026. 02. 20.

Advanced Topics in Algebra인용 수 0

한 줄 요약

논문은 characteristic가 2가 아닌 체에서의 유한차원 ω-Lie 대수 위의 Rota-Baxter 연산자를 연구하고, 호환 연산자가 left-symmetric, ω-Lie, 및 Hom-Lie 구조를 어떻게 만들어내는지 보이며, C 위상에서의 연산자 다양체의 기하를 분석한다.

ABSTRACT

This article explores Rota-Baxter operators on finite-dimensional $ω$-Lie algebras over a field of characteristic not 2. We provide several methods for constructing left-symmetric algebras, $ω$-Lie algebras, and Hom-Lie algebras via compatible Rota-Baxter operators on a given $ω$-Lie algebra. We also study the geometric structures of compatible Rota-Baxter operators of weight $0$ and isometric Rota-Baxter operators of weight $1$ over the field of complex numbers. In particular, we prove that the affine variety of all isometric Rota-Baxter operators of weight $1$ on any finite-dimensional non-Lie complex simple $ω$-Lie algebra is $1$-dimensional. Furthermore, we show that for every $4$-dimensional non-Lie complex $ω$-Lie algebra, there always exists a nilpotent compatible Rota-Baxter operator of weight $0$ such that the induced Hom-Lie algebra is nonabelian but solvable.

연구 동기 및 목표

• Rota-Baxter operators on ω-Lie algebras and other nonassociative structures 간의 연계를 확립한다.
• 호환 Rota-Baxter 연산자를 통해 left-symmetric 대수, ω-Lie 대수, 및 Hom-Lie 대수를 구성하는 방법을 제공한다.
• C 위에서 호환적이고 등각(isometric) Rota-Baxter operator 다양체의 기하 구조를 연구한다.
• 저차 ω-Lie 대수에 대한 명시적 계산 및 분류를 보여준다.
• 이 설정에서 표현 및 가역도 도출에 대한 시사점을 탐구한다.

제안 방법

• ω-Lie 대수에서 weight λ의 Rota-Baxter 연산자와 대응 연산자 다양체를 정의한다.
• weight-0 연산자를 이용한 ω-버전의 Golubchik–Sokolov의 left-symmetric 구성(Prop. 2.4)을 개발한다.
• 호환 weight-0 연산자로부터 새로운 ω-Lie 대수를 구성한다(Theorem 2.7).
• nilpotent 호환 weight-0 연산자로부터 Hom-Lie 대수를 구성한다(Theorem 2.12).
• Rota-Baxter 연산자와 자동사상(automorphisms), 도출(derivations), 표현(representations)을 연관시킨다(Prop. 2.1, Prop. 2.14).
• Groebner 기초 및 계산적 아이디얼 이론을 활용하여 연산자 다양체의 불가역(irreducible) 구성요소를 결정한다(Section 3).

실험 결과

연구 질문

• RQ1 ω-Lie 대수 위의 Rota-Baxter 연산자를 이용해 새로운 left-symmetric, ω-Lie, 및 Hom-Lie 대수를 생성할 수 있는가?
• RQ2 특히 C 위에서 호환(weight-0) 및 등각(isometric, weight-1) Rota-Baxter 연산자의 ω-Lie 대수 다양체의 기하 구조는 어떤가?
• RQ3 저차 ω-Lie 대수(예: 3차 및 4차)에 대해 Rota-Baxter 연산자 존재 여부와 그로 인해 유도되는 대수의 성질은 어떻게 되는가?
• RQ4 finite-dimensional 비-Lie 단순 ω-Lie 대수에서 등각 weight-1 Rota-Baxter 연산자들은 1차원 아핀 다양체를 이루는가?
• RQ5 4차 비-Lie ω-Lie 대수에서 nilpotent 호환 weight-0 Rota-Baxter 연산자가 비가역적 비가산형 Hom-Lie 구조를 산출하는가?

주요 결과

• 모든 finite-dimensional non-Lie complex ω-Lie 대수에 대해 등각 weight-1 Rota-Baxter 연산자들의 다양체는 1차원이다(Corollary 3.10).
• 각각의 4차 비-Lie complex ω-Lie 대수에 대해 induced Hom-Lie 대수가 비가역적이지만 가환 가능한(nilpotent) weight-0 Rota-Baxter 연산자가 존재한다(Corollary 4.7).
• ω-버전의 Golubchik–Sokolov 구성은 image가 ker(ω)인 weight-0 Rota-Baxter 연산자로부터 left-symmetric 대수를 유도한다(prop. 2.4, Example 2.5).
• 호환 Rota-Baxter 연산자와 호환된 자동사상(automorphic derivations) 사이의 대응은 R^{-1를 통해 존재한다(prop. 2.1 및 Remarks 2.2–2.3).
• 3차 경우에 대해 B^c(L1)이 두 개의 3차원 불가역 구성요소를 갖는 아핀 다양체임을 명시적 계산으로 보인다(prop. 3.2, Corollary 3.5).
• 주어진 ω-Lie 대수 L과 호환 weight-0 연산자 R에서 새로운 ω-Lie 대수 L_R를 구성하는 과정을 반복적으로 적용할 수 있다(Remarks 2.11).