[논문 리뷰] Structure of H-(co)module Lie algebras

А. С. Гордиенко|arXiv (Cornell University)|2012. 05. 03.

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

한 줄 요약

이 논문은 특성 0인 체 위의 유한차원 리 대수에서 (코)단순 호프 대수 H의 작용을 지닌 경우, 레비 분해와 야수근의 단순 및 노름 부분으로의 분해를 H-(코)불변으로 만들 수 있음을 증명한다. 핵심 기여는 레비 정리와 와일 정리의 H-(코)불변 버전을 증명한 것으로, 기존의 등급 및 군 불변 리 대수에 대한 결과를 호프 대수 설정으로 일반화한다.

ABSTRACT

Let $L$ be a finite dimensional Lie algebra over a field of characteristic $0$. Then by the original Levi theorem, $L = B \oplus R$ where $R$ is the solvable radical and $B$ is some maximal semisimple subalgebra. We prove that if $L$ is an $H$-(co)module algebra for a finite dimensional (co)semisimple Hopf algebra $H$, then $R$ is $H$-(co)invariant and $B$ can be chosen to be $H$-(co)invariant too. Moreover, the nilpotent radical $N$ of $L$ is $H$-(co)invariant and there exists an $H$-sub(co)module $S\subseteq R$ such that $R=S\oplus N$ and $[B,S]=0$. In addition, the $H$-(co)invariant analog of the Weyl theorem is proved. In fact, under certain conditions, these results hold for an $H$-comodule Lie algebra $L$, even if $H$ is infinite dimensional. In particular, if $L$ is a Lie algebra graded by an arbitrary group $G$, then $B$ can be chosen to be graded, and if $L$ is a Lie algebra with a rational action of a reductive affine algebraic group $G$ by automorphisms, then $B$ can be chosen to be $G$-invariant. Also we prove that every finite dimensional semisimple $H$-(co)module Lie algebra over a field of characteristic $0$ is a direct sum of its minimal $H$-(co)invariant ideals.

연구 동기 및 목표

• 특성 0에서 유한차원 리 대수의 고전적 레비 분해를 H-(코)모듈 리 대수로 확장하여 호프 대수 코작용에 대해 불변성을 보장한다.
• 이러한 리 대수의 야수근 및 노름근이 H-(코)불변 부분모듈임을 증명한다.
• 단순 H-(코)모듈 리 대수에 대해 H-(코)불변 와일 정리의 이론적 버전을 수립한다.
• 기존의 등급 및 G-불변 리 대수에 대한 결과를 호프 대수 작용의 더 넓은 프레임워크로 일반화한다.
• B, S, N 모두 H-(코)불변 부분모듈인 분해 L = B ⊕ S ⊕ N를 제공하며, 여기서 B는 단순이고 [B,S] = 0이다.

제안 방법

• 최대 단순 부분대수 B의 L에 대한 수반 표현을 사용하여 H-(코)모듈 구조를 분석한다.
• H-모듈과 H-코모듈의 구조 간 쌍대성 응용을 통해 코모듈의 결과를 모듈의 경우로 확장한다.
• H*에서 1에 대해 t(1) = 1인 ad-불변 적분의 존재를 활용하여 근의 안정성을 확보한다.
• 주어진 조건 하에서 (H, L)-모듈의 완전 가역성을 활용하여 H-(코)불변 보완 부분모듈을 구성한다.
• 쌍대성과 특수화를 통해 문제를 기존의 G-등급 및 G-불변 리 대수 결과로 환원한다.
• H-(코)모듈 리 대수에 대한 와일 정리의 유사형을 핵심 도구로 사용하여 불변 분해를 구성한다.

실험 결과

연구 질문

• RQ1 특성 0에서 유한차원 리 대수의 레비 분해는 H-(코)모듈 대수일 경우 H-(코)불변으로 만들 수 있는가?
• RQ2 H-(코)모듈 리 대수의 야수근 및 노름근은 반드시 H-(코)불변 부분모듈인가?
• RQ3 H-(코)모듈 리 대수에 대해 와일 유형 정리가 성립하여 H-(코)불변 구조 하에서 모듈의 완전 가역성을 보장하는가?
• RQ4 특성 0에서 유한차원 H-(코)모듈 리 대수에 대해 L = B ⊕ S ⊕ N 및 [B,S] = 0 분해를 H-(코)불변으로 만들 수 있는가?
• RQ5 H가 ad-불변 적분을 지니며 t(1) = 1이면, 결과는 무한차원 호프 대수 H로도 확장되는가?

주요 결과

• 특성 0인 체 위의 H-(코)모듈 리 대수에서 야수근 R과 노름근 N은 모두 H-(코)불변 부분모듈이다.
• 최대 단순 부분대수 B는 H-(코)불변으로 선택할 수 있으며, 분해 L = B ⊕ R에서 B와 R 모두 H-(코)불변이다.
• R에서 N에 대한 H-(코)불변 보완 부분모듈 S가 존재하여 R = S ⊕ N 이고 [B, S] = 0를 만족하며, 이로 인해 전체 분해 L = B ⊕ S ⊕ N를 얻는다.
• H-(코)불변 와일 정리의 유사형이 성립한다: 모든 유한차원 단순 H-(코)모듈 리 대수는 그 최소 H-(코)불변 이상의 직합이다.
• 결과는 임의의 군 G에 대한 등급 리 대수와 자동형에 의해 작용하는 리 대수로 일반화되며, 기존의 G-불변 및 등급 분해를 특수한 경우로 포함한다.
• H-(코)불변 분해 L = B ⊕ S ⊕ N의 존재는 비아벨 등급 군에 대해 다항식 H-항등식과 등급 항등식을 연구하는 데 필수적이다.