Matrix Points on Varieties

技术摘要：簇上的矩阵点 (Matrix Points on Varieties)

问题陈述
本文研究了 $C_n(X)$ 的上同调，其中 $C_n(X)$ 是满足准射影方案 $X$（定义在域 $k$ 上）之方程的交换 $n \times n$ 矩阵的模空间。该空间表示函子 $S \mapsto \text{Hom}_{k\text{-alg}}(R, M_n(S))$，其中 $X = \text{Spec } R$ 为仿射方案。虽然 $C_n(X)$ 推广了经典的交换簇（例如 $\mathfrak{gl}_n$ 或 $GL_n$ 中的交换元组），但其有理上同调此前尚未被计算，即使是对于避开特定特征值的简单情况也是如此。作者通过“非交换 Weil 限制”的视角来构建这一问题，将包含映射 $k \hookrightarrow M_n(k)$ 视为一个次数为 $n$ 的可分域扩张的非交换类比。

方法论
作者结合了代数几何、表示论和组合数学：

1. 通过半单对应物进行几何比较：
   核心策略是构造一个“半单对应物” $S_n(X)$，定义为商空间 $(X^n \times GL_n/T_n) / S_n$，其中 $S_n$ 通过对角作用。这里 $GL_n/T_n$ 代表有序直和分解的空间。作者定义了一个自然映射 $\sigma: S_n(X) \to C_n(X)$，它将半单框架层（semi-simple framed sheaf）映射到其对应的矩阵点。
   作者分析了自然投影 $p_1: S_n(X) \to \text{Sym}^n X$ 和 $p_2: C_n(X) \to \text{Sym}^n X$ 的纤维。他们证明，在特定条件下（特征为零或 $X$ 是局部齐次的），映射 $\sigma$ 在常系数层（constant sheaf）的导出直接像上诱导一个同构（即 $R p_{2*} \mathbb{Q}_\ell \cong R p_{1*} \mathbb{Q}_\ell$）。这依赖于证明在给定假设下，$p_2$ 的纤维（涉及具有幂零支撑的框架层）具有平凡上同调，从而有效地将 $C_n(X)$ 的上同调简化为更易处理的 $S_n(X)$ 的上同调。

2. 组合计算：
   一旦将上同调简化到 $S_n(X)$，作者便利用对称群 $S_n$ 的分次特征理论和对称函数。他们定义了 Frobenius 特征映射并利用了对称多项式的原初特化（principal specialization）。通过分析 $S_n$ 在 $X^n$ 和旗流形 $GL_n/T_n$ 上上同调上的作用，他们推导出了庞卡莱多项式的显式公式。

3. 生成级数与 Zeta 函数：
   论文建立了 $C_n(X)$（以及相关的堆 $\mathcal{C}_n(X)$）的庞卡莱多项式的生成级数与 $X$ 的 Betti zeta 函数 $\zeta^B_X(t)$ 之间的联系。这与 Macdonald 关于对称积上同调的经典结果相平行。

4. Hermitian 变体：
   对于定义在 $\mathbb{R}$ 上的方案，作者利用酉群 $U_n$ 及其极大环面 $U_{T_n}$ 构造了半单对应物 $HS_n(X)$，以此适配交换 Hermitian 矩阵空间 $HC_n(X)$ 的框架。

主要贡献与结果

• 上同调同构 (定理 1.2)： 在 $k$ 特征为零或 $X$ 是局部齐次的假设下，映射 $\sigma: S_n(X) \to C_n(X)$ 在 $\ell$-adic 上同调上诱导一个同构：
  $$H^i_{\text{ét}}(C_n(X), \mathbb{Q}_\ell) \cong H^i_{\text{ét}}(S_n(X), \mathbb{Q}_\ell)$$
  这验证了这样一个启发式观点：$C_n(X)$ 在上同调上表现得如同 $X^n$ 沿着“非交换扩张” $k \to M_n(k)$ 的 Weil 限制。

• 显式庞卡莱多项式 (定理 1.3)： 作者提供了 $C_n(X)$ 的庞卡莱多项式的组合公式：
  $$P_u(C_n(X)) = \phi_n(u^2) \text{sp}_{u^2}(\text{ch}_u(X^n))$$
  其中 $\phi_n(q) = \prod_{i=1}^n (1-q^i)$，$\text{sp}$ 表示原初特化，$\text{ch}_u$ 是 $X^n$ 上同调的分次 $S_n$-特征。

• 生成级数恒等式 (定理 1.4)： 他们证明了一个无穷乘积恒等式，将堆 $\mathcal{C}_n(X)$ 的庞卡莱多项式的生成级数与 $X$ 的 Betti zeta 函数联系起来：
  $$1 + \sum_{n=1}^\infty P_u(\mathcal{C}_n(X)) t^n = \prod_{i=0}^\infty \zeta^B_X(u^{2i}t)$$
  这推广了 Macdonald 关于对称积的公式。

• 等变形式性 (推论 2.12)： 论文确立了 $C_n(X)$ 上的 $GL_n$-作用是等变形式的（equivariantly formal）。因此，堆 $\mathcal{C}_n(X)$ 的等变上同调是 $BGL_n$ 的上同调与 $C_n(X)$ 上同调的乘积。

• Hermitian 结果 (定理 1.5)： 对于 $\mathbb{R}$ 上的 $X$，映射 $\sigma_H: HS_n(X) \to HC_n(X)$ 在有理上同调上诱导一个同构，从而为实变体交换 Hermitian 矩阵提供了庞卡莱多项式。

意义与主张
该论文声称解决了计算 $C_n(X)$ 有理上同调这一此前悬而未决的问题。作者断言，尽管 $C_n(X)$ 是一个复杂的非交换模空间，但在温和的条件下，它在上同调上等价于一个更简单的半单商空间 $S_n(X)$。这种等价性允许应用对称函数理论来推导显式的 Betti 数。

作者强调，其组合公式提供了一种“低复杂度”的方法，用于计算此前难以通过经典方法（例如避开特定特征值的矩阵）求解的空间的 Betti 数。此外，这项工作将矩阵点几何与 Weil 限制理论联系起来，并为交换簇的上同调提供了一个新视角，证实了从非交换几何中得到的启发式观点。其结果还扩展到了等变设置，识别了相干层堆的上同调与对称积堆的上同调。