[論文レビュー] A geometric boson-fermion correspondence

Alistair Savage|arXiv (Cornell University)|Aug 23, 2005

Algebraic structures and combinatorial models参考文献 23被引用数 7

ひとこと要約

この論文は、局所化定理を用いて、$ℓ^2$ 上の点のヒルベルトスキームのトーラス固定点を、$A_\infty$ 型のクーヴァー多様体と同一視することにより、ボソン-フェルミオン双対性の幾何的実現を確立する。これにより、ヒルベルトスキームの等化同相群（ボソン的フォック空間）とその固定点の等化同相群（フェルミオン的フォック空間）との関係が、局所化定理によって結びつけられ、ヘイゼンベルグ代数および $sl_\infty$ の作用を通じて、二つのフォック空間の幾何的同型写像が構成される。

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.

研究の動機と目的

• ヒルベルトスキームとクーヴァー多様体を用いて、ボソン-フェルミオン双対性の幾何的構成を提供すること。
• ヒルベルトスキームの等化同相群（ボソン的フォック空間）とそのトーラス固定点の等化同相群（フェルミオン的フォック空間）との関係を特定すること。
• ヒルベルトスキーム上に無限次元ヘイゼンベルグ代数の作用を幾何的に実現すること。
• クーヴァー多様体上に $sl_\infty$ の作用を幾何的に実現すること。
• 局所化定理を用いて、幾何的に定義されたボソン的フォック空間とフェルミオン的フォック空間との同型写像を確立すること。

提案手法

• $ℓ^2$ に $n$ 個の点を持つヒルベルトスキーム $X_n$ のトーラス固定点を、$A_\infty$ 型クーヴァー多様体と同一視する。
• 無限次元ヘイゼンベルグ代数の作用を通じて、ヒルベルトスキームの等化同相群にボソン的フォック空間の構造を導入する。
• 固定点集合（クーヴァー多様体）の等化同相群に、$sl_\infty$ の作用を通じてフェルミオン的フォック空間の構造を導入する。
• 局所化定理を適用して、ヒルベルトスキーム全体の等化同相群とその固定点集合の等化同相群との関係を確立する。
• $\mathfrak{s}$-加群としての同型写像 $\phi: \mathbb{H}^B \to B^{(0)}$ と、$sl_\infty$-加群としての同型写像 $\tau: F^{(0)} \to \mathbb{H}^F$ を構成する。
• ボソンの幾何的作用を全ヒルベルトスキーム上で作用するグローバル作用素として、フェルミオンの幾何的作用を固定点上で作用するローカル作用素として定義する。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルトスキームとクーヴァー多様体を用いて、ボソン-フェルミオン双対性をどのように幾何的に実現できるか？
• RQ2 局所化定理は、ヒルベルトスキームとその固定点集合の等化同相群をどのように結びつけるか？
• RQ3 ヘイゼンベルグ代数と $sl_\infty$ の作用は、これらの空間の同相群上でどのように幾何的に現れるか？
• RQ4 幾何的に定義されたボソン的フォック空間とフェルミオン的フォック空間との正確な同型写像は何か？
• RQ5 トーラス作用 $z \mapsto (z, z^{-1})$ の選択が、クーヴァー多様体の次数と固定点構造との整合性を保証するのはなぜか？

主な発見

• ヒルベルトスキーム $X_n$ のトーラス固定点は、自然に $A_\infty$ 型クーヴァー多様体と同一視され、両多様体の間の幾何的ブリッジを確立する。
• ヒルベルトスキームの等化同相群は、無限次元ヘイゼンベルグ代数の作用を通じて、自然にボソン的フォック空間の構造を持つ。
• 固定点集合の等化同相群は、$sl_\infty$ の作用を通じて、自然にフェルミオン的フォック空間の構造を持ち、基底要素はヤング図式によって添字付けられる。
• 局所化定理により、$\mathfrak{s}$-加群としての同型写像 $\phi: \mathbb{H}^B \to B^{(0)}$ と、$sl_\infty$-加群としての同型写像 $\tau: F^{(0)} \to \mathbb{H}^F$ が誘導され、ボソン-フェルミオン双対性が幾何的に実現される。
• 幾何的ボソンは、全ヒルベルトスキーム上で作用するグローバル作用素に対応し、幾何的フェルミオンは固定点上で作用するローカル作用素に対応する。
• フェルミオン的フォック空間のエネルギー分解は、幾何的には、元のヒルベルトスキームに由来するクーヴァー多様体のグループ化に対応し、$\tau(F^{(0)}_n) = H^{2n}_T(X_n^T)$ が成り立つ。