Obstruction theory in algebra and topology. (English) Zbl 1171.13008
Let \(X=\text{Spec}\;A\) be a smooth affine variety over the reals with \(\dim X\geq 2\). Let \(M\) be the underlying real manifold of real points of \(X\) and assume that \(M\) is non-empty. Further assume that the module of \(n\)-forms over \(X\) is a free module of rank one (which in this paper is referred to as \(X\) being oriented). As usual, let \(\mathbb{R}(X)=S^{-1}A\) where \(S\) is the set of elements of \(A\) not vanishing at any point of \(M\). The authors define a natural isomorphism \(\zeta: E(\mathbb{R}(X),\mathbb{R}(X))\to \mathrm{H}^n(M,\mathbb{Z})\) where \(E\) denotes the Euler class group.
Reviewer: N. Mohan Kumar (St. Louis)
MSC:
13C10 | Projective and free modules and ideals in commutative rings |
55S35 | Obstruction theory in algebraic topology |