Controlling graded Lie algebras and cohomologies of double Lie algebras

기술 요약: 등급 리 대수(Graded Lie Algebras)의 제어 및 이중 리 대수(Double Lie Algebras)의 코호몰로지

문제 정의
본 논문은 순환적 반대칭성(cyclic skew-symmetry)과 이중 자코비 항등식(double Jacobi identity)을 만족하는 이중 브래킷(double bracket)을 갖춘 벡터 공간인 이중 리 대수의 구조적 및 코호몰로지적 이해를 다룬다. Fairon과 Valeri가 이전에 이중 리 대수를 위한 코체인 복합체(cochain complex)를 도입한 바 있으나, 이러한 구조들을 지배하는 명시적인 등급 리 대수 구조와 그것의 변형 이론(deformation theory) 사이의 관계는 아직 완전히 확립되지 않았다. 또한, 유한 차원 벡터 공간 $V$ 상의 이중 리 브래킷과 행렬 대수 $A = \text{End}(V)$ 상의 왜곡 대칭 Rota-Baxter 연산자(skew-symmetric Rota-Baxter operators) 사이에는 알려진 대수적 대응 관계가 존재한다. 핵심 질문은 다음과 같다:

1. 이중 리 대기 구조가 정확히 마우러-카르탕 원소(Maurer-Cartan elements)가 되는 명시적인 미분 등급 리 대수(differential graded Lie algebra, dg Lie algebra)를 구성할 수 있는가? 또한 이를 이중 리 properad의 코시 해소(Koszul resolution)로부터 발생하는 컨볼루션 dg Lie 대수(convolution dg Lie algebra)와 동일시할 수 있는가?
2. 이중 리 브래킷과 왜곡 대칭 Rota-Baxter 연산자 사이의 대응 관계가 그들이 지배하는 등급 리 대수 및 코호몰로지 그룹 사이의 동형 사상으로 확장되는가?
3. 왜곡 대칭 Rota-Baxter 연산자의 코호몰로지를 그와 관련된 파생 결합 대수(descendent associative algebra)의 고전적 코호몰로지 이론(구체적으로 순환 코호몰로지)과 동일시할 수 있는가?

방법론
저자들은 properadic 변형 이론 및 명시적 대수적 구성을 결합하여 다음을 수행한다:

• 등급 리 대수 구성: 저자들은 순환적 반대칭 코체인 $C^\bullet_{\text{dL}}(V)$ 공간을 정의하고 $\square$-곱(product)을 도입한다. 이를 사용하여 등급 리 대수 구조를 확립하기 위한 브래킷 $[\cdot, \cdot]_{\text{dL}}$을 정의한다.
• Properadic 해석: 이중 리 properad $\mathcal{D}$의 코시 해소를 활용하여, 변형 복합체 $\text{Hom}^\bullet_S(\mathcal{D}^!, \text{End}_V)$ 상의 컨볼루션 dg Lie 대수를 구성한다. 이 컨볼루션 대수와 명시적으로 구성된 $C^\bullet_{\text{dL}}(V)$ 사이의 동형 관계를 확립한다.
• Rota-Baxter 대응: 대칭 프로베니우스 대수 $(A, \langle \cdot, \cdot \rangle)$에 대하여, 저자들은 순환 코체인의 부분 공간 $C^\bullet_{\text{rb}}(A)$를 구성한다. 이 부분 공간이 표준 Rota-Baxter 브래킷 $[\cdot, \cdot]_{\text{rb}}$에 대해 닫혀 있음을 증명한다.
• 동형 사상 리프팅: $A = \text{End}(V)$인 경우로 특수화함으로써, 대수 $(C^\bullet_{\text{dL}}(V), [\cdot, \cdot]_{\text{dL}})$를 지배하는 이중 리 대수와 왜곡 대칭 Rota-Baxter를 지배하는 대수 $(C^\bullet_{\text{rb}}(A), [\cdot, \cdot]_{\text{rb}})$ 사이의 명시적 동형 사상 $\Psi$를 구성한다.
• 순환 코호몰로지 식별: Rota-Baxter 코체인 복합체를 파생 결합 대수 $A_R$ (여기서 곱은 $x \cdot_R y = R(x)y + xR(y)$이다)의 Hochschild 복합체와 연결한다. 순환 코체인을 제한함으로써, Rota-Baxter 코호몰로지를 $A_R$의 순환 코호몰로지와 동일시한다.

주요 기여 및 결과

1. 이중 리 대수를 위한 명시적 지배 대수:
   저자들은 $V$ 상의 이중 리 대기 구조와 일대일로 대응하는 마우러-카르턴 원소를 갖는 등급 리 대수 $(C^\bullet_{\text{dL}}(V), [\cdot, \cdot]_{\text{dL}})$를 구성한다. 고정된 이중 리 브래킷 $\mu$에 의해 트위스팅(twisting)되면, dg Lie 대수 $(C^\bullet_{\text{dL}}(V), d_\mu)$가 되어 코호몰로지 $H^\bullet_{\text{dL}}(V, \mu)$를 정의한다.

2. Properadic 식별:
   이중 리 properad의 코시 해소를 사용하여, 본 논문은 구성된 dg Lie 대수를 컨볼루션 dg Lie 대 $(\text{Hom}^\bullet_S(\mathcal{D}^!, \text{End}_V), [\alpha_\mu, \cdot]_{\text{aug}})$와 동일시한다. 이는 이중 리 대수 코체인 복합체에 대한 properadic 해석을 제공하며, 명시적 복합체와 properad로부터 유도된 변형 복합체 사이의 코호몰로지 그룹 간의 동형 관계를 확립한다.

3. Rota-Baxter 이론과의 동형 관계:
   유한 차원 대칭 프로베니우스 대수 $A$에 대하여, 저자들은 왜곡 대칭 Rota-Baxter 연산자가 마우러-카르턴 원소가 되는 등급 리 부분 대수 $C^\bullet_{\text{rb}}(A)$를 정의한다. $A = \text{End}(V)$일 때, 저자들은 이중 리 대수 $(C^\bullet_{\text{dL}}(V), [\cdot, \cdot]_{\text{dL}})$와 왜곡 대칭 Rota-Baxter 지배 대수 $(C^\bullet_{\text{rb}}(A), [\cdot, \cdot]_{\text{rb}})$ 사이의 동형 사상 $\Psi$의 존재를 증명한다. 이 동형 사상은 대응하는 마우러-카르턴 원소들에 의해 유도되는 미분(differential)을 보존하며, 따라서 다음과 같은 코호몰로지 그룹 간의 동형을 유도한다:
   $$H^\bullet_{\text{dL}}(V, \mu) \cong H^\bullet_{\text{rb,cyc}}(A, R)$$

4. 순환 코호몰로지 연결:
   본 논문은 대칭 프로베니우스 대수 $A$ 상의 왜곡 대칭 Rota-Baxter 연산자 $R$의 코호몰로지가 파생 결합 대수 $A_R$의 순환 코호몰로지와 자연스럽게 동형임을 보여준다:
   $$H^p_{\text{rb,cyc}}(A, R) \cong HC^p_\tau(A_R)$$
   결과적으로, $V$ 상의 이중 리 대수의 코호몰로지는 $\text{End}(V)$ 상의 대응하는 Rota-Baxter 연산자와 관련된 파생 대수의 순환 코호몰로지와 동일시된다.

의의
본 논문은 이중 리 대수, 왜곡 대칭 Rota-Baxter 연산자, 그리고 순환 코호몰로지라는 세 가지 서로 다른 영역을 연결하는 통합된 프레임워크를 제공한다고 주장한다. 명시적인 제어 등급 리 대수를 구성하고 그 동형 관계를 증명함으로써, 이 연구는 이중 리 브래킷과 Rota-Baxter 연산자 사이의 알려진 대수적 대응 관계를 변형 이론 및 코호몰로지 수준으로 격상시킨다. 이를 통해 이중 리 대수의 코호몰로지를 잘 확립된 결합 대수의 순환 코호몰로지 메커니즘을 통해 계산할 수 있게 한다. 이론적 동형 관계를 검증하기 위해 구체적인 3차원 예시를 통해 결과를 설명한다. 본 연구는 properadic 변형 이론(Kosily duality)과 O-연산자(O-operators) 이론의 확립된 도구들에 의존하며, Fairon과 Valeri가 이전에 도입한 이중 리 대수 코체인 복합체에 대한 "properadic 해석"을 제공한다.