[논문 리뷰] Radial components, prehomogeneous vector spaces, and rational Cherednik algebras

Thierry Levasseur|ArXiv.org|2008. 01. 08.

Advanced Algebra and Geometry참고 문헌 27인용 수 3

한 줄 요약

이 논문은 기약성 공간 (G:V)에서의 G-불변 미분연산자에 대한 반경 성분 사상과 1차원 몫 V//G를 가진 전이형 벡터 공간에서의 유리 Cherednik 대수의 구면 부분대수 사이의 대응을 수립한다. 반경 성분 사상의 상이 이 구면 부분대수와 동형임을 보이며, 그 다중도 함수는 불변 함수 f의 Bernstein-Sato 다항식의 근들에 의해 결정된다. 다중도가 없는 경우, C[V] 내의 G-표현과 f 및 그 쌍대 미분연산자 Δ에 의해 생성된 리 대수 위의 최저중량 모듈 사이에 Howe 대칭을 증명한다.

ABSTRACT

Let V be a finite dimensional representation of the connected complex reductive group H. Denote by G the derived subgroup of H and assume that the categorical quotient of V by G is one dimensional. In this situation there exists a homomorphism, denoted by rad, from the algebra A of G-invariant differential operators on V to the first Weyl algebra. We show that the image of rad is isomorphic to the spherical subalgebra of a Cherednik algebra, whose parameters are determined by the b-function of the relative invariant associated to the prehomogeneous vector space (H : V). If (H : V) is furthemore assumed to be multiplicity free we obtain a Howe duality between a set of representations of G and modules over a subalgebra of the associative Lie algebra A. Some applications to holonomic modules and H-equivariant D-modules on V are also given.

연구 동기 및 목표

• 기본 몫 V//G가 1차원일 때, G-불변 미분연산자 대수 D(V)^G의 구조를 이해하는 것.
• 기본 몫 V//G가 1차원일 때, 반경 성분 사상 rad: D(V)^G → D(h/W)의 상을 유리 Cherednik 대수의 형태로 묘사하는 것.
• 다중도가 없는 경우, C[V] 내의 G-표현과 f 및 그 쌍대 미분연산자 Δ에 의해 생성된 리 대수 위의 최저중량 모듈 사이의 Howe 대칭을 수립하는 것.
• Rubenthaler의 평행 기약성 공간에 대한 결과를 일반 기약성 공간으로 확장하여 1차원 몫을 가진 경우에 적용하는 것.
• Capelli 유형 표현에 이 토대를 적용하여, 정칙 및 G-등변 D-모듈에 대한 새로운 결과를 이끌어내는 것.

제안 방법

• 기약성 공간의 Cartan 부분공간 h ⊂ V에 의해 유도되는 동형사상 ψ: C[V]^G → C[h]^W와 G-불변 작용의 조합을 통해 반경 성분 사상 rad: D(V)^G → D(h/W)를 정의한다.
• rad의 상이 f의 Bernstein-Sato 다항식의 근들로 정의된 루트 체계에 관련된 유리 Cherednik 대수의 구면 부분대수와 동형임을 보인다.
• 기약성 공간(PHV) 이론과 극좌표 표현을 이용하여 문제를 1차원 몫으로 단순화하고, Weyl 대수의 구조를 활용한다.
• 다중도가 없는 경우, C[V] 내의 G-표현과 f 및 Δ ∈ S(V)에 의해 생성된 리 대수 위의 최저중량 모듈 사이의 대칭을 구성하여, Howe 대칭을 일반화한다.
• Capelli 유형 표현에 이 틀을 적용하여, V 위의 G × C-등변 D-모듈의 범주가 유리 Cherednik 대수 위의 θ-안정 모듈의 범주와 동치임을 증명한다.
• Muro와 Nang의 특수 케이스에 대한 결과를 활용하여, dim(V//G) = 1인 모든 Capelli 유형 PHV에 대해 이 동치관계가 일반적으로 성립할 것이라는 추측을 뒷받침한다.

실험 결과

연구 질문

• RQ1 V//G가 1차원일 때, 반경 성분 사상 rad: D(V)^G → D(h/W)의 상은 무엇인가?
• RQ2 1차원 몫을 가진 기약성 공간에서, 유리 Cherednik 대수의 구면 부분대수는 반경 성분 사상과 어떻게 관련이 있는가?
• RQ3 다중도가 없는 기약성 공간에서, f와 그 쌍대 미분연산자 Δ에 의해 생성된 리 대수 위의 최저중량 모듈과 C[V] 내의 G-표현 사이에 Howe 대칭을 수립할 수 있는가?
• RQ4 Capelli 유형 조건이 V 위의 G-등변 D-모듈의 구조에 어떤 영향을 미치는가?
• RQ5 Capelli 유형 기약성 공간에서 dim(V//G) = 1일 때, V 위의 G × C-등변 D-모듈의 범주와 유리 Cherednik 대수 위의 θ-안정 모듈의 범주 사이에 범주적 동치가 존재하는가?

주요 결과

• 반경 성분 사상 rad: D(V)^G → D(h/W)의 상은 f의 Bernstein-Sato 다항식의 근들에 의해 결정되는 다중도 함수를 가진 유리 Cherednik 대수의 구면 부분대수와 동형이다.
• dim(V//G) = 1인 다중도가 없는 기약성 공간에서, rad의 핵을 명시적으로 묘사하였으며, f 및 Δ에 의해 생성된 리 대수 위의 최저중량 모듈과 C[V] 내의 G-표현 사이의 Howe 대칭을 수립하였다.
• dim(V//G) = 1인 Capelli 유형 표현에 대해, V 위의 G × C-등변 D-모듈의 범주가 유리 Cherednik 대수 위의 θ-안정 모듈의 범주와 동치임을 보였다.
• Muro와 Nang의 특수 케이스에 대한 기존 결과를 바탕으로, dim(V//G) = 1인 모든 Capelli 유형 PHV에 대해 이 동치관계가 일반적으로 성립한다는 추측이 지지된다.
• 이 틀은 G가 단순연결일 때, 특성 다양체가 노름화된 콘에 포함된 정칙 헬로노믹 D-모듈의 조합론적 분류를 제공한다.
• 논문은 Rubenthaler의 평행 기약성 공간에 대한 이전 결과를 일반 기약성 공간으로 확장하여 1차원 몫을 가진 경우에 적용하였다.