2025-11-17T19:31:13.415940

Rank 4 stable vector bundles on hyperkÃ¤hler fourfolds of Kummer type

O'Grady

We partially extend to hyperkÃ¤hler fourfolds of Kummer type the results that we have proved regarding stable rigid vector bundles on hyperkÃ¤hler (HK) varieties of type $K3^{[n]}$. Let $(M,h)$ be a general polarized HK fourfold of Kummer type such that $q_M(h)\equiv -6\pmod{16}$ and the divisibility of $h$ is $2$, or $q_M(h)\equiv -6\pmod{144}$ and the divisibility of $h$ is $6$. We show that there exists a unique (up to isomorphism) slope stable vector bundle $\cal F$ on $M$ such that $r({\cal F})=4$, $ c_1({\cal F})=h$, $Î({\cal F})=c_2(M)$. Moreover $\cal F$ is rigid. One of our motivations is the desire to describe explicitly a locally complete family of polarized HK fourfolds of Kummer type.

academic

Kummer型HK四次元多様体上の剛性安定ランク4ベクトル束

基本情報

論文ID: 2203.03987
タイトル: Rigid stable rank 4 vector bundles on HK fourfolds of Kummer type
著者: Kieran G. O'Grady (Sapienza Università di Roma)
分類: math.AG (代数幾何)
発表時期: 2024年、Épijournal de Géométrie Algébrique掲載（C. Voisin記念特別号）
論文リンク: https://arxiv.org/abs/2203.03987

要旨

本論文は、著者がK3曲面のHilbert概型 $K3^{[n]}$ 上の安定剛性ベクトル束に関する結果を、Kummer型超ケーラー四次元多様体に部分的に一般化したものである。一般的な偏極超ケーラー四次元多様体 $(M,h)$ に対して、 $q_M(h) \equiv -6 \pmod{16}$ かつ $h$ の可除性が2、または $q_M(h) \equiv -6 \pmod{144}$ かつ $h$ の可除性が6の場合、著者は以下を満たす唯一の（同型を除いて）傾き安定ベクトル束 $\mathcal{F}$ の存在を証明する： $r(\mathcal{F})=4$ 、 $c_1(\mathcal{F})=h$ 、 $\Delta(\mathcal{F})=c_2(M)$ 。さらに、 $\mathcal{F}$ は剛性である。研究動機の一つは、Kummer型偏極超ケーラー四次元多様体の局所完全族を明示的に記述することである。

研究背景と動機

問題背景

K3曲面上のベクトル束理論: 偏極K3曲面上では、傾き安定剛性ベクトル束が豊富に存在し、そのChern特性によって一意に決定される。この理論は既に相当に成熟している。
超ケーラー多様体への一般化: 著者は以前 $K3^{[n]}$ 型超ケーラー多様体上で同様の理論を確立し、現在Kummer型超ケーラー多様体への一般化を望んでいる。
局所完全族の構成: Mukai模型によるK3曲面の明示的記述に類似して、著者は剛性ベクトル束を通じてKummer型超ケーラー四次元多様体の局所完全族を明示的に構成することを望んでいる。

研究の重要性

理論的完全性: 超ケーラー幾何におけるKummer型多様体上のベクトル束理論の空白を埋める
幾何学的応用: 超ケーラー多様体のモジュライ空間構成に新しい道具を提供する
モジュライ理論: 安定対象のモジュライ空間理論と密接に関連している

既存方法の限界

従来の結果は主に $K3^{[n]}$ 型多様体に集中していた
Kummer型多様体の幾何学的構造はより複雑であり、新しい技術手段が必要である
明示的な局所完全族の記述が不足していた

核心的貢献

主要な存在一意性定理: 特定の数値条件下でKummer型超ケーラー四次元多様体上に唯一の4階安定ベクトル束が存在することを証明した
モジュラーベクトル束の構成: Bridgeland-King-Reid対応を通じて具体的なモジュラーベクトル束を構成した
剛性性質: 構成されたベクトル束が剛性であること、すなわち $H^1(M,\text{End}^0(\mathcal{F}))=0$ を証明した
Lagrange纤维化上の安定性: ベクトル束のLagrange纤維への制限の安定性を研究した
技術的革新: 特異Lagrange纤維上のベクトル束安定性を扱う新しい方法を開発した

方法の詳細

タスク定義

Kummer型超ケーラー四次元多様体 $M$ 上のベクトル束 $\mathcal{F}$ を研究する。以下を満たす：

$r(\mathcal{F}) = 4$ （4階）
$c_1(\mathcal{F}) = h$ （第1Chern類が偏極類に等しい）
$\Delta(\mathcal{F}) = c_2(M)$ （判別式が多様体の第2Chern類に等しい）
$\mathcal{F}$ は傾き安定かつ剛性である

モデルアーキテクチャ

1. 基本設定

$f: B \to A$ をAbel曲面間の2次同型とし、有理写像を定義する： $\rho: K_2(B) \dashrightarrow K_2(A), \quad [Z] \mapsto [f(Z)]$

2. ベクトル束の構成

以下の手順によってベクトル束 $E(\mathcal{L})$ を構成する：

$\nu: X \to K_2(B)$ を $\rho$ の不確定軌跡の爆発とする
$\tilde{\rho}: X \to K_2(A)$ を $\rho$ の正則持ち上げとする
$X$ 上の直線束 $\mathcal{L}$ に対して、 $E(\mathcal{L}) := \tilde{\rho}_*(\mathcal{L})$ を定義する

3. モジュラー条件

ベクトル束 $E(\mathcal{L})$ がモジュラーであるのは、パラメータ $(x,y)$ が $y = x$ または $y = x+1$ を満たす場合に限り、ここで： $c_1(\mathcal{L}) = \nu^*(\mu_B(\omega_B) + x\delta(B)) + y \text{cl}(D)$

技術的革新点

1. Bridgeland-King-Reid対応の応用

ベクトル束を $N_A(3)$ 上の半斉次ベクトル束と関連付ける。ここで $N_A(3)$ は和写像 $A^3 \to A$ の核である。

2. 特異Lagrange纤维上の安定性分析

滑らかな纤维の場合：半斉次ベクトル束理論を利用して安定性を証明する
特異纤维の場合：非既約、非既約纤维上の安定性を扱う新しい技術を開発する

3. 単値群作用の分析

Picard格の単値群作用を利用して一意性を証明する。これが重要な技術的革新である。

実験設定

数値条件

論文は2つの場合を考察する：

$e \equiv -6 \pmod{16}$ 、可除性が2
$e \equiv -6 \pmod{144}$ 、可除性が6

幾何学的設定

Abel曲面 $A$ は楕円纤维化 $A \to E$ を備える
対応するLagrange纤维化 $\pi_A: K_2(A) \to |\mathcal{O}_E(3(0_E))|$
$md$ が奇数かつ十分に大きい（ $md > 8$ ）ことが要求される

実験結果

主要結果（定理1.1）

$e$ を正整数とし、 $e \equiv -6 \pmod{16}$ または $e \equiv -6 \pmod{144}$ を満たすとする。 $[(M,h)]$ を $\text{Kum}_e^2$ または $\text{Kum}_e^6$ の一般点とすると、以下を満たす唯一の傾き安定ベクトル束 $\mathcal{F}$ が存在する：