[논문 리뷰] Annihilators of simple tensor modules

Alexandru-Gabriel Sava|arXiv (Cornell University)|2012. 01. 18.

Algebraic structures and combinatorial models참고 문헌 19인용 수 3

한 줄 요약

이 논문은 유한차원의 국소 유한한 무한차원 리 대수, 예를 들어 $\mathfrak{sl}(\infty,\mathbb{C})$, $\mathfrak{o}(\infty,\mathbb{C})$, $\mathfrak{sp}(\infty,\mathbb{C})$의 보편 포락류 대수에서의 원시 이상을 조사한다. 두 간단한 텐서 모듈이 서로 동형일 조건은 그들이 같은 소멸자를 가진다는 것임을 증명하여, 이 무한차원 설정에서 간단한 모듈의 분류를 그들의 소멸자를 통해 완전히 확보한다.

ABSTRACT

We study primitive ideals in the enveloping algebra of finitary locally finite infinite-dimensional complex Lie algebras. In particular we investigate the annihilators of the simple objects in the category of tensor modules. This category has been studied in \cite{PStyr} and \cite{PS}. Moreover we prove that a simple tensor module is completely determined by its annihilator and we introduce a partial order on pairs of Young diagrams that we use to describe the inclusions between the annihilators of the simple tensor modules.

연구 동기 및 목표

• 유한차원의 국소 유한한 무한차원 리 대수, 예를 들어 $\\mathfrak{sl}(\\infty,\\mathbb{C})$, $\\mathfrak{o}(\\infty,\\mathbb{C})$, $\\mathfrak{sp}(\\infty,\\mathbb{C})$의 단순 모듈을 보편 포락류 대수에서의 소멸자를 통해 분류하는 것.
• 보편 포락류 대수의 중심이 자명하기 때문에 고전적 Duflo 이론이 적용되지 않는 무한차원 리 대수에서 단순 모듈을 분류하는 데 도전하는 것.
• 보편 포락류 대수의 중심이 자명함에도 불구하고 이러한 대수들에서 비자명한 원시 이상이 존재하는지 여쭤보는 것.
• 단순 텐서 모듈의 동형류와 그 소멸자 사이의 전단사 사상 수립을 통해 소멸자 사상의 섬세한 문제를 해결하는 것.

제안 방법

• 중첩된 유한차원 부분대수의 유한차원 표현의 귀납적 극한인 구조를 가진 국소 유한 리 대수 위의 텐서 모듈의 성질을 활용한다.
• 가장 높은 무게 모듈과 Gelfand-Tsetlin 패턴 이론을 적용하여 증가하는 부분대수 $\mathfrak{g}_j$로의 모듈 제한을 분석한다.
• 최고 무게 벡터에 대한 귀납적 절차를 통해 엄격한 지배 관계 $ (\lambda^k, \mu^k) \prec (\lambda^{k+1}, \mu^{k+1}) $를 갖는 무게 분할의 사슬을 구성한다.
• 텐서 모듈의 범주가 제한에 대해 닫혀 있고, 단순 모듈이 극한에서 최고 무게에 의해 결정된다는 사실을 활용한다.
• 통합 가능한 모듈과 국소 단순 리 대수의 결과를 적용하여 극한에서 최고 무게 벡터의 존재를 보장한다.
• 안정적인 최고 무게 벡터에 의해 생성되는 극한 모듈 $ V_{\lambda^s\mu^s} $의 유일성을 활용하여 원래 단순 모듈과의 동형을 유추한다.

실험 결과

연구 질문

• RQ1 보편 포락류 대수의 중심이 자명한 $\mathfrak{g} = \mathfrak{sl}(\infty,\mathbb{C})$, $\mathfrak{o}(\infty,\mathbb{C})$, 또는 $\mathfrak{sp}(\infty,\mathbb{C})$에 대해 비자명한 원시 이상이 존재하는가?
• RQ2 단순 텐서 모듈의 동형류가 보편 포락류 대수에서의 소멸자에 의해 유일하게 결정되는가?
• RQ3 유한한 길이의 무게 분할 사슬 $ (\lambda^k, \mu^k) $이 존재하여 모듈이 극한에서 최고 무게 모듈로 안정화되는가?
• RQ4 단순 모듈이 증가하는 부분대수 $\mathfrak{g}_j$로 제한될 때, 최종적으로 최고 무게 모듈 $V_{\lambda^s\mu^s}$와 동형인 모듈로 안정화되는가?
• RQ5 단순 텐서 모듈의 소멸자를 사용하여 모듈을 동형류까지 재건할 수 있는가?

주요 결과

• 단순 텐서 모듈의 소멸자는 그 동형류를 유일하게 결정한다: 두 단순 텐서 모듈은 보편 포락류 대수에서 같은 소멸자를 가진다 하면 서로 동형이다.
• 보편 포락류 대수의 중심이 자명한 $\mathfrak{g} = \mathfrak{sl}(\infty,\mathbb{C})$, $\mathfrak{o}(\infty,\mathbb{C})$, 또는 $\mathfrak{sp}(\infty,\mathbb{C})$에 대해서도 비자명한 원시 이상이 존재한다.
• 최고 무게 모듈의 극한 $F_{n+p+q}^{(\lambda^k,\mu^k)_{n}}$는 단순 모듈 $V_{\lambda^s\mu^s}$로 안정화되며, 이는 원래 모듈 $M$과 동형이다.
• 엄격히 증가하는 무게 분할 사슬 $ (\lambda^1, \mu^1) \prec (\lambda^2, \mu^2) \prec \cdots \prec (\lambda^s, \mu^s) \preceq (\lambda, \mu) $이 존재하며, 길이는 $ (\lambda_1 + \mu_1)^{p+q} $로 유계이므로 종료 보장이 있다.
• 최고 무게 벡터를 연속적인 제한을 통해 올리는 절차는 케이스 1에서 결국 안정화되며, 이는 최고 무게 벡터가 $V_{\lambda^s\mu^s}$와 동형인 모듈을 생성함을 의미한다.
• 모듈의 단순성과 극한에서 단일 최고 무게 벡터에 의해 생성된다는 사실로부터 $M \simeq V_{\lambda^s\mu^s}$임을 유추할 수 있다.