[论文解读] Families of zero cycles and divided powers: I. Representability

David Rydh|ArXiv.org|Mar 5, 2008

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

一句话总结

本文构建了一个代数空间 $Γ^d(X/S)$，用于表示分离代数空间 $X/S$ 上零维循环族的度数 $d$，在仿射情形下使用分次幂环 $\Gamma^d_A(B)$。关键贡献在于证明该空间在特征零或当 $X/S$ 为平坦时，与对称积 $\operatorname{Sym}^d(X/S)$ 一致，并证明了乘法多项式律的核的基础性质，包括其在平展基变换下保持不变，但在平坦基变换下不保持不变。

ABSTRACT

For any separated algebraic space $X/S$ we construct a separated algebraic space $Γ^d(X/S)$ -- the space of divided powers -- which parameterizes zero cycles of degree $d$ on $X$. The space of divided powers for an affine scheme is given by the spectrum of the algebra of divided powers. In characteristic zero or when $X/S$ is flat, the constructed space coincides with the symmetric product $Sym^d(X/S)$. We also prove several fundamental results on the kernels of multiplicative polynomial laws necessary for the construction of $Γ^d(X/S)$.

研究动机与目标

• 为分离代数空间 $X/S$ 上度数 $d$ 的零维循环参数空间提供一个函子性、几何化的构造。
• 通过引入一个非约化、函子性良好的替代方案，解决经典 Chow 族在正特征情形下的局限性。
• 建立乘法多项式律核的基础性质，特别是其在平坦基变换下不交换，而在平展基变换下交换。
• 证明所构造的空间 $\Gamma^d(X/S)$ 可由代数空间表示，并在特征零或平坦条件下与对称积一致。

提出的方法

• 在仿射情形下，将 $\Gamma^d(X/S)$ 构造为分次幂代数 $\Gamma^d_A(B)$ 的谱。
• 利用 $\underline{\Gamma}^d_{X/S}$ 的函子性与平展基变换，将可表示性推广至一般的分离代数空间。
• 通过 Cayley-Hamilton 定理证明乘法多项式律 $F: B \to A$ 的核在 $A$ 上是整的。
• 证明核与极限、局部化和平坦基变换交换，但不与平坦基变换交换。
• 使用平展覆盖的下降技术，证明 $\underline{\Gamma}^d_{X/S}$ 可由代数空间表示。
• 利用范数的普遍性质及循环加法映射 $\Psi_{X/S}$，将 $\Gamma^d(X/S)$ 与对称积联系起来。

实验结果

研究问题

• RQ1 如何构造一个函子性、非约化的零维循环参数空间，以避免在正特征情形下对投影嵌入的依赖？
• RQ2 在何种精确条件下，对称积 $\operatorname{Sym}^d(X/S)$ 与分次幂空间 $\Gamma^d(X/S)$ 一致？
• RQ3 为何乘法多项式律的核不与平坦基变换交换，而它与哪种基变换类型交换？
• RQ4 对于任意分离代数空间 $X/S$，空间 $\Gamma^d(X/S)$ 是否可由代数空间表示？
• RQ5 循环加法映射 $\Psi_{X/S}$ 如何与 $\Gamma^d(X/S)$ 上的普遍族相关？

主要发现

• 对于任意分离代数空间 $X/S$，空间 $\Gamma^d(X/S)$ 可由代数空间表示，且可通过显式平展覆盖构造。
• 在仿射情形下，有 $\Gamma^d(X/S) \cong \mathrm{Spec}(\Gamma^d_A(B))$，其中 $\Gamma^d_A(B)$ 为分次幂环。
• 当 $X/S$ 为平坦或在特征零时，$\Gamma^d(X/S)$ 与对称积 $\operatorname{Sym}^d(X/S)$ 一致。
• 乘法多项式律的核不与平坦基变换交换，但与平展基变换交换。
• 该构造通过用分次幂空间替代对称积，解决了对称积在正特征下非函子性的问题。
• 在平坦情形下，$\Gamma^d(X/S)$ 上的普遍族与循环加法映射 $\Psi_{X/S}$ 相关，且有更精细的描述。