[논문 리뷰] Completions of symplectic reflection algebras

Ivan Losev|arXiv (Cornell University)|2010. 01. 01.

Algebraic structures and combinatorial models참고 문헌 22인용 수 8

한 줄 요약

이 논문은 심플렉틱 반사 대수(SRA)의 완비화에 대한 구조적 감소를 수립하며, 이를 통해 안정자 부분군과 관련된 더 단순한 대수와의 연관성을 제시함으로써 이중 이상수와 하리슈-차이라 모듈러의 분류를 가능하게 한다. 핵심 결과는 A형 유형의 유리형 체레드니크 대수에서 이중 이상수의 완전한 분류를 보여주며, 이들은 포함 관계에 의해 완전히 순서가 정렬되어 있고 정수 1에서 n까지의 첨자로 인덱싱된 이상수의 사슬과 대응된다.

ABSTRACT

In this paper we study the structure of completions of symplectic reflection algebras. Our results provides a reduction to smaller algebras. We apply this reduction to the study of two-sided ideals and Harish-Chandra bimodules.

연구 동기 및 목표

• 군 궤도에서 심플렉틱 반사 대수(SRA)의 완비화의 구조를 이해하기 위해.
• SRA에서의 이중 이상수와 하리슈-차이라 이중모듈러 연구를 더 작고 다룰 수 있는 대수로 감소시키기 위해.
• 핵심적인 SRA 클래스인 A형 유형의 유리형 체레드니크 대수에서의 이중 이상수를 분류하기 위해.
• 베즈루카비니크와 에팅고프의 작업과의 관련성에서 특히 하리슈-차이라 이중모듈러에 대한 기존 정의와 결과를 통합하고 강화하기 위해.
• 유도 및 대칭성 추론을 통해 SRA의 텐서곱에서 소수 이상수와 관련 다양체 사이의 대응관계를 설정하기 위해.

제안 방법

• 점 b ∈ V*에서 SRA의 완비화를 사용하여 안정자 부분군 Γb와 관련된 더 단순한 대수와 연관지운다.
• Γb에 포함된 심플렉틱 반사에 제한된 심플렉틱 형식을 포함하는 관계로 군 작용을 갖는 텐서 대수를 몫으로 나누어 감소된 대수 H̲를 정의한다.
• 감소 정리를 적용하여 SRA의 완비화가 감소된 대수와 행렬 대수의 완비 텐서곱과 동형임을 보인다.
• 유리형 체레드니크 대수 H1,c에서 Sj-안정 이상수를 분류하기 위해 SRA의 텐서곱에 등장하는 복수의 사본 수에 대한 귀납법을 사용한다.
• 모든 Sj-안정 이상수의 루트가 유일한 Jp(j)임과 동시에 Jp(j)² = Jp(j)임을 이용하여 이상수가 완전히 순서가 정렬되어 있음을 보인다.
• 이상수와 관련 다양체 사이의 대응관계, 그리고 J† = J′†이면 J = J′임을 이용하여 분류의 유일성과 완전성을 증명한다.

실험 결과

연구 질문

• RQ1 심플렉틱 반사 대수의 점에서의 완비화는 어떻게 더 단순한 성분들로 분해될 수 있는가?
• RQ2 A형 유형의 유리형 체레드니크 대수에서 이중 이상수의 구조는 어떠한가? 그리고 이들은 완전히 분류될 수 있는가?
• RQ3 SRA에서의 하리슈-차이라 이중모듈러는 관련 다양체의 기하학적 성질과 심플렉틱 잎과 어떻게 관련되는가?
• RQ4 완비화 기법을 통해 유리형 체레드니크 대수에서의 하리슈-차이라 이중모듈러 정의는 일반 SRA에서의 정의와 어떻게 조화를 이룰 수 있는가?
• RQ5 심플렉틱 반사 집합에 대한 군 작용은 SRA의 텐서곱에서 이상수의 분류에 어떤 역할을 하는가?

주요 결과

• 심플렉틱 반사 대수의 점 b ∈ V*에서의 완비화는 감소된 대수 H̲와 행렬 대수의 완비 텐서곱과 동형이며, 이는 구조적 감소를 제공한다.
• A형 유형의 유리형 체레드니크 대수에서의 이중 이상수는 완전히 순서가 정렬되어 있다: J1 ⊃ J2 ⊃ … ⊃ Jn이며, 모든 p에 대해 Jp² = Jp이다.
• 이 사슬에 속한 각 이상수 Jp는 관련 다양체의 유일한 심플렉틱 잎과 대응되며, 임의의 Sj-안정 이상수의 루트는 Jp(j) 중 하나이다.
• 이상수의 분류는 완전하다: A형 유리형 체레드니크 대수의 모든 이중 이상수는 어떤 Jp와 같다.
• 이상수의 곱은 Jp · Jq = Jmax(p,q)임을 보여, 이상수들이 곱셈에 대해 완전히 순서가 정렬된 모노이드를 이룬다.
• [BEG2]에서의 하리슈-차이라 이중모듈러 정의는 본 논문에서 사용된 정의와 일치하며, SRA에서 이러한 모듈러의 프레임워크를 검증한다.