[論文レビュー] Second Chern class and Fujiki constants of hyperkähler manifolds

Thorsten Beckmann, Jieao Song|arXiv (Cornell University)|Jan 19, 2022

Geometry and complex manifolds被引用数 4

ひとこと要約

本稿は、リーマン・ロッホ多項式と一般化されたフジキ定数を用いて、ハイパーケーラー多様体の第二ベッチ数 $b_2(X)$ に対する条件付き上界を確立し、$c_2$ がバービツキー成分に属するための必要十分条件が多項式の係数を含む特定の不等式が成り立つことであることを証明する。主な結果は、ロザンスキー＝ウイットン理論とヒッチン＝ソーングンの公式を通じて、$X$ のコhomological構造とその特徴類に関する算術的制約を結びつける。

ABSTRACT

We study characteristic classes on hyperkähler 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ähler manifolds using among other things Rozansky--Witten theory.

研究の動機と目的

• ハイパーケーラー多様体のコホモロジー環における第二チャーン類 $c_2$ がバービツキー成分に属する条件を特定すること。
• リーマン・ロッホ多項式と一般化されたフジキ定数を用いて、第二ベッチ数 $b_2(X)$ に対する条件付き上界を導出すること。
• ロザンスキー＝ウイットン理論を用いて、ハイパーケーラー多様体上の特徴類とリーマン・ロッホ多項式の構造を分析すること。
• 特異シンプレクティック多様体、特に軌道 $K_4'$ を含むものについて、一般化されたフジキ定数を修正・再計算し、算術的制約を検証すること。

提案手法

• 一般化されたフジキ定数 $C(\alpha)$ を用いて、コホモロジー類 $\alpha$ に対して $\mathrm{RR}_X(q) = \sum_{i=0}^n \frac{C(\mathrm{td}_{2n-2i})}{(2i)!} q^i$ を定義する。
• ヒルツェブルク–リーマン–ロッホの定理を用いて、ラインバンドル $L$ に対して $\mathrm{RR}_X(q_X(c_1(L)))$ を正則オイラー標数 $\chi(X,L)$ と関連付ける。
• 多項式の係数 $A_i$ を用いた不等式 $2nA_0A_2 < (n-1)A_1^2$ を用いて、$c_2 \in \mathrm{SH}(X,\mathbb{R})$ のための基準を導出する。
• ヒッチン＝ソーングンの公式を適用して一般化されたフジキ定数を計算し、過去の計算における算術的不整合を特定する。
• ロザンスキー＝ウイットン理論とホイーリング定理を用いて、Todd類の平方根のリーマン・ロッホ多項式が $n$ 乗に因数分解することを説明する。
• 軌道 $K_4'$ の不変量を再計算し、特異点の数え上げに関する過去の誤りを是正し、$C(c_2)^2/C(1) = 100$ が成り立つことを確認する。

実験結果

リサーチクエスチョン

• RQ1 ハイパーケーラー多様体のコホモロジー環において第二チャーン類 $c_2$ がバービツキー成分に含まれる条件は何か？
• RQ2 リーマン・ロッホ多項式の係数と一般化されたフジキ定数を用いて、第二ベッチ数 $b_2(X)$ を上から抑えられるか？
• RQ3 軌道 $K_4'$ における一般化されたフジキ定数 $C(c_2)$ の正しい値は何か？ また、大きな素因数のような不整合な算術的特徴を避けるか？
• RQ4 ロザンスキー＝ウイットン理論は、Todd類の平方根のリーマン・ロッホ多項式の構造をどのように説明するか？
• RQ5 ヒッチン＝ソーングンの公式と一般化されたフジキ定数は、特異シンプレクティック多様体の位相にどのような制約を課えるか？

主な発見

• 不等式 $2nA_0A_2 < (n-1)A_1^2$ が成り立つのは $c_2$ がバービツキー成分にあるときであり、この条件下で $b_2(X) \leq \frac{1}{1 - \frac{2nA_0A_2}{(n-1)A_1^2}} - (2n-2)$ が成り立つ。
• 軌道 $K_4'$ については、修正された不変量として $a_2 = 30$, $a_4 = 8$, $\chi_{\text{top}} = 66$, $c_2^2 = 240$, および $c_4 = 45$ が得られ、過去の計算誤りが解消された。
• 一般化されたフジキ定数は $C(c_2)^2 / C(1) = 100$ を満たし、$C(c_2) = 10\sqrt{C(1)}$ であることが確認され、以前の主張にあった不正な素因数 71 が排除された。
• リーマン・ロッホ多項式 $\mathrm{td}^{1/2}$ は $n$ 乗に因数分解され、これはロザンスキー＝ウイットン理論とホイーリング定理によって説明される。
• $\mathrm{OG}_6$ および $\mathrm{OG}_{10}$ 型多様体では、すべてのチャーン類 $c_{2i}$ がバービツキー成分に属し、したがってすべての特徴類が $\mathrm{SH}(X,\mathbb{R})$ に含まれる。
• $C(c_2^2) > 2C(c_4)$ は係数の不等式と同値であり、$c_2 \in \mathrm{SH}(X,\mathbb{R})$ を保証する。この条件は、既知の滑らかな多様体および多くの特異例で成り立つ。