代数幾何学 · 2026-10-14

A Sharp Bound for the Second Betti Number of Hyperkähler Sixfolds

超Kähler六次元多様体の第二Betti数の鋭い上限

Jie Fu, Bin Wang, Shihao Wang, Zhiwei Zheng

jie-fu-oxkxqo bin-wang-1myiuex shihao-wang-174dr3m zhiwei-zheng-19i0bbr hyperkahler-geometry chern-classes hodge-theory curvature Curvature geometry 曲率幾何 Hyperkähler geometry ハイパーケーラー幾何 Hodge theory ホッジ理論 Chern classes and Chern numbers Chern類・Chern数 Chern class Chern classes Chern number Chern numbers

arXiv Abstract

Let $X$ be a smooth compact irreducible hyperk\"ahler manifold of dimension six. We prove that the second Betti number satisfies $b_2(X) \le 23$. Furthermore, we show that the third cohomology vanishes whenever $b_2(X) \ge 19$, and that all odd cohomology vanishes when $b_2(X) = 23$. If the second Chern class lies in the subalgebra generated by $H^2(X,\mathbb{Q})$, then $b_2(X) \in \{5,8,23\}$. The proof uses the Looijenga--Lunts--Verbitsky decomposition, curvature inequalities for Segre classes, and the Hodge--Riemann bilinear relations on the projective cotangent bundle.

日本語要約

滑らかなコンパクト既約超Kähler六次元多様体の第二Betti数には23という鋭い上限があることを示す。第二Betti数が19以上なら第三コホモロジーが、23なら全奇数次コホモロジーが消える。第二Chern類が第二コホモロジーで生成される部分代数に入る場合には、第二Betti数は5、8、23に限られる。LLV分解、Segre類の曲率不等式、射影余接束上のHodge–Riemann関係を組み合わせる。

Let $X$ be a smooth compact irreducible hyperk\"ahler manifold of dimension six. We prove that the second Betti number satisfies $b_2(X) \le 23$. Furthermore, we show that the third cohomology vanishes whenever $b_2(X) \ge 19$, and that all odd cohomology vanishes when $b_2(X) = 23$. If the second Chern class lies in the subalgebra generated by $H^2(X,\mathbb{Q})$, then $b_2(X) \in \{5,8,23\}$. The proof uses the Looijenga--Lunts--Verbitsky decomposition, curvature inequalities for Segre classes, and the Hodge--Riemann bilinear relations on the projective cotangent bundle.

滑らかなコンパクト既約超Kähler六次元多様体について、第二Betti数が23以下であることを無条件に示す。大きい第二Betti数の下での奇数次コホモロジーの消滅や、第二Chern類が第二コホモロジーの生成部分に入る場合の数値的制約も得る。

arXiv
2610.15803v1
初回投稿日
2026-10-11
原論文のライセンス
arXiv.org perpetual, non-exclusive license
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
algebraic-geometry 2026

原論文を開く

書誌情報

要約

超Kähler多様体の変形型は少数しか知られておらず、そのコホモロジーにどのような普遍的制約があるかが重要な問題となる。複素次元6では既知のK3型Hilbertスキームが第二Betti数23を持つため、一般的な上限は少なくとも23でなければならない。

本論文はその23が実際にすべての滑らかなコンパクト既約超Kähler六次元多様体に対する上限であると示す。従来はLLV表現の種類や最高ウェイトに関する仮定の下で知られていた上限を、曲率と交点形式の制約を加えて無条件化する点が中心である。

さらに第二Betti数が大きいと奇数次コホモロジーが制限される。第二Chern類が第二コホモロジーから生成される部分に属する場合には、第二Betti数を三つに絞り、23の場合の全Betti数を決定する。ただしこの数値の一致から変形型の一意性まで主張するものではない。

背景と問題設定

対象 $X$ は複素次元6の滑らかなコンパクト既約超Kähler多様体であり、$b_j=\dim_{\mathbb Q}H^j(X,\mathbb Q)$ とする。既知の三変形型 $\mathrm{K3}^{[3]}$、$\mathrm{Kum}_3$、$\mathrm{OG6}$ の第二Betti数はそれぞれ23、7、8である。

Salamonの関係

$$ b_6=6b_4-16b_3+30b_2+70 $$

と、全コホモロジー上のLLV Lie代数 $\mathfrak{so}(b_2+2,\mathbb C)$ の作用が数値的制約を与える。しかしIntroductionは、これらの表現論的情報だけを用いた従来の上限には追加仮定があったことを説明する。

主結果

第二Betti数の上限（Theorem 1.1）

すべての対象多様体について

$$ 3\le b_2(X)\le23 $$

が成り立つ。上限は $\mathrm{K3}^{[3]}$ 型で実現するので鋭い。射影性やLLV最高ウェイト予想を仮定しない。

奇数次コホモロジーの制約（Theorem 1.2）

$$ b_2(X)\ge19\ \Longrightarrow\ H^3(X,\mathbb Q)=0, \qquad b_2(X)=23\ \Longrightarrow\ H^{\mathrm{odd}}(X,\mathbb Q)=0. $$

Introductionはさらに、$b_2=19$ では $b_5\in\{0,1024,2048\}$、$20\le b_2\le22$ では $b_5\in\{0,1024\}$ と記す。第三コホモロジーの消滅を、これらの範囲で全奇数次の消滅と読み替えてはならない。

第二Chern類に仮定を置く場合（Theorem 1.3）

cup積による $\operatorname{Sym}^2H^2(X,\mathbb Q)$ の像を $\operatorname{SH}^4(X,\mathbb Q)$ とする。$c_2(X)\in\operatorname{SH}^4(X,\mathbb Q)$ なら

$$ b_2(X)\in\{5,8,23\}. $$

さらに $b_2=23$ なら、全Betti数は

$$ (b_0,\ldots,b_{12})=(1,0,23,0,299,0,2554,0,299,0,23,0,1) $$

に決まる。このChern類の仮定は $\mathrm{K3}^{[3]}$ 型とOG6型では成立するが、$\mathrm{Kum}_3$ 型では成立しない。したがって既知の $b_2=7$ の例を排除する矛盾は生じない。

証明の見取り図

まず $b_2\ge24$ を仮定し、LLV既約表現の非負整数重複度について、Salamonの関係とHirzebruch–Riemann–Rochから線形制約を立てる。超Kähler計量から得るSegre類の符号条件

$$ \int_Xs_4(T_X)h^2\ge0,\qquad \int_Xs_6(T_X)\le0 $$

をKähler類 $h$ に対して組み合わせることで、$b_2\ge25$ を排除する。

残る24の場合にはvery generalな変形を取り、射影余接束 $Y=\mathbb P(\Omega_X)$ 上でDemailly–Păunの数値的判定を用いてKähler類を構成する。Introductionによれば、そこでの四次元部分空間上の交点形式はHodge–Riemann関係によって負指数1を持つべきだが、先に得た数値範囲は負定値な二次元部分空間を与える。この矛盾で端点24を除く。

奇数次の消滅には符号付きPoincaré pairingによる重複度の偶奇条件も使う。Chern類の仮定からはBeckmann–Song不等式の等号条件が算術的制約を与える。Introductionは最近のSYZ関連の進展にも触れるが、本論文の証明はそれらに依存しないと明記する。

原論文との対応

  • Abstractページ: A Sharp Bound for the Second Betti Number of Hyperkähler Sixfolds
  • Introduction: PDF — Section 1, pp. 1–3（Section 2の開始前まで）。
  • Introduction中で言及された主要結果: Theorems 1.1, 1.2, 1.3、およびIntroductionに記載されたCorollary 6.1の帰結。
  • 論文構成・証明方針: 上記Introductionで述べられた範囲に基づく。後続節の証明全体の検証は行っていない。
  • 確認したarXivバージョン: 2610.15803v1
  • 確認したライセンス: arXiv.org perpetual, non-exclusive license
  • source_scope: Abstract and Introduction