[论文解读] Automorphismes naturels de l'espace de Douady de points sur une surface

Samuel Boissière|ArXiv.org|May 27, 2009

Algebraic Geometry and Number Theory参考文献 11被引用 3

一句话总结

本文研究复曲面 $S$ 上 $n$ 个点的 Douady 空间 $S^{[n]}$ 的自同构群。研究结果表明，$\text{Aut}(S^{[n]})$ 的维数等于 $\text{Aut}(S)$ 的维数，并证明对于非代数 K3 曲面，$\text{Aut}(S^{[n]}) \to \text{Aut}(S)$ 是同构。研究聚焦于由曲面自同构诱导的自然自同构，通过几何与上同调技术分析其上同调作用、Lefschetz 数以及不动点结构。

ABSTRACT

We prove some general results concerning the size of the group of automorphisms of the Douady space of points on a surface. We then study some properties of the automorphisms coming from an automorphism of the surface, in particular their action on the cohomology and the classification of their fixed points.

研究动机与目标

• 理解复曲面 $S$ 上 $n$ 个点的 Douady 空间 $S^{[n]}$ 的自同构群的结构与大小。
• 分析由底层面 $S$ 的自同构自然诱导出的 $S^{[n]}$ 的自同构。
• 确定此类自然自同构在 $S^{[n]}$ 上同调上的作用。
• 计算这些自同构的 Lefschetz 数，并对其不动点集进行分类。
• 建立自然映射 $\text{Aut}(S) \to \text{Aut}(S^{[n]})$ 为同构的条件，特别是针对非代数 K3 曲面。

提出的方法

• 将 Douady 空间 $S^{[n]}$ 视为参数化 $S$ 上长度为 $n$ 的 0-维解析子概形的紧致复流形，其自然映射 $\rho: S^{[n]} \to S^{(n)}$ 到对称积。
• 将 $S^{[\bullet]}$ 的自然自同构刻画为保持从属关系 $\xi \subset \xi'$ 与全族 $\Xi_n$ 的自同构。
• 证明 $S^{[\bullet]}$ 的自同构是自然的，当且仅当它由 $S$ 的自同构通过 $f^{[n]}(\xi) = f(\xi)$ 导出。
• 应用 Lefschetz 不动点定理，利用上同调数据计算自然自同构的不动点数量。
• 通过将 $H^*(S^{[n]})$ 分解为 $H^*(S)$ 的对称幂，特别是 K3 曲面情形，分析自同构在上同调上的作用。
• 利用 Hilbert-Chow 映射 $\rho$ 及其分歧除子 $E$，研究 $S^{[n]}$ 的几何结构以及自同构在 $S^{(n)}$ 奇点附近的性质。

实验结果

研究问题

• RQ1 自同构群 $\text{Aut}(S^{[n]})$ 的维数如何用 $\text{Aut}(S)$ 表示？
• RQ2 自然映射 $\text{Aut}(S) \to \text{Aut}(S^{[n]})$ 何时为同构？
• RQ3 自然自同构 $S^{[n]}$ 在 Douady 空间上同调上的作用如何？
• RQ4 自然自同构在 $S^{[n]}$ 上的不动点数量是多少，其分类如何？
• RQ5 自然自同构的 Lefschetz 数是什么，它与不动点集的几何结构有何关系？

主要发现

• 对任意复曲面 $S$ 和 $n \geq 1$，有 $\dim \text{Aut}(S^{[n]}) = \dim \text{Aut}(S)$。
• 对非代数的一般 K3 曲面 $S$，对所有 $n \geq 1$，有 $\text{Aut}(S^{[n]}) \cong \text{Aut}(S)$。
• 自然自同构 $f^{[n]}$ 在 $S^{[n]}$ 上的 Lefschetz 数等于 $f$ 在 $S^{(k)}$ 上的 Lefschetz 数对 $k=0,\dots,n$ 的和。
• 当 $n=3$ 且 $p=5$ 时，自然自同构的不动点数为 36，包括 4 个孤立的三重点、24 个混合不动点（一个约化点与一个二重点）以及 12 个曲线型不动点，另有 4 个退化的单项式三重点。
• 对于具有本原单位根 $\xi$ 与 $\bar{\xi}$（即 3 次单位根）作为特征值的自然自同构，其孤立不动点数为 $\frac{m_p(m_p - 1)}{2} + 2m_p$，其值依 $m_p$ 而定，分别为 27、14 或 9 个不动点。
• 不动点集的分类包括孤立点、二重非退化单项式点以及曲线型分量，其中退化现象仅在三重点的分拆 $(1,1,1)$ 时发生。