[论文解读] Jack polynomials and Hilbert schemes of points on surfaces

Hiraku Nakajima|ArXiv.org|Oct 31, 1996

Algebraic Geometry and Number Theory参考文献 16被引用 44

一句话总结

该论文通过曲面 X 的点的 Hilbert 系列的等变上同调，建立了 Jack 多项式的几何实现，其中 X 是 ℂP¹ 上线丛的总空间。通过 S¹-等变局部化构造正交基，并在参数 α = −⟨C,C⟩ 下将其与 Jack 多项式对应起来，该工作通过 Hilbert 系列将对称函数与代数几何联系起来，为 Jack 多项式提供了新的几何解释，即作为上同调类。

ABSTRACT

The Jack symmetric polynomials $P_λ^{(α)}$ form a class of symmetric polynomials which are indexed by a partition $λ$ and depend rationally on a parameter $α$. They reduced to the Schur polynomials when $α=1$, and to other classical families of symmetric polynomials for several specific parameters. It is well-known that Schur polynomials can be realized as certain elements of homology groups of Grassmann manifolds. The purpose of this paper is to give a similar geometric realization for Jack polynomials. However, spaces which we use are totally different. Our spaces are Hilbert schemes of points on a surface X which is the total space of a line bundle L over the projective line. The parameter $α$ in Jack polynomials relates to our surface X by $α= -$, where C is the zero section, and is the self-intersection number of C.

研究动机与目标

• 通过曲面 X 上点的 Hilbert 系列，提供 Jack 多项式的几何实现。
• 将 Jack 多项式中的参数 α 与曲面 X 中零截面 C 的自交数 ⟨C,C⟩ 精确定义为几何意义。
• 通过 S¹-等变局部化，在 Hilbert 系列的上同调中构造正交基。
• 在给定参数化下，将该基与 Jack 多项式 Pλ(α) 识别。
• 将对称函数与 Hilbert 系列之间的联系从 Schur 多项式情形推广至更一般情形。

提出的方法

• 使用曲面 X 上 n 个点的 Hilbert 系列 X^[n]，其中 X 是 ℂP¹ 上线丛的总空间。
• 通过定理 3.5，将对称函数的复化环与 X^[n] 的中间上同调群的直和进行识别。
• 在上同调上赋予一个与对称函数上的内积同构的交积配对。
• 应用 S¹-等变上同调与局部化方法，通过限制到不动点分支构造正交类。
• 将 strata Wλ′ 定义为在 ℂ*-作用下收敛到不动点的点集，其闭包对应于单项对称函数。
• 通过正法丛的等变欧拉类定义满足正交性与过渡条件的上同调类 Fλ。

实验结果

研究问题

• RQ1 Jack 多项式如何作为曲面上点的 Hilbert 系列上的上同调类实现其几何意义？
• RQ2 在代数几何中，Jack 多项式中参数 α 的精确几何意义是什么？
• RQ3 Hilbert 系列上的 S¹-等变局部化如何产生与 Jack 多项式同构的正交基？
• RQ4 从单项对称函数到 Jack 多项式的过渡矩阵是否可通过 strata 闭包与优序关系理解？
• RQ5 通过等变几何，Jack 多项式中的归一化因子是否存在几何解释？

主要发现

• 通过 iλ* (1 / e(Nλ≤0)) 定义的上同调类 Fλ 在交积配对下构成 H2n(X^[n]) 中的正交基。
• 类 Fλ 满足 Fλ = [LλC] + ∑μ<λ uλμ(α)[LμC]，表明从单项类出发的过渡矩阵为严格上三角形。
• Jack 多项式中的参数 α 被识别为 −⟨C,C⟩，即曲面 X 中零截面 C 的自交数。
• Jack 多项式 Jλ(α) 中的归一化因子与等变欧拉类 e(Nλ>0) 的逆完全匹配，证实其在 ℤ[α] 上的整性。
• 该构造证明了 Macdonald 猜想的一部分：Jλ(α) 属于 μ < λ 时的单项对称函数 mμ 的 ℤ[α]-张成空间。
• 通过 Hilbert 系列的几何实现为 Jack 多项式与代数几何之间提供了新的、非平凡的联系，区别于 Wilson 的相空间方法。