Hirzebruch-Milnor classes of complete intersections

DOI10.1016/J.AIM.2013.04.001MaRDI QIDQ391002zbMATH OpenOpenAlexFDO

Authors Morihiko Saito, Jörg Schürmann, Laurentiu Maxim

Publication date 9 January 2014

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1205.6447

characteristic classes complete intersection Milnor classes mixed Hodge modules singularities

Singularities in algebraic geometry (14B05) Transcendental methods, Hodge theory (algebro-geometric aspects) (14C30) Singularities of surfaces or higher-dimensional varieties (14J17) Complete intersections (14M10) Global theory of complex singularities; cohomological properties (32S20) Deformations of complex singularities; vanishing cycles (32S30) Mixed Hodge theory of singular varieties (complex-analytic aspects) (32S35) Monodromy; relations with differential equations and (D)-modules (complex-analytic aspects) (32S40) Milnor fibration; relations with knot theory (32S55)

Abstract: We prove a new formula for the Hirzebruch-Milnor classes of global complete intersections with arbitrary singularities describing the difference between the Hirzebruch classes and the virtual ones. This generalizes a formula for the Chern-Milnor classes in the hypersurface case that was conjectured by S. Yokura and was proved by A. Parusinski and P. Pragacz. It also generalizes a formula of J. Seade and T. Suwa for the Chern-Milnor classes of complete intersections with isolated singularities.

Review text

The classical Milnor number of a complex hypersurface with an isolated singularity was generalized to the Milnor class for nonisolated singularities. It is a homology class which measures the difference of the Chern-Schwartz-MacPherson class and the Fulton class [\textit{A. Parusiński} and \textit{P. Pragacz}, J. Algebr. Geom. 10, No. 1, 63--79 (2001; Zbl 1072.14505)]. The authors show that the Milnor class admits an analogue (extension) when one replaces Chern classes by Hirzebruch classes \(T_{y*}\), also in the case of global complete intersections. Let \(Y\) be a smooth complex algebraic variety with a very ample line bundle \(L\) and let \(X\subset Y\) be a global complete intersection given by the common zeros of sections \(s_i\in H^0(Y,L^{\otimes a_i})\), \(i=1,2,\dots ,r\). The Milnor-Hirzebruch class \(M_y(X)\) is the difference between the actual value of \(T_{y*}(X)\) and the expected value \(T_{y*}^{\mathrm{vir}}(X)\in H_*(X)\). It is supported by the singularity set \(\Sigma\subset X\). An inductive description of that class is given in terms of the generic sections of \(L^{\otimes a_i}\) and the vanishing cycle operation. In fact \(M_y(X)\) is the Hirzebruch class of a mixed Hodge module \({\mathcal M}_y(X)\). In the case of a hypersurface, i.e. \(r=1\), the formula reduces to \(M_y=T_{y*}((i_{\Sigma\setminus X',\Sigma})_!\phi_f{\mathbb Q}_Y)\), where \(X'=\{f=0\}\) is the hypersurface defined by a generic deformation of \(s_1\), \({\mathbb Q}_Y\) is the constant mixed Hodge module on \(Y\), \(\phi_f\) is the vanishing cycle functor and \(i_{\Sigma\setminus X',\Sigma}:{\Sigma\setminus X'\to \Sigma}\) is the inclusion. For \(r>1\) the formula generalizes the result of \textit{J. Seade} and \textit{T. Suwa} [Int. J. Math. 9, No. 6, 759--768 (1998; Zbl 0918.32019)] for the Chern-Milnor classes of complete intersections with isolated singularities.

Recommendations

Cites work

Cited in

(40)

This page was built for publication: Hirzebruch-Milnor classes of complete intersections

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q391002)