[논문 리뷰] A geometric boson-fermion correspondence

Alistair Savage|arXiv (Cornell University)|2005. 08. 23.

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

한 줄 요약

이 논문은 호지스키의 정리와 등변 코homology 이론을 활용하여, $ℝ^2$의 점들에 대한 힐버트 스킴의 토르스 고정점과 $A_\infty$ 유형의 퀘버 다양체를 동일시시켜 보손-페르미온 상응관계의 기하적 실현을 확립한다. 등변 코homology의 국소화 정리를 통해 힐버트 스킴의 등변 코homology(보손 Fock 공간)와 고정점의 등변 코homology(페르미온 Fock 공간)를 연결함으로써, 하이젠베르크 대수와 $sl_\infty$ 작용을 통해 두 Fock 공간 간의 기하적 동형사상을 구성한다.

ABSTRACT

The fixed points of a natural torus action on the Hilbert schemes of points in C^2 are quiver varieties of infinite type A. The equivariant cohomology of the Hilbert schemes and quiver varieties can be given the structure of bosonic and fermionic Fock spaces respectively. Then the localization theorem, which relates the equivariant cohomology of a space with that of its fixed point set, yields a geometric realization of the important boson-fermion correspondence.

연구 동기 및 목표

• 힐버트 스킴과 퀘버 다양체를 사용하여 보손-페르미온 상응관계의 기하적 구성법을 제공한다.
• 힐버트 스킴의 등변 코homology(보손 Fock 공간)와 그 토르스 고정점의 등변 코homology(페르미온 Fock 공간)를 연결한다.
• 무한차원 하이젠베르크 대수의 작용을 힐버트 스킴 위에 기하적으로 실현한다.
• 국소화 정리를 통해 기하학적으로 정의된 보손 Fock 공간과 페르미온 Fock 공간 간의 동형사상을 확립한다.

제안 방법

• 복소평면 $ℝ^2$에 있는 $n$개의 점에 대한 힐버트 스킴 $X_n$의 토르스 고정점을 $A_\infty$ 유형의 퀘버 다양체와 동일시한다.
• 무한차원 하이젠베르크 대수의 작용을 통해 힐버트 스킴의 등변 코homology에 보손 Fock 공간의 구조를 부여한다.
• 고정점 집합의 등변 코homology에 $sl_\infty$ 작용을 통해 페르미온 Fock 공간의 구조를 부여한다.
• 국소화 정리를 적용하여 전체 힐버트 스킴의 등변 코homology와 고정점 집합의 등변 코hom로를 연결한다.
• $\mathfrak{s}$-모듈러스에 대한 동형사상 $\phi: \mathbb{H}^B \to B^{(0)}$ 과 $sl_\infty$-모듈러스에 대한 동형사상 $\tau: F^{(0)} \to \mathbb{H}^F$ 를 구성한다.
• 보손의 기하적 작용을 전체 힐버트 스킴 위의 전역 연산자로, 페르미온의 기하적 작용을 고정점에서의 국소 연산자로 정의한다.

실험 결과

연구 질문

• RQ1 힐버트 스킴과 퀘버 다양체를 사용하여 보손-페르미온 상응관계를 어떻게 기하적으로 실현할 수 있는가?
• RQ2 국소화 정리는 힐버트 스킴의 등변 코homology와 그 고정점 집합의 등변 코homology를 어떻게 연결하는가?
• RQ3 하이젠베르크 대수와 $sl_\infty$ 작용은 이러한 공간의 코homology 위에서 어떻게 기하학적으로 나타나는가?
• RQ4 기하학적으로 정의된 보손 Fock 공간과 페르미온 Fock 공간 간의 정확한 동형사상은 무엇인가?
• RQ5 토르스 작용 $z \mapsto (z, z^{-1})$ 가 퀘버 다양체의 그레디에이션과 고정점의 구조 간의 호환성을 어떻게 보장하는가?

주요 결과

• 힐버트 스킴 $X_n$의 토르스 고정점은 자연스럽게 $A_\infty$ 유형의 퀘버 다양체와 동일시되며, 이는 두 공간 간의 기하적 다리를 형성한다.
• 힐버트 스킴의 등변 코hom로는 무한차원 하이젠베르크 대수의 작용을 통해 자연스럽게 보손 Fock 공간의 구조를 지닌다.
• 고정점 집합의 등변 코hom로는 $sl_\infty$ 작용을 통해 자연스럽게 페르미온 Fock 공간의 구조를 지니며, 기저는 양도형으로 인덱싱된다.
• 국소화 정리는 $\mathfrak{s}$-모듈러스에 대한 동형사상 $\phi: \mathbb{H}^B \to B^{(0)}$ 과 $sl_\infty$-모듈러스에 대한 동형사상 $\tau: F^{(0)} \to \mathbb{H}^F$ 를 유도하며, 이는 보손-페르미온 상응관계를 기하학적으로 실현한다.
• 기하적 보손은 전체 힐버트 스킴 위에 작용하는 전역 연산자로, 기하적 페르미온은 고정점에서 작용하는 국소 연산자로 대응된다.
• 페르미온 Fock 공간의 에너지 분해는 기하학적으로 그 기원이 되는 힐버트 스킴에 따라 퀘버 다양체를 묶는 것으로 나타나며, $\tau(F^{(0)}_n) = H^{2n}_T(X_n^T)$ 라고 기술된다.