[論文レビュー] Positivity of Riemann-Roch polynomials and Todd classes of hyperkähler manifolds

Chen Jiang|arXiv (Cornell University)|Aug 11, 2020

Geometry and complex manifolds参考文献 30被引用数 7

ひとこと要約

この論文は、ハイパーカラビ＝ヤウ多様体のリーマン–ローチ多項式のすべての係数が正であることを証明し、Caoと著者の予想を確認する。Rozansky–Witten理論を用いたTodd genusの平方根のLefschetz型分解により、正性が確立され、これはKawamataの有効非消滅予想を含み、射影的ハイパーカラビ＝ヤウ多様体におけるリーマン–ローチ多項式の厳密な単調性に関する疑問を解決する。

ABSTRACT

For a hyperkähler manifold $X$ of dimension $2n$, Huybrechts showed that there are constants $a_0, a_2, \dots, a_{2n}$ such that $$χ(L) =\sum_{i=0}^n\frac{a_{2i}}{(2i)!}q_X(c_1(L))^{i}$$ for any line bundle $L$ on $X$, where $q_X$ is the Beauville-Bogomolov-Fujiki quadratic form of $X$. Here the polynomial $\sum_{i=0}^n\frac{a_{2i}}{(2i)!}q^{i}$ is called the Riemann-Roch polynomial of $X$. In this paper, we show that all coefficients of the Riemann-Roch polynomial of $X$ are positive. This confirms a conjecture proposed by Cao and the author, which implies Kawamata's effective non-vanishing conjecture for projective hyperkähler manifolds. It also confirms a question of Riess on strict monotonicity of Riemann-Roch polynomials. In order to estimate the coefficients of the Riemann-Roch polynomial, we produce a Lefschetz-type decomposition of $ ext{td}^{1/2}(X)$, the root of the Todd genus of $X$, via the Rozansky-Witten theory following the ideas of Hitchin, Sawon, and Nieper-Wißkirchen.

研究の動機と目的

• ハイパーカラビ＝ヤウ多様体のリーマン–ローチ多項式のすべての係数が正であることを証明すること。
• 射影的ハイパーカラビ＝ヤウ多様体におけるリーマン–ローチ多項式の非負係数に関するCaoと著者の予想を確認すること。
• Rozansky–Witten理論を用いて$\mathrm{td}^{1/2}(X)$のLefschetz型分解を確立し、Todd genusを分析すること。
• Riessのリーマン–ローチ多項式の厳密な単調性に関する疑問を解決すること。
• ハイパーカラビ＝ヤウ多様体におけるチャーン数の正性を理解する基盤を提供すること。

提案手法

• Rozansky–Witten理論を用いて、Todd genusの平方根$\mathrm{td}^{1/2}(X)$のLefschetz型分解を構成する。
• ハイパーカラビ＝ヤウ多様体のコホモロジーに$\mathfrak{sl}_2$作用を適用し、特徴的類の構造を分析する。
• グラフホモロジー空間の枠組みを用いて、ハイパーカラビ＝ヤウ幾何におけるRozansky–Witten類を計算する。
• Fujiki定数とBeauville–Bogomolov–Fujiki形式を用いて、$\int \mathrm{td}^{1/2}(X)$の閉じた表現を得る。
• 付録Aの組み合わせ的恒等式を用いて、リーマン–ローチ多項式における係数の正性を検証する。
• リーマン–ローチ多項式の変形不変性およびBeauville–Bogomolov–Fujiki二次形式の構造に依存する。

実験結果

リサーチクエスチョン

• RQ1 ハイパーカラビ＝ヤウ多様体のリーマン–ローチ多項式のすべての係数は正か？
• RQ2 射影的ハイパーカラビ＝ヤウ多様体のリーマン–ローチ多項式は厳密な単調性を満たすか？
• RQ3 Rozansky–Witten理論を用いて$\mathrm{td}^{1/2}(X)$のLefschetz型分解を構成できるか？
• RQ4 形式$\int c_{2k_1} \cdots c_{2k_m}$（ただし$\sum k_i = n$）で表されるハイパーカラビ＝ヤウ多様体のすべてのチャーン数は正か？
• RQ5 リーマン–ローチ多項式の係数の列は対数的凸性を示すか、あるいはその根は負の実数上にあるか？

主な発見

• 任意のハイパーカラビ＝ヤウ多様体$X$について、リーマン–ローチ多項式$\mathrm{RR}_X(q)$のすべての係数は厳密に正であり、Caoと著者の予想を確認する。
• 次元$2n$の、$n$個の点のK3表面のヒルベルトス킴に変形同値なハイパーカラビ＝ヤウ多様体のリーマン–ローチ多項式は$\binom{q/2 + n + 1}{n}$であり、正の係数を持つ。
• 一般化されたKummer多様体やO'Gradyの6次元例では、リーマン–ローチ多項式は$(n+1)\binom{q/2 + n}{n}$であり、これも正の係数を持つ。
• Rozansky–Witten理論を用いた$\mathrm{td}^{1/2}(X)$のLefschetz型分解が構成され、係数の精密な推定が可能になる。
• $\int \mathrm{td}^{1/2}(X)$は$\frac{B^n}{(2n)^n A^{n-1}}$として表現され、Todd genusの根に対する定量的評価が得られる。
• 本論文はRiessのリーマン–ローチ多項式の厳密な単調性に関する疑問を確認し、射影的ハイパーカラビ＝ヤウ多様体におけるKawamataの有効非消滅予想を支持する。