[論文レビュー] Faisceaux cohérents sur les courbes multiples

Jean–Marc Drézet|arXiv (Cornell University)|Feb 24, 2004

Algebraic Geometry and Number Theory参考文献 29被引用数 19

ひとこと要約

この論文は、滑らかな曲面に局所埋め込まれた非還元的曲線上の連続層の基礎的枠組みを構築し、一般化されたランクおよび次数不変量を導入してリーマン・ロッホ定理を証明する。二重曲線上のねじれのない層は反射的であることが示され、一般化されたランク3の安定層のモジュライ空間は複数の成分を持ち、そのうちの一つは元の曲線のベクトル束のモジュライ空間上の多重構造である。

ABSTRACT

Multiple primitive curves have been defined and studied by A. Banica and O. Forster. We introduce new invariants for coherent sheaves on these curves and define quasi locally free sheaves, which play the same role as locally free sheaves on smooth varieties. A more detailed study of torsion free sheaves is given for primitive curves of multiplicity 2.

研究の動機と目的

• 滑らかな曲面に局所埋め込まれた非還元的曲線における連続層理論を確立すること。
• このような曲線上の連続層のための新しい不変量—一般化されたランクおよび次数—を定義すること。
• これらの不変量を用いてリーマン・ロッホ定理を証明すること。
• 二重曲線上のねじれのない層および準局所自由層を特徴付けること。
• 二重曲線上の一般化されたランク3の安定層のモジュライ空間の構造を分析すること。

提案手法

• 複数重曲線 Y 上の連続層の標準的フィルトレーションを導入する。このフィルトレーションは層 C₁ ⊂ C₂ ⊂ ⋯ ⊂ Cₙ = Y によってインデックス付けられる。
• このフィルトレーションに沿った関連する層のグレード付き層を用いて、一般化されたランクおよび次数を定義する。
• 標準的フィルトレーションを用いて、局所的に O_{C_i} 層の直和に同型であるような準局所自由層を定義する。
• Y 上の任意の連続層が、空でない開部分集合上で準局所自由であることを証明する。
• 元の曲線 C 上の有限部分スキーム Z の理想層 I_{n,Z} を分析する。特に n=2 の二重曲線の場合を重点的に扱う。
• 変形理論を用いて、埋め込み曲面 S 上の I_{n,Z} の変形を研究する。

実験結果

リサーチクエスチョン

• RQ1 非還元的曲線上の連続層に対して、一般化されたランクおよび次数をどのように定義すれば、古典的リーマン・ロッホを拡張できるか？
• RQ2 二重曲線上のねじれのない層の構造は何か？ そしてそれらは反射的であるか？
• RQ3 二重曲線上の安定層のモジュライ空間はどのように成分に分解されるか？
• RQ4 準局所自由層は、複数重曲線上のモジュライ空間の特異的幾何における役割を果たすか？
• RQ5 二重曲線上の安定層のモジュライ空間は、元の曲線のベクトル束のモジュライ空間とどのように関係するか？

主な発見

• 二重曲線（n=2）上のねじれのない層は反射的であり、重要な構造的性質である。
• C₂ 上の一般化されたランク2のねじれのない層は、Z が C 上の有限部分スキームで、L が Y 上の直線束であるとき、I_{2,Z} ⊗ L の形に表せる。
• 二重曲線上の一般化されたランク3、次数 d の安定層のモジュライ空間は複数の既約成分を持つ。
• そのうちの一つの成分は、元の曲線 C 上のランク3、次数 d の安定ベクトル束のモジュライ空間上の多重構造である。
• Y 上の任意の連続層は、空でない開部分集合上で準局所自由であり、滑らかな曲線上の局所自由層の概念を一般化する。
• 一般化されたランクおよび次数不変量を用いてリーマン・ロッホの公式を確立し、古典的結果を非還元的設定に拡張した。