代数幾何学 · 2026-10-19
Vector bundles on singular surfaces and threefolds
特異な正規アフィン曲面・三次元多様体上の束を分類するモチーフ的Chern類 Jean Fasel, Maria Yakerson jean-fasel-16e1yw8 maria-yakerson-1ap253z chern-classes vector-bundles-sheaves singularities Singularities 特異点・特異性 Vector bundles and sheaves ベクトル束・層 Chern classes and Chern numbers Chern類・Chern数 Chern class Chern classes Chern number Chern numbersarXiv Abstract
We fully classify vector bundles of critical rank on normal affine surfaces and threefolds over algebraically closed fields via their Chern classes. We also prove existence of rank $2$ bundles on threefolds with prescribed first and second motivic Chern classes. The main input is the motivic filtration on algebraic $K$-theory: its third piece is generated by smooth closed points and is identified with motivic cohomology by the third Chern class.
日本語要約
著者らは、特異点を許す正規アフィン曲面と三次元多様体について、臨界階数のベクトル束の同型類をモチーフ的Chern類と対応させる。三次元の場合には、第一・第二Chern類を任意に指定した階数2の束の存在も得られる。第三フィルトレーションの幾何学的な記述が、滑らかな場合の分類を特異な場合へ広げる基盤となる。
We fully classify vector bundles of critical rank on normal affine surfaces and threefolds over algebraically closed fields via their Chern classes. We also prove existence of rank $2$ bundles on threefolds with prescribed first and second motivic Chern classes. The main input is the motivic filtration on algebraic $K$-theory: its third piece is generated by smooth closed points and is identified with motivic cohomology by the third Chern class.
正規アフィン曲面・三次元多様体上で、次元と等しい階数のベクトル束をモチーフ的Chern類によって完全に分類する。代数閉体上で成り立ち、三次元では滑らかな閉点が生成するK群の部分とモチーフ的フィルトレーションを同定することが鍵となる。
algebraic-geometry 2026書誌情報
- arXiv: arXiv:2610.22679v1
- 著者: Jean Fasel, Maria Yakerson
- 初回投稿日: 2026-10-15
- 最終更新日: 2026-10-15
- 主分類・副分類: math.AG（主分類）; math.AT, math.KT
- ライセンス: arXiv.org perpetual, non-exclusive license
要約
ベクトル束をChern類で区別できるかという問題は、位相的な特性類と代数的な束の構造の関係を問う。滑らかなアフィン曲面と三次元多様体ではよく理解されている一方、特異点を許すと、まず適切なコホモロジー理論を選ぶ必要がある。
本論文はElmanto–Morrowのモチーフ的コホモロジーを用い、正規アフィン曲面の階数2、正規アフィン三次元多様体の階数3の束を完全に分類する。いずれも代数閉体上の結果であり、Chern類の組は束を一意に決めるだけでなく、任意の組を実現できる。
三次元上の階数2の束については、指定した第一・第二Chern類を持つ束の存在までが得られる。特異な三次元上でこの二つの類から一意性まで従うかは未解決であり、階数3の完全分類と区別する必要がある。
背景と問題設定
$\operatorname{Vect}_r(X)$を階数$r$の代数的ベクトル束の同型類の集合とする。特異なスキームにも射影束公式を持つモチーフ的コホモロジーを使うことで、
$$ c_i(E)\in H^{2i,i}_{\mathrm{mot}}(X,\mathbb Z) $$
が定まる。特に$H^{2,1}_{\mathrm{mot}}(X,\mathbb Z)\simeq\operatorname{Pic}(X)$であり、第一Chern類は行列式に対応する。滑らかな場合には通常のChow群の理論と整合するが、特異な場合に単に通常のChow群へ置き換えてよいという主張ではない。
Murthy–Swanによる曲面、Mohan Kumar–Murthyによる三次元の分類が背景にある。階数が次元を超えるとSerreの分裂定理によって自明な直線束を分離できるため、次元と等しい階数が重要となる。
主結果
主定理1（Theorem A）
正規アフィン曲面上の階数2の束は、第一・第二モチーフ的Chern類によって完全に分類される。$X$を代数閉体上の正規アフィン曲面とすると、
$$ (c_1,c_2):\operatorname{Vect}_2(X)\longrightarrow H^{2,1}_{\mathrm{mot}}(X,\mathbb Z)\times H^{4,2}_{\mathrm{mot}}(X,\mathbb Z) $$
は全単射である。行列式と第二Chern類を独立に指定でき、それを持つ束は同型を除いて一意である。
主定理2（Theorem B）
正規アフィン三次元多様体では、第三Chern類まで加えると階数3の束を完全に分類できる。同じ基礎体の仮定の下で、
$$ (c_1,c_2,c_3):\operatorname{Vect}_3(X)\longrightarrow H^{2,1}_{\mathrm{mot}}(X,\mathbb Z)\times H^{4,2}_{\mathrm{mot}}(X,\mathbb Z)\times H^{6,3}_{\mathrm{mot}}(X,\mathbb Z) $$
は全単射である。滑らかさを正規性へ弱めても分類が成立する点が主要な拡張である。
主定理3（Theorem C）
三次元で必要となる最後のフィルトレーションは、滑らかな閉点の類だけで生成される。具体的には、
$$ F^3_{\mathrm{mot}}K_0(X)=F^3_{\mathrm{sm}}K_0(X) $$
である。右辺は滑らかな閉点が生成する部分群であり、Levine–Weibelの零サイクルのChow群の像となる。抽象的なモチーフ的フィルトレーションを具体的な零サイクルに結び付ける結果である。
階数2の存在（Corollary D）
正規アフィン三次元多様体上でも、$(c_1,c_2)$による写像$\operatorname{Vect}_2(X)\to H^{2,1}_{\mathrm{mot}}(X,\mathbb Z)\times H^{4,2}_{\mathrm{mot}}(X,\mathbb Z)$は全射である。Theorem Bで第三Chern類が零の階数3の束を作り、分裂条件から自明な直線束を取り除く。ここで得られるのは存在であり、階数2の完全分類ではない。
証明の見取り図
Serreの分裂定理とSuslinの消去定理により、次元と同じ階数の分類を$K_0(X)$の計算へ移す。モチーフ的フィルトレーションから得られる不変量を、階数、行列式、Chern類と順に照合する。第二段階の商への射影は$-c_2$であり、曲面ではモチーフ的コホモロジーの消滅によって議論が閉じる。
三次元ではTheorem Cが追加の核心である。滑らかな閉点による生成を確立することで第三段階を制御し、第三Chern類を使った分類と分裂を導く。正規性をさらに除けるという見通しはIntroductionで期待として述べられ、証明済みの一般化ではない。
原論文との対応
- Abstractページ: Vector bundles on singular surfaces and threefolds
- Introduction: PDF — Section 1, pp. 1–3
- Introduction中で言及された主要結果: Theorems A–C, Corollary D
- 論文構成・証明方針: 上記Introductionで述べられた範囲に基づく。後続節の証明全体の検証は行っていない。
- 確認したarXivバージョン: 2610.22679v1
- 確認したライセンス: arXiv.org perpetual, non-exclusive license
- source_scope: Abstract and Introduction