[논문 리뷰] Primitive ideals of $\operatorname{U}(\frak{sl}(\infty))$

Ivan Penkov, Alexey Petukhov|arXiv (Cornell University)|2016. 08. 31.

Algebraic structures and combinatorial models참고 문헌 12인용 수 4

한 줄 요약

이 논문은 특성 0인 비가산 대수적으로 닫힌 체 위에서 $\frak{sl}(\infty)$의 보편 포락대수 $\operatorname{U}(\frak{sl}(\infty))$의 원시 이상을 완전히 분류한다. 모든 원시 이상이 적분 가능하다는 것을 증명함으로써, 이전에 A. Zhilinskii의 작업에 기반해 알려진 적분 가능 원시 이상의 분류가 실제로 $\operatorname{U}(\frak{sl}(\infty))$의 모든 원시 이상을 포함하며, 영이 아닌 양의 Young 도형과 무게 매개변수를 통한 유한하고 명시적인 기술을 제공한다.

ABSTRACT

We provide an explicit description of the primitive ideals of the enveloping algebra $\operatorname{U}(\frak{sl}(\infty))$ of the infinite-dimensional finitary Lie algebra $\frak{sl}(\infty)$ over an uncountable algebraically closed field of characteristic 0. Our main new result is that any primitive ideal of $\operatorname{U}(\frak{sl}(\infty))$ is integrable. A classification of integrable primitive ideals of $\operatorname{U}(\frak{sl}(\infty))$ has been known previously, and relies on the pioneering work of A. Zhilinskii.

연구 동기 및 목표

• 보편 포락대수 $\operatorname{U}(\frak{sl}(\infty))$의 모든 원시 이상에 대한 명시적 분류를 제공하는 것.
• $\operatorname{U}(\frak{sl}(\infty))$의 모든 원시 이상이 적분 가능하다는 오랫동안 남아있던 문제를 해결하는 것.
• Zhilinskii의 작업에 기반한 기존의 적분 가능 원시 이상 분류가 실제로 $\operatorname{U}(\frak{sl}(\infty))$의 모든 원시 이상을 완전히 포함함을 증명하는 것.
• 무게 매개변수와 Young 도형을 사용하여 원시 이상 간 포함 관계에 대한 조합론적 기준을 개발하는 것.

제안 방법

• 저자들은 유한 차원 $\mathfrak{sl}(n)$-모듈의 최고 무게에 대응하는 매개변수 $x,y$와 수열 $l_i, r_j$를 사용하여 원시 이상 $I(x,y,l_1,\dots,l_s,r_1,\dots,r_t)$를 정의한다.
• 무게 자료를 코딩하는 수열 $p_i^c$와 $q_j^d$를 도입하여, 이들이 관련된 c.l.s. (닫힌 극한 집합)를 통해 이상을 매개변수화한다.
• c.l.s. 이론과 Zhilinskii의 작업에서 유도된 적분 가능 원시 이상의 분류를 활용하여, 모든 원시 이상이 적분 가능 인장자로 나타남을 보인다.
• 이동된 무게 수열에 대한 부등식을 통한 포함 기준을 설정한다: $l_i - a \geq l'_{i+c}$ 및 $r_j - b \geq r'_{j+d}$, 여기서 $a+b = y - y'$, $c+d = x - x'$.
• 증명은 c.l.s.의 기약성과 $\mathfrak{sl}(n)$-모듈의 직접 극한의 구조, 특히 자연 모듈 $V = \varinjlim V(n)$과 그 쌍대 $V_*$에 기반한다.
• 보편 포락대수 $\operatorname{U}(\frak{sl}(\infty))$는 가산 수의 원시 이상만을 가지며, 유한차원 설정에서는 비가산인 것과 대비된다.

실험 결과

연구 질문

• RQ1 모든 $\operatorname{U}(\frak{sl}(\infty))$의 원시 이상은 적분 가능한가?
• RQ2 적분 가능 원시 이상의 분류는 모든 원시 이상으로 확장될 수 있는가?
• RQ3 $\operatorname{U}(\frak{sl}(\infty))$에서 원시 이상 간 포함 구조는 어떻게 되는가?
• RQ4 매개변수 $x,y,l_i,r_j$는 원시 이상의 구조를 어떻게 표현하는가?
• RQ5 $\operatorname{U}(\frak{sl}(\infty))$에서 원시 이상 간 포함 관계에 대한 유한한 조합론적 기준이 존재하는가?

주요 결과

• $\operatorname{U}(\frak{sl}(\infty))$의 모든 원시 이상은 적분 가능하다. 이는 무한차원 리 대수 표현 이론에서 핵심적인 질문을 해결한다.
• Zhilinskii의 작업에 기반한 적분 가능 원시 이상의 분류는 $\operatorname{U}(\frak{sl}(\infty))$의 모든 원시 이상을 완전히 묘사한다.
• $\operatorname{U}(\frak{sl}(\infty))$에는 가산 수의 원시 이상 뿐이며, 이는 유한차원 설정에서의 비가산 수와 대비된다.
• 원시 이상 간 포함 기준이 확립되었다: $I \subset I'$이기 위한 필요충분조건은 $x \geq x'$, $y \geq y'$, 그리고 이동된 무게 수열이 $l_i - a \geq l'_{i+c}$, $r_j - b \geq r'_{j+d}$를 만족하며, 여기서 $a+b = y - y'$, $c+d = x - x'$이다.
• $\operatorname{U}(\frak{sl}(\infty))$의 양방향 이상의 격자 구조는 상승 체인 조건을 만족한다.
• 증강 이상 $I(0,0,0,0)$는 $\operatorname{U}(\frak{sl}(\infty))$에서 유일한 최대 양방향 이상이다.