Zero-cycles on Moduli Spaces of Twisted Sheaves and Applications to Double EPW Quartics

技術的概要：ひも付き層のモジュライ空間上のゼロサイクルとダブル EPW 四次多様体への応用

問題提起
本論文は、安定対象のモジュライ空間上のゼロサイクル（次元 0 の Chow 群、$CH_0$ と表記）の構造を取り扱う。具体的には、K3 曲面の非ひも付き設定におけるゼロサイクルに関するフィルトレーションと同値性基準の既知の結果を、ひも付き K3 曲面（$\beta$ が Brauer 類である対 $(S, \beta)$）の設定へ拡張することを目的とする。さらに、本論文は $K3^{[2]}$ 型のハイパーケーラー 4 次元多様体であるダブル EPW 四次多様体の具体的なケースを調査する。これらの多様体はひも付き層のモジュライ空間として実現可能であり、これらモジュライ空間のゼロサイクル理論を、基礎となる K3 曲面およびそれに関連する Verra 4 次元多様体と結びつけるための幾何学的な検証の場を提供する。

手法
著者は、有理的モティーフ、導来圏の手法、および幾何学的構成を組み合わせて用いる：

1. 有理的モティーフとフィルトレーション：有理的モティーフの圏 $M^\circ(k)_\mathbb{Q}$ を利用し、モジュライ空間のモティーフと基礎となる K3 曲面の対称積との間の同型を確立する。この枠組みにより、$CH_0$ 上の様々なフィルトレーションの比較が可能となる：

   • Voisin のフィルトレーション：与えられた点と有理同値な点の軌跡の次元を通じて定義される。
   • Shen–Yin–Zhao (SYZ) フィルトレーション：モジュライ空間内の対象 $E$ の第二チャーン類 $c_2(E)$ を通じて定義される。
   • Vial の余根フィルトレーション：反復された余積写像の核を通じて定義される。
   • Shen–Yin (SY) フィルトレーション：単則な除数と円錐を通じて定義される幾何学的フィルトレーション。

2. ひも付き対応：Chen, Li, Zhang, Zhang (CLZZ) によって導入された「ひも付き対応」を適応させ、ひも付き層のモジュライ空間 $M_\sigma(X, v)$ の有理的モティーフが、基礎となる K3 曲面 $S$ の対称積 $S^{[n]}$ のそれと同型であることを示す。この同型は余代数構造を保存するため、フィルトレーションに関する結果の転送を可能にする。

3. ダブル EPW 四次多様体の幾何学的実現：本論文は、一般のダブル EPW 四次多様体 $Y$ を、種数 2 の K3 曲面 $S$ 上の安定ひも付き層のモジュライ空間 $M_{(0,H,0)}(S, \beta)$ として実現することを利用する。また、$Y$ を Verra 4 次元多様体 $X$ 内の $(1,1)$-円錐のヒルベルトスキーム上の $\mathbb{P}^1$-束の底として記述する代替的な幾何学的記述も利用する。

4. Franchetta 性質と球面ツイスト：ひも付き Beauville–Voisin 類の定義に対処するため、著者は Franchetta 性質（一般に定義されたサイクル上のサイクル類写像の単射性）と球面ツイストの構成を用いる。この構成は、モジュライ空間（ダブル EPW 四次多様体のモジュライ空間）を定義するランク 0 の層を正のランクの層に変換し、チャーン類の比較を可能にする。

主要な貢献と結果

• ひも付き K3 曲面へのフィルトレーション同値性の拡張：
  本論文は、ひも付き K3 曲面 $X$ 上の安定対象のモジュライ空間 $M_\sigma(X, v)$ において、$CH_0$ 上の Voisin、Shen–Yin–Zhao、および Vial の余根フィルトレーションが一致することを証明する（定理 1.1 / 命題 3.13）。これは、Shen, Yin, Zhao による（非ひも付きの）結果および Chen らによる（ひも付きの）結果を、統一的な枠組みへと拡張するものである。

• ゼロサイクル同値性の明示的基準：
  次数 $m$ の 2 つの効率的ゼロサイクルが $CH_0(M_\sigma(X, v))$ において等しくなるための明示的基準が確立される。2 つの点の和 $\sum [E_i]$ と $\sum [F_i]$ が等しいのは、それらが基礎となる K3 曲面 $S$ の Chow 群における第二チャーン類写像（およびその冪）の像が一致する場合に限る（命題 1.2 / 命題 3.14）。具体的には：
  $$\sum [E_i] = \sum [F_i] \iff \sum c_2(E_i)^{\times k} = \sum c_2(F_i)^{\times k} \text{ in } CH_0(S^k) \text{ for } k \leq \min(m, n).$$

• ひも付きおよび非ひも付き Beauville–Voisin 類の等式：
  本論文は、ダブル EPW 四次多様体に関連する特定のひも付き K3 曲面の族（種数 2、2 次 Brauer 類）において、ひも付き Beauville–Voisin 類 $o_X$ が、基礎となる曲面の標準的な Beauville–Voisin 類 $o_S$ と一致することを証明する（定理 1.3 / 定理 4.6）。これは、モジュライ空間と正のランクの層のモジュライ空間との間の同型を構成することにより達成され、それによって一般に定義された類を結びつける。

• ダブル EPW 四次多様体のゼロサイクル構造：
  一般のダブル EPW 四次多様体 $Y$ に対して、本論文は以下のことを確立する：

  • 写像 $ch_2: CH_0(Y) \to CH_0(S)$（モジュライ空間の実現を介して）は、ホモロジー的に自明な反不変部分 $CH_0(Y)^+_{hom}$ で消滅し、Beauville–Voisin 類 $o_Y$ を $o_S$ に写し、同型 $CH_0(Y)^- \cong CH_0(S)_{hom}$ を誘導する（定理 1.4 / 定理 4.7）。
  • $Y$ 上の 4 つの主要なフィルトレーション（Shen–Yin、Voisin、SYZ、Vial）はすべて一致し、反シンプレクティック対合によって誘導される固有空間分解に対応する（定理 1.5 / 命題 4.9）。
  • 関連する Verra 4 次元多様体 $X$ を用いたゼロサイクル同値性の幾何学的基準が提供される：$Y$ 上の 2 つのゼロサイクルは、それらに対応する $X$ 内の円錐が $CH_1(X)$ において同値であり、かつそれらの自己積が $CH_2(X \times X)$ において同値である場合に限って同値である（定理 1.6 / 定理 4.10）。

意義
本論文は、Chen, Li, Zhang, Zhang の研究を補完するものであり、モジュライ空間上のゼロサイクルの理論をひも付き設定へ拡張し、特にこの文脈において様々な仮説的なフィルトレーション（Voisin、SYZ、Vial）の一致を確認するものである。ダブル EPW 四次多様体をひも付き層のモジュライ空間として実現することにより、抽象的なひも付きゼロサイクルの理論が具体的に計算可能となり、Verra 4 次元多様体の幾何学と関連付けられる具体的な幾何学的応用が提供される。この特定のケースにおいて $o_X = o_S$ であることの証明は、ひも付き Beauville–Voisin 類が常に非ひも付きのそれと等しいという仮説、ならびにこの設定における Franchetta 仮説を支持する証拠を提供する。結果として、$K3^{[2]}$ 型のハイパーケーラー多様体上のゼロサイクルの研究が統合され、Verra 4 次元多様体内の円錐を介した幾何学的構成が、モジュライ空間上のモティーフ的構成と同じフィルトレーション構造を生み出すことが示された。