[논문 리뷰] Lie theory and cohomology of relative Rota-Baxter operators

Jun Jiang, Yunhe Sheng외 1명|arXiv (Cornell University)|2021. 08. 04.

Advanced Topics in Algebra참고 문헌 27인용 수 6

한 줄 요약

이 논문은 리 대수와 리 군에서의 가중치 1 상대 로타-박스 연산자에 대한 국소 리 이론을 수립한다. 이를 위해 리 대수와 리 군에서의 코homology 이론을 개발하고, 이들 사이에 반-에스트 동형사상이 존재함을 증명하며, 미분과 국소 적분이 서로 수반 함자임을 보였다. 주요 기여는 이러한 연산자에 대한 함자적 국소 적분으로, 이는 인수 분해 문제의 명시적 해법과 리 군의 매칭된 쌍의 적분을 가능하게 한다.

ABSTRACT

In this paper, we establish a local Lie theory for relative Rota-Baxter operators of weight $1$. First we recall the category of relative Rota-Baxter operators of weight $1$ on Lie algebras and construct a cohomology theory for them. We use the second cohomology group to study infinitesimal deformations of relative Rota-Baxter operators and modified $r$-matrices. Then we introduce a cohomology theory of relative Rota-Baxter operators on a Lie group. We construct the differentiation functor from the category of relative Rota-Baxter operators on Lie groups to that on Lie algebras, and extend it to the cohomology level by proving the Van Est theorem between the two cohomology theories. We integrate a relative Rota-Baxter operator of weight 1 on a Lie algebra to a local relative Rota-Baxter operator on the corresponding Lie group, and show that the local integration and differentiation are adjoint to each other. Finally, we give two applications of our integration of Rota-Baxter operators: one is to give an explicit formula for the factorization problem, and the other is to provide an integration for matched pairs.

연구 동기 및 목표

• 리 대수와 리 군에서의 가중치 1 상대 로타-박스 연산자에 대한 코homology 이론을 개발한다.
• 리 군 연산자에서 리 대수 연산자로의 미분 함자를 수립하고, 코homology 수준에서 반-에스트 정리를 증명한다.
• 이러한 연산자의 국소 적분이 가능하고, 함자적임을 보이며, 미분과 적분이 수반된 쌍을 이룬다.
• 이 적분 이론을 활용하여 국소 인수 분해 문제를 해결하고, 리 군의 매칭된 쌍을 적분한다.
• 코homology 프레임워크를 통해 수정된 $ r $-행렬의 변형을 분류한다.

제안 방법

• 카테고리 $ \mathsf{RB_{\mathfrak{g}}^{\mathfrak{h}}} $ 를 사용하여 리 대수에서의 상대 로타-박스 연산자에 대한 코homology 이론을 구축하고, 두 번째 코homology 군이 무한소 변형을 분류함을 보인다.
• 리 군에서의 상대 로타-박스 연산자에 대한 코homology 이론을 카테고리 $ \mathsf{RB_{G}^{H}} $ 를 통해 정의하며, 스무스 군 구조와 군의 곱셈과의 호환성을 사용한다.
• 리 군에서의 상대 로타-박스 연산자를 그 접선 리 대수에서의 연산자로 매핑하는 미분 함자를 정의한다.
• 리 군의 코homology와 그 리 대수의 코homology 사이에 반-에스트 호모로지스를 증명하여 코homological 연결 고리를 확립한다.
• 지수 함수를 사용하여 연산자의 그래프를 리 군으로 끌어올림으로써 국소 적분 함자를 구성하고, 로타-박스 조건과의 호환성을 분석한다.
• 미분과 국소 적분의 수반성질을 이용하여 국소 적분이 잘 정의되고 함자적 구조를 가지며 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 리 대수에서의 가중치 1 상대 로타-박스 연산자에 대해 코homology 이론을 개발할 수 있으며, 이는 변형을 어떻게 분류하는가?
• RQ2 리 군에서의 상대 로타-박스 연산자에 대해 코homology 이론이 존재하는가? 그리고 이는 리 대수의 코homology와 어떻게 관련되어 있는가?
• RQ3 리 군에서 리 대수로의 미분 함자가 코homology 수준에서 동형사상으로 확장되는가? 즉, 반-에스트 정리가 성립하는가?
• RQ4 리 대수에서의 상대 로타-박스 연산자를 국소적으로 리 군으로 적분할 수 있으며, 이 과정이 함자적일 수 있는가?
• RQ5 로타-박스 연산자의 국소 적분이 인수 분해 문제를 해결하거나 매칭된 리 군의 쌍을 적분하는 데 사용될 수 있는가?

주요 결과

• 리 대수에서의 상대 로타-박스 연산자의 두 번째 코homology 군은 연산자와 수정된 $ r $-행렬의 무한소 변형을 분류한다.
• 리 군에서의 상대 로타-박스 연산자에 대한 코homology 이론이 구축되었으며, 군과 대수의 코homology를 연결하는 반-에스트 호모로지스가 증명되었다.
• 상대 로타-박스 연산자의 미분과 국소 적분은 수반 함자이며, 이는 이러한 연산자에 대한 국소 리 이론을 수립한다.
• 리 대수에서의 로타-박스 연산자의 국소 적분은 해당 단순 연결 리 군에서의 국소 로타-박스 연산자로 이어진다.
• 로타-박스 연산자의 적분을 통해 리 군에서의 국소 인수 분해 문제에 대한 명시적 공식을 유도하였다.
• 매칭된 리 대수 쌍 $ (\mathfrak{g}_B, \mathfrak{g}_{\text{diag}}) $ 는 매칭된 리 군 쌍 $ (G_\mathcal{B}, G_{\text{diag}}) $ 로 적분되며, 이는 새로운 적분 가능성 기준을 제공한다.