A counterexample to Bruzzo's curve semistability conjecture for Higgs bundles

テクニカル・サマリー：ヒッグス束に関するブルッツォの曲線半安定性予想に対する反例

問題提起
本論文は、滑らかな複素射影多様体上のヒッグス束に関するブルッツォ（Bruzzo）の曲線半安定性予想を取り上げる。この予想は、ランク $r$ のヒッグス束 $E = (E, \theta)$ について、以下の2つの条件が同値であることを主張している：

1. $E$ はある偏極に関して半安定であり、かつその判別式が消滅している（$\Delta(E) = c_2(E) - \frac{r-1}{2r}c_1(E)^2 = 0$）。
2. すべての滑らかな射影曲線 $C$ およびすべての射影写像 $f: C \to X$ に対して、プルバックされたヒッグス束 $f^*E$ が半安定である。

文献において含意 $(1) \implies (2)$ は確立されているが、逆の $(2) \implies (1)$ が調査の対象となっている。これまでの結果では、ランク2の束および特定の仮定の下での逆が確認されていたが、高ランクの場合の一般論は未解決の問題であった。本論文は、ランク4においてこの逆が成立するかどうかを決定することを目的としている。

手法と構成
著者は、平面曲線の対称積の幾何学を用いて、ランク4における具体的な反例を構成する。構成の手順は以下の通りである：

1. 幾何学的設定: $\Sigma \subset \mathbb{P}^2$ を非常に一般的な滑らかな平面五次曲線とする。$X = \Sigma(2)$ を $\Sigma$ の第2対称積とする。著者は、$X$ 上のタウトロジカルなランク2束 $F = \mathcal{O}_\Sigma(1)[2]$ を利用する。
2. ヒッグス場の定義: 同型関係 $S^2 \cong K_\Sigma$ （ここで $S = \mathcal{O}_\Sigma(1)$）を用いて、$\Omega^1_X$ 値の対称形式 $\beta: \text{Sym}^2(F) \to \Omega^1_X$ を定義する。これは随伴射 $\psi: F \to F^* \otimes \Omega^1_X$ を誘導する。
3. 延長の構成: 区分 $s \in H^0(\Sigma, S)$ を用いて、延長類 $e_s \in \text{Ext}^1_X(F, F^*)$ を定義する。これにより、以下の完全列に適合するランク4のベクトル束 $E_s$ が得られる：
   $$0 \to F^* \to E_s \to F \to 0$$
   ヒッグス場 $\theta_s: E_s \to E_s \otimes \Omega^1_X$ は、射影 $E_s \to F$、写像 $\psi$、および包含 $F^* \hookrightarrow E_s$ の合成として構成される。
4. チャーン類の計算: 著者は $E_s$ のチャーン類を計算する。$\det(E_s) \cong \mathcal{O}_X$ および $\int_X c_2(E_s) = 10$ であることを示す。その結果、判別式 $\Delta(E_s)$ は $H^4(X, \mathbb{Q})$ において非ゼロとなる。

主要なテクニカル分析
判別式が非ゼロであるにもかかわらず、$E_s$ が条件(2)を満たすことを証明するために、著者は任意の射影写像 $f: C \to X$ に対するプルバック $f^*E_s$ を分析する。プルバックの安定性は、不安定化させるヒッグス部分層の存在に依存する。

• 部分層の判定基準: ヒッグス部分層 $H \subset f^*E_s$ は、縮約された射 $u_f = f^*\psi$ との適合条件および特定の延長類（制限押し出し）に関する消滅条件を満たす部分層 $I \subset V$ および $J \subset V^*$ （ここで $V = f^*F$）に対応する。
• 曲線の分類: 著者は、写像 $f$ の生成的ランク（generic rank）に基づき、写像 $f$ を分類する：
  • 生成的ランク2の場合: $u_f$ が生成的ランク2であるとき、潜在的な不安定部分層がいずれも、ヤコビアン $J(\Sigma)$ の単純性と区分 $s$ の非消滅性に関する矛盾を導くことを著者は示す。
  • 生成的ランク1の場合: $\beta$ の根となる因子（root divisor）は $\Sigma \times \Sigma$ に同型である。$u_f$ が生成的ランク1であるとき、その像 $f(C)$ は「座標曲線」（$q \mapsto p+q$ による $\Sigma$ の像）または対角線である。
    • 座標曲線については、縮約された射の核と像に関する直接的な次数の評価により、不安定化が阻止される。
    • 対角線については、延長類の制限はランク2の束 $P_s$ に対応する。著者は、$P_s$ が次数0の半安定束となるように区分 $s$ を選択する。ナラスイマン・セーシャドリ（Narasimhan–Seshadri）対応を用いて、プルバックが半安定性を維持することを証明し、それによって $f^*E_s$ の不安定化を防ぐ。

結果
主要な結果である定理 1.2 は、滑らかな複素射影曲面 $X$ とランク4のヒッグス束 $E_s$ が存在して、以下の両方を満たすことを確立している：

1. すべての滑らかな射影曲線 $C$ およびすべての射影写像 $f: C \to X$ に対して、プルバックされたヒッグス束 $f^*E_s$ は半安定である。
2. $E_s$ の判別式は非ゼロである（$\Delta(E_s) \neq 0$）。

系 4.7 は、この結果がランク4におけるブルッツォの曲線半安定性予想を覆すものであることを明示的に述べている。

意義および主張
本論文は、ヒッグス束の文脈において、含意 $(2) \implies (1)$ に対する最初の反例を提供したと主張している。著者は、ランク2においては逆が既知である一方で、自身の構成はランク4においてそれが失敗することを示すものであると述べている。

この研究は、「ヒッグス数値的平坦性（Higgs numerical flatness）」および絶対ヒッグス・グラスマン多様体への基底変換の適合性に依拠した従来の議論の限界を明らかにしている。著者は、微分 $df$ による縮約が、元の束には存在しなかった新しい不変な商を生み出す可能性があるため、これらの適合性の議論がプルバックされたヒッグス束には適用できないことを指摘している。したがって、曲線半安定性の検証には、平面五次曲線とその対称積の特定の幾何学を用いた、プルバックされた束に対する直接的なケースバイケースの分析が必要となる。

本論文は将来の応用や実験的な提案を提示するものではなく、具体的な反例を示すことに厳密に焦点を当てている。著者は、OpenAIのChatGPT (version 5.6 Plus) が、計算の繰り返しや幅広い例のテストを行う際の補助を行い、それが最終的に本論文で構成された反例へと至ったプロセスを認めている。