[论文解读] Characteristic classes of mixed Hodge modules

Joerg Schuermann|arXiv (Cornell University)|Jul 3, 2009

Algebraic Geometry and Number Theory参考文献 60被引用 18

一句话总结

本文基於Saito的理論，提出了一套K-理論框架，用於混合霍奇模的示性類，透過扭曲Todd類變換統一了動機性陳類與赫茲布魯赫類。該框架建立了函子性、對偶性與專化性質，並表明動機性赫茲布魯赫類變換在 y = -1、0 和 1 時分別統一了陳類、Todd類與L-類變換。

ABSTRACT

This paper gives an introduction and overview about recent developments on the interaction of the theories of characteristic classes and mixed Hodge theory for singular spaces in the complex algebraic context. It uses M. Saito's deep theory of mixed Hodge modules as a "black box", thinking about them as "constructible or perverse sheaves of Hodge structures", having the same functorial calculus of Grothendieck functors. For the "constant Hodge sheaf", one gets the "motivic characteristic classes" of Brasselet-Schuermann-Yokura, whereas the classes of the "intersection homology Hodge sheaf" were studied by Cappell-Maxim-Shaneson. There are two versions of these characteristic classes. The K-theoretical classes capture information about the graded pieces of the filtered de Rham complex of the filtered D-module underlying a mixed Hodge module. Application of a suitable Todd class transformation then gives classes in homology. These classes are functorial for proper pushdown and exterior products, together with some other properties one would expect for a "good" theory of characteristic classes for singular spaces. For "admissible variation of mixed Hodge structures" they have an explicit classical description in terms of "logarithmic de Rham complexes". On a point space they correspond to a specialization of the Hodge polynomial of a mixed Hodge structure, which one gets by forgetting the weight filtration.

研究动机与目标

• 使用混合霍奇模發展奇異複代數簇的示性類函子理論。
• 基於Saito理論的K-理論框架，統一動機性陳類與赫茲布魯赫類變換。
• 建立示性類的專化性質，特別是在 y = -1 時，與經典不變量（如陳類）建立聯繫。
• 闡明為何僅 χ_y-虧格（不帶權 filtration）能推廣至奇異空間的示性類。
• 透過明確公式，將混合霍奇模的示性類與指標定理、示性數與橢圓虧格聯繫起來。

提出的方法

• 將 M. Saito 的混合霍奇模理論作為「黑箱」處理，將其視為具有格羅滕迪克函子性計算的Hodge結構的構造性或 perverse sheaves。
• 定義兩種示性類版本：基於扭曲Todd類變換 $td_{(1+y)}$ 的K-理論動機性陳類變換 $MHC_y$ 及其同調對應版本 $MHT_{y*}$。
• 應用扭曲陳特徵 $ch^{(1+y)}$ 來關聯 $MHC_y$ 與 $MHT_{y*}$，進而實現對經典不變量的專化。
• 使用動機性特徵類變換 $T_{y*} = MHT_{y*} \times \chi_{Hdg}$ 以證明其值落在 $H_*(Z) \otimes \mathbb{Q}[y^{\pm 1}]$，確保在 $y = -1$ 時的專化明確定義。
• 利用奇異點的解析與格羅滕迪克群 $M_0(Var/Z)$ 中的可加性，將證明簡化至光滑簇與線叢的情形。
• 應用歸一化條件：$T_{y*}([id_N]) = T_y^*(TN) \cap [N]$，且 $T_{-1*}([id_N]) = c^*(TN) \cap [N] = c_*(1_N)$，以驗證與已知不變量的一致性。

实验结果

研究问题

• RQ1 如何基於Saito的混合霍奇模理論系統性地構造混合霍奇模的示性類？
• RQ2 動機性陳類 $MHC_y$ 與動機性赫茲布魯赫類 $MHT_{y*}$ 之間的精確關係為何？它們如何統一經典示性類？
• RQ3 為何在將霍奇虧格推廣至奇異空間的示性類時，必須忽略權 filtration？
• RQ4 在何種條件下，$MHT_{y*}$ 在 $y = -1$ 時的專化存在？它與陳類有何關係？
• RQ5 在混合霍奇模的背景下，示性類在proper 推廣、外積與對偶性下表現為何？

主要发现

• 動機性赫茲布魯赫類變換 $MHT_{y*}$ 透過扭曲Todd類 $td_{(1+y)}$ 統一了陳類（$y = -1$）、Todd類（$y = 0$）與 $L$-類（$y = 1$）變換。
• K-理論動機性陳類 $MHC_y$ 捕捉了底層濾過D-模的濾過德拉姆複形之graded pieces的資訊。
• $MHT_{y*}([j_*\mathbb{V}])$ 在 $y = -1$ 時的專化存在，且等於 $c_*(rk(L) \cdot j_*1_M)$，其中 $rk(L)$ 為 $M$ 上局部系統 $L$ 的秩。
• $T_{y*} = MHT_{y*} \circ \chi_{Hdg}$ 的值落在 $H_*(Z) \otimes \mathbb{Q}[y^{\pm 1}]$，確保專化明確定義，且在 $y = -1$ 時與 $c_*$ 相容。
• 對於光滑簇 $N$，有 $T_{y*}([id_N]) = T_y^*(TN) \cap [N]$，且 $T_{-1*}([id_N]) = c_*(1_N)$，確認與經典示性類的一致性。
• $MHT_{y*}([j_*\mathbb{V}])$ 的表達式為 $ch^{(1+y)}(MHC_y(Rj_*L)) \cap MHT_{y*}([j_*\mathbb{Q}_M])$，顯示其在同調設定下的乘法性與函子性。