[논문 리뷰] Noncommutative Deformations of Type A Kleinian Singularities and Hilbert Schemes

Ian M. Musson|ArXiv.org|2005. 04. 26.

Algebraic structures and combinatorial models참고 문헌 16인용 수 5

한 줄 요약

이 논문은 비가환 Deformation의 유형 A 켈러 특이점과 호몰로지 등가를 통해 Hilbert 스킴을 연결하는 필터링된 ℤⁿ⁻¹-대수 R를 구성한다. 이는 유한체적 대칭 반사 대수와 Hilbert 스킴 사이의 카테고리적 관계를 규명하는 과제를 해결한다. 두 가지 핵심 등가를 확립한다: R-qgr ≅ Uₖ-mod 와 grR-qgr ≅ Coh(Hilb_Γℂ²), 이는 순환군 Γ의 차수 n에 대해 Gordon과 Stafford의 추측을 해결한다.

ABSTRACT

Let $H_{\mathbf{k}}$ be a symplectic reflection algebra corresponding to a cyclic subgroup $Γ\subseteq SL_2 \C$ of order $n$ and $U_{\mathbf{k}} = eH_{\mathbf{k}} e$ the spherical subalgebra of $H_{\mathbf{k}}$. We show that for suitable ${\mathbf{k}}$ there is a filtered $\Z^{n-1}$-algebra $R$ such that (1) there is an equivalence of categories $R-\mathrm{qgr} \simeq U_{\bf k}$-mod, (2) there is an equivalence of categories $gr R-\mathrm{qgr} \simeq tt{Coh}(Hilb_Γ\mathbb{C}^2)$. Here $ tt{Coh}(Hilb_Γ\mathbb{C}^2)$ is the category of coherent sheaves on the $Γ$-Hilbert scheme. and for a graded algebra $\mathcal{R},$ we write $ \mathcal{R}-\mathrm{qgr}$ for the quotient category of finitely generated graded $\mathcal{R}$-modules modulo torsion.

연구 동기 및 목표

• 순환군 Γ에 대해 유한체적 대칭 반사 대수와 Hilbert 스킴 사이의 카테고리적 관계를 규명하는 Gordon과 Stafford의 추측을 해결하기 위해.
• 모듈러 범주 Uₖ-mod 와 동치인 몫 범주 R-qgr 를 갖는 필터링된 ℤⁿ⁻¹-대수 R를 구성하기 위해.
• 해당 대수의 순차 대수 grR-qgr 가 Γ-Hilbert 스킴 Hilb_Γℂ² 위의 코herent sheaf 범주 Coh(Hilb_Γℂ²) 와 동치임을 보이기 위해.
• Morita 이론과 Poincaré 급수의 논증을 이용해 [GS1]의 프레임워크를 순환 켈러 특이점의 경우로 확장하기 위해.
• Hilbert 스킴을 통한 카테고리적 등가를 통해 유한체적 대칭 반사 대수의 표현 이론과 캐프랑트 해소의 기하학 사이의 정확한 연결 고리를 설정하기 위해.

제안 방법

• 순환군 Γ의 차수 n에 대해, Hₖ 와 그 구면 부분대수 Uₖ 를 ℂ[∂,y±¹]*Γ 의 교차곱의 부분대수로 구성한다.
• 미분 연산자를 이용해 Uₖ′-Uₖ-이중모듈러 B(𝐤′,𝐤) 를 정의하고, Morita 등가를 위한 충분 조건을 확립한다.
• 이중모듈러 B(𝐤′,𝐤) 를 항등원이 없는 ℤⁿ⁻¹-차수를 가진 Morita 대수 R 로 조립하며, 미분 차수에 따라 필터링한다.
• 해당 순차 대수 grR 을 이용해 R 의 표현 이론을 Hilb_Γℂ² 의 기하학과 몫 범주 grR-qgr 를 통해 연결한다.
• Poincaré 급수 논증을 적용해 grR ≅ Ŝ 를 증명하며, 여기서 Ŝ 는 qgr-범주가 Coh(Hilb_Γℂ²) 와 동치인 토릭 대수이다.
• qgr 구성에 의한 범주 등가를 활용하고, 모듈러의 Poincaré 급수를 비교하여 그로텐디에크 군 내의 동형을 검증한다.

실험 결과

연구 질문

• RQ1 Hₖ 의 비가환 Deformation 과 Uₖ-mod 가 동치인 몫 범주 R-qgr 를 갖는 필터링된 ℤⁿ⁻¹-대수 R 를 구성할 수 있는가?
• RQ2 이 R 의 순차 대수 grR 가 Γ-Hilbert 스킴 Hilb_Γℂ² 위의 코herent sheaf 범주 Coh(Hilb_Γℂ²) 와 동치인가?
• RQ3 Uₖ′ 과 Uₖ 사이의 이중모듈러 B(𝐤′,𝐤) 가 R 위의 Morita 등가의 구조에 어떻게 기여하는가?
• RQ4 GS1 에서의 Poincaré 급수 논증이 순환 켈러 특이점의 경우로 어떻게 확장되는가?
• RQ5 Hₖ 의 표현 이론과 순환 Γ 에 대한 Γ-Hilbert 스킴의 기하학 사이에 정확한 대수적 대응이 존재하는가?

주요 결과

• 주어진 매개변수 𝐤 ∈ ℂⁿ⁻¹ 가 강한 조건을 만족할 경우, R-qgr ≅ Uₖ-mod 를 만족하는 필터링된 ℤⁿ⁻¹-대수 R 가 존재하며, 이는 비가환 Deformation 과 모듈러 범주 사이의 카테고리적 등가를 확립한다.
• 순차 대수 grR 는 grR-qgr ≅ Coh(Hilb_Γℂ²) 를 만족하며, R 의 표현 이론과 Γ-Hilbert 스킴의 기하학을 연결한다.
• 대수 R 는 Uₖ′ 과 Uₖ 사이의 Morita 이중모듈러 B(𝐤′,𝐤) 로 구성되며, 이는 ℤⁿ⁻¹-차수를 가진 Morita 대수를 이룬다.
• 두 번째 등가의 증명은 grR 가 토릭 대수 Ŝ 와 동형임을 보여주는 Poincaré 급수 논증에 기반하며, 이 대수의 qgr-범주는 Coh(Hilb_Γℂ²) 와 동치이다.
• 이 구성은 [GS1]의 프레임워크를 순환 켈러 특이점의 경우로 일반화하며, Gordon과 Stafford가 제안한 다이어그램을 완성한다.
• 매개변수 v(x) = ∏ᵢ₌₁ⁿ(x − aᵢ) 일 때, 구면 대수 Uₖ 는 Hodges 의 대수 T(v) 와 동형이며, aᵢ = (n−i + kᵢ)/n 이며, Uₖ ≅ Uₛ·ₖ (s ∈ Sₙ₋₁) 이므로 도트 작용에 대해 대칭성을 보인다.