[논문 리뷰] Universal enveloping algebras and Poincaré-Birkhoff-Witt theorem for involutive Hom-Lie algebras

Li Guo, Bin Zhang외 1명|arXiv (Cornell University)|2016. 07. 20.

Advanced Topics in Algebra참고 문헌 12인용 수 8

한 줄 요약

이 논문은 호모모듈 위에 새로운 명시적 자유 호모-대칭 대수를 사용하여, 호환성 있는 호모-리 대수의 보편 포락 대수를 구성한다. 이는 보편 포락 대수에 대한 정규 기저를 제공하는 푸앵카레-버크하우스-윌리엄스(Poincaré-Birkhoff-Witt, PBW) 정리를 가능하게 하며, 핵심 기여는 호모-리 대수에서 그 보편 포락 대수로의 사상의 단사성을 증명하여 문헌에서 제기된 추측을 검증하는 것이다.

ABSTRACT

A Hom-type algebra is called involutive if its Hom map is multiplicative and involutive. In this paper, we obtain an explicit construction of the free involutive Hom-associative algebra on a Hom-module. We then apply this construction to obtain the universal enveloping algebra of an involutive Hom-Lie algebra. Finally we obtain a Poincaré-Birkhoff-Witt theorem for the enveloping associative algebra of an involutive Hom-Lie algebra.

연구 동기 및 목표

• 나무 기반의 구성이 다루기 어려운 호모-리 설정에서 보편 포락 대수에 대한 구축 가능한 방법의 부족을 해결하기 위해.
• 호모-모듈 위에 자유 호환성 있는 호모-대칭 대수의 명시적 구성 방법을 제공하여 보편 포락 대수의 새로운 접근법을 가능하게 하기 위해.
• 호환성 있는 호모-리 대수에 대해 푸앵카레-버크하우스-윌리엄스(PBW) 정리를 확립하여 포락 대수의 정규 기저를 도출하기 위해.
• 호환성 있는 호모-리 대수에서 그 보편 포락 대수로의 자연스러운 사상이 단사성을 유지하는지 확인하여 문헌에서 제기된 추측을 검증하기 위해.

제안 방법

• 집합으로 생성된 자유 호환성 있는 호모-대칭 대수의 이전 구성 방식을 수정하여, 호모-모듈 위에 자유 호환성 있는 호모-대칭 대수를 구성한다.
• 이 자유 대수의 구성 방식을 활용하여, 호환성 있는 호모-리 대수의 보편 포락 대수를 특정 호모-아이디얼에 대한 몫으로 정의한다.
• 텐서 대수 내에서 관계 $x \bullet y - y \bullet x - [x,y]_{\frak{g}}$ 를 생성하는 호모-아이디얼 $I_{\frak{g},\beta}$ 의 텐서 표현을 도입한다.
• 호모-자코비 항등식과 텐서 길이에 대한 귀납법을 사용하여, 순서화된 기저 원소의 단항식이 기저를 이룬다는 것을 보여주는 매개변수화된 PBW 분해를 개발한다.
• 호모-대칭성과 호모-맵의 호환성($\alpha^2 = \mathrm{id}$)을 활용하여 대수적 구조와의 호환성을 보장한다.
• 텐서 단항식 위에 잘 정의된 선형 사상 $L$ 을 사용하여, 호모-아이디얼과 자유 대수의 교차가 자명함을 증명함으로써 PBW 기저의 정당성을 확인한다.

실험 결과

연구 질문

• RQ1 호환성 있는 호모-리 대수의 보편 포락 대수에 대해 정규 기저를 구성할 수 있는가?
• RQ2 호환성 있는 호모-리 대수에서 그 보편 포락 대수로의 자연스러운 사상이 고전적 경우와 마찬가지로 단사성을 유지하는가?
• RQ3 자유 호환성 있는 호모-대칭 대수의 구성 방식을 사용하여 호모-리 설정에서 PBW 정리를 확립할 수 있는가?
• RQ4 커mutator 관계로 생성된 호모-아이디얼은 어떻게 텐서 대수 내에서 표현되고 분해될 수 있으며, 이를 통해 기저 성질을 증명할 수 있는가?
• RQ5 호모-맵의 호환성($\alpha^2 = \mathrm{id}$)은 어떤 역할을 하여 PBW 유형의 기저를 가능하게 하는가?

주요 결과

• 논문은 호모-모듈 위에 자유 호환성 있는 호모-대칭 대수를 구성하여, 보편 포락 대수의 구성에 기초가 되는 도구를 제공한다.
• 특정 호모-아이디얼에 대한 몫을 취함으로써, 호환성 있는 호모-리 대수의 보편 포락 대수의 새로운 구성 방법을 확립한다.
• 호환성 있는 호모-리 대수에 대해 푸앵카레-버크하우스-윌리엄스(PBW) 정리를 증명하여, 호모-리 대수의 기저 원소의 순서화된 단항식이 포락 대수의 기저를 이룬다는 것을 보여준다.
• 호모-리 대수에서 그 보편 포락 대수로의 자연스러운 사상이 단사임을 증명하여, 이는 이전 문헌에서 제기된 추측을 확인한다.
• 증명은 텐서 단항식 위에 잘 정의된 선형 사상 $L$ 을 기반으로 하며, 호모-아이디얼 $I_{\frak{g},\beta}$ 와 자유 대수의 교차가 자명함을 보여주어 기저의 독립성을 보장한다.
• PBW 분해는 매개변수화되어 있으며, 호모-자코비 항등식과 귀납법을 사용하여 증명되어 기저의 구조를 확인한다.