[论文解读] Un théorème de Rao pour les familles de courbes gauches

Robin Hartshorne, Mireille Martin-Deschamps+1 more|arXiv (Cornell University)|Oct 15, 1997

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文通过引入相干层的伪同构概念，将Rao定理由局部环上的空间曲线族推广至一般情形。研究证明：两个平坦的曲线族属于同一双联络类当且仅当它们的理想或对应的N型解析式在平移意义下是伪同构的，从而通过代数几何中的层论方法将经典联络理论推广至族的情形。

ABSTRACT

The aim of this paper is to prove a generalization of a theorem of Rao for families of space curves, which caracterizes the biliaison classes of curves. First we introduce the concept of pseudo-isomorphism of coherent sheaves, which generalizes the concept of stable isomorphism. An N-type resolution for a family of curves $C$ over the local ring $A$, defined by an ideal $J$, is an exact sequence $0 o P o N o J o 0$ where $N$ is a locally free sheaf on $P^3_A$ and $P$ is a direct sum of invertible sheaves $O_P(-n_i)$. We prove the two following results, when the residual field of $A$ is infinite : 1. Let $C$ and $C'$ be two flat families of space curves over the local ring $A$. Then $C$ and $C'$ are in the same biliaison class if and only if their ideals $J$ and $J'$ are pseudo-isomorphic, up to a shift. 2. Let $C$ and $C'$ be two flat families of space curves over the local ring $A$, with N-type resolutions, involving sheaves $N$ and $N'$. Then $C$ and $C'$ are in the same biliaison class if and only if $N$ and $N'$ are pseudo-isomorphic, up to a shift.

研究动机与目标

• 将Rao关于空间曲线双联络类的古典定理推广至参数化于局部环上的曲线族。
• 定义并研究相干层的伪同构概念，作为稳定同构的推广。
• 通过其N型解析式的性质表征曲线族的双联络等价性。
• 建立双联络类与层的伪同构类（在平移意义下）之间的对应关系。
• 为联络理论在族中的应用提供一个层论框架，适用于P^3中曲线的代数几何。

提出的方法

• 引入相干层之间伪同构的概念，作为稳定同构的推广。
• 将曲线族的N型解析式定义为正合列 0 → P → N → J → 0，其中N在P^3_A上局部自由，P为O_P(-n_i)的直和。
• 在残基域为无限的局部环A上工作，以确保结果所需的技术条件成立。
• 运用层论技巧，将曲线族的理想层J与J'与其双联络类相关联。
• 应用上同调方法及局部自由层的性质，分析曲线族的结构。
• 通过平移不变性建立双联络类与伪同构类之间的等价关系。

实验结果

研究问题

• RQ1 在局部环上，两个平坦的空间曲线族何时属于同一双联络类？
• RQ2 如何将稳定同构的概念推广，以实现对曲线族的分类？
• RQ3 N型解析式在表征曲线族双联络等价性方面起什么作用？
• RQ4 是否能通过N型解析式中层N的伪同构类来检测双联络等价性？
• RQ5 在何种条件下，理想或层的伪同构能推出其在平移意义下的双联络等价性？

主要发现

• 在局部环A上，两个平坦的空间曲线族属于同一双联络类，当且仅当它们的定义理想J与J'在平移意义下是伪同构的。
• 对于具有N型解析式的族，双联络等价性成立当且仅当对应的局部自由层N与N'在平移意义下是伪同构的。
• 伪同构概念为曲线族提供了自然的推广，是稳定同构的合适推广。
• 在局部环A的残基域为无限的假设下，结果成立，确保了构造的充分一般性。
• 该框架使得能够基于N型解析式与伪同构类，对曲线族实现层论分类。
• 本文通过伪同构不变量完整刻画了双联络类，将经典Rao理论推广至相对情形。