On a generalization of MacPherson's Chern homology class. III (Q1185139): Difference between revisions

[For part I and II see ibid. 65, No. 7, 242-244 (1989; Zbl 0728.14015) and 66, No. 6, 153-156 (1990; Zbl 0762.14014).] Let \({\mathcal V}\) be the category of compact complex algebraic varieties and \({\mathcal A}\) the category of abelian groups. Let \(F\) be the covariant functor from \({\mathcal V}\) to \({\mathcal A}\) whose value on a variety \(X\) is the abelian group of constructible functions from \(X\) to \(\mathbb{Z}\). One denotes by \(C_ *\) the natural transformation from \(F\) to \(H_ *(-,\mathbb{Z})\) which was defined by \textit{R. D. MacPherson} [Ann. Math., II Ser. 100, 423-432 (1974; Zbl 0311.14001)]. One denotes by \(C_{*i}\): \(F\to H_{2i}(-,\mathbb{Z})\) the composite of \(C_ *\) and the natural transformation from \(H_ *(-,\mathbb{Z})\) to \(H_{2i}(-,\mathbb{Z})\) defined by picking up the \(2i\)-dimensional component of the total homological class. The author announces: Theorem. Let \(\{cl^{(n)}\}_{n\geq 0}\) be a sequence of degree \(n\) characteristic classes. A necessary and sufficient condition for that \(\tau:F\to H_ *(-,\mathbb{Z})\) is a natural transformation satisfying \[ \tau(V)(1_ V)=cl^{\dim(V)}(V)\cap[V] \] for any compact complex smooth variety \(V\) is that there exists a sequence of integers \(\{m_ i\}_{i\geq 0}\) such that \(\tau=\sum_{i\geq 0}m_ iC_{*i}\). Proposition. Let \(\tau:F\to H_ *(-,\mathbb{Z})\) be a natural transformation. Then: (i) There exists a unique integer \(m_ 0\) such that, for any compact complex variety \(X\) in \({\mathcal V}\), \((\tau(X)(1_ X))_ 0=m_ 0C_{*0}(X)(1_ X)=m_ 0\chi(X)\). (ii) There exists a unique integer \(m_ n\) such that, for any compact complex smooth variety \(V\) of each dimension \(n\), \((\tau(V)(1_ V)_{2n}=m_ nC_{*n}(V)(1_ V)=m_ n[V]\), where \((-)_ i\) means the \(i\)-dimensional component of the total homology class. The proofs of these results will appear somewhere else.