代数幾何学 · 2026-10-14

Second Chern class and Fujiki constants of hyperkähler manifolds

第二Chern類のVerbitsky成分とFujiki定数によるBetti数の制約

Thorsten Beckmann, Jieao Song

thorsten-beckmann-f2f6bh jieao-song-wkmqn4 chern-classes hyperkahler-geometry Hyperkähler geometry ハイパーケーラー幾何 Chern classes and Chern numbers Chern類・Chern数 Chern class Chern classes Chern number Chern numbers

arXiv Abstract

We study characteristic classes on hyperk\"ahler manifolds with a view towards the Verbitsky component. The case of the second Chern class leads to a conditional upper bound on the second Betti number in terms of the Riemann--Roch polynomial, which is also valid for singular examples. We discuss the general structure of characteristic classes and the Riemann--Roch polynomial on hyperk\"ahler manifolds using among other things Rozansky--Witten theory.

日本語要約

本論文は超Kähler多様体の特性類を、第二コホモロジーが生成するVerbitsky成分との関係から調べる。第二Chern類について、Riemann–Roch多項式から第二Betti数の条件付き上限を導き、特異な場合への拡張も扱う。さらにRozansky–Witten理論などを用い、特性類とRiemann–Roch多項式の構造を検討する。

We study characteristic classes on hyperk\"ahler manifolds with a view towards the Verbitsky component. The case of the second Chern class leads to a conditional upper bound on the second Betti number in terms of the Riemann--Roch polynomial, which is also valid for singular examples. We discuss the general structure of characteristic classes and the Riemann--Roch polynomial on hyperk\"ahler manifolds using among other things Rozansky--Witten theory.

超Kähler多様体の第二Chern類が第二コホモロジーから生成される部分代数に入る条件を、Riemann–Roch多項式の係数で特徴づける。係数間の正値性条件の下で第二Betti数の上限を与え、その等号成立がChern類の所属条件と一致する。

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

原論文を開く

書誌情報

要約

超Kähler多様体では、第二コホモロジーが全コホモロジーの中に大きな部分代数を生成する。しかし接束のChern類まで常にこの部分に含まれるわけではない。本論文は、第二Chern類がそこに含まれるかという問題を、Riemann–Roch多項式の先頭三係数から判定する。

主定理は、係数間のある厳密不等式の下で第二Betti数の上限を与える。その上限に達することと、第二Chern類がVerbitsky成分に含まれることが同値である。したがって単なる数値的評価ではなく、等号成立がコホモロジー内部での特性類の位置を表す。

さらに既知の変形型や特異シンプレクティック四次元多様体への適用を検討し、Rozansky–Witten理論から一般化Fujiki定数の関係を予想する。四次元でのBetti数の四候補への絞り込みは、その予想を仮定した結論であり、無条件の分類ではない。

背景と問題設定

複素次元 $2n$ の既約コンパクト超Kähler多様体 $X$ では、$H^2(X,\mathbb R)$ にBeauville–Bogomolov–Fujiki形式 $q_X$ がある。第二コホモロジーで生成される部分代数を $\operatorname{SH}(X,\mathbb R)$ と呼ぶ。第二Chern類 $c_2(X)$ は、例えばK3曲面の $n$ 点Hilbertスキームでは $n>3$ のときこの部分に入らない。

小変形で型 $(2k,2k)$ を保つ類 $\alpha\in H^{4k}(X,\mathbb R)$ に対する一般化Fujiki定数 $C(\alpha)$ は、次の式で定まる。

$$ \int_X\alpha\,\beta^{2n-2k}=C(\alpha)q_X(\beta)^{n-k}. $$

Riemann–Roch多項式を $\operatorname{RR}_X(q)=A_0q^n+A_1q^{n-1}+A_2q^{n-2}+\cdots$ と書く。これは線束 $L$ に対して $\operatorname{RR}_X(q_X(c_1(L)))=\chi(X,L)$ を満たすため、特性類の交点数と線束のEuler標数を結ぶ。

主結果

主定理（Theorem 1.1）

$2n\ge4$ とする。第二Betti数は、条件 $2nA_0A_2\lt (n-1)A_1^2$ の下で次の上限を満たす。

$$ b_2(X)\le \frac{1}{1-\frac{2nA_0A_2}{(n-1)A_1^2}}-(2n-2) =9-2n+\frac{10C(c_4)}{C(c_2^2)-2C(c_4)}. $$

仮定した係数条件は $C(c_2^2)>2C(c_4)$、すなわち $C(\operatorname{ch}_4)>0$ と同値である。Riemann–Roch多項式が相異なる $n$ 個の実根を持てばこの条件は成立し、複素次元4でも既知の正値性から成立する。

さらに $c_2\in\operatorname{Sym}^2H^2(X,\mathbb R)$ であることは、上の係数条件が成立し、かつこのBetti数の上限で等号が成立することと同値である。主定理はChern類の所属条件とBetti数の極値を同時に捉える。IntroductionはSawonによる独立な同じ上限の導出にも言及している。

Fujiki定数についての予想（Conjecture 1.2）

次の等式は証明済みの一般定理ではなく、$2n\ge4$ に対して提案される予想である。

$$ \frac{C(\operatorname{ch}_4)}{C(1)}= \frac{5(n+1)}{(2n-1)(2n-3)}. $$

これが正しければ主定理の正値性条件が従う。Introductionは、多項式の形について追加の期待される性質を仮定すればこの予想が成立することを説明する。

予想を仮定した四次元の帰結（Corollary 1.3）

複素次元4でConjecture 1.2を仮定すると、Betti数の組は次の四つに限られる。

$$ (b_2,b_3,b_4)\in\{(5,0,96),(6,4,102),(7,8,108),(23,0,276)\}. $$

これは可能なHodge diamondとLLV分解を制約する条件付きの結果であり、四つすべての幾何学的実現を主張するものではない。

証明の見取り図

Introductionで示される方針は、Verbitsky成分と一般化Fujiki定数を使って特性類の位置を数値化し、Riemann–Roch係数と比較することである。論文はまず上限を扱い、次に特異な四次元の例、既知の滑らかな変形型の特性類へ進む。OG6型とOG10型ではすべてのChern類がVerbitsky成分に含まれることも述べられる。

最後にRozansky–Witten理論とWheeling Theoremを用いてTodd類の平方根から得る多項式の冪への分解を説明し、一般化Fujiki定数間の予想へつなげる。局所的な代表形式の正値性への期待と、上記の大域的な数値等式の予想は区別されている。

原論文との対応

  • Abstractページ: Second Chern class and Fujiki constants of hyperkähler manifolds
  • Introduction: PDF — Section 1, pp. 1–4（謝辞まで）。
  • Introduction中で言及された主要結果: Theorem 1.1、Conjecture 1.2、Corollary 1.3。予想とそれに依存する系を区別する。
  • 論文構成・証明方針: 上記Introductionで述べられた範囲に基づく。後続節の証明全体の検証は行っていない。
  • 確認したarXivバージョン: 2201.07767v3
  • 確認したライセンス: arXiv.org perpetual, non-exclusive license
  • source_scope: Abstract and Introduction