[논문 리뷰] Double Lie algebroids and the double of a Lie bialgebroid

Kirill C. H. Mackenzie|ArXiv.org|1998. 08. 17.

Advanced Topics in Algebra참고 문헌 1인용 수 37

한 줄 요약

이 논문은 이중 리 대수의 개념을 도입하고, 리 이중대수와 매칭된 쌍의 리 대수의 통합에서 그 역할을 규명한다. 리 이중대수의 이중 코탄젠트가 이중 리 대수임을 증명하며, 반대로 이중 코탄젠트에 이중 리 대수의 구조가 존재하면 원래의 리 이중대수의 구조가 유도됨을 보이며, 만닌 삼중체 정리의 리 대수판을 제공한다. 공백 상태의 이중 리 대수는 유도된 작용을 통해 매칭된 쌍의 리 대수와 동치임을 보여준다.

ABSTRACT

We define a general notion of abstract double Lie algebroid. We show (1) that the double Lie algebroid of a double Lie groupoid is a double Lie algebroid in this sense; (2) that the double cotangent constructed from Lie algebroid structures on a vector bundle A and its dual A* is a double Lie algebroid if and only if (A, A*) is a Lie bialgebroid; (3) that a vacant double Lie algebroid structure is equivalent to a matched pair structure on the side Lie algebroids.

연구 동기 및 목표

• 이중 리 대수의 추상적 개념을 정의하고 체계화한다.
• 리 이중대수의 이중 코탄젠트를 이중 리 대수로 간주함으로써, 만닌 삼중체 정리의 리 대수판을 제공한다.
• 공백 상태의 이중 리 대수와 유도된 작용을 통해 매칭된 쌍의 리 대수 간의 정확한 대응 관계를 보인다.
• 이중 벡터 다발에 두 개의 호환 가능한 리 대수의 구조를 가진 통합적 프레임워크 아래에서 이중 리 군oids, 리 이중대수, 매칭된 쌍의 구조를 통합한다.

제안 방법

• 리 이중대수의 이중 코탄젠트 배럴을 두 개의 호환 가능한 리 대수의 구조를 지닌 이중 벡터 다발로 구성한다.
• 이중 벡터 다발의 탄젠트 및 코탄젠트 구조를 이용해 쌍대와 쌍대를 정의하고, $T^*A$와 $T^ullet A$ 사이의 자연스러운 동형사상을 확립한다.
• 핵과 쌍대 다발의 개념을 적용하여 이중 벡터 다발의 수직 및 수평 쌍대를 정의한다.
• 이중 다발 위의 두 리 대수의 구조 간의 호환 조건을 도출하기 위해 미분 형식의 리 도함수를 분석하고 브라켓 항등식을 활용한다.
• 행동 리 대수의 개념을 적용하여, 공백 상태의 이중 리 대수가 상호 작용을 갖는 매칭된 쌍의 리 대수로부터 유도됨을 보인다.
• 수평 및 수직 쌍대 간의 쌍대를 이용해 필수적인 특성화를 위한 캐논컬 이sovorphism $R$을 정의한다.

실험 결과

연구 질문

• RQ1 이중 벡터 다발이 이중 리 대수임을 위해 만족해야 할 조건은 무엇인가?
• RQ2 리 이중대수의 이중 코탄젠트가 어떻게 이중 리 대수로 이끌어지며, 이 구성의 의미는 무엇인가?
• RQ3 이중 코탄젠트에 이중 리 대수의 구조가 존재할 경우, 원래 다발에 리 이중대수의 구조가 존재하기 위한 조건은 무엇인가?
• RQ4 공백 상태의 이중 리 대수와 매칭된 쌍의 리 대수 간의 관계는 무엇인가?
• RQ5 이중 리 대수의 프레임워크는 군oids의 경우와 유사한 다이어그램적 특성화를 매칭된 쌍의 리 대수에 제공할 수 있는가?

주요 결과

• 리 이중대수의 이중 코탄젠트는 이중 리 대수이며, 이 구성은 만닌 삼중체 정리의 리 대수판을 제공한다.
• 이중 코탄젠트 다발에 이중 리 대수의 구조가 존재하는 것은 오직 원래의 쌍대 리 대수의 구조가 리 이중대수를 이룰 때에만 성립한다.
• 공백 상태의 이중 리 대수와 매칭된 쌍의 리 대수 간의 동치가 성립하며, 두 측면의 리 대수는 상호 작용을 통해 이중 다발의 구조를 정의한다.
• $A \oplus B$ 위의 이중 리 대수의 구조는 이중 다발 위의 두 호환 가능한 리 대수의 구조로부터 직접 유도될 수 있으며, 이는 반직접곱 리 대수의 새로운 구성법을 제공한다.
• 이 프레임워크는 캐논컬 이sovorphism $R$과 쌍대 간의 쌍대를 이용하여 매칭된 쌍의 리 대수에 대한 순수한 다이어그램적 특성화를 가능하게 하며, 군oids의 경우와 유사하다.
• 논문은 공백 상태의 이중 리 대수로부터 유도되는 리 이중대수가 $({\frak g} \oplus {\frak g}_0, {\frak g}^* \oplus {\frak g}^*_0)$임을 확인하며, 하첨스는 아벨화를 의미하며, 이는 이중대수의 경우와 일치한다.