[논문 리뷰] Minimal polynomials and annihilators of generalized Verma modules of the scalar type

Hiroshi Oda, Toshio Oshima|ArXiv.org|2004. 10. 31.

Advanced Algebra and Geometry참고 문헌 18인용 수 11

한 줄 요약

이 논문은 재수정된 리 대수에서 스칼라 유형의 일반화된 베르마 모듈러스의 소멸자에 대한 생성자 체계를 구성하기 위해 충실한 유한차원 표현을 통한 최소 다항식의 유사체를 도입함으로써 이를 수행한다. 일반적인 무한소 특성치에 대해, 소멸자는 표현 행렬에 대한 최소 다항식의 평가와 보편 포락 대수의 중심으로 생성된다는 것을 증명하며, 이는 이전의 고전적 리 대수에 대한 결과를 통합된 프레임워크로 확장한다.

ABSTRACT

Let g be a complex reductive Lie algebra and U(g) the universal enveloping algebra of g. Associated to a faithful irreducible finite dimensional representation of g, a square matrix F with entries in U(g) naturally arises and if we consider the entries of F are elements in End(M) of a given U(g)-module M, the minimal polynomial of F is defined as the usual one for an associative algebra over the complex field. Suppose M is a generalized Verma module induced from a character of a parabolic subalgebra of g. In this paper a polynomial q(x) with the parameter of the character is constructed, which equals the minimal polynomial for the generic parameter. Then the two-sided ideal of U(g) generated by the entries of q(F) is studied. We give a sufficient condition for the parameter such that the ideal describes the difference of two left ideals related to M and the corresponding Verma module. The result has many applications. For example we can explicitly give a generator system of the annihilator of M for the generic parameter. This paper also deals with many concrete examples.

연구 동기 및 목표

• 재수정된 리 대수에서 스칼라 유형의 일반화된 베르마 모듈러스의 소멸자에 대한 통합된 생성자 체계를 개발하는 것.
• 충실한 유한차원 표현을 통한 행렬 이론의 최소 다항식 개념을 표현 이론적 맥락으로 일반화하는 것.
• 표현의 최소 다항식이 일반화된 베르마 모듈러스를 소멸시키는 데 기여하는 조건을 설정하는 것.
• 이전의 고전적 리 대수(예: glₙ, oₙ)에 대한 결과를 통합된 대수적 프레임워크를 사용하여 임의의 재수정된 리 대수로 확장하는 것.
• 일반적인 무한소 특성치에 대해 최소 다항식 평가와 중심 원소의 조합을 통해 소멸자 아이디얼을 특성화하는 것.

제안 방법

• 충실한 유한차원 표현 $ \rho $ 와 일반화된 베르마 모듈러스 $ M_{\theta}(\nu) $ 를 고려할 때, 대수적 쌍대표현에 의한 기저 원소들의 이미지로 구성된 행렬 $ F_{\rho} $ 를 사용하여, $ q_{/pi,M_{\theta}(\nu)}(x) $ 라는 최소 다항식을 정의한다.
• 표현 이론적 성질과 파라보릭 부분대수 $ \frak{p}_{\theta} $ 를 사용하여, 최소 다항식을 일반화하고 $ q_{\rho,M_{\theta}('\nu')}(x) $ 에 의해 나누어지는 다항식 $ q_{\rho,\theta}(x;\nu) $ 를 구성한다.
• 무한소 맥케이의 텐서곱 정리와 표현의 텐서곱 분해를 사용하여, 일반적인 $ \nu $ 에 대해 $ q_{\rho,\theta}(x;\nu) = q_{\rho,M_{\theta}(\nu)}(x) $ 를 증명한다.
• 소멸자 $ U(\frak{g}) $-모듈러스로 생성된 두 부분의 합으로 정의된 아이디얼 $ I_{\rho,\theta}(\nu) $ 를 정의한다: $ q_{\rho,M_{\theta}(\nu)}(F_{\rho})_{ij} $ 가 생성하는 부분과 $ M_{\theta}(\nu) $ 를 소멸시키는 중심 원소가 생성하는 부분.
• 정의된 일반화된 베르마 모듈러스의 아이디얼 $ J_{\theta}(\nu) $ 와 보렐 작용의 소멸자 $ J(\nu_{\theta}) $ 를 사용하여 $ J_{\theta}(\nu) = I_{\rho,\theta}(\nu) + J(\nu_{\theta}) $ 를 증명함으로써, 일반적인 $ \nu $ 에 대해 $ I_{\rho,\theta}(\nu) $ 가 소멸자를 생성한다는 것을 보장한다.
• 자연스러운 호모지어 함수의 동치와 $ U(\frak{g}) $-모듈러스 동형을 사용하여, 유도 모듈러스의 보편 성질과 이 구성의 호환성을 검증한다.

실험 결과

연구 질문

• RQ1 충실한 유한차원 표현을 사용하여 임의의 재수정된 리 대수에서 일반화된 베르마 모듈러스에 대해 최소 다항식의 유사체를 정의할 수 있는가?
• RQ2 표현 행렬에 대한 최소 다항식 평가가 일반화된 베르마 모듈러스의 소멸자 아이디얼의 일부를 생성하는 조건은 무엇인가?
• RQ3 일반화된 베르마 모듈러스의 소멸자는 최소 다항식 기여와 보편 포락 대수의 중심 기여로 어떻게 분해되는가?
• RQ4 어떤 표현 클래스(예: 최소성 표현, 고정 표현, 다중도 수가 1인 표현 등)에서 이 구성이 소멸자의 완전한 생성자 체계를 제공하는가?
• RQ5 어떤 정확한 조건에서 아이디얼 $ I_{\rho,\theta}(\nu) $ 가 전체 소멸자 $ \text{Ann}(M_{\theta}(\nu)) $ 와 일치하는가? 이는 $ \nu $ 의 일반성과 어떻게 관련되는가?

주요 결과

• 최소 다항식 $ q_{\rho,M_{\theta}(\nu)}(x) $ 는 $ F_{\rho} $ 가 쌍대표현에 의한 구조 상수 행렬일 때, $ q_{\rho,M_{\theta}(\nu)}(F_{\rho}) $ 가 일반화된 베르마 모듈러스 $ M_{\theta}(\nu) $ 를 소멸시키는 최소 차수의 모닉 다항식으로 정의된다.
• 일반적인 $ \nu $ 에 대해, 소멸자 $ \text{Ann}(M_{\theta}(\nu)) $ 는 원소 $ q_{\rho,M_{\theta}(\nu)}(F_{\rho})_{ij} $ 와 $ M_{\theta}(\nu) $ 를 소멸시키는 $ Z(\frak{g}) $ 의 중심 원소들로 생성되며, 이는 $ I_{\rho,\theta}(\nu) $ 에서 형식화된다.
• 일반적인 $ \nu $ 에 대해 $ J_{\theta}(\nu) = I_{\rho,\theta}(\nu) + J(\nu_{\theta}) $ 가 성립함을 증명하여, $ I_{\rho,\theta}(\nu) $ 가 보렐 작용 아이디얼을 제외한 전체 소멸자를 포괄한다는 것을 보여준다.
• 이전의 $ \frak{gl}_n $ 과 $ \frak{o}_n $ 에 대한 결과를 일반화하여, 이는 일반화된 카펠리 연산자를 통한 유사 생성자 체계로 구성되었으며, 이제는 임의의 재수정된 리 대수로 확장되었다.
• 무한소 맥케이 정리와 표현의 텐서곱 분해를 통해 일반적인 $ \nu $ 에 대해 최소 다항식 $ q_{\rho,\theta}(x;\nu) $ 가 $ q_{\rho,M_{\theta}(\nu)}(x) $ 와 일치함을 보였다.
• 부록 B의 반례는 스펙트럼 체계에 비자명한 중복도가 있고 비일반적인 $ \nu $ 인 경우 등장할 수 있으며, 특히 $ n = m_1 + 4 $ 일 때 미분 연산자의 인자가 심지어 영이 되므로 등식 조건이 실패할 수 있음을 보여준다.