[Paper Review] 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 Theory4 citations

TL;DR

This paper generalizes Rao's theorem to families of space curves over local rings by introducing pseudo-isomorphism of coherent sheaves. It establishes that two flat families of curves are in the same biliaison class if and only if their ideals or associated N-type resolutions are pseudo-isomorphic up to a shift, extending classical linkage theory to families via sheaf-theoretic methods in algebraic geometry.

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.

Motivation & Objective

• To extend Rao's classical theorem on biliaison classes of space curves to families parameterized over local rings.
• To define and study the notion of pseudo-isomorphism for coherent sheaves, generalizing stable isomorphism.
• To characterize biliaison equivalence of curve families through properties of their N-type resolutions.
• To establish a correspondence between biliaison classes and pseudo-isomorphism classes of sheaves up to shift.
• To provide a sheaf-theoretic framework for linkage theory in families, applicable to algebraic geometry of curves in P^3.

Proposed method

• Introduces the concept of pseudo-isomorphism between coherent sheaves as a generalization of stable isomorphism.
• Defines an N-type resolution for a curve family as an exact sequence 0 → P → N → J → 0, where N is locally free on P^3_A and P is a direct sum of O_P(-n_i).
• Works over a local ring A with infinite residue field to ensure technical conditions for the results.
• Uses sheaf-theoretic techniques to relate ideal sheaves J and J' of curve families to their biliaison classes.
• Applies cohomological methods and properties of locally free sheaves to analyze the structure of curve families.
• Establishes equivalence between biliaison classes and pseudo-isomorphism classes via shift invariance.

Experimental results

Research questions

• RQ1 When are two flat families of space curves over a local ring in the same biliaison class?
• RQ2 How can the notion of stable isomorphism be generalized to enable classification of curve families?
• RQ3 What role do N-type resolutions play in characterizing biliaison equivalence for families of curves?
• RQ4 Can biliaison equivalence be detected through the pseudo-isomorphism class of the sheaf N in an N-type resolution?
• RQ5 Under what conditions does pseudo-isomorphism of ideals or sheaves imply biliaison equivalence up to shift?

Key findings

• Two flat families of space curves over a local ring A are in the same biliaison class if and only if their defining ideals J and J' are pseudo-isomorphic up to a shift.
• For families with N-type resolutions, biliaison equivalence holds precisely when the associated locally free sheaves N and N' are pseudo-isomorphic up to a shift.
• The concept of pseudo-isomorphism provides a natural generalization of stable isomorphism suitable for families of curves.
• The results hold under the assumption that the residue field of the local ring A is infinite, ensuring sufficient generality for the constructions.
• The framework enables a sheaf-theoretic classification of curve families in terms of their N-type resolutions and pseudo-isomorphism classes.
• The paper establishes a complete characterization of biliaison classes via pseudo-isomorphism invariants, extending classical Rao theory to the relative setting.