[논문 리뷰] Symplectic reflection algebras in positive characteristic

Kenneth A. Brown, Kanokporn Changtong|ArXiv.org|2007. 09. 14.

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

한 줄 요약

이 논문은 정수 계수의 대수적으로 닫힌 체에서의 심플렉틱 반사 대수의 기본 성질을 수립하며, 특성 0과 달리 중심 위에서 유한 모듈러임을 증명한다. 유계 리만 대수의 경우, PI-degree는 $ p^n|\Gamma| $, 골디 랭크는 $ |\Gamma| $이며, 중심의 아즈마야 및 스무스 위치가 일치함을 보였다.

ABSTRACT

Basic properties of symplectic reflection algebras over an algebraically closed field k of positive characteristic are laid out. These algebras are always finite modules over their centres, in contrast to the situation in characteristic 0. For the subclass of rational Cherednik algebras, we determine the PI-degree and the Goldie rank, and show that the Azumaya and smooth loci of the centre coincide.

연구 동기 및 목표

• 대수적으로 닫힌 양의 특성의 체 위에서 심플렉틱 반사 대수의 기본 표현 이론적 및 호모로지적 성질을 수립하기 위해.
• 특히 유계 리만 대수의 경우, 중심의 구조와 그 표현 이론과의 관계를 조사하기 위해.
• 양의 특성에서의 유계 리만 대수의 골디 랭크와 PI-degree를 결정하기 위해.
• 대수의 아즈마야 위치가 중심의 스무스 위치와 일치함을 증명하여 특성 0에서의 핵심 결과를 양의 특성으로 확장하기 위해.

제안 방법

• 특성 0에서의 PBW 정리와 변형 이론을 특성 양으로 일반화하여, 심플렉틱 반사 대수가 여전히 근본적 노에테리안이자 오스라우더-레귤러임을 보였다.
• 대칭 아이디포텐트 $ e = \frac{1}{|\Gamma|}\sum_{\gamma \in \Gamma} \gamma $를 사용하여 대칭 부분대수 $ eHe $를 정의하였으며, 이는 노에테리안 도메인이자 최대 순서임을 증명하였다.
• H와 $ eHe $ 사이의 모리타 맥락을 수립하고, 사타케 호모모르피즘을 통해 $ Z(H) \cong Z(eHe) $를 증명하였다.
• 특히 $ V = \mathfrak{h} \oplus \mathfrak{h}^* $ 이며 $ \Gamma $ 가 가짜 반사군으로 작용하는 유계 리만 대수의 경우에 특수화하였다.
• 대칭 대수 $ S(\mathfrak{h}) $와 $ S(\mathfrak{h}^*) $에 대한 프로베누스 사상 $ (-)^p $를 사용하여 중심 부분대수 $ Z_0 = (S(\mathfrak{h})^p)^\Gamma \otimes (S(\mathfrak{h}^*)^p)^\Gamma $를 구성하였다.
• $ \delta $, 즉 디스criminант과 관련된 $ \Gamma $-불변 원소에 대한 국소화를 통해 표현을 분석하고, $ \mathcal{D}(\mathfrak{h}^{\text{reg}}) \ast \Gamma $ 및 $ S(\mathfrak{h}^*)[\delta]^{-1} \ast \Gamma $를 통해 차원 상한을 증명하였다.

실험 결과

연구 질문

• RQ1 양의 특성에서 심플렉틱 반사 대수의 골디 차원은 $ |\Gamma| $ 와 같은가?
• RQ2 양의 특성에서 유계 리만 대수의 PI-degree는 $ p^n|\Gamma| $ 와 같은가?
• RQ3 모든 최대 차원의 단순 모듈러 $ p^n|\Gamma| $ 는 랭크 $ p^n $ 의 정규 $ k\Gamma $-모듈러인가?
• RQ4 어떤 매개변수 $ \mathbf{c} $ 에서 중심 $ \mathrm{Maxspec}(Z(H)) $ 가 스무스한가?
• RQ5 H의 아즈마야 위치는 $ \mathrm{Maxspec}(Z(H)) $ 의 스무스 위치와 일치하는가?

주요 결과

• 심플렉틱 반사 대수 $ H = H_{1,\mathbf{c}} $ 는 중심 부분대수 $ Z_0 = (S(\mathfrak{h})^p)^\Gamma \otimes (S(\mathfrak{h}^*)^p)^\Gamma $ 위에서 계수 $ p^{2n}|\Gamma|^3 $ 의 자유 모듈러이다.
• H의 골디 랭크는 $ |\Gamma| $ 이며, 이는 유계 리만 대수의 경우에 대한 추측을 확인한다.
• H의 PI-degree는 $ p^n|\Gamma| $ 이며, 이는 단순 H-모듈러의 최대 차원이다.
• 최대 $ k $-차원 $ p^n|\Gamma| $ 을 갖는 모든 기약 H-모듈러는 랭크 $ p^n $ 의 정규 $ k\Gamma $-모듈러이며, 표현에 대한 구조적 제약 조건을 확인한다.
• H의 아즈마야 위치는 $ \mathrm{Maxspec}(Z(H)) $ 의 스무스 위치와 일치한다. 즉, 중심의 스무스 점에서만 최대 차원의 단순 모듈러가 존재한다.
• 중심 $ Z(H) $ 는 노에테리안 도메인이며, H는 중심 위에서 유한 모듈러이다. 이는 특성 0의 경우 $ t \neq 0 $ 일 때 $ Z(H) = k $ 였던 것과의 핵심적 차이점이다.