Holomorphic Lie algebroid connections over rationally connected varieties

技術的概要：有理連結多様体上の正則リー代数束接続

問題設定
本論文は、滑らかな複素射影多様体上のベクトル束における正則リー代数束接続の存在と性質を調査する。コンパクトリーマン面上のベクトル束の正則接続についてはよく理解されている（存在は平坦性を意味し、存在は既約直和成分の次数条件によって支配される）が、高次元多様体上の状況はより制限的である。具体的には、著者らは、底多様体 $X$ が有理連結（任意の 2 点が既約な有理曲線で結ばれる）であり、基礎となる構造が標準的な接束 $(TX, \text{Id}_{TX})$ ではなく、一般的な正則リー代数束 $(V, \phi)$ である場合の、これらの接続の挙動に焦点を当てる。

中心的な問いは以下の通りである：有理連結多様体 $X$ 上の正則ベクトル束 $E$ が、いつ $(V, \phi)$-接続を許容し、もしそのような接続が存在する場合、それは必然的に平坦であるか？

手法
著者らは、代数幾何学の手法とリー代数束の理論を組み合わせる：

1. リー代数束の枠組み：本論文は、$V$ を正則ベクトル束、$\phi: V \to TX$ をアンカー写像とするリー代数束 $(V, \phi)$ の定義を利用する。$(V, \phi)$-接続とは、アンカー写像 $\phi$ の双対 $\phi^*$ を用いたライプニッツ則を満たす、$\mathbb{C}$-線形な正則写像 $\nabla: E \to E \otimes V^*$ として定義される。
2. ジェット束の定式化：$(V, \phi)$-接続の存在は、1 次 $V$-ジェット束 $J^1_V(E)$ に関する特定の短完全系列の分裂によって特徴づけられる。具体的には、$E$ が接続を許容するのは、系列 $0 \to E \otimes V^* \to J^1_V(E) \to E \to 0$ が正則に分裂する場合に限られる。
3. 有理曲線への制限：重要な手法的一步は、非定数な写像 $f: \mathbb{P}^1 \to X$ への問題の制限である。$X$ が有理連結であるため、そのような曲線は豊富に存在する。著者らは、リー代数束 $(V, \phi)$ と束 $E$ を $\mathbb{P}^1$ へ引き戻し、$\mathbb{P}^1$ 上の新しいリー代数束 $(V_f, \hat{\phi})$ を構成する。
4. 豊富性と狭義ネフ条件：証明は、核 $S := \text{Ker}(\phi)$ の性質に大きく依存する。著者らは $S$ が狭義ネフであると仮定する。$\mathbb{P}^1$ への狭義ネフ束の引き戻しが狭義ネフのまま（したがって正の次数成分を持つ）であるという事実を利用する。これにより、セールの双対性を通じた消滅定理を援用して、特定の拡張類が消滅し、関連する系列が分裂することを示すことができる。
5. 曲率解析：平坦性を証明するために、著者らは曲率 $K(\nabla) \in H^0(X, \text{End}(E) \otimes \bigwedge^2 V^*)$ を解析する。$f^*TX$ が豊富となる有理曲線への制限を行うことで、$f^*V$ もまた豊富であることを示す。その結果、束 $\bigwedge^2 V^*$ は負の次数を持つ線束から構成されるため、これらの曲線上での曲率の大域切断が消滅する。そのような曲線がザリスキ稠密であることから、大域的な曲率は消滅する。

主要な貢献と結果
本論文は、$X$ が有理連結な滑らかな複素射影多様体であり、$(V, \phi)$ がアンカー写像 $\phi$ が全射かつ $S := \text{Ker}(\phi)$ が狭義ネフであるリー代数束であるという仮定の下、2 つの主要な定理を確立する：

• 定理 3.1（存在基準）：$X$ 上の正則ベクトル束 $E$ が $(V, \phi)$-接続を許容するのは、$E$ が正則的に自明である場合に限られる。
  • メカニズム：証明は、接続が存在する場合、その任意の有理曲線 $\mathbb{P}^1$ への引き戻しが $\mathbb{P}^1$ 上の束に対する正則接続を与えることを示す。$\mathbb{P}^1$ 上の任意の正則接続は束が自明であることを意味する（単連結性と平坦性のため）ので、すべてのそのような曲線に対して $f^*E$ は自明となる。これが $E$ が $X$ 上で自明であることを強制する。
• 定理 3.2（平坦性）：$X$ 上の正則ベクトル束（定理 3.1 により自明でなければならない）上の任意の $(V, \phi)$-接続は平坦（可積分）である。
  • メカニズム：接続の曲率は、$f^*TX$ が豊富となる有理曲線に制限されたとき、豊富束の双対の次数の負性により $H^0(\mathbb{P}^1, \bigwedge^2 f^*V^*)$ がゼロとなるため、消滅しなければならない。これらの曲線は $X$ のザリスキ稠密部分集合を覆うため、大域的な曲率はゼロとなる。
• 系 3.3：具体的な応用として、$X$ が有理連結であり、$E$ が通常の正則接続（リー代数束 $(TX, \text{Id}_{TX})$ に対応する）を許容する場合、$E$ は正則的に自明であり、かつその接続は平坦である。

意義と主張
本論文は、リーマン面およびカラビ・ヤウ多様体に関する既知の正則接続の結果を、より広範な有理連結多様体およびリー代数束接続の文脈に一般化すると主張する。

• 統合：この研究は、ヒッグス束、対数接続、有理型接続といった様々な幾何学的対象を、リー代数束接続という単一の枠組みの下で統合し、狭義ネフ核を持つ有理連結多様体において、そのような構造の存在が極めて剛直な条件であることを示す。
• 剛直性：結果は、強い剛直性の現象を浮き彫りにする：指定されたリー代数束条件を持つ有理連結多様体上では、$(V, \phi)$-接続を支えることができるベクトル束は自明なもののみであり、そのような接続のいずれも自動的に平坦である。
• 範囲：著者らは、すべての有理連結多様体またはすべてのリー代数束に対する問題を解決したとは主張していない；結果は厳密にアンカー写像の全射性と、その核の狭義ネフ性に条件付けられている。本論文は、これらの発見を、曲線上の接続に関するアティヤの古典的な仕事を高次元の有理設定へ自然に拡張したものとして位置づけている。