[논문 리뷰] Hilbert schemes, wreath products, and the McKay correspondence

Weiqiang Wang|ArXiv.org|1999. 12. 13.

Algebraic Geometry and Number Theory참고 문헌 27인용 수 18

한 줄 요약

이 논문은 군 $\Gamma_n = \Gamma \sim S_n$ 가 $\mathbb{C}^{2n}$ 에 작용하는 등변 K-이론과 최소 해소 $\widetilde{\mathbb{C}^2/\Gamma}$ 의 점들에 대한 Hilbert 스킴의 코homology 사이에 직접적인 이隳사미즘을 수립한다. 이는 두 개의 McKay 대응의 실현 간에 기하학적 다리를 제공한다. 핵심 결과는 Schur 기저를 통한 호프 대수, $\lambda$-환, 하이젠베르크 대수 표현 간의 정규화된 이隳사미즘으로, Hilbert 스킴과 위어프 제품 구성 간 오랫동안 지속된 대칭성의 해소이다.

ABSTRACT

Various algebraic structures have recently appeared in a parallel way in the framework of Hilbert schemes of points on a surface and respectively in the framework of equivariant K-theory [N1,Gr,S2,W], but direct connections are yet to be clarified to explain such a coincidence. We provide several non-trivial steps toward establishing our main conjecture on the isomorphism between the Hilbert quotient of the affine space $\C^{2n}$ by the wreath product $\G ~ S_n$ and Hilbert schemes of points on the minimal resolution of a simple singularity $\C^2 /\G$. We discuss further various implications of our main conjecture. We obtain a key ingredient toward a direct isomorphism between two forms of McKay correspondence in terms of Hilbert schemes [N1, Gr, N2] and respectively of wreath products [FJW]. We in addition establish a direct identification of various algebraic structures appearing in two different setups of equivariant K-theory [S2, W].

연구 동기 및 목표

• Hilbert 스킴과 위어프 제품 구성 간 오랫동안 지속된 평행한 대수적 구조의 수수께끼를 해결하기 위해.
• Hilbert 몫 $\mathbb{C}^{2n}/\Gamma_n$ 과 Hilbert 스킴 $\widetilde{\mathbb{C}^2/\Gamma}^{[n]}$ 사이에 직접적인 기하학적 연결을 수립하기 위해.
• X^n 상의 $\Gamma_n$-등변 범주와 Y^n 상의 $S_n$-등변 범주에 대한 Schur 기저가 호프 대수, $\lambda$-환, 하이젠베르크 대수 표현 간의 이隳사미즘을 유도함을 증명하기 위해.
• 위어프 제품 표현 링을 통한 Frenkel-Kac-Segal 꼬임 표현의 기하학적 실현을 제공하여, 새로운 형태의 McKay 대응을 완성하기 위해.

제안 방법

• Hilbert 스킴과 대칭적 곱을 연결하는 교환 다이어그램을 통해, $\widetilde{\mathbb{C}^2/\Gamma}^{[n]} \to \mathbb{C}^{2n}/\Gamma_n$ 의 반소형 캐프란 해소 $\tau_n$ 를 구성함.
• $\Gamma_n$-등변 벡터 범주 $S^X_\lambda$ 를 $\Gamma_{|\lambda_i|}$ 에서 유도된 표현을 통해 정의함으로써, $R(\Gamma_n)$ 의 Schur 기저를 일반화함.
• $S_n$-등변 범주 $S^Y_\lambda$ 를 대칭군에서 유도된 표현을 통해 Y^n 상에 정의함. 이는 해소 사상 아래 $V_i$-표현의 풀백을 사용함.
• Thom 이隳사미즘을 사용하여 $K^{\text{top}}_{\Gamma_n}(\mathbb{C}^{2n}) \otimes \mathbb{C}$ 와 표현 링 $R(\Gamma_n) \otimes \mathbb{C}$ 를 식별함으로써, Hilbert 스킴 코homology 와의 비교를 가능하게 함.
• 정규화된 사상 $\Theta$ 를 통해 Schur 기저 $S^X_\lambda$ 와 $S^Y_\lambda$ 를 매칭함. 이는 호프 대수와 $\lambda$-환의 이隳사미즘임을 증명함.
• Adams 작동, 유도, 제약 함자 간의 호환성은 $\Theta$ 를 통해 확인되며, 하이젠베르크 대수 작용이 유지됨을 보장함.

실험 결과

연구 질문

• RQ1 군 $\Gamma_n = \Gamma \sim S_n$ 가 $\mathbb{C}^{2n}$ 에 작용하는 등변 K-이론과 최소 해소 $\widetilde{\mathbb{C}^2/\Gamma}$ 의 Hilbert 스킴 코homology 사이에 직접적인 이隳사미즘을 수립할 수 있는가?
• RQ2 Hilbert 스킴과 위어프 제품 구성 간의 대수적 구조—호프 대수, $\lambda$-환, 하이젠베르크 대수—가 기하학적 대응 하에서 $\bigoplus_n K^{\text{top}}_{\Gamma_n}(X^n) \otimes \mathbb{C}$ 와 $\bigoplus_n K_{S_n}(Y^n) \otimes \mathbb{C}$ 에서 어떻게 관련되어 있는가?
• RQ3 Frenkel-Jing-Wang 구성에서의 가중 이중선형 형식의 기하학적 해석은 무엇이며, Hilbert 스킴과 어떻게 연결되는가?
• RQ4 해소 $\tau_n: \widetilde{\mathbb{C}^2/\Gamma}^{[n]} \to \mathbb{C}^{2n}/\Gamma_n$ 는 반소형 캐프란 해소인가? 그리고 이는 두 설정 간의 정규화된 연결을 제공하는가?
• RQ5 Frenkel-Kac-Segal 꼬임 표현은 위어프 제품 구성에 의해 기하학적으로 실현될 수 있는가? 이는 새로운 형태의 McKay 대응을 완성하는가?

주요 결과

• $\Gamma_n$-등변 범주 $S^X_\lambda$ 를 $S_n$-등변 범주 $S^Y_\lambda$ 로 보내는 사상 $\Theta$ 는 그라디에이션 벡터 공간의 이隳사미즘이며, Schur 기저의 구조를 유지한다.
• $\Theta$ 는 양측의 $\lambda$-환 구조를 존중한다. 이는 대칭 멱의 생성 함수에서 유도된 Adams 작동을 매칭함으로써 입증된다.
• $\bigoplus_n K^{\text{top}}_{\Gamma_n}(X^n) \otimes \mathbb{C}$ 와 $\bigoplus_n K_{S_n}(Y^n) \otimes \mathbb{C}$ 상의 하이젠베르크 대수 작용은 $\Theta$ 를 통해 이隳사미즘임을 보이며, 이는 유도, 제약, Adams 작동의 호환성에 기인한다.
• $\tau_n: \widetilde{\mathbb{C}^2/\Gamma}^{[n]} \to \mathbb{C}^{2n}/\Gamma_n$ 는 반소형 캐프란 해소이며, 위어프 제품과 Hilbert 스킴 간의 첫 번째 직접적인 기하학적 연결을 제공한다.
• $\bigoplus_n K^{\text{top}}_{\Gamma_n}(X^n) \otimes \mathbb{C}$ 와 $\bigoplus_n K_{S_n}(Y^n) \otimes \mathbb{C}$ 의 그라디에이션 차원이 일치함을 확인하여, 벡터 공간 수준에서 이隳사미즘의 일관성을 확인한다.
• 이 구성은 위어프 제품의 표현 링을 통해 Frenkel-Kac-Segal 꼬임 표현을 실현하며, McKay 대응의 유한군 이론적 형태를 완성한다.