[論文レビュー] Introduction to coherent sheaves on weighted projective lines

Xiao‐Wu Chen, Henning Krause|arXiv (Cornell University)|Nov 23, 2009

Algebraic structures and combinatorial models参考文献 19被引用数 30

ひとこと要約

本稿は重み付き射影直線上の整合的層の包括的紹介を提供し、公理的特徴付けとアーベル圏の「展開」のカテゴリカル構成という2つの補い合うアプローチを提示する。主な貢献は、カテゴリ $\operatorname{coh}\mathbb{X}$ の詳細な構造的記述であり、これは有限次元のホモトピーおよびエクステンション空間を備えた、$k$-線形なヘレディタリーなアーベルカテゴリであることが示され、このようなカテゴリが、導来同値の意味で、有限クーヴィーのパス代数上のモジュールカテゴリまたは重み付き射影直線上の整合的層のカテゴリのいずれかに限ることを証明している。

ABSTRACT

These notes provide a description of the abelian categories that arise as categories of coherent sheaves on weighted projective lines. Two different approaches are presented: one is based on a list of axioms and the other yields a description in terms of expansions of abelian categories. A weighted projective line is obtained from a projective line by inserting finitely many weights. So we describe the category of coherent sheaves on a projective line in some detail, and the insertion of weights amounts to adding simple objects. We call this process `expansion' and treat it axiomatically. Thus most of these notes are devoted to studying abelian categories, including a brief discussion of tilting theory. We provide many details and have tried to keep the exposition as self-contained as possible.

研究の動機と目的

• 表現論および代数幾何学の研究者を対象として、重み付き射影直線上の整合的層のカテゴリについて、自己完結的でアクセス可能な紹介を提供すること。
• ヘレディタリーなアーベルカテゴリとしての $\operatorname{coh}\mathbb{X}$ の構造的理解を確立すること。
• 公理に基づくアプローチ（ハッペルの定理を拡張）と、アーベル圏の「展開」というカテゴリカルな概念に基づくアプローチという、2つの異なるが同等のアプローチを提示すること。
• ティルティング理論と導来同値を用いて、重み付き射影直線がヘレディタリーなアーベルカテゴリの基本的クラスとして果たす役割を明確にすること。
• 重み付き射影直線の文脈における標準代数、ベクトル束、特異点のさらなる研究の基盤を築くこと。

提案手法

• ティルティング対象を備えたヘレディタリーなアーベルカテゴリを特徴付ける公理的特徴付けを用い、ハッペルの導来分類定理を拡張する。
• 重みを射影直線に挿入するのをモデル化するための「展開」プロセスを導入し、重みはカテゴリに単純対象を追加することに対応する。
• $\operatorname{coh}\mathbb{X}$ を重み付き多項式環 $S(\mathbf{p},\boldsymbol{\lambda})$ の次数付き加群のカテゴリから、有限長モジュールを modulo して得られる商カテゴリとして構成する。
• $\mathbf{L}(\mathbf{p}) = \langle \vec{x}_1,\dots,\vec{x}_n,\vec{c} \mid p_i\vec{x}_i = \vec{c} \rangle$ という次数群を用いて、層のねじれ $E(\vec{x})$ を定義する。
• ティルティング理論の応用：$\operatorname{coh}\mathbb{X}$ に属するティルティング対象を構成し、その自己準同型代数が標準代数 $C(\mathbf{p},\boldsymbol{\lambda})$ に同型であることを示す。
• 導来同値の利用により、ホモトピーおよびエクステンション空間が有限次元で、ティルティング対象を備えた連結でヘレディタリーな $k$-線形アーベルカテゴリは、$\operatorname{mod}k\Gamma$ または $\operatorname{coh}\mathbb{X}$ のいずれかと導来同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 重み付き射影直線上の整合的層のカテゴリ $\operatorname{coh}\mathbb{X}$ を特徴付ける公理的条件は何か？
• RQ2 射影直線への重みの挿入を、アーベル圏のカテゴリカルな「展開」としてどのように形式化できるか？
• RQ3 $\operatorname{coh}\mathbb{X}$ の構造とそのティルティング対象の導来カテゴリとの正確な関係は何か？
• RQ4 2つの重み付き射影直線 $\mathbb{X}$ と $\mathbb{X}'$ が、それらの整合的層のカテゴリを通じてカテゴリカルに同値となる条件は何か？
• RQ5 インデコンポジットな整合的層（例えば、ユニシリアルな有限長層）の分類は、重み付き射影直線の背後にある幾何学的・代数的構造をどのように反映しているか？

主な発見

• カテゴリ $\operatorname{coh}\mathbb{X}$ は、有限次元のホモトピーおよびエクステンション空間を備えたヘレディタリーなアーベルカテゴリであり、ティルティング対象を備える。
• $\mathbb{X}$ 上の任意の整合的層は、 torsion-free 部分と有限長部分に一意に分解され、torsion-free 層はラインバンドル $\mathcal{O}(\vec{x})$ による有限フィルトレーションを持つ。
• $\operatorname{coh}\mathbb{X}$ の単純対象は、$x \in \mathbb{P}^1_k \setminus \boldsymbol{\lambda}$ に対して $S_x$ および $1 \leq i \leq n$, $1 \leq j \leq p_i$ に対して $S_{ij}$ であり、$j' \equiv j-1 \pmod{p_i}$ ならば $\operatorname{Ext}^1(S_{ij}, S_{ij'}) \cong k$ が成り立つ。
• 有限長のインデコンポジット層はユニシリアルであり、各単純対象 $S$ と $l > 0$ に対して、頂点が $S$ である長さ $l$ のインデコンポジット層が一意に存在する。
• 2つの重み付き射影直線 $\mathbb{X}$ と $\mathbb{X}'$ に対して、$\operatorname{coh}\mathbb{X} \simeq \operatorname{coh}\mathbb{X}'$ が成り立つのは、それらの重み関数 $w_{\mathbf{p},\boldsymbol{\lambda}}$ と $w_{\mathbf{p}',\boldsymbol{\lambda}'}$ が同値であるとき、かつそのときに限る。
• $\mathbf{D}^b(\operatorname{coh}\mathbb{X})$ は、$T$ を $\operatorname{coh}\mathbb{X}$ 内のティルティング対象として $\Lambda = \operatorname{End}(T)$ とおくと、$\mathbf{D}^b(\operatorname{mod}\Lambda)$ と同値であり、$\Lambda$ は標準代数 $C(\mathbf{p},\boldsymbol{\lambda})$ に同型である。