Characteristic cycles and the conductor of direct image
Characteristic cycles and the conductor of direct image
复制标题
DOI：
10.1090/jams/959
复制
发表时间：
2017-04
期刊：
影响因子：
--
通讯作者：
Takeshi Saito
中科院分区：
文献类型：
--
作者：
Takeshi Saito
我们证明了完备域上光滑投射概型的态射对可构造复形的特征环的正确推进的函子性，假设奇异支撑的直像的维数至多为态射的目标的维数.函子性是从一个导体公式推导出来的，它是曲线态射的一个特例。常系数情况下的导体公式给出了布洛赫公式的几何情形。
We prove the functoriality for proper push-forward of the characteristic cycles of constructible complexes by morphisms of smooth projective schemes over a perfect field, under the assumption that the direct image of the singular support has the dimension at most that of the target of the morphism. The functoriality is deduced from a conductor formula which is a special case for morphisms to curves. The conductor formula in the constant coefficient case gives the geometric case of a formula conjectured by Bloch.