Derived invariance of the space of holomorphic two-forms

技術的要約：正則な2形式の空間の導来不変性

問題提起
本論文は、代数幾何学における中心的な予想（一般にコントヴィッチに帰せられる）に取り組んでいる。この予想は、有界導来圏の余係層の導来圏が等価である（$D^b(X) \simeq D^b(Y)$）滑らかな射影複素多様体 $X$ と $Y$ は、同一のホッジ数を共有しなければならないというものである。Hochschildホモロジーの導来不変性は和 $\sum_{p-q=k} h^{p,q}$ の不変性を保証しているが、特定のケース（次元 $\le 2$、最大アベル多様体次元）については解決されているものの、任意の次元における個々のホッジ数 $h^{p,q}$ の不変性は依然として課題として残っている。具体的には、本論文は $h^{2,0}(X)$（正則な2形式の空間の次元）の導来不変性と、特定の条件下におけるすべてのホッジ数の導来不変性に焦点を当てている。なお、本研究は、Căldăraru、PopaおよびSchnell、HuybrechtsおよびNieper-Wißkirchen、Taelman、Beckmann、そしてLeijnseといった多くの数学者によって発展されてきた先行研究の着想に基づいている。

手法
著者は、フーリエ・ムカイ変換を利用したコホモロジー的アプローチを採用している。$\Phi: D^b(X) \to D^b(Y)$ をコホモロジー変換 $F$ を持つ導来同値とする。核となる戦略は、複素数 $z$ によってパラメータ化された、$H^\bullet(Y, \mathcal{O}_Y)$ と $H^\bullet(X, \mathcal{O}_X)$ の間のホモロジー環の間の準同型族を構成することである。

1. 準同型 $\Theta^\bullet_{F,z}$ の構成:
   本論文では、クラス $\beta \in H^\bullet(Y, \mathcal{O}_Y)$ によるカップ積作用を、同値によって輸送する写像 $\Theta^\bullet_{F,z}$ を定義する。具体的には、 $X$ 上の豊富線束 $L$ を $h = c_1(L)$ とする。この写像は次のように定義される：
   $$\Theta^\bullet_{F,z}(\beta) = e^{-zh} \cup F^{-1}\left( \beta \cup F(e^{zh}) \right)$$
   これは、以前の研究で使用されていた線束 $L^m$ の圏論的な輸送を、連続的なパラメータ $z$ に置き換えるものであり、これにより直交関係の極限を利用することを可能にしている。

2. 次数1の解析:
   $z=i$ のとき、著者は $\Theta^1_{F,i}$ が同型であることを証明する。証明には、輸送された演算子 $D_\beta = F^{-1} m_\beta F$ を、乗法部分（$m_a$）と縮約部分（$\iota_v$）へと分解する手法を用いる。複素共役との交換関係を分析し、$H^{0,1}(X)$ 上のホッジ・リーマン双線形関係を適用することで、著者によるノルム恒等式を確立する：
   $$\|\Theta^1_{F,i}(\beta)\|^2 = \|a\|^2 + \|\iota_v(h)\|^2$$
   これにより、像がゼロであれば $a=0$ かつ $\iota_v(h)=0$ が強制され、レフシェッツの議論を通じて $\beta$ の消滅が導かれる。

3. 次数2の解析:
   $h^{2,0}$ の証明はより複雑である。$\beta \in H^{0,2}(Y)$ に対して、輸送された演算子 $D_\beta$ は $m_a + K + \Pi$ に分解される。ここで $K$ はコダイラ・スペンサー縮約、$\Pi$ は2次形式縮約である。

   • 直交性: 関係式 $[D_\beta, \overline{D_\beta}] = 0$ および $H^{0,2}(X)$ 上のホッジ・リーマン関係を用いて、著者らは $a, c = \Pi(h^2)/2, \eta = K(h)$ を含むノルム恒等式を導出する。
   • 対応による正値性: $K$ と $\Pi$ が消滅することを示すために、著者はこれらの演算子を $X \times X$ 上の対応（correspondence）へと持ち上げる。第2因子に符号を付与することで対応を修正し、$L_h$ との交換子恒等式を、豊富類 $\ell = p_1^*h + p_2^*h$ に関する原始性条件へと翻訳する。
   • トレースの消滅: $X \times X$ 上のホッジ・リーマン関係は、$K$ と $\Pi$ に対する非負のトレース表現を提供する。$D_\beta$ はべき零であり、かつその共役と可換であるため、全トレース $\text{Tr}(D_\beta \overline{D_\beta})$ はゼロとなる。ホッジ・リーマン形式の厳密な正値性により、$K = \Pi = 0$ が強制され、したがって $a=c=0$、ゆえに $\beta=0$ となる。

4. すべてのホッジ数への拡張:
   $K_X$ が自明であり、$H^n(X, \mathcal{O}_X)$ の生成元が $H^1$ と $H^2$ によって生成される部分環に含まれるという仮定の下で、著者は $\Theta^\bullet_{F,i}$ の積構造を利用して、正則なホロモーフィック・シンプレクティック形式（またはその共役）を $X$ から $Y$ へ輸送する。全コホモロジーにおけるこれらの形式による冪乗のカップ積のランクを比較することで（シンプレクティック線形代数を用いて）、個々のホッジ数が回収される。

主要な貢献と結果

• 定理 1: 任意の滑らかな射影複素多様体の導来同値 $\Phi: D^b(X) \to D^b(Y)$ に対して、準同型 $\Theta^\bullet_{F,i}$ は次数1および2において同型である。その結果、$h^{1,0}(X) = h^{1,0}(Y)$ および $h^{2,0}(X) = h^{2,0}(Y)$ が成り立つ。これにより、任意の滑らかな射影複素多様体において、正則な2形式の空間の導来不変性が確立される。
• 定理 2: $K_X \simeq \mathcal{O}_X$ であり、ホロモーフィック・ボリューム形式の複素共役が $H^\bullet(X, \mathcal{O}_X)$ の次数1および2によって生成される部分環に含まれる場合、すべてのホッジ数は導来不変量となる（$h^{p,q}(X) = h^{p,q}(Y)$）。
  • 偶数次元においては、この条件はホロモーフィック・シンプレクティック形式の存在と同値である。
  • 奇数次元においては、この結果はシンプレクティック多様体と楕円曲線の直積に適用される。
• 命題 3.2: $X$ が滑らかな射影ホロモーフィック・シンプレクティック多様体であるとき、任意の導来等価なパートナー $Y$ もまたホロモーフィック・シンプレクティックであり、かつすべてのホッジ数を共有する。

意義と主張
本論文は、任意の次元における $h^{2,0}$ の導来不変性を解決したと主張している。これは、低次元や特定の制限的な仮定（例：特定のフーリエ・ムカイ・カーネル）の下でのみ既知であった結果である。その証明は、離散的な線束のテンソル冪を連続的な複素パラメータ $z$ に置き換えて、ホッジ・リーマン双線形関係と直交性を活用するという、新しい解析的手法を導入している。

広範な予想に関して、本論文は、Taelman や Leijnse がハイパーケーラーや特定のシンプレクティック多様体において有理ホッジ構造の同型を確立していることに触れているが、本研究は、LLV（Looijenga-Lunts-Verbitsky）代数の制限を課すことなく、より広いクラスのシンプレクティック多様体に対して、数値的な結論（ホッジ数の等価性）を提供している。著者は、本論文は次数のレベルでの有理ホッジ構造の同型を構成することではなく、コホモロジー空間の次元の不変性に焦点を当てていることを明示している。得られた結果は、これまで確立されていた次元 $\le 4$ や特定の幾何学的制約を超えて、導来不変性の範囲を拡張するものである。