On a counterexample to a conjecture of J. Harris for octic surfaces

技術的要約：J. Harrisによる予想に対する反例について（8次曲面の場合）

問題の定義
本論文は、$\mathbb{P}^3$ 内の次数 $d \geq 4$ の滑らかな曲面のパラメータ空間 $T$ におけるノイター・レフシェッツ・ロカス $NL_d$ に関する J. Harris（1980年代）の予想を取り扱う。Harris は、「特別な」成分（余次元が一般の余次元 $h^{2,0} = \binom{d-1}{3}$ よりも小さいもの）の数は有限であると予想した。C. Voisin によって大きな $d$ に対して反例が見出されている一方で、この予想は低い次数については未解決のままである。具体的には、$d=6$ および $d=7$ の場合、既約な特別な成分の数は有限であることが知られている。本研究の焦点は $d=8$（8次曲面）のケースである。一般の余次元は 35 である。著者による先行研究 ([Mov21b]) では、余次元 31 の成分が無限に存在する可能性が示唆されており、これは Harris の予想に反することになる。本論文は、この主張に対するより強力な証拠を集めることを目的としている。

手法
著者は、フェルマー8次曲面 $X_0$ 上の特定のコホモロジー類 $\delta_0 = [C_1] + r[C_2]$ に関連する局所的なノイター・レフシェッツ・ロカス $V_{\delta_0}$ を調査している。ここで、$C_1$ は直線（型 $(1,1)$ の完全交差）であり、$C_2$ は型 $(3,3)$ の完全交差であり、これらは互いに交わらないように選ばれている。パラメータ $r$ は非ゼロの有理数である。

手法には以下が含まれる：

1. 幾何学的セットアップ： 滑らかな8次曲面の変形空間 $T$、および計算を容易にするために次元を縮小した特定の部分空間 $\check{T}$ および $\check{S}$ を定義すること。
2. 周期積分とホッジ理論： ガウス・マニンの接続と残留写像を利用して、あるコホモロジー類が $(1,1)$ 型であり続ける条件を、周期積分 $\int_{\delta_t} \omega_\beta$ の消滅として表現すること。
3. 滑らかさの解析： ノイター・レフシェッツ・ロカスの「滑らかさ」を調査すること。あるロカスが $N$-滑らかであるとは、その $N$ 次までの無限小近似が滑らかな多様体に対応することを指す。本論文では、異なる部分空間上で様々な次数（$N=2, 5, 6, 9$）における滑らかさを証明している。
4. 接空間の計算： $C_1$、$C_2$、およびそれらの線形結合に関連する接空間の余次元を計算すること。
5. 計算代数： 高次の周期積分から導かれる行列のランクを計算し、高次の滑らかさの条件を検証するために、Singular 計算代数システム（具体的には foliation.lib ライブラリ）を用いた広範な計算を行う。
6. LLMによる発見（および検証）： 著者は、高次の滑らかさを検証できる特定の11次元の部分空間 $\check{S}$ を特定するために、当初 LLM（大規模言語モデル）を使用したと述べているが、最終的な証明とコードは著者によって独立して生成されたものである。

主要な貢献と結果

• 予想 1： 本論文は、ほとんどすべての $r \in \mathbb{Q}$ に対して、局所的なノイター・レフシェッツ・ロカス $V_{[C_1]+r[C_2]}$ は、余次元 31 の滑らかで異なる解析空間であると提唱している。これらのロカスは、共通の余次元 32 の部分多様体において互いに交差する。
• 余次元の解析：
  • $NL_8$ の一般の成分の余次元は 35 である。
  • $C_1$（直線）に関連する成分の余次元は 5 である。
  • $C_2$（型 $(3,3)$ の曲線）に関連する成分の余次元は 27 である。
  • 和 $[C_1] + r[C_2]$ に関連する成分は、フルパラメータ空間 $T$ において余次元 31 であることが示されている。
• 滑らかさの証明：
  • 命題 3： $V_{[C_1]+r[C_2]}$ がフルパラメータ空間 $T$ において 2-smooth であることを証明する。
  • 命題 4： 特定の部分空間 $\check{T}$（次元 149）への制限が一般のペンシルを与え、接空間の余次元が和に対して 9、交差に対して 10 であることを証明する。
  • 命程 5： 特定の 11 次元部分空間 $\check{S}$ 上において、ロカスが（10 個の単項式を持つ族に対して）6-smooth であり、（単一の単項式を持つ族に対して）9-smooth であることを示す。
• 無限個の成分の含意： 命題 4 と命題 2（接空間の幾何学と既約成分の数との関係）を組み合わせることで、著者は、変化する $r$ に対して、ロカス $V_{[C_1]+r[C_2]}$ が余次元 31 以上の既約成分を無限に持つと結論付けている。
• 反例の可能性： この特定のケースにおける最大余次元は 35（一般の場合）であり、著者は余次元 31 の成分に関する証拠を提示しているため、これらの成分の存在は Harris の予想に対する反例となる。

意義
本論文は、Harris の予想が $d=8$ の 8次曲面に対して失敗するという「強力な証拠」を提供するものであり、決定的な証明ではない。その意義は以下の点にある：

1. 有限性予想への挑戦： 低次においては Harris の予想が成立するという期待に反して、 $d=8$ においては特別成分の数が無限であることを示唆している。
2. 幾何学的構造： 特定の代数サイクルに関するノイター・レフシェッツ・ロカスの構造を解明しており、それらが余次元 32 の多様体で交差する、互いに異なる余次元 31 の滑らかな解析空間のペンシルを形成していることを示している。
3. 手法の統合： 古典的なホッジ理論、代数幾何学、および計算代数（Singular）を組み合わせることが、高次元のモジュライ問題を扱う上でいかに有用であるかを実証している。

著者は、これらのロカスが余次元 31 未満のより大きな既約成分の中に含まれている可能性が依然としてあることを認めつつも、それは「困難な問い」であると考えている。本論文は Harris の予想を決定的に論破したと主張するものではなく、 $d=8$ においてはそれが偽であることを示唆する堅牢な枠組みと計算的証拠を提示している。