Universal vector bundles, push-forward formulae and positivity of characteristic forms

技術的要約：「普遍的ベクトル束、押し出し公式、および特性形式の正値性」

問題設定
本論文は、正則ベクトル束における特性類のコホモロジー的レベルと微分幾何学的レベルの関係を扱っている。具体的には、複素多様体 $X$ 上のエルミート正則ベクトル束 $(E, h)$ が与えられたとき、次元の列に関連する標識束（flag bundles） $\pi_\rho: F_\rho(E) \to X$ を考えることができる。これらの束は、誘導されたエルミート計量を備えた普遍的ベクトル束（トートロジー的部分束およびその商束）を担っている。

代数幾何学における古典的な問題は、これら普遍的束の Chern 類に関する多項式の押し出し（push-forward）を、元の束 $E$ の Chern 類に関する多項式として表す普遍的な公式（Gysin 公式または押し出し公式）を決定することである。このような公式はコホモロジーにおいては確立されているが、本論文では、微分形式（Chern–Weil 形式）のレベルでの類似性を調査している。中心となる問いは、普遍的束の Chern 形式の多項式（ファイバーに沿った積分によって計算されるもの）の押し出しが、既知のコホモロジー的 Gysin 公式を適用することによって得られる $E$ の Chern 形式の多項式と、点ごとに一致するかどうかである。本研究以前には、これら 2 つの形式は完全形式（exact form）の差として現れることが一般的であると予想されていた。

手法
著者は、曲率テンソルの明示的な局所計算に依拠した、点ごとの微分幾何学的アプローチを採用している。その手法は以下の通りである：

1. 局所フレームの構成: 論文では、標識束 $F_\rho(E)$ 上の普遍的ベクトル束に対する特定の局所的な正則座標およびフレームを構成する。これらのフレームは、トートロジー的なフィルターおよび誘導されたエルミート計量に適応している。
2. 明示的な曲率計算: 決定的な技術的ステップは、ある点における普遍的ベクトル束（トートロジー的な部分束およびその商束の両方）の Chern 曲率テンソルの明示的な計算である。著者は、普遍的な商束 $U_{\rho,l}/U_{\rho,\ell}$ の曲率が、「水平な」部分（$E$ の曲率のプルバックに関連するもの）と「垂直な」部分（ファイバーの幾何学に固有のもの）に分解できることを証明している。
3. 曲率の分解: 曲率は、水平なテンソル $\theta^{(\ell,l)}$ （$E$ の曲率に依存する）と垂直なテンソル $\omega^{(\ell,l)}$ の和として表現される。この分解により、普遍的束の Chern 形式を、$E$ の曲率の成分と垂直な微分形式の多項式として記述することが可能になる。
4. 積分と普遍性: これらの多項式の構造を分析することにより、押し出し操作（ファイバーに沿った積分）が垂直成分に対して作用し、その係数が普遍的な定数（標識多様体上の積分）となることを著者は示している。$X$ に依存する水平成分は保持される。
5. コホモロジーとの比較: 得られた表現を、既知のコホモロジー的 Gysin 公式と比較する。著者は、微分形式の結果とコホモロジー的予測の間の差を、特定の分裂ベクトル束（正の曲率を持つライン束の直和）上でテストする普遍性の議論を用いることで、その差が恒等的にゼロであることを示す。

主要な貢献と結果

• 定理 A (点ごとの押し出しの恒等式): 主要な結果（定理 3.6）は、標識束上のすべての普遍的ベクトル束の Chern 形式に関する任意の斉次多項式 $F$ について、ファイバーに沿った積分による押し出しが、元の束 $(E, h)$ の Chern 形式上で直接評価された多項式 $\Phi$（コホモロジー的 Gysin 公式によって決定される）に等しいことを確立している。
  $$(\pi_\rho)_* F(c^\bullet(E_1, H_1), \dots, c^\bullet(E_N, H_N)) = \Phi(c^\bullet(E, h))$$
  この等式は微分形式として点ごとに成立しており、これは「完全形式」の差がゼロであることを意味している。

• 明示的な曲率公式: 定理 2.1 は、基底の束の曲率と垂直な微分の項を用いた、標識束上の普遍的ベクトル束の Chern 曲率の明示的な公式を提供する。これは、射影束やグラスマン束について既知であった先行研究を一般化するものである。

• Jacobi–Trudi 恒等式の洗練: 応用として、本論文は微分形式のレベルにおける Jacobi–Trudi 恒等式の代替版（命題 4.2）を提供している。これは、すべての Schur 形式（Chern 形式において評価された Schur 多項式）が、完全な標識束からの押し出しとして得られることを示しており、コホモロジーレベルでの先行研究を洗練させている。

• 特性形式の正値性: 本論文は、Griffiths 半正定値ベクトル束の特性形式の正値性を調査している。そして、特定の特性形式の族について Griffiths の予想（Schur 多項式を Chern 形式で評価した非負の組み合わせが正の微分形式を与えるという予想）を裏付けている。

  • 定理 4.5: グラスマン束 $G_s(E)$ から $X$ への $c_1(Q_s, h_s)^\alpha \wedge c_2(Q_s, h_s)^\beta$ のような形式の押し出しが、$X$ 上の正の微分形式を与え、それが Schur 形式によって生成される正の凸錐に属することを証明している。
  • この結果は、より高次のランクにおける第 2 Chern 形式を含む組み合わせなど、これまで知られていなかったケースを含め、Griffiths の予想に対する新たな証拠を提供するものである。

意義と主張
本論文の主な意義は、コホモロジー的公式とその微分幾何学的表現との間の隔たりを埋めることにあると著者は主張している。Chern 形式の押し出しが普遍的な Gysin 公式の適用と可換であることを証明することで、基底多様体上の特性形式を決定するために明示的なファイバー積分を行う必要性を排除している。つまり、既知のコホモロジー公式を Chern 形式に直接適用すればよいのである。

正値性に関して、本論文は Griffiths の予想を部分的に確認していると控えめに主張している。著者は、グラスマン束から導出される新しい特性形式の族の正値性を確立している。著者は、これらの形式は正ではあるものの、（$(2,2)$-形式の平方の和としての意味での）「強正（strongly positive）」な形式ではない可能性があると述べている。これは、押し出しが $(2,2)$-形式の平方を含む性質に起因する。本論文は、これらの押し出しによって生成される形式の錐と、他の方法（[DF22] など）によって生成される錐との関係を区別し、一方が他方を包含していないことを示すことで、Griffiths 半正定値束のための正の特性形式の既知の領域を拡大している。

結果は、明示的な曲率計算と押し出し操作の普遍性の直接的な帰結として提示されており、確立された定理の範囲を超えた、新しい実験的な提案や未検証の将来的な含意を導入することはない。