[논문 리뷰] Cherednik algebras and Hilbert schemes in characteristic p

Roman Bezrukavnikov, Michael Finkelberg외 1명|arXiv (Cornell University)|2003. 12. 29.

Algebraic structures and combinatorial models참고 문헌 24인용 수 4

한 줄 요약

이 논문은 특성 p인 유한체 위에서 A_{n-1} 유형의 유리 Cherednik 대수에 대한 국소화 정리를 수립하며, 평면에 있는 n개 점의 Hilbert 스킴 위에 Azumaya 대수 H_c를 구성한다. 이는 H_c-모듈의 유도 범주와 Hilbert 스킴 위의 계량적 H_c-모듈의 유도 범주 사이의 동치를 증명하고, Hilbert-Chow 사상의 섬유의 형식적 이웃에서 대수가 분할됨을 보이며, Bridgeland-King-Reid 및 Haiman의 결과와 연결된다.

ABSTRACT

To David Kazhdan with admiration We prove a localization theorem for the type An−1 rational Cherednik algebra Hc = H1,c(An−1) over Fp, an algebraic closure of the finite field. In the most interesting special case where c∈Fp, we construct an Azumaya algebra Hc on Hilb n A 2, the Hilbert scheme of n points in the plane, such that Γ(Hilb n A 2, Hc) = Hc. Our localization theorem provides an equivalence between the bounded derived categories of Hc-modules and sheaves of coherent Hc-modules on Hilb n A 2, respectively. Furthermore, we show that the Azumaya algebra splits on the formal neighborhood of each fiber of the Hilbert-Chow morphism. This provides a link between our results and those of Bridgeland-King-Reid and Haiman.

연구 동기 및 목표

• 유리 Cherednik 대수에 대한 국소화 정리를 특성 p로 확장하는 것, 특히 F_p 위에서의 적용.
• c ∈ F_p 일 때 Hilb^n A^2 위에 Azumaya 대수 H_c를 구성하는 것.
• H_c-모듈의 유계 유도 범주와 Hilbert 스킴 위의 계량적 H_c-모듈의 유도 범주 사이의 동치를 확립하는 것.
• Hilbert-Chow 사상의 섬유의 형식적 이웃에서 Azumaya 대수의 분할 행동을 분석하는 것.
• Bridgeland-King-Reid 및 Haiman의 기존 연구와 연결하여 Hilbert 스킴과 유도 동치의 맥락에서 결과를 해석하는 것.

제안 방법

• F_p의 대수적 폐쇄 위에서 H_c = H_{1,c}(A_{n-1}) 유리 Cherednik 대수의 사용.
• 특성 p에서의 국소화를 통한 Hilb^n A^2 위에 Azumaya 대수 H_c의 구성.
• 기하학적 표현론 기법의 적용을 통해 H_c-모듈과 Hilb^n A^2 위의 계량적 층 사이의 관계를 설정.
• Hilbert-Chow 사상의 섬유를 따라 Azumaya 대수의 분할을 분석하기 위해 형식적 이웃 분석의 활용.
• 기존의 Hilbert 스킴과 유도 범주에 대한 결과를 활용하여 범주적 동치를 확립하는 것.

실험 결과

연구 질문

• RQ1 Cherednik 대수에 대한 국소화 정리는 어떻게 양의 특성으로 확장될 수 있는가?
• RQ2 c가 F_p에 속할 때, Hilb^n A^2 위의 유리 Cherednik 대수 H_c의 구조는 어떠한가?
• RQ3 Hilb^n A^2 위의 Azumaya 대수 H_c는 Hilbert-Chow 사상의 각 섬유의 형식적 이웃에서 분할 가능한가?
• RQ4 H_c-모듈의 유도 범주와 Hilb^n A^2 위의 계량적 H_c-모듈의 유도 범주 사이의 관계는 어떠한가?
• RQ5 이러한 결과는 Hilbert 스킴에 대한 유도 동치에 관한 Bridgeland-King-Reid 및 Haiman 정리와 어떤 방식으로 연결되는가?

주요 결과

• c ∈ F_p 일 때 Hilb^n A^2 위에 Azumaya 대수 H_c가 구성되며, 이의 전역 절단은 H_c와 동형이다.
• H_c-모듈의 유계 유도 범주와 Hilb^n A^2 위의 계량적 H_c-모듈의 유도 범주 사이에 유도 동치가 확립된다.
• Azumaya 대수 H_c는 Hilbert-Chow 사상의 각 섬유의 형식적 이웃에서 분할된다.
• 국소화 정리는 고전적 Beilinson-Bernstein 국소화의 특성 p 버전을 제공한다.
• 결과는 Cherednik 대수, Hilbert 스킴, 그리고 특성 p에서의 유도 범주 간에 새로운 연결 고리를 설정하며, Bridgeland-King-Reid 및 Haiman의 프레임워크를 확장한다.