Spectral and Logarithmic Atiyah Classes for Higgs Bundles

技術的要約：ヒッグス束に対するスペクトルおよび対数アティ・クラス

問題設定
本論文は、ヒッグス束 $(E, \theta)$ のアティ・クラスと、スペクトル曲線 $Y$ 上で定義されるスペクトル線束 $L$ のアティ・クラスとの関係を扱う。Beauville–Narasimhan–Ramanan（BNR）対応の文脈において、滑らかな複素射影曲線 $X$ 上の正則半単純ヒッグス束は、有限射影 $\pi: Y \to X$ を通じて、スペクトル線束 $L$（ここで $E \cong \pi_* L$）と同一視される。

根本的な困難は、これらのクラスを比較する際に生じる。これらは異なる係数層を持つ異なるコホモロジー群に属している。具体的には、ヒッグス束のアティ・クラスは $H^1(X, \Omega^1_X \otimes \text{End}(E))$ に属し、スペクトル線束のアティ・クラスは $H^1(Y, \Omega^1_Y)$ に属する。著者らは、これらのクラスの間の正確な架け橋を確立すること、すなわち、$E$ 上の正則接続に対する障害が、いかにして $L$ のスペクトルデータによって誘導されるか（特に判別式集合においてスペクトル被覆が分岐する場合において）を明らかにすることを目的としている。

手法
著者らは、ジェット束理論、有限射影の性質、および対数微分幾何学を組み合わせて用いる。

1. 有限押し出しによるジェット比較: 核となる技術的メカニズムは、$X$ 上の $E$ と $Y$ 上の $L$ の第1次ジェット列の解析である。$J^1_X(E) \to \pi_* J^1_Y(L)$ という標準的な射を構成することにより、著者らは基礎となる束とスペクトル線束のジェット列を関連付ける。彼らは、滑らかな曲線間の有限射影に対する押し出し関手の完全性と、ケーラー微分形式の標準的な完全列を利用して、これらのジェット列の間の不一致を特定する。
2. スペクトル作用と中心化子: 判別式集合 $\Delta$（エタール局所）において、研究を制限する。ここではスペクトル被覆は非分岐であり、これによりヒッグス場の中心化子とスペクトル構造層の押し出しとの識別が可能になる。
3. 対数的洗練: 判別式を越えて結果を拡張するために、$\Delta$ が簡約であることを仮定する。著者らは、スペクトル代数 $\pi_* \mathcal{O}_Y$ を $\text{End}(E)$ の内部で飽和させることにより、「正規化された中心化子層」$Z_\theta$ を構成する。次に、分岐点における特異性を扱うために対数微分形式 $\Omega^1_X(\log \Delta)$ を導入し、$Y$ 上の微分形式を $X$ 上の対数微分形式とスペクトル代数とのテンソル積へと写す標準的な射を構成する。

主要な貢献および結果

• ジェット比較定理 (Proposition 2.1): 著者らは、以下の短完全列に適合する標準的な射 $\Psi_{\pi, L}$ を構成する：
  $$0 \to J^1_X(E) \xrightarrow{\Psi_{\pi, L}} \pi_* J^1_Y(L) \to \pi_*(\Omega^1_{Y/X} \otimes L) \to 0$$
  この列は、$E$ の第1次ジェットと $L$ の押し出されたジェットの間の不一致が、正確に分岐層 $\pi_*(\Omega^1_{Y/X} \otimes L)$ によって測定されることを示している。

• スペクトル・アティ・クラス (Corollary 2.2): 著者らは、押し出されたジェット列によって表される $\text{Ext}^1_X(E, \pi_*(\Omega^1_Y \otimes L))$ 内の「スペクトル・アティ・クラス」$\beta_{\text{spec}}(L, \pi)$ を定義する。彼らは、通常のアティ・クラス $\text{At}(E)$ が、自然な係数射 $\iota: \Omega^1_X \otimes E \to \pi_*(\Omega^1_Y \otimes L)$ を通じて、このスペクトル・クラスへと写されることを証明する。

• エタール局所におけるアーベリアン化 (Theorem 3.3): エタール局所 $X^\circ$ において、著者らは $E$ のアティ・クラスが、スペクトル線束 $L^\circ$ のスカラー・アティ・クラスによって完全に誘導されることを示す。具体的には、制限 $j^*\text{At}(E)$ は、スペクトル作用写像 $id \otimes m^\circ$ の下でのスカラー・スペクトル・クラス $\beta^\circ_{\text{spec}}(L, \pi)$ の像である。これにより、判別式の離れた場所では、非アーベル的なアティ・クラスが完全にアーベル的なスペクトル・データによって支配されていることが確認される。

• 対数的洗練 (Theorem 4.6): 判別式 $\Delta$ が簡約であると仮定し、著者らは「対数スペクトル・アティ・クラス」を構成する：
  $$\text{At}^{\log}_\theta(E) \in H^1(X, \Omega^1_X(\log \Delta) \otimes Z_\theta)$$
  ここで $Z_\theta$ は正規化された中心化子層である。彼らは、以下の大域的な適合関係を証明する：
  $$(k \otimes \text{id})^* \text{At}(E) = (id \otimes q)^* \text{At}^{\log}_\theta(E)$$
  ここで $k$ と $q$ は自然な包含写像である。この結果は、通常の対数極を持つものとして見たときのアティ・クラスが、正規化された中心化子に値を取るクラスによって表されることを確立している。

意義
本論文は、ヒッグス束をそのスペクトル・データを通じて理解するための厳密なコホモロジー的枠組みを提供する。これは、ヒッグス束のアティ・クラスが一般には非アーベル的であるが、エタール局所においてはスペクトル対応によって「アーベル化」されることを明確にしている。主要な意義は、分岐ダイバーシオン（分岐因子）を越えてこのアーベル化された記述を拡張した点にある。正規化された中心化子に値を取る対数スペクトル・アティ・クラスを導入することで、著者らは、通常のジェットのレベルにおけるスペクトル記述の失敗が制御可能であり、対数幾何学を用いて再定式化できることを示した。これは、分岐が存在する場合においても、スペクトル曲線の幾何学を通じてヒッグス束における正則接続への障害を追跡するための精密なメカニズムを提供している。