Log Baum--Bott Residues for foliations by curves

技術要約：曲線の葉層における対数ボーム・ボット・レジデュー（残差）

問題提起
本論文は、多様体の特性数と正則葉層の特異点のレジデュー（残差）を関連付ける古典的なボーム・ボット理論を、対数幾何学の設定へと拡張することを目的としている。具体的には、複素多様体 $X$ 上の自由因子（free divisor）$D$ に沿って対数的である一次元正則葉層（曲線による葉層）を調査する。中心となる問題は、因子 $D$ 上に位置する特異点に対して「対数ボーム・ボット・レジデュー」を定義し、これらの対数指数を含む大域的な残差公式を確立することである。さらに、本研究は、対数分解を用いて特異多様体へ適用し、ザリスキー・リプマン予想やポアンカレの問題への示唆を探求することを目指している。

手法
著者らは、局所代数幾何学、層理論、および大域的位相幾何学の手法を組み合わせて用いている：

1. 対数ベクトル場とフレーム： 本研究では、対数ベクトル場の層 $TX(-\log D)$ を利用する。$D$ に沿って対数的な葉層 $\mathcal{F}$ に対して、その局所的な代表元は、この層の切断となる。著者らは、局所的な対数ベクトル場 $\vartheta$ に付随する特定の行列 $M_{\log}(\vartheta)$ を、$TX(-\log D)$ の局所的なフレームとフレームのリー括弧構造を用いて構成する。
2. レジデュー（残差）の定義： グロタンディーク・レジデューを一般化し、次数 $n$ の同次対称多項式 $\varphi$ に対する対数ボーム・ボット・レジデュー $\text{Res}^{\log}_{\varphi}(\mathcal{F}, D, p)$ を定義する。これは、ベクトル場の局所座標に関する $\varphi(M_{\log}(\vartheta))$ のグロタンディーク・レジデューを通じて定義される。
3. コホモロジーの枠組み： 証明は、相対的なチェッホ・ド・ラム・コホモロジーおよびアレクサンダー双対性に依拠している。特異集合の特定の被覆を構築し、葉層の法束（normal bundle）に対する、対数接束に関するボットの消滅定理を利用することで、著者らは大域的な特性類と局所的なレジデューを関連付けている。
4. 特異点分解： 特異多様体を扱うために、著者らは関手的対数分解 $\pi: (X, D) \to (Y, \emptyset)$ を利用する。葉層を分解へと持ち上げ、滑らかな多様体 $X$ 上の対数ボーム・ボット定理を適用することで、特異多様体 $Y$ のための公式を導出する。
5. 指数の比較： 著者らは、新しい対数レジデューと、既存の指数（アレクサンドロフ対数指数、GSV指数（Gómez-Mont, Seade, Verjovsky）、およびカマチョ・サド指数）との間の関係を、特に曲面において確立している。

主要な貢献と結果

• 対数ボーム・ボット定理 (Theorem 1.2): 主要な結果は、自由因子 $D$ に沿って対数的な一次元正則葉層 $\mathcal{F}$ を持つコンパクト複素多様体 $X$ に対する残差公式である。次数 $n = \dim X$ の同次対称多項式 $\varphi$ に対して：
  $$\int_X \varphi(TX(-\log D) - T\mathcal{F}) = \sum_{S_\lambda \not\subset D} BB_\varphi(\mathcal-F, S_\lambda) + \sum_{S_\lambda \subset D} \text{Res}^{\log}_\varphi(\mathcal{F}, D, S_\lambda)$$
  ここで、和は特異集合の連結成分にわたって取られる。これは、古典的な定理を対数的な設定および非コンパクトな $\partial$-多様体へと一般化したものである。

• アレクサンドロフ指数の一般化： 自由因子上の孤立特異点に対して、対数ボーム・ボット・レジデューがアレクサンドロフ対数指数を一般化することを著者らは示している。具体的には、$\varphi = \det$ のとき、レジデューは対数指数 $\text{Log}(\mathcal{F}, D, p)$ と一致する。

• 曲面における関係 (Corollary 1.6): コンパクト複素曲面上の葉層について、古典的なボーム・ボット指数と、不変曲線 $D$ に沿った対数ボーム・ボット指数の差は、GSV指数とカマチョ・サド（CS）指数を用いて明示的に表現される：
  $$BB_{c_1^2}(\mathcal{F}, D) - \text{Res}^{\log}_{c_1^2}(\mathcal{F}, D) = 2\text{GSV}(\mathcal{F}, D) + \text{CS}(\mathcal{F}, D)$$
  論文では、もし $\mathcal{F}$ が $D$ に沿って「一般化された曲線（generalized curve）」（分解においてサドル・ノードを持たない）である場合、対数レジデューは消滅することが記されている。

• ポアンカレの問題への適用 (Corollary 1.5): 著者らは、$\mathbb{P}^n$（$n$ が奇数の場合）におけるポアンカレの問題に対する新しい障害を導出している。もしある葉層が不変自由因子 $D$ を持ち、対数レジデューの和が非負であるならば、$\deg(D) \leq \deg(\mathcal-F) + n$ である。

• 特異多様体と対数分解 (Corollary 1.7): 特異正規多様体に対して、対数分解を通じたボーム・ボット型の公式が得られる。特異多様体の大域的な特性数は、正則部分上の古典的なボーム・ボット・レジデューと、例外因子上の対数レジデューの和として表現される。

• ザリスキー・リプマン予想とサドル・ノード (Corollary 1.9): 本論文は、コンパクト代数曲面に対するザリスキー・リプマン予想の弱い大域的バージョンを証明している。これは「葉層化された滑らかさの判定基準」を確立するものである。もし $Y$ が局所自由な接層を持ち、ねじれたベクトル場によって誘導される葉層（その特異点が $\text{Sing}(Y)$ のみに存在する）を持つコンパクト解析曲面である場合、もしその葉層が「一般化された曲線」であれば、$Y$ は滑らかでなければならない。逆に、$Y$ が特異であるならば、そのような葉層の特異点分解は必然的に少なくとも一つのサドル・ノードを示す必要がある。これは、ザリスキー・リプマン条件の力学的な現れを示唆している。

• 構成可能関数 (Section 6): 著者らは、対数レジデューを自然なレジデュー値を持つ構成可能関数として整理している。これにより、整数倍率を持つ特性サイクルに基づく純粋な交差理論的アプローチでは失われてしまう、複雑な値を持つ不変量（カマチョ・サド指数など）を捉える枠組みを提供している。

意義と主張
本論文は、自由因子上の葉層を研究するための統一された枠組みを提供し、局所的な対数指数と大域的な位相不変量の間の溝を埋めるものである。ボーム・ボット定理を対数的な設定および特異多様体へと拡張することにより、著者らは、孤立完全交差特異点（ICIS）よりも一般的な特異点を含めることを可能にしている。

本研究の意義は以下の点にある：

1. 一般化： ボーム・ボット定理を対数的な文脈および特異多様体へと拡張し、孤立完全交差特異点（ICIS）よりも一般的な特異点を含めることを可能にした。
2. 統一： 様々な指数（アレクサンドロフ、GSV、カマチョ・サド、ボーム・ボット）を単一のレジデュー形式を通じて結びつけた。
3. 力学的制約： 局所自由な接層という代数的条件と、特異点分解におけるサドル・ノードの力学的な必然性を結びつけることで、ザリスキー・リプマン予想に新しい視点を与えた。
4. 障害： 多項式微分方程式の代数解の存在（ポアンカレの問題）に対する、新たな定量的障害（対数レジデューを介して）を提示した。

著者らは、ザリスキー・リプマンの結果については、謙虚なトーンを維持しており、それを全般的な予想の完全な証明ではなく、特異な設定におけるサドル・ノードの出現を強調する「弱い大域的バージョン」および「葉層化された滑らかさの判定基準」として位置づけている。