[论文解读] Paramétrisation des courbes multiples primitives

Jean–Marc Drézet|arXiv (Cornell University)|May 29, 2006

Algebraic Geometry and Number Theory被引用 7

一句话总结

本文通过光滑曲线 $C$ 上自同构层的非交换上同调，对任意重数 $n$ 的原始多重曲线提供了完整的参数化。它表明这类曲线由保持 $C$ 的自同构胶合局部模型 $U_i \times \mathbb{Z}_n$ 而得到，并通过 $H^1(C, \mathcal{G}_n)$ 分类同构类，将 Bayer 与 Eisenbud 对双曲线的工作推广到更高重数，给出了明确的几何与上同调描述。

ABSTRACT

The primitive curves are the multiple curves that can be locally embedded in smooth surfaces (we will always suppose that the associated reduced curves are smooth). These curves have been defined and studied by C. Banica and O.Forster in 1984. In 1995, D. Bayer and D. Eisenbud gave a complete description of the double curves. We give here a parametrization of primitive curves of arbitrary multiplicity. Let Z_n=spec(\C[t]/(t^n)). The curves of multiplicity n are obtained by taking an open cover (U_i) of a smooth curve C and by glueing schemes of type U_i X Z_n using automorphisms of U_{ij} X Z_n that leave U_{ij} invariant. This leads to the study of the sheaf of nonabelian groups G_n of automorphisms of C X Z_n that leave the reduced curve invariant, and to the study of its first cohomology set. We prove also that in most cases it is the same to extend a primitive curve C_n of multiplicity n to one of multiplicity n+1, and to extend the quasi locally free sheaf D_n of derivations of C_n to a rank 2 vector bundle on C_n.

研究动机与目标

• 将原始多重曲线的分类从重数 2 推广到更高重数，扩展 Bayer 与 Eisenbud 对双曲线的工作。
• 对任意重数 $n$ 的原始多重曲线提供完整的几何与上同调参数化。
• 建立此类曲线的同构类与第一非交换上同调集 $H^1(C, \mathcal{G}_n)$ 之间的对应关系，其中 $\mathcal{G}_n$ 是保持约化曲线的自同构层。
• 阐明将重数为 $n$ 的原始曲线延拓至 $n+1$ 的问题，与将导子层 $\mathcal{D}_n$ 延拓为曲线上秩为 2 的向量丛之间的关系。
• 对重数为 3 的原始曲线给出详细分类，表明其由 $H^1(L)$ 参数化，并存在一个到分裂扩张空间 $\mathcal{C}^S(C_2^0)$ 的典范满射。

提出的方法

• 通过保持基曲线 $C$ 的自同构胶合局部模型 $U_i \times \mathbb{Z}_n$，构造重数为 $n$ 的原始多重曲线，并满足上链条件。
• 定义 $\mathcal{G}_n$ 为固定 $C$ 的 $C \times \mathbb{Z}_n$ 的非交换群自同构层，并利用其第一上同调集 $H^1(C, \mathcal{G}_n)$ 来分类原始曲线的同构类。
• 建立典范满射 $l_g: H^1(L) \to \mathcal{C}^S(C_2^0)$，其中 $\mathcal{C}^S(C_2^0)$ 是平凡双曲线到重数 3 的分裂扩张的集合。
• 通过滤子 $C = C_1 \subset \cdots \subset C_n = Y$ 定义曲线，局部以理想 $(z^i)$ 表示于光滑曲面中，并将余法丛 $L = \mathcal{I}_C / \mathcal{I}_C^2$ 与相应线丛联系起来。
• 将重数为 $n$ 的平凡原始曲线构造为 $L^*$ 总空间中 $C$ 的第 $n$ 个无穷小邻域，并以此作为非平凡形变的基础。
• 证明在特定条件下，将重数为 $n$ 的原始曲线 $C_n$ 延拓至 $C_{n+1}$ 等价于将导子层 $\mathcal{D}_n$ 延拓为 $C_n$ 上的秩 2 向量丛。

实验结果

研究问题

• RQ1 如何利用局部胶合数据与自同构群，对任意重数 $n$ 的原始多重曲线进行全局参数化？
• RQ2 非交换上同调集 $H^1(C, \mathcal{G}_n)$ 在分类重数为 $n$ 的原始多重曲线的同构类中起什么作用？
• RQ3 将重数为 $n$ 的原始曲线延拓至重数 $n+1$ 的问题，是否等价于将其导子层 $\mathcal{D}_n$ 延拓为曲线上秩为 2 的向量丛？
• RQ4 重数为 3 的原始曲线如何分类？映射 $l_g: H^1(L) \to \mathcal{C}^S(C_2^0)$ 的几何意义是什么？
• RQ5 自同构层 $\mathcal{G}_n$ 的结构是怎样的？它如何控制原始多重曲线的模空间？

主要发现

• 重数为 $n$ 且约化曲线为 $C$ 的原始多重曲线的同构类，与第一非交换上同调集 $H^1(C, \mathcal{G}_n)$ 之间存在典范双射，其中 $\mathcal{G}_n$ 是 $C \times \mathbb{Z}_n$ 的自同构层，且保持 $C$ 不变。
• 重数为 3 的原始曲线的分类已完全描述：它们由 $H^1(L)$ 参数化，并存在一个典范满射 $l_g: H^1(L) \to \mathcal{C}^S(C_2^0)$，其中 $\mathcal{C}^S(C_2^0)$ 是平凡双曲线到重数 3 的分裂扩张的集合。
• $l_g$ 映射的纤维是 $H^1(L)$ 上 $\mathbb{C}^*$-作用的轨道，表明该参数化在标量乘法下是等价的。
• 在大多数情况下，将重数为 $n$ 的原始曲线 $C_n$ 延拓至 $C_{n+1}$ 等价于将导子层 $\mathcal{D}_n$ 延拓为 $C_n$ 上的秩 2 向量丛，建立了形变理论与向量丛扩张之间的深刻联系。
• 重数为 $n$ 的平凡原始曲线被实现为 $L^*$ 总空间中 $C$ 的第 $n$ 个无穷小邻域，为分类提供了典范模型。
• 每个重数为 $n$ 的原始多重曲线均可嵌入 $\mathbb{P}^3$，确认了其抽象几何实现的可能性。