[論文レビュー] Limit linear series moduli stacks in higher rank

Brian Osserman|arXiv (Cornell University)|May 12, 2014

Algebraic Geometry and Number Theory参考文献 6被引用数 12

ひとこと要約

本稿は、高ランク極限線形系列の基礎的モジュライスタック構造を構築し、タイプIおよびタイプIIのリンクド線形系列という2つの新しい構成を導入することで、古典的な Eisenbud-Harris 理論をランク >1 のベクトルバンドルへ一般化する。Eisenbud-Harris-Teixidor 理論に標準的なスタック構造を確立し、曲線の族における極限線形系列の最初の適切なモジュライ空間を構成し、3つの構成間の比較同型を証明することで、固定特異行列式をもつランク2バンドルにおける Brill-Noether 理論における新しい存在定理を可能にする。

ABSTRACT

In order to prove new existence results in Brill-Noether theory for rank-2 vector bundles with fixed special determinant, we develop foundational definitions and results for limit linear series of higher-rank vector bundles. These include two entirely new constructions of "linked linear series" generalizing earlier work of the author for the classical rank-1 case, as well as a new canonical stack structure for the previously developed theory due to Eisenbud, Harris and Teixidor i Bigas. This last structure is new even in the classical rank-1 case, and yields the first proper moduli space of Eisenbud-Harris limit linear series for families of curves. We also develop results comparing these three constructions.

研究の動機と目的

• Eisenbud-Harris-Teixidor の極限線形系列の族における適切なモジュライスタック構造を構築すること。これは、従来の取り扱いではスタック構造が欠落していた。
• 古典的なリンクド線形系列の構成を、特に固定特異行列式をもつランク2バンドルを想定して、高ランクベクトルバンドルへ一般化すること。
• タイプIおよびタイプIIのリンクド線形系列と、Eisenbud-Harris-Teixidor スタックという3つの異なる構成の間の比較同型を確立すること。
• 特異行列式条件に起因する次元の不一致を解消することで、高ランク Brill-Noether 理論における退化技法を可能にすること。
• 特に、単純な予想次元が成立しない状況においても、固定特異行列式をもつ一般曲線における ${\mathfrak{g}}^{k}_{2,d}$-系列の存在定理を証明するための枠組みを提供すること。

提案手法

• プレリンクド・グラスマンニアンと曲線の鎖における多重次数の整合性に基づき、高ランクリンクド線形系列の2つの新しい構成（タイプIおよびタイプII）を導入する。
• 一般化された行列式的局所集合と押し出し部分バンドルを用いて、Eisenbud-Harris-Teixidor 理論に標準的スタック構造を構築し、適切なモジュライ性質を保証する。
• 基本変換定理と消失点集合の技法を適用して3つの構成を比較し、単純な点において比較写像が同型であることを証明する。
• スタック上のプレリンクド・グラスマンニアンの理論を用いて、曲線の族における極限線形系列のモジュライ函手を定義する。
• 「ほぼ局所的」条件と多重次数の概念を用いて、可約曲線の各成分にわたるベクトルバンドルの振る舞いを制御する。
• 洗練されたおよび単純な極限線形系列構造を用いて、特殊化の下での安定性と退化の振る舞いを追跡する。

実験結果

リサーチクエスチョン

• RQ1 Eisenbud-Harris-Teixidor の極限線形系列の族における適切なモジュライスタックを構築できるか。これは、従来の取り扱いではスタック構造が欠落していた。
• RQ2 古典的なリンクド線形系列の構成を、特に固定特異行列式をもつランク2バンドルを想定して、高ランクベクトルバンドルへ一般化できるか。
• RQ3 新しいタイプIおよびタイプIIのリンクド線形系列の構成と、Eisenbud-Harris-Teixidor 理論との関係は何か。高ランクにおいては。
• RQ4 3つの構成（タイプI、タイプII、EHT）はどの程度一致するか。また、それらの比較写像が同型である条件は何か。
• RQ5 固定行列式の場合の次元の不一致（予想次元が $\rho - g + \binom{k}{2}$ を超える）は、これらの新しいスタック的構成によって是正可能か。

主な発見

• 本稿は、曲線の族における Eisenbud-Harris-Teixidor 極限線形系列の最初の適切なモジュライスタックを構築し、理論における基礎的ギャップを解消した。
• タイプIおよびタイプIIのリンクド線形系列の構成は、古典的なランク1の場合を高ランクベクトルバンドルへ一般化したものであり、適切な条件下で互いに同型であり、EHT スタックとも同型であることが示された。
• 3つの構成間の比較写像は、単純な点において同型であることが証明され、核心的な幾何的状況での同値性が確立された。
• EHT 理論に標準的スタック構造を導入したことは、ランク1の場合でも新規であり、極限線形系列モジュライの新しい基礎的枠組みを提供する。
• ランク2バンドルの固定行列式の場合、理論は $\binom{k}{2}$ の次元シフトを正しく扱い、予想される次元 $\rho - g + \binom{k}{2}$ と整合する。これにより、新しい存在定理が可能になった。
• 一般化された行列式的局所集合と押し出し部分バンドルの使用により、消失点集合の正確な制御が可能になり、基本変換と整合するよう保証された。これは、滑らか化定理にとって不可欠である。