Free Reductive Lie Algebra Pairs of Lie-Yamaguti algebras

기술 요약: Lie-Yamaguti 대수의 자유 환원 리 대수 쌍 (Free Reductive Lie Algebra Pairs of Lie-Yamaguti Algebras)

문제 제기
본 논문은 두 가지 대수 구조인 환원 리 대수 쌍(Reductive Lie Algebra Pairs, RLP)과 Lie-Yamaguti(LY) 대수 사이의 근본적인 범주론적 단절을 다룬다. RLP $(\mathfrak{g}, \mathfrak{h}, \mathfrak{m})$로부터 리 브라켓(Lie bracket)을 투영하여 LY 대수 $(\mathfrak{m}, T, R)$를 얻는 $G'$라는 잘 알려진 구성이 존재하지만, 그 역방향은 문제가 있다. 구체적으로, 주어진 LY 대수 $E$에 대한 고전적인 "포락 엔벨로핑 리 대수(enveloping Lie algebra)" $\hat{\mathfrak{g}}(E)$의 구성은 함자성(functoriality)을 갖지 못한다. 저자들은 이 할당이 일반적인 경우에서 모피즘(morphism)을 보존하지 못함을 입증함으로써, 이 할당을 LY 대수의 범주에서 RLP의 범주로 가는 함자로 확장할 수 없음을 보여준다. 핵심 과제는 이 범주들 사이의 엄밀한 함자적 관계를 확립하고, 포락 엔벨로핑 대수 구성의 비함자성을 해결하는 것이다.

방법론
저자들은 두 대수 범주 사이의 관계를 재구조화하기 위해 범주론, 특히 인접 함자(adjoint functors) 이론을 채택한다. 방법론은 세 가지 주요 단계로 진행된다:

1. 반례 구성: 저자들은 할당 $E \mapsto \hat{\mathfrak{g}}(E)$가 함자적이지 않음을 보여주는 명시적인 반례(Example 4)를 먼저 제시한다. 이들은 리 삼중계(Lie triple system, LY 대수의 특수한 형태)의 다이어그램을 구성하며, 여기서 모피즘 $i$와 전사(surjection) $p$는 $p \circ i = \text{id}$를 만족한다. 그러나 이 다이어그램에 포락 엔벨로핑 대수 구성을 적용하면 유도된 사상(induced map)의 단사성과 전사성에 관한 모순이 발생하며, 이는 $H: \text{LY} \to \text{RLP}$인 그러한 함자가 존재할 수 없음을 증명한다.

2. 좌 인접 대상(자유 대상)의 구성: 직접적인 함자의 부재를 극복하기 위해, 저자들은 LY 대수에 의해 생성되는 "자유" 환원 리 대수 쌍을 구성한다.

   • 먼저, LY 대수 $(E, T, R)$로부터 예비적인 비결합 대수(non-associative algebra) $\tilde{\mathfrak{g}}(E) = E \oplus \Lambda^2 E$를 형성한다.
   • $\tilde{\mathfrak{g}}(E)$ 상의 브라켓은 LY 연산 $T$와 $R$을 사용하여 정의된다. 이 브라켓은 라이니츠 항등식(Leibniz identity)을 만족하지만, 반드시 반교환적(antisymmetric)이지는 않다.
   • 저자들은 라이니츠 대수 이론을 활용하여 리 브라켓 공리들의 구체적인 장애물을 식별한다. 이들은 두 방향의 아이디얼(two-sided ideals) $\tilde{I}_1$(반교환성의 실패에 의해 생성됨)과 $\tilde{I}_2$(LY 공리로부터 유도된 특정 순환 합 항등식에 의해 생성됨)를 정의한다.
   • $\tilde{\mathfrak{g}}(E)$를 아이디얼 $\tilde{I}(E) = \tilde{I}_1 + \tilde{I}_2$로 몫(quotient)을 취함으로써, 리 대수 $\mathfrak{g}(E)$를 얻는다. 이를 통해 환원 쌍 $(\mathfrak{g}(E), \mathfrak{h}(E), E)$를 얻으며, 여기서 $\mathfrak{h}(E) = \tilde{\mathfrak{g}}(E)/\tilde{I}(E)$이다.
   • 이 구성은 함수 $F: \text{LY} \to \text{mRLP}$ ($m$-생성 RLP의 부분 범주)를 정의한다.

3. 전사 모피즘으로의 제한: 고전적인 포락 엔벨로잉 대수 $\hat{\mathfrak{g}}(E)$를 함수로 회복하기 위해, 저자들은 전사 모피즘만을 포함하는 부분 범주($\text{LY}_s$ 및 $\text{mRLP}_s$)로 범주를 제한한다. 이 제한 하에서 고전적인 할당이 잘 정의된 공변 함수(covariant functor)가 됨을 입증한다.

주요 기여 및 결과

• 좌 인접 함자 ($F$): 주요 결과(Theorem 9)는 $G: \text{mRLP} \to \text{LY}$의 좌 인접(left adjoint)인 함수 $F: \text{LY} \to \text{mRLP}$의 명시적인 구성이다. 이는 임의의 LY 대수 $E$에 대하여, $F(E)$에서 임의의 $m$-생성 RLP로 가는 모피즘이 해당 RLP의 기저 LY 대수로부터의 모피즘과 자연스럽게 대응하는 보편적인 "자유" 환원 리 대수 쌍 $F(E)$가 존재함을 확립한다.

  • 이 구성은 라이니츠 대수 이론에서 유도된 특정 아이디얼에 의한 $E \oplus \Lambda^2 E$의 몫에 의존한다.
  • 이 인접 관계의 단위(unit)는 자연적 동형(natural isomorphism)이며, 공단위(counit)는 전사 모피즘이다.

• 우 인접 함자 ($\hat{g}$): 두 번째 주요 결과(Theorem 10)는 고전적인 포락 엔벨로잉 리 대수 $\hat{\mathfrak{g}}(E)$를 범주론적 틀 안에 위치시킨다. 전사 모피즘으로 제한함으로써, 할당 $E \mapsto \hat{\mathfrak{g}}(E)$는 공변 함수 $\hat{g}: \text{LY}_s \to \text{mRLP}_s$가 된다.

  • 이 함수 $\hat{g}$는 전사 모피즘의 부분 범주에 대한 $G$의 우 인접(right adjoint)이다.
  • 이 두 번째 인접 관계의 공단위는 동형이며, 단위는 전사 모피즘이다.

• $F$와 $\hat{g}$의 관계: 본 논문은 자유 구성 $F(E)$와 고전적인 포락 엔벨로잉 대수 $\hat{\mathfrak{g}}(E)$ 사이의 차이점을 명확히 한다. 아벨(abelian) LY 대수 $E$에 대해, $F(E)$는 비아벨 하이젠베르크 유형의 리 대수($E \oplus \Lambda^2 E$)를 생성하는 반면, $\hat{\mathfrak{g}}(E)$는 아벨 상태를 유지한다. 논문은 모든 $m$-생성 RLP에 대해 이 객체들을 연결하는 중심 확장(central extension)의 사슬을 다음과 같이 확립한다:
  $$\mathfrak{g}(m) \xrightarrow{\epsilon_g} \mathfrak{g} \xrightarrow{\eta_{sg}} \hat{\mathfrak{g}}(m)$$
  여기서 각 사상의 핵(kernel)은 중심 아이디얼(central ideal)이다.

의의
본 논문의 의의는 범주론적 관점을 통해 포락 엔벨로잉 대수 구성의 비함자성을 해결했다는 점에 있다고 주장한다. 올바른 인접 관계를 식별함으로써, 저자들은 LY 대수와 RLP 사이의 성질 번역을 가능하게 하는 "보편적 구성"(자유 RLP)을 제공한다.

이 연구는 리-야마구티ti 대수의 특수한 경우인 리 삼중계에 관한 기존의 스케치를 완전한 일반론인 Lie-Yamaguti 대수로 일반화한다. 또한, 고전적인 포락 엔벨로잉 대수가 일반적인 범주에서는 함자가 아니지만, 모피즘을 전사로 제한하면 함자성을 회복하고 우 인접이 된다는 것을 보여준다. 이는 환원 동종 공간(reductive homogeneous spaces, RLP로 모델링됨)의 미분 기하학과 그 대수적 접공간 기술(LY 대수로 모델링됨) 사이의 관계에 대한 엄밀한 범주론적 토대를 제공한다.