[论文解读] Symmetric product as moduli space of linear representations

Francesco Vaccarino|ArXiv.org|Aug 26, 2006

Algebraic Geometry and Number Theory参考文献 9被引用 6

一句话总结

本文证明了在特征零域上，仿射概形 $X = \mathrm{Spec}\,A$ 的 $n$-阶对称积同构于参数化 $A$ 的 $n$-维线性表示的概形对一般线性群 $GL(n,F)$ 的商。关键结果表明，描述对称积的不变环 $(A^{\bigotimes n})^{S_n}$ 由通用矩阵中单项式的迹生成，关系由 Procesi 的中心多项式控制，从而推广了经典对称多项式与矩阵不变量的结果。

ABSTRACT

We show that the $n-$th symmetric product of an affine scheme $X=\mathrm{Spec} A$ over a characteristic zero field is isomorphic as a scheme to the quotient by the general linear group of the scheme parameterizing $n-$dimensional linear representations of $A$. As a consequence we give generators and relations of the related rings of invariants as well as the equations of any symmetric products in term of traces. In positive characteristic we prove an analogous result for the associated varieties.

研究动机与目标

• 建立仿射概形 $X = \mathrm{Spec}\,A$ 的对称积 $X^{(n)}$ 与通过基变换的表示概形 $\mathcal{R}_n(A)//GL(n,F)$ 之间的几何同构。
• 为不变环 $(A^{\otimes n})^{S_n}$ 明确给出生成元与关系，将其识别为通用矩阵中单项式的迹。
• 将经典结果 $F[Mat(n,F)]^{GL(n,F)} \cong F[y_1,\dots,y_n]^{S_n}$ 从 $F[x]$ 推广到任意交换 $F$-代数 $A$，在特征零下成立。
• 在正特征下，通过约化概形与幂零根的理想，证明相关概形的类似结果。
• 通过迹恒等式与多项式关系，统一描述对称积，推广先前关于矩阵不变量的结果。

提出的方法

• 使用点的函子方法，将表示概形 $\mathcal{R}_n(A)$ 定义为仿射概形 $\mathrm{Spec}\,V_n(A)$，其中 $V_n(A)$ 是 $A$ 的 $n$-维表示的不变环。
• 构造通用矩阵 $\xi_{\omega} \in Mat(n, F[\xi_{ij,\omega}])$ 以表示自由代数 $F\{x_\omega\}$ 的通用 $n$-维表示，然后对 $A$ 中关系对应的理想 $I$ 取商。
• 应用极化过程于齐次多项式法则，特别关注行列式及其完全极化形式 $\Psi_{\mathbf{1}_n}$，以用迹表达不变量。
• 依赖 Procesi 的中心多项式与 $T$-理想理论，证明所有关于通用矩阵中单项式迹的关系均由特征零下的 $\Psi_{\mathbf{1}_{n+1}}$ 生成。
• 在正特征下，考虑约化概形 $\mathcal{R}_{n,\text{red}}(A)$，并通过同时上三角化与约化为对角矩阵，证明 $TS^n_{F}(A)_{\text{red}} \cong V_n(A)^{G}_{\text{red}}$。
• 利用牛顿恒等式，将特征值的初等对称函数与矩阵幂的迹联系起来，从而实现不变环的迹基表示。

实验结果

研究问题

• RQ1 在特征零下，仿射概形 $X = \mathrm{Spec}\,A$ 的对称积 $X^{(n)}$ 是否同构于 $A$ 的 $n$-维线性表示模基变换的粗模空间？
• RQ2 不变环 $(A^{\otimes n})^{S_n}$ 是否可仅用通用 $n \times n$ 矩阵中单项式的迹来表示？其定义关系为何？
• RQ3 经典同构 $F[Mat(n,F)]^{GL(n,F)} \cong F[y_1,\dots,y_n]^{S_n}$ 是否可推广至任意交换 $F$-代数 $A$？
• RQ4 在正特征下，约化对称积与表示概形模 $GL(n,F)$ 的商之间是否存在类似的同构？
• RQ5 关于 $A$ 上通用矩阵中单项式迹的关系是否由 Procesi 的中心多项式 $\Psi_{\mathbf{1}_{n+1}}$ 的取值与定义 $A$ 的理想 $I$ 中的关系共同生成？

主要发现

• 在特征零域上，对称积 $X^{(n)} = \mathrm{Spec}\,((A^{\otimes n})^{S_n})$ 作为概形同构于商 $\mathcal{R}_n(A)//GL(n,F)$。
• 不变环 $V_n(A)^{GL(n,F)}$ 由通用矩阵 $\xi_{\omega}$ 中单项式的迹生成，关系由 $\Psi_{\mathbf{1}_{n+1}}$ 在 $A$ 的生成元像处的取值以及 $\mathrm{tr}(\pi_n^A(f))$（$f \in I$）生成。
• 在特征零下，所有关于 $n \times n$ 矩阵中单项式迹的多项式关系均由 $\Psi_{\mathbf{1}_{n+1}}$ 推出，此结果由 Procesi 与 Razmyslov 建立。
• 在正特征下，约化概形 $TS^n_F(A)_{\text{red}}$ 同构于商 $\mathcal{R}_{n,\text{red}}(A)//GL(n,F)$，通过同时上三角化与约化为对角矩阵实现。
• $(A^{\otimes n})^{S_n}$ 作为迹的多项式环的商的表示在任意交换基环 $F$ 上的平坦 $A$ 下均成立，推广了先前结果。
• 对称积 $X^{(n)}$ 的方程被显式描述为迹与特征多项式系数的关系，尤其在平坦情形下。