Excess logarithmic residues for foliations by curves and applications

以下は、Alana Cavalcante、Maurício Corrêa、Fernando Lourenço、Elaheh Shahsavariipour による論文「Excess Logarithmic Residues for Foliations by Curves and Applications（曲線による葉付き構造に対する過剰対数留数とその応用）」の詳細な技術的要約である。

1. 問題提起

本論文は、複素多様体 $X$ 上の1 次元正則葉付き構造（$\mathcal{F}$）が簡約除数 $D$ に接する場合の研究に取り組んでいる。

• 文脈: 古典的な Baum–Bott 理論は、葉付き構造の法バンドルの大域的チャーン類を、その特異点における局所留数と関連付ける。
• ギャップ: 葉付き構造が除数 $D$ に接する場合、標準的な法層 $N_{\mathcal{F}} = T_X / T_{\mathcal{F}}$ は $D$ に対する幾何学を完全に捉えることができない。代わりに、$D$ に接するベクトル場からなる層 $T_X(-\log D)$ を用いた対数法層 $N^{\log}_{\mathcal{F}/X} = T_X(-\log D) / T_{\mathcal{F}}$ を考慮する必要がある。
• 目的: 著者らは、古典的（通常の）幾何不変量と対数的なものの間の「過剰」または差異を定量化することを目的としている。彼らは、これら 2 つの横断幾何学間の局所的な変動を測定する留数理論を定義し、ポアンカレ問題や曲面特異点の分類といった大域的問題への応用を目指している。

2. 手法

著者らは、対数構造に適応されたチェルン・ホイール理論とグロタンディーク留数に基づいた理論を展開する。

• 層の比較: 包含写像 $T_X(-\log D) \hookrightarrow T_X$ によって誘導される標準的な準同型を解析する：
  $$N^{\log}_{\mathcal{F}/X} \longrightarrow N_{\mathcal{F}}$$
  この準同型が「過剰」項を定義する。
• 留数の定義:
  • 通常の留数（$\text{Res}$）: 通常の法層 $N_{\mathcal{F}}$ のチャーン類から導出される。
  • 対数留数（$\widehat{\text{Res}}^{\log}$）: 対数法層 $N^{\log}_{\mathcal{F}/X}$ のチャーン類から導出される。
  • 変分（過剰）: 差として定義される：
    $$\text{Var} = \text{Res} - \widehat{\text{Res}}^{\log}$$
    これは、環境接束を対数接束に置き換えることによって生じる局所的な欠損を測定する。
• 局所公式: $D = \{f=0\}$ であり、ベクトル場 $v$ が $v(f) = kf$ を満たすような適応座標を用いて、著者らは明示的なグロタンディーク留数公式を導出する。
  • 対数留数については、$D$ 上の誘導ベクトル場のヤコビ行列（$J_D(v)$）のトレースと、対数微分 $k = v(f)/f$ を含む公式が関与する。
  • 変分留数は、通常の接続形式と対数接続形式の差を含む遷移形式を通じて表現される。
• 大域化: 彼らは、特異点の周りの小さな球の補集合（リンク）におけるストークスの定理を利用して、局所留数の和を大域的チャーン数に関連付ける。

3. 主要な貢献

A. 理論的枠組み：過剰対数留数

本論文は、過剰対数留数を固有の不変量として導入する。対数留数を古典的なものの直接的なアナロジーとして扱ってきた先行研究とは異なり、この研究は差項を分離する。これにより、除数への接性が特異点のトポロジカルな寄与をどのように変化させるかを精密に測定することが可能になる。

B. 大域留数公式（定理 1.1 / 定理 5.2）

著者らは基本的な大域恒等式を証明する。$D$ に接する孤立特異点を持つ葉付き構造 $\mathcal{F}$ に対して：
$$\sum_{p \in \text{Sing}(\mathcal{F})} \widehat{\text{Res}}^{\log}_{c_1^n}(\mathcal{F}, D, p) = \int_X c_1(N^{\log}_{\mathcal{F}/X})^n$$
および変分項に対して：
$$\sum_{p} \text{Var}_{c_1^n}(\mathcal{F}, D, p) = \int_X \left( c_1(N_{\mathcal{F}})^n - c_1(N^{\log}_{\mathcal{F}/X})^n \right)$$
除数類 $[D]$ の冪を含む混合項についても同様の公式が成り立つ。

C. ポアンカレ問題への応用

ポアンカレ問題は、$\mathbb{P}^n$ 上の葉付き構造 $\mathcal{F}$ の次数 $d$ に関する、不変超曲面 $D$ の次数 $m$ の上限を求めることを問うものである。

• 結果: 著者らはポアンカレ型の上限を導出する：総対数留数が非負であれば、
  $$m \leq d + n$$
• 意義: これは、局所対数留数の非負性に基づいた不変超曲面の存在に関する新たな基準を提供し、Carnicer、Brunella 以及其他による先行結果を一般化する。

D. 対数正規性に対する動的テスト（定理 8.1）

2 次元において、著者らは葉付き構造の力学と特異点理論の間の深い関連を確立する。

• 設定: 関手的な対数解消 $\pi: X \to Y$ と例外除数 $D$ を持つ正規 $\mathbb{Q}$-Gorenstein 曲面 $Y$ を考える。$Y$ 上の葉付き構造は、$X$ 上の対数葉付き構造に持ち上げられる。
• 主要定理: 例外成分に沿った例外対数留数のベクトル（$I$）は、例外交差行列（$M$）の逆行列を掛けることで、対数不一致ベクトル（$b = a+1$）を復元する：
  $$b = -M^{-1} I$$
• 含意: これは、対数正規性に対する動的かつ葉付き構造に基づくテストを提供する。特異点が対数正規であるための必要十分条件は、ベクトル $-M^{-1}I$ の成分がすべて非負であることである。

4. 主要結果の要約

1. 局所表現: 対数留数 $\widehat{\text{Res}}^{\log}$ と変分 $\text{Var}$ に対する明示的なグロタンディーク留数公式が、除数に制限されたベクトル場のヤコビ行列と対数微分 $v(f)/f$ を用いて導出された。
2. 大域恒等式: 局所過剰留数の和は、通常の法層と対数法層のチャーン類の差の積分に等しい。
3. ポアンカレ上限: 総対数留数の非負性は、$\mathbb{P}^n$ 内の不変超曲面に対して $m \leq d+n$ という上限を意味する。
4. 特異点の検出: 曲面特異点の場合、持ち上げられた葉付き構造の留数ベクトルは対数不一致を符号化しており、持ち上げられた葉付き構造の力学のみを通じて特異点が対数正規かどうかを決定することができる。

5. 意義

• 統合: 本論文は、古典的な Baum–Bott 理論、対数留数理論、および代数多様体の特異点の研究を統合する。
• 新たな不変量: 単なる接条件を超えて、葉付き構造と除数の相互作用を研究するための新たなツールとして「過剰」留数を導入する。
• アルゴリズム的潜在性: 第 8 節の結果は、持ち上げられた葉付き構造の局所的な振る舞いを解析することによって対数不一致を計算（したがって対数正規性をテストする）するための潜在的なアルゴリズム的手法を提供し、複素力学と双有理幾何学を架橋する。
• ポアンカレ問題の精緻化: 次数の上限を局所対数不変量の positivity に直接結びつけることで、ポアンカレ問題の理解を精緻化し、従来の大域的上限よりも微妙な条件を提供する。

結論として、この研究は、除数の存在が葉付き構造のトポロジカル不変量をどのように修正するかを理解するための厳密な解析的枠組みを提供し、不変超曲面の上限付けから曲面特異点の性質の記述まで、広範で強力な応用をもたらす。