代数幾何学 · 2026-08-22

Fano varieties with split tangent sheaf

接層が分裂するFano型多様体

Andreas Höring

andreas-horing-1d9mjfp fano-varieties vector-bundles-sheaves foliations singularities Singularities 特異点・特異性 Vector bundles and sheaves ベクトル束・層 Fano varieties ファノ多様体 Foliations 葉層構造

arXiv Abstract

Let $X$ be a mildly singular Fano variety such that the tangent sheaf is a direct sum. We show that the direct factors are algebraically integrable, so the infinitesimal decomposition induces a product structure on a quasi-\'etale cover of $X$.

日本語要約

穏やかな特異点をもつFano多様体で接層が直和に分解される場合を扱う。各直和因子が代数的に可積分であることを示し、その結果、有限準エタール被覆上で接層の無限小分解から多様体の積構造が得られる。

Let $X$ be a mildly singular Fano variety such that the tangent sheaf is a direct sum. We show that the direct factors are algebraically integrable, so the infinitesimal decomposition induces a product structure on a quasi-\'etale cover of $X$.

Fano型多様体の接層が二つの非零な因子に分裂するとき、各因子が代数的葉をもつ可積分分布になることを示す。さらに有限準エタール被覆上で、この無限小分解が多様体の積分解へ持ち上がる。

arXiv
2602.15427v1
初回投稿日
2026-02-17
原論文のライセンス
arXiv non-exclusive distribution license
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
algebraic-geometry 2026

書誌情報

要約

接層の分裂 $T_X=V_1\oplus V_2$ は多様体の無限小な積構造を表すが、一般には各分布の可積分性さえ自動的ではない。本論文は、$X$ がFano型であれば、この障害が消えることを示す。

主結果は、正規・$\mathbb Q$-因子的・kltな射影多様体 $X$ がFano型であるとき、両因子 $V_i$ が代数的葉をもつ可積分分布になるというものである。これは滑らかなFano多様体に対しても新しい結果である。

既存の分解定理と組み合わせると、有限準エタール被覆 $X'\to X$ 上で $X'\simeq X_1\times X_2$ が得られる。滑らかなFano多様体は単連結なので被覆は不要となり、$X$ 自身が積に分解する。

背景と問題設定

Beauvilleの予想は、コンパクトKähler多様体の接束が可積分部分束へ分裂すれば、普遍被覆が対応する積へ分解すると予想する。しかし単なる直和表示では埋め込み方が一意でなく、非可積分な分布も生じうる。本論文はFano型という強い正値性の下で、可積分性を仮定から結論へ移す。

Fano型とは、ある境界因子 $\Delta$ に対して $(X,\Delta)$ がkltで $-(K_X+\Delta)$ がampleとなることである。このクラスではMMPを実行でき、接層の商の行列式に強い正値性がある。

主結果

主定理(Theorem 1.1)

$X$ を正規・$\mathbb Q$-因子的・射影的なklt多様体とし、

$$ T_X=V_1\oplus V_2 $$

とする。$X$ がFano型なら、$V_1,V_2$ はともに可積分で、その一般葉は代数的である。

準エタール被覆上の積分解(Corollary 1.2)

正規射影Fano型多様体で $T_X=V_1\oplus V_2$ なら、有限準エタール被覆 $\nu:X'\to X$ と正規多様体 $X_1,X_2$ が存在して

$$ X'\simeq X_1\times X_2, $$

かつ接層の分裂は $p_{X_1}^*T_{X_1}\oplus p_{X_2}^*T_{X_2}$ に持ち上がる。特に $X$ がFano多様体なら $X\simeq X_1\times X_2$ である(Corollary 1.3)。

証明の見取り図

各 $\det V_i^*$ に関するMMPを走らせ、適切なMoriファイバー空間を構成する。底にも接層の分裂を降ろし、次元に関する帰納法を適用するのが骨格である。特異多様体では双対行列式が擬有効になりうる問題があるが、Fano型多様体の接層の商に対する正値性とMori dream space性がこの障害を排除する。

原論文との対応

  • Abstractページ: arXiv:2602.15427
  • Introduction: Section 1, pp. 1–3
  • Introduction中で言及された主要定理番号: Theorem 1.1, Corollaries 1.2–1.3
  • 論文構成の説明: Section 1.B, pp. 2–3
  • 確認したarXivバージョン: v1
  • 確認したライセンス: arXiv non-exclusive distribution license
  • source_scope: Abstract and Introduction