代数幾何学 · 2026-08-07
Positivity of Higgs Vector Bundles
Higgsベクトル束の正値性 Indranil Biswas, Snehajit Misra, Nabanita Ray indranil-biswas-k7surp snehajit-misra-pi6sux nabanita-ray-qu5zon positivity vector-bundles-sheaves higgs-nonabelian-hodge Positivity 正値性 Vector bundles and sheaves ベクトル束・層 Higgs bundles and nonabelian Hodge theory ヒッグス束・非可換ホッジ理論arXiv Abstract
In \cite{BCO25}, Bruzzo, Capasso and Otero extended the notion of ampleness of vector bundles to the more general context of Higgs bundles. But the ampleness of Higgs bundles did not coincide with the ampleness of vector bundles when the Higgs field is zero. We modify the definition of ample Higgs bundles that results in removal of this discrepancy. Invoking this definition, we study various properties of Higgs ample vector bundles. In particular, we prove a Barton-Kleimann type criterion to characterize the Higgs ample vector bundles.
日本語要約
既存のHiggs束の豊富性はHiggs場を零にしても通常のベクトル束の豊富性と一致しない。本論文はこの不一致を解消するよう定義を修正し、新しいHiggs豊富性の諸性質を調べる。特に、曲線への全ての引戻しのHiggs商の次数によるBarton--Kleiman型判定を証明する。
In \cite{BCO25}, Bruzzo, Capasso and Otero extended the notion of ampleness of vector bundles to the more general context of Higgs bundles. But the ampleness of Higgs bundles did not coincide with the ampleness of vector bundles when the Higgs field is zero. We modify the definition of ample Higgs bundles that results in removal of this discrepancy. Invoking this definition, we study various properties of Higgs ample vector bundles. In particular, we prove a Barton-Kleimann type criterion to characterize the Higgs ample vector bundles.
Higgs場が零のとき通常のベクトル束の豊富性に戻るよう、Higgs豊富性の定義を修正する。新定義に対し、全ての曲線への引戻しとHiggs商の次数を一様に下から抑えるBarton--Kleiman型判定を証明する。
algebraic-geometry 2026書誌情報
- arXiv: arXiv:2605.22402v1
- 著者: Indranil Biswas, Snehajit Misra, Nabanita Ray
- 初回投稿日・最終更新日: 2026年5月21日
- 主分類・副分類: math.AG（主分類）
- ライセンス: arXiv non-exclusive distribution license
要約
線束のample・nefは多様体の幾何を測る基本概念であり、Hartshorne、Campana--Peternellらにより高階数ベクトル束へ拡張された。Higgs束にも同様の定義が提案されていたが、従来のHiggs豊富性はHiggs場を零にしても通常のベクトル束の豊富性へ戻らないという問題があった。
本論文はHiggs Grassmannスキーム上の全ての普遍商のdeterminant line bundleがampleであることとHiggs nefnessを組み合わせ、新しいHiggs豊富性を定義する。この定義では $(E,0)$ がHiggs ampleであることと、通常の束 $E$ がampleであることが一致する。
新定義は従来定義より弱く、従来の意味でHiggs ampleなら新しい意味でもHiggs ampleだが、逆は一般に成立しない。これは不整合を直すために条件を単に追加したのではなく、通常の豊富性を正しく包含するよう条件を調整したことを意味する。
主結果はBarton--Kleiman型の数値判定である。determinantの豊富性に加え、任意の曲線からの写像で引き戻した束の任意のHiggs商の次数が、固定ample classとの次数に比例して一様に正であることが、新しいHiggs豊富性と同値になる。
背景と問題設定
rank $r$ のHiggs束 $\mathcal E=(E,\theta)$ に対し、rank $k$ のHiggs商を表す $\operatorname{Gr}k(\mathcal E)$ と普遍商 $\mathcal Q{\mathcal E,k}$ を考える。新定義はHiggs nefness、$\det E$ の豊富性、および全ての $1\le k\le r-1$ に対する
$$ \mathcal O_{\operatorname{Gr}k(\mathcal E)}(1)=\det\mathcal Q{\mathcal E,k} $$
の豊富性を要求する。通常の束ではrank 1の普遍商だけで足りるのに対し、Higgs商では全rankを調べる必要がある。
主結果
Barton--Kleiman型判定（Theorem 1.1 / Corollary 3.4）
滑らかな射影多様体 $X$ と固定ample class $h\in\operatorname{NS}(X)_{\mathbb R}$ に対し、$\mathcal E=(E,\theta)$ がHiggs ampleであるための必要十分条件は次の二つである。
- $\det(E)$ がampleである。
- $X$ への全ての滑らかな射影曲線からの写像 $f:C\to X$ と、全てのHiggs商 $f^*\mathcal E\twoheadrightarrow\mathcal Q$ に対し、$C,f$ に依存しない $\delta>0$ が存在して
$$ \deg(\mathcal Q)\ge\delta,(C\cdot f^*h) $$
が成立する。
「各曲線ごとに正」というだけでなく、単一の $\delta$ が全曲線・全Higgs商を同時に制御する点が豊富性を捉える。Introductionは、この判定が新定義に対する主要な数値的特徴づけであると位置づける。
証明の見取り図
Introductionは証明が通常のBarton--Kleiman判定の議論に着想を得ると述べる。曲線上のHiggs Harder--Narasimhan理論で最小Higgs商傾きを捉え、一様な下界から各普遍商determinantのnef性を少しample方向へ押し上げる。逆向きには、Higgs Grassmannスキーム上のample line bundleの曲線に対する一様な正値性をHiggs商へ引き戻す。詳細な交点計算はIntroductionの範囲外なので、ここでは論理的な役割分担に留める。
原論文との対応
- Abstractページ: arXiv:2605.22402
- Introduction: Section 1, pp. 1--2
- Introduction中で言及された主要定理番号: Theorem 1.1（Corollary 3.4）
- 論文構成の説明: IntroductionからSection 2への接続, p. 2
- 確認したarXivバージョン: v1
- 確認したライセンス: arXiv non-exclusive distribution license
- source_scope: Abstract and Introduction