[論文レビュー] 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

ひとこと要約

この論文は、局aura環上の空間曲線族に対してRaoの定理を一般化し、連接層の擬同型写像を導入することで、2つの平坦な曲線族が同じ二分類クラスにあるための必要十分条件を特定する。これは、代数幾何における層論的技法を用いて、古典的リンク理論を族へと拡張するものである。

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.

研究の動機と目的

• 局aura環上にパラメータ化された空間曲線族に対するRaoの古典的二分類クラスの定理を拡張すること。
• 安定同型の一般化として、連接層に対する擬同型写像の概念を定義し、その性質を考察すること。
• N型分解の性質を通じて、曲線族の二分類同値性を特徴付けること。
• 二分類クラスと、シフトを許容する層の擬同型クラスとの間の対応関係を確立すること。
• P^3における曲線の代数幾何に適用可能な、層論的枠組みを用いた族へのリンク理論の構築すること。

提案手法

• 安定同型の一般化として、連接層間の擬同型写像の概念を導入する。
• 曲線族のN型分解を、0 → P → N → J → 0 という完全系列として定義する。ここで、N は P^3_A 上で局所自由であり、P は O_P(-n_i) の直和である。
• 結果の技術的条件を満たすために、無限大の残渣体を持つ局aura環 A を用いる。
• 曲線族の理想層 J と J' とその二分類クラスとの関係を、層論的技法を用いて関係づける。
• コホモロジー論的手法と局所自由層の性質を用いて、曲線族の構造を分析する。
• シフト不変性を用いて、二分類クラスと擬同型クラスとの同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 局aura環上での2つの平坦な空間曲線族が同じ二分類クラスにあるのはいつか？
• RQ2 安定同型の概念をどのように一般化すれば、曲線族の分類が可能になるか？
• RQ3 N型分解は、曲線族の二分類同値性を特徴付ける上で果たす役割は何か？
• RQ4 N型分解における層 N の擬同型クラスから、二分類同値性を検出できるか？
• RQ5 理想や層の擬同型が、シフトを許容して二分類同値性を示すための条件は何か？

主な発見

• 局aura環 A 上の2つの平坦な空間曲線族が同じ二分類クラスにあるための必要十分条件は、それらの定義イデアル J と J' がシフトを許容して擬同型であることである。
• N型分解を有する族に関しては、関連する局所自由層 N と N' がシフトを許容して擬同型であるときに、二分類同値性が成立する。
• 擬同型写像の概念は、曲線族に適した安定同型の自然な一般化を提供する。
• 結果は、局aura環 A の残渣体が無限大であるという仮定のもとで成り立ち、構成の一般性を保証する。
• この枠組みにより、N型分解と擬同型クラスに基づく曲線族の層論的分類が可能になる。
• 本論文は、古典的Rao理論を相対的設定に拡張し、二分類クラスを擬同型不変量によって完全に特徴づけることを確立した。