[論文レビュー] Chern Classes Of Logarithmic Vector Fields For Locally-Homogenous Free Divisors

Xia Liao|arXiv (Cornell University)|May 17, 2012

Algebraic Geometry and Number Theory参考文献 13被引用数 3

ひとこと要約

本稿では、局所的準同次的自由特異超曲面の補集合のチャーン＝シュワーツ＝マクファーソン類と、その対数的微分作用素層の全チャーン類との間の数的同値性を、射影空間への押し出しの後で確立している。リーマン・ロッホの定理と対数的比較定理を用いて、この関係が射影空間内のすべての局所的準同次的自由特異超曲面に対して成り立つことを証明しており、超平面配置に関する先行研究を一般化し、この設定における予想を裏付けるものである。

ABSTRACT

Let $X$ be a nonsingular complex projective variety and $D$ a locally quasi-homogeneous free divisor in $X$. In this paper we study a numerical relation between the Chern class of the sheaf of logarithmic derivations on $X$ with respect to $D$, and the Chern-Schwartz-MacPherson class of the complement of $D$ in $X$. Our result confirms a conjectural formula for these classes, at least after push-forward to projective space; it proves the full form of the conjecture for locally quasi-homogeneous free divisors in $\mathbb P^n$. The result generalizes several previously known results. For example, it recovers a formula of M. Mustata and H. Schenck for Chern classes for free hyperplane arrangements. Our main tools are Riemann-Roch and the logarithmic comparison theorem of Calderon-Moreno, Castro-Jimenez, Narvaez-Macarro, and David Mond. As a subproduct of the main argument, we also obtain a schematic Bertini statement for locally quasi-homogeneous divisors.

研究の動機と目的

• 特異超曲面の補集合のチャーン＝シュワーツ＝マクファーソン類と、その対数的微分作用素層の全チャーン類を結ぶ予想を解消すること。
• 射影空間への押し出しの後、この類の等式が数的に成立する明確な条件を同定すること。
• 自由な超平面配置や孤立した特異超曲面に関する既知の結果を、より広いクラスの特異超曲面へ一般化すること。
• 主な議論の副産物として、局所的準同次的特異超曲面に対するスケーマティック・バーティニ型定理を確立すること。

提案手法

• 対数的比較定理（LCT）を適用して、対数的微分作用素のチャーン類と補集合のCSM類の次数が等しいことを保証する。
• リーマン・ロッホを用いて、チャーン環における関連する類の次数を比較する。
• 超平面切断における対数的微分作用素と正規束および元の層との関係を示す完全系列を用い、帰納的削減を可能にする。
• 射影公式とチャーン類の恒等式を活用して、超平面切断上の類の押し出しを元の多様体上の類に結びつける。
• 環境射影多様体の次元に関する帰納法を用い、低次元の場合に結果が成り立つと仮定する。
• GAGAと解析幾何学を用いて、両方のカテゴリ（解析的および代数的）における連接層系列の完全性を保証する。

実験結果

リサーチクエスチョン

• RQ1 特異超曲面の補集合のチャーン＝シュワーツ＝マクファーソン類が、チャーン環においてその対数的微分作用素層の全チャーン類と等しくなる条件は何か？
• RQ2 チャーン環において、CSM類と対数的微分作用素のチャーン類を結ぶ予想の式は、射影空間内の局所的準同次的自由特異超曲面に対して成り立つか？
• RQ3 対数的比較定理を用いて、CSM類と対数的微分作用素のチャーン類の次数が等しくなることを示せるか？
• RQ4 一般の超平面による切断において、自由性と準同次性を保つスケーマティック・バーティニ型定理は存在するか？
• RQ5 対数的ベクトル場のチャーン類とCSM類は、超平面切断への制限においてどのように振る舞うか？

主な発見

• 任意の局所的準同次的自由特異超曲面 $ D $ に対して、非特異射影多様体 $ X \to \bb{P}^N $ 上で、$ c_{SM}(1_U) = c(\text{Der}_X(-\text{log } D)) \times [X] $ が、$ \bb{P}^N $ への押し出しの後で数的に成立する。
• $ X = \bb{P}^n $ の場合、チャーン環における完全な公式が成り立つため、この場合における予想が完全に裏付けられる。
• 対数的比較定理とリーマン・ロッホにより、CSM類と対数的微分作用素のチャーン類の次数が等しいことが示された。
• スケーマティック・バーティニ定理が証明された：一般の超平面による切断において、$ (X,D) $ の自由性と準同次性が保たれる。
• CSM類および対数的微分作用素のチャーン類の両方が、同じ射影公式とチャーン類の恒等式に従って超平面切断への制限を受ける。
• 帰納的証明の構造は、CSM類と対数的微分作用素のチャーン類が超平面切断への制限と整合的であることに依存しており、次元ごとの検証が可能になる。