Restricted (Relative) Rota-Baxter operators on restricted Lie algebras and restricted Lie triple systems and related structures

기술 요약: 제한된 Lie 대수 및 제한된 Lie 삼중 체계 상의 제한적 (상대적) Rota-Baxter 연산자

문제 제기
본 논문은 양의 표수 $p > 0$인 환경에서 대수적 구조 이론의 공백을 다룬다. Rota-Baxter 연산자와 pre-Lie 구조 사이의 연결 고리는 표수가 0인 Lie 대수 및 Lie 삼중 체계에서는 잘 확립되어 있으나, "$p$-map"이 존재하는 "제한된(restricted)" 설정으로 이 개념들을 확장하는 데에는 새로운 정의와 검증이 필요하다. 구체적으로, 저자들은 다음을 목표로 한다:

1. 제한된 Lie 대수 및 제한된 Lie 삼중 체계 상의 제한적 Rota-Baxter 연산자를 정의한다.
2. 이러한 연산자와 제한적 pre-Lie 구조 사이의 연결 관계를 확립한다.
3. pre-Lie 삼중 체계 내에서 Jacobson 항등식(제한 대수의 $p$-map을 지배하는 항등식)이 성립하는지 검증한다.
4. 오페라드 이론의 관점을 통해 Lie 삼중 체계와 pre-Lie 삼중 체계 사이의 관계를 해석한다.

방법론
저자들은 대수적 정의, 구조적 증명, 그리고 오페라드 기법의 조합을 사용한다:

• 양의 표수에서의 정의: 저자들은 기저 대수의 $p$-map에 대한 조건을 부과함으로써 제한적 Rota-Baxter 연산자를 도입한다. 제한 Lie 대수 $(L, [\cdot, \cdot], (\cdot)^{[p]})$와 Rota-Baxter 연산자 $P$에 대하여, $P$는 제한적이라고 정의된다. 이는 $P(x)^{[p]} = P(\text{ad}_{Px}^{p-1}(x))$를 만족할 때이다. 이 정의는 $P$의 그래프가 반직합(semi-direct product) $L \oplus L$의 제한 Lie 부분 대수를 형성해야 한다는 요구로부터 유도되었다.
• 오페라드 분할(Operadic Splitting): pre-Lie 삼중 체계의 정의를 정당화하기 위해, 저자들은 기존 문헌에서 개발된 오페라드 "분할" 방법을 활용한다. 저자들은 Lie 삼중 체계($LTS$)의 오페라드를 정의하고, 구성 기반의 분할 절차(구체적으로 구성 $A$를 사용)를 적용하여 pre-Lie 삼중 체계($pre-LTS$)의 오페라드를 도출한다.
• 항등식 검증: 핵심적인 기술적 작업은 $(x+y)^{[p]}$의 확장을 설명하는 Jacobson 항등식이 pre-Lie 삼중 체계에서도 성립함을 증명하는 것이다. 이는 Lie 삼중 체계의 표현론을 분석하고, 유도된 Lie 삼중 체계 구조에서 $p$제곱 합의 다항식 전개의 계수를 계산함으로써 이루어진다.
• 제한적 구조의 구축: 저자들은 "자명하게 제한된(trivially restricted)" pre-Lie 삼중 체계(iterated operation을 통해 $p$-map이 정의되는 경우)와, 특정 공리를 만족하는 추상적 $p$-map을 포함하는 더 일반적인 의미의 "제한된" pre-Lie 삼중 체계를 정의한다.

주요 기여 및 결과

1. Lie 대수 상의 제한적 Rota-Baxter 연산자:

   • 저자들은 제한 Lie 대수 $L$ 상의 제한적 Rota-Baxter 연산자 $P$를 $P(x)^{[p]} = P(\text{ad}_{Px}^{p-1}(x))$라는 조건에 의해 정의한다.
   • 이러한 연산자의 그래프가 반직합 $L \oplus L$의 제한 Lie 부분 대수임을 증명한다.
   • 제한 Lie 대수가 제한적 Rota-Baxter 연산자를 가지면 자명하게 제한된 pre-Lie 대수 구조를 유도하며, $P$는 유도된 구조와 원래의 구조 사이의 제한 Lie 대수 간의 사상(morphism)으로 작용함을 보인다.

2. Pre-Lie 삼중 체계의 오페라적 정당화:

   • 본 논문은 pre-Lie 삼중 체계의 오페라드가 Lie 삼중 체계 오페라의 "분할"임을 입증한다. Lie 삼중 체계를 정의하는 관계식에 분할 방법을 적용함으로써, 저자들은 pre-Lie 삼중 체계의 정의적 항등식(본문의 식 7 및 8)을 회복하며, 이를 통해 pre-Lie 삼중 체계의 존재에 대한 엄밀한 오페라적 토대를 제공한다.

3. Pre-Lie 삼중 체계에서의 Jacobson 항등식:

   • 핵심 결과는 양의 표수에서 pre-Lie 삼중 체계에서 Jacobson 항등식이 성립함을 증명하는 것이다. 구체적으로, pre-Lie 삼중 체계 $(T, \{\cdot, \cdot, \cdot\})$에 대하여, 유도된 Lie 삼중 체계 브래킷 $[\cdot, \cdot, \cdot]_C$는 $(x+y)^{\{p\}} = x^{\{p\}} + y^{\{p\}} + \sum s_i(x,y)$의 확장을 만족하며, 여기서 $s_i$는 표준 계수들이다.
   • 이 결과는 특정 호환 조건을 만족하는 $p$-map을 갖춘 제한된 pre-Lie 삼중 체계의 정의를 가능하게 한다.

4. 제한된 Lie 삼중 체계 상의 제한적 Rota-Baxter 연산자:

   • 이 개념은 제한된 Lie 삼중 체계로 확장된다. 제한된 Lie 삼중 체계 $(T, [\cdot, \cdot, \cdot], (\cdot)^{[p]})$ 상의 Rota-Baxter 연산자 $P$는 $P(x)^{[p]} = P((x, Px, \dots, Px))$ (여기서 우변은 $Px$를 $p-1$번 반복한 iterated bracket을 의미함)일 때 제한적이다.
   • 저자들은 이러한 연산자가 $\{x, y, z\} = [x, Py, Pz]$라는 곱을 통해 $T$ 상에 제한적 pre-Lie 삼중 체계 구조를 유도함을 증명한다.
   • 연산자 $P$는 유도된 구조에서 원래의 구조로 가는 제한 Lie 삼중 체계의 사상임이 밝혀진다.

5. 상대적(O-연산자) 확장:

   • 결과는 표현 공간 $V$와 대수 $T$ 사이에서 작용하는 상대적 Rota-Baxter 연산자(O-연산자)로 일반화된다. 제한적 상대적 Rota-Baxter 연산자의 정의가 주어지며, 그 그래프가 반직합 $T \oplus V$의 제한 부분 대수를 형성함을 보인다.

의의 및 주장
본 논문은 제한된 대수 및 삼중 체계의 맥락에서 Rota-Baxer 연산자를 연구하기 위한 통합된 프레임워크를 제공한다고 주장한다. Jacobson 항등식이 pre-Lie 삼중 체계에서 성립함을 입증함으로써, 저자들은 양의 표수에서 제한된 pre-Lie 삼중 체계라는 개념을 성공적으로 도입하여 이론적 공백을 메웠다.

그 의의는 다음과 같다:

• 일반화: 이진(binary) Case인 Lie 대수에서 삼항(ternary) Case인 Lie 삼중 체계로, 나아가 제한된 설정으로 Rota-Baxter 연산자와 pre-Lie 구조 사이의 잘 알려진 대응 관계를 확장하였다.
• 구조적 통찰: 오페라드 이론을 사용하여 Lie 삼중 체계의 분할로서 pre-Lie 삼중 체계를 공식적으로 도출함으로써, ad-hoc적인 대수적 조작을 넘어 pre-Lie 삼중 체계의 정의를 정당화하였다.
• 일관성: "제한된" 조건(p-map과의 호환성)이 Rota-Baxter 연산자를 통해 Lie 삼중 체계에서 pre-Lie 삼중 체계로 전이될 때 보존됨을 보여줌으로써, 이진 Case에서 관찰된 행동을 모사하였다.

저자들은 새로운 응용이나 실험적 제안을 제시하기보다는 정의, 항등식 검증, 그리고 구조적 관계에 집중하며 겸허한 어조를 유지한다. 본 연구는 양의 표수에서 이러한 제한된 구조들의 코호몰로지, 변형(deformation), 그리고 표현론에 관한 후속 연구를 위한 기초적인 단계 역할을 한다.