[논문 리뷰] Hilbert schemes, Hecke algebras and the Calogero-Sutherland system

Kevin Costello, I. Grojnowski|ArXiv.org|2003. 10. 13.

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

한 줄 요약

이 논문은 미분 연산자 환에서 변형된 Calogero-Sutherland 해밀토니안의 중심화환으로서의 링 구조로 하여금 매끄러운 대수적 표면 위의 점들에 대한 Hilbert 스킴의 코homology 링과 통합 시스템 사이에 새로운 연결을 수립한다. Fock 공간 모델과 Dunkl-Cherednik 연산자를 사용하여 코homology 링의 cup 곱 승법을 실현하는 명시적인 가환하는 미분 연산자 가중치를 구성함으로써, 이는 통합 시스템을 통한 Hilbert 스킴 코homology 링의 완전한 대수적 특성화를 제공한다.

ABSTRACT

We describe the ring structure of the cohomology of the Hilbert scheme of points for a smooth surface X. When the canonical class K_X = 0, this was done by Lehn and Sorger, extending earlier work when X = C^2. Their approach does not generalize. Instead we recast this problem as a question of finding integrals of motion for a Hamiltonian which describes ``intersection with the boundary''. To do so, we use the identification of the cohomology of the Hilbert schemes with a Fock space modelled on the lattice H(X). With this identification, Lehn computed the operator of intersection with the boundary. It is essentially the Calogero-Sutherland Hamiltonian. We then solve the problem of finding integrals of motion by using the Dunkl-Cherednik operators to find an explicit commuting family of differential operators; these operators represent cup product on the Hilbert scheme. We provide two characterizations of the Hilbert scheme multiplication operators; the first as an algebra of operators that can be inductively built from functions and the CS Hamiltonian, and the second in terms of the centralizer of the CS Hamiltonian inside an appropriate ring of differential operators.

연구 동기 및 목표

• 매끄러운 대수적 표면 위의 점들에 대한 Hilbert 스킴의 코homology 링의 링 구조를 기술하는 데 오랫동안 해결되지 않은 문제를 해결하는 것, 특히 캐논리컬 클래스가 0이 아닐 경우에 해당한다.
• 기존의 접근 방식(오비폴드 코homology와 히크 대수 기반)이 캐논리컬 클래스가 0일 때에만 성립하는 데서 기인한 실패를 극복하는 것.
• 경계 교차 연산자를 변형된 Calogero-Sutherland 해밀토니안의 변종으로 식별함으로써, 코homology 링의 구조를 통합 시스템 문제로 재구성하는 것.
• 이 해밀토니안과 가환하는 미분 연산자들을 사용하여 Hilbert 스킴 코homology 상의 승법 연산자에 대한 명시적이고 대수적인 실현을 구성하는 것.
• Hilbert 스킴의 존재에 의존하지 않는 코homology 링의 표현을 제공하며, 표면의 코homology와 그 캐논리컬 클래스만을 사용하는 것.

제안 방법

• 표면의 코homology의 대칭 대수와 동형인 Fock 공간으로서 Hilbert 스킴의 코homology를 실현하기 위해 히센베르그 대수 작용을 사용한다.
• cup 곱과 경계 분리의 연산자를 두 번째 차수의 미분 연산자로 식별하고, 이는 변형된 Calogero-Sutherland 해밀토니안과 동치임을 확인한다.
• Dunkl-Cherednik 연산자를 사용하여 이 해밀토니안의 통합 운동량으로서 기능하는 가환하는 미분 연산자 가중치를 구성한다.
• 표면의 코homology의 프로비엔스스 구조와 캐논리컬 클래스와 관련된 매개수에 따라 의존하는 Fock 공간 위의 연속적 미분 연산자 링을 정의한다.
• 승법 연산자 링의 대수를 미분 연산자 링에서 Calogero-Sutherland 해밀토니안의 중심화환으로 특성화하고, 이것이 통합 운동량이 생성하는 대수와 일치함을 보인다.
• 승법 연산자 대수의 관련 그레디에이티드 대수는 코homology와 운동량 변수 위의 대칭 대수와 동형임을 증명하여 그 완전성을 확인한다.

실험 결과

연구 질문

• RQ1 캐논리컬 클래스가 0이 아닐 경우, 매끄러운 표면 위의 점들에 대한 Hilbert 스킴의 코homology 링의 대수적 구조는 어떻게 기술할 수 있는가?
• RQ2 Hilbert 스킴 코homology 상의 cup 곱 승법은 가환하는 미분 연산자 가중치로 실현될 수 있는가?
• RQ3 Hilbert 스킴 자체의 기하학적 존재에 의존하지 않고도 Hilbert 스킴의 코homology 링을 구성할 수 있는가?
• RQ4 코homology 링을 결정하는 문제는 구체적으로 Calogero-Sutherland 모델을 통해 통합 시스템 문제로 재구성할 수 있는가?
• RQ5 Fock 공간 위의 미분 연산자 링에서 경계 교차 연산자의 중심화환의 정확한 대수적 구조는 무엇인가?

주요 결과

• Hilbert 스킴 코homology 상의 승법 연산자 대수는 Fock 공간 위의 미분 연산자 링에서 Calogero-Sutherland 해밀토니안의 중심화환과 동형이다.
• Differential 연산자 대수 $\mathcal{D}^{\text{hilb}}$ 는 각각의 $\mathcal{F}^n$ 상에서의 왼쪽 곱 연산자 대수와 일치한다.
• $\mathcal{D}^{\text{hilb}}$ 의 관련 그레디에이티드 대수는 $\operatorname{Sym}H[p]$ 와 동형이며, 이는 코homology와 운동량 변수 위의 대칭 대수로서 완전성을 확인한다.
• Dunkl-Cherednik 연산자를 통한 Calogero-Sutherland 해밀토니안의 통합 운동량은 명시적으로 구성되며, 이들은 가환하는 가중치를 이루며 승법 대수를 생성한다.
• 이 구성은 Hilbert 스킴의 존재에 의존하지 않는 코homology 링의 표현을 제공하며, 단지 $H(X,\mathbb{C})$ 의 약한 프로비엔스 대수적 구조와 캐논리컬 클래스 $K\in H^2(X,\mathbb{C})$ 에만 의존한다.
• 기존 접근 방식에서 $K \neq 0$ 일 때 발생하는 장애를 제거하기 위해, 오비폴드 코homology를 통합 시스템 프레임워크로 대체함으로써 문제를 해결한다.