[论文解读] A geometric boson-fermion correspondence

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

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

一句话总结

本文通过使用局部化定理，将 $$\mathbb{C}^2$$ 中点的 Hilbert 变换的环面不动点与 $A_\infty$ 型的 quiver 变换联系起来，建立了玻色子-费米子对应关系的几何实现。该方法将 Hilbert 变换的等变上同调（玻色子 Fock 空间）与不动点（费米子 Fock 空间）的等变上同调联系起来，从而通过 Heisenberg 代数和 $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.

研究动机与目标

• 通过 Hilbert 变换与 quiver 变换，提供玻色子-费米子对应关系的几何构造。
• 将 Hilbert 变换的等变上同调（玻色子 Fock 空间）与它们的环面不动点的等变上同调（费米子 Fock 空间）联系起来。
• 在 Hilbert 变换上几何地实现无穷维 Heisenberg 代数的作用，在 quiver 变换上几何地实现 $sl_\infty$ 的作用。
• 通过局部化定理，建立几何定义的玻色子与费米子 Fock 空间之间的同构。

提出的方法

• 将 $$\mathbb{C}^2$$ 中 $n$ 个点的 Hilbert 变换 $X_n$ 的环面不动点与 $A_\infty$ 型 quiver 变换相联系。
• 通过无穷维 Heisenberg 代数的作用，将 Hilbert 变换的等变上同调赋予玻色子 Fock 空间结构。
• 通过 $sl_\infty$ 的作用，将不动点集（quiver 变换）的等变上同调赋予费米子 Fock 空间结构。
• 应用局部化定理，将完整 Hilbert 变换的等变上同调与不动点集的等变上同调联系起来。
• 构造 $$\mathfrak{s}$$-模的同构 $$\phi: \mathbb{H}^B \to B^{(0)}$$ 与 $sl_\infty$-模的同构 $$\tau: F^{(0)} \to \mathbb{H}^F$$。
• 在各自的上同调空间上，分别定义玻色子与费米子的几何作用为全局算子与局部算子。

实验结果

研究问题

• RQ1 如何通过 Hilbert 变换与 quiver 变换几何地实现玻色子-费米子对应关系？
• RQ2 局部化定理在联系 Hilbert 变换及其不动点集的等变上同调中起到什么作用？
• RQ3 Heisenberg 代数与 $sl_\infty$ 作用如何在这些空间的上同调上几何地体现？
• RQ4 几何定义的玻色子与费米子 Fock 空间之间的精确同构是什么？
• RQ5 为何选择环面作用 $z \mapsto (z, z^{-1})$ 能确保 quiver 变换的分次结构与不动点结构相容？

主要发现

• Hilbert 变换 $X_n$ 的环面不动点自然与 $A_\infty$ 型 quiver 变换相联系，为这两个空间之间建立了几何桥梁。
• Hilbert 变换的等变上同调通过无穷维 Heisenberg 代数的作用，自然地具有玻色子 Fock 空间结构。
• 不动点集的等变上同调通过 $sl_\infty$ 的作用，自然地具有费米子 Fock 空间结构，其基元素由 Young 图索引。
• 局部化定理诱导出 $$\mathfrak{s}$$-模的同构 $$\phi: \mathbb{H}^B \to B^{(0)}$$ 与 $sl_\infty$-模的同构 $$\tau: F^{(0)} \to \mathbb{H}^F$$，从而几何地实现了玻色子-费米子对应关系。
• 几何玻色子对应于作用在整个 Hilbert 变换上的全局算子，而几何费米子对应于作用在不动点上的局部算子。
• 费米子 Fock 空间的能量分解在几何上对应于按其所属的 Hilbert 变换对 quiver 变换进行分组，其中 $$\tau(F^{(0)}_n) = H^{2n}_T(X_n^T)$$。