Nilpotent cone and bivariant theory (Q6076663)

The authors prove that the nilpotent cone is a rational homology manifold, in which the approach used was based on the bivariant theory founded by \textit{W. Fulton} and \textit{R. MacPherson} [Categorical framework for the study of singular spaces. Providence, RI: American Mathematical Society (AMS) (1981; Zbl 0467.55005)] and differently from the approach of Borho and MacPherson's demonstration in [\textit{W. Borho} and \textit{R. MacPherson}, Astérisque 101--102, 23--74 (1983; Zbl 0576.14046)]. In the context of this article, the fact the nilpotent cone is a rational homology manifold can be seen as an easy consequence of a characterization of homology manifolds. Furthermore, it wis deduced that the nilpotent cone \(\mathcal{N}\) is an \(A\)-homology manifold for every Noetherian commutative ring with identity \(A\) for which \(\delta\) is a unit. For instance, for the variety \(\mathcal{N}\) of nilpotent matrices in \(GL(n,\mathbb{C})\), we have \(\delta=n!\). Therefore, in this case, \(\mathcal{N}\) is also a \(\mathbb{Z}_h\)-homology manifold for every integer \(h\) relatively prime with \(n!\) in \(\mathbb{Z}\).