[论文解读] Mixed Hodge structures of configuration spaces

Ezra Getzler|ArXiv.org|Nov 1, 1995

Algebraic Geometry and Number Theory参考文献 7被引用 63

一句话总结

本文提出了一套框架，用于计算复数域上光滑射影代数簇 $X$ 的配置空间 $\Phi(X,n)$ 的 $\sigma_n$-等变 Hodge 多项式，方法基于对称函数与 $\lambda$-环结构。关键结果是给出了以 $X$ 的 Hodge 多项式表示的等变 Serre 多项式 $\operatorname{\mathsf{e}}_\sigma(\mathsf{F}(X,n))$ 的闭合公式，该公式推广了 Lehrer-Solomon 对 $X = \mathbb{C}$ 的公式，并可用来计算 Fulton-MacPherson 紧化空间 $\overline{\mathcal{M}}_{1,n}$ 的 $\SS_n$-等变 Hodge 多项式。

ABSTRACT

The symmetric group S_n acts freely on the configuration space of n distinct points in a quasi-projective variety. In this paper, we study the induced action of the symmetric group S_n on the de Rham cohomology of this space, using mixed Hodge theory, combined with methods from the theory of symmetric functions. (We prove a motivic version of this as well.) As an application of our results, we calculate the S_n-equivariant Hodge polynomial of the Fulton-MacPherson compactification X[n] of the configuration space.

研究动机与目标

• 计算复数域上光滑射影代数簇 $X$ 的 $n$ 个有序点的配置空间 $\mathsf{F}(X,n)$ 的 $\SS_n$-等变 Hodge 多项式。
• 利用 Hodge 理论与对称函数技巧，将 Lehrer 和 Solomon 对 $\mathsf{F}(\mathbb{C},n)$ 的公式推广至任意光滑射影 $X$。
• 将所得结果应用于计算 Fulton-MacPherson 紧化空间 $\overline{\mathcal{M}}_{1,n}$ 的 $\SS_n$-等变 Hodge 多项式，特别针对 $X = \mathbb{P}^1$ 的情形。
• 为后续研究奠定基础，通过 Saito 的混合 Hodge 模块理论建立相对理论，实现对 $\overline{\mathcal{M}}_{1,n}$ 的 $\SS_n$-等变 Hodge 多项式的计算。

提出的方法

• 利用无穷多个变量的 $\lambda$-环与对称函数理论，编码 $\mathsf{F}(X,n)$ 的等变 Hodge 结构。
• 引入 $\lambda$-环的完备化，以处理等变 Serre 多项式生成函数。
• 在 Karoubian $\lambda$-环的 Grothendieck 群上定义 $\Phi_\lambda$-运算，以表达对不可约 $\SS_n$-表示 $V_\lambda$ 的 $\operatorname{\mathsf{e}}(\mathsf{F}(X,n), V_\lambda)$。
• 在 Karoubian $\lambda$-环中应用 Peter-Weyl 定理，确保 $\mathbb{C}$ 上 $\SS_n$-表示的完全可约性，从而实现上同调的分解。
• 通过 $G_k = \mathbb{C}^k \rtimes \mathbb{G}_m$ 作用于 $\mathsf{F}(\mathbb{C}^k,n)$，定义射影配置空间 $\overset{\circ}{\mathsf{P}}_k(n)$，其 Serre 多项式通过扭子公式计算。
• 利用紧化空间 $\mathsf{P}_k$ 的分层结构，以及在 plethysm 下关系 $\operatorname{\mathsf{e}}(\mathsf{P}_k) = \bigl( h_1 - \operatorname{\mathsf{e}}(\overset{\circ}{\mathsf{P}}_k) \bigr)^{-1}$，推导出 $\mathsf{FM}(X)$ 的生成函数。

实验结果

研究问题

• RQ1 如何为一般光滑射影代数簇 $X$ 计算配置空间 $\mathsf{F}(X,n)$ 的 $\SS_n$-等变 Hodge 多项式？
• RQ2 Lehrer-Solomon 公式对 $\mathsf{F}(\mathbb{C},n)$ 的推广形式在任意 $X$ 下是什么？
• RQ3 如何利用该框架计算 Fulton-MacPherson 紧化空间 $\overline{\mathcal{M}}_{1,n}$ 的 $\SS_n$-等变 Hodge 多项式？
• RQ4 $\lambda$-环结构与对称函数在编码配置空间等变 Hodge 数据中起到什么作用？
• RQ5 $G_k$-作用于 $\mathsf{F}(\mathbb{C}^k,n)$ 如何导致紧化空间 $\mathsf{P}_k$ 的构造，其 Hodge 多项式如何控制 $\mathsf{FM}(X,n)$ 的等变上同调？

主要发现

• 配置空间 $\mathsf{F}(X,n)$ 的 $\SS_n$-等变 Serre 多项式为 $\operatorname{\mathsf{e}}_\sigma(\mathsf{F}(X,n)) = \prod_{j=1}^\infty \alpha_j(X)\bigl(\alpha_j(X) - j\bigr)\cdots\bigl(\alpha_j(X) - (n_j-1)j\bigr)$，其中 $\alpha_j(X) = \sum_{d|j} \mu(j/d) \operatorname{\mathsf{e}}(X; u^d, v^d)$。
• 对称商空间 $\mathsf{F}(X,n)/\SS_n$ 的等变 Serre 多项式为 $\sum_{n=0}^\infty x^n \operatorname{\mathsf{e}}(\mathsf{F}(X,n)/\SS_n) = \frac{\sigma_t(X)}{\sigma_{t^2}(X)} = \prod_{p,q} \Bigl(\frac{1 - t^2 u^p v^q}{1 - t u^p v^q}\Bigr)^{\chi(H_c^\bullet(X,\mathbb{C})^{p,q})}$。
• Fulton-MacPherson 紧化空间 $X[n]$ 的 $\SS_n$-等变 Hodge 多项式通过复合 $\operatorname{\mathsf{e}}(\operatorname{\mathsf{FM}}(X)) = \operatorname{\mathsf{e}}(\mathsf{F}(X)) \circ \operatorname{\mathsf{e}}(\mathsf{P}_k)$ 计算得出，其中 $\mathsf{P}_k$ 是 $\overset{\circ}{\mathsf{P}}_k(n)$ 的紧化。
• 当 $X = \mathbb{C}^k$ 时，$\overset{\circ}{\mathsf{P}}_k(n)$ 的 Serre 多项式为 $\operatorname{\mathsf{e}}(\overset{\circ}{\mathsf{P}}_k(n)) = \frac{\operatorname{\mathsf{e}}(\mathsf{F}(\mathbb{C}^k,n), \SS_n)}{\mathsf{L}^k(\mathsf{L}-1)}$，利用了 $G_k$-作用的扭子性质。
• $\mathsf{P}_k$ 的生成函数为 $\operatorname{\mathsf{e}}(\mathsf{P}_k) = \bigl( h_1 - \operatorname{\mathsf{e}}(\overset{\circ}{\mathsf{P}}_k) \bigr)^{-1}$，在 plethysm 下成立，其显式表达式涉及 $\mathsf{L} = uv$。
• 在一维情形下，$\overset{\circ}{\mathsf{P}}_1(n) \cong \mathcal{M}_{0,n+1}$ 且 $\mathsf{P}_1(n) \cong \overline{\mathcal{M}}_{0,n+1}$，因此该方法可计算 $\overline{\mathcal{M}}_{0,n+1}$ 的 $\SS_{n+1}$-等变 Hodge 多项式，后续工作将进一步推广至 $\overline{\mathcal{M}}_{1,n}$。