The monoid structure on homotopy obstructions (Q2330436)

Let $A$ be a commutative noetherian ring of dimension $d$, containing a field $k$ such that $1/2\in k$ and $P$ a projective $A$-module of rank $n$. Let $\mathcal{L}O(P)$ denote the set of all pairs $(I,\omega)$, where $I$ is an ideal of $A$ and $\omega: P \twoheadrightarrow I/I^2$ is a surjective map. Let $\pi_0(\mathcal{L}O(P))$ denote a set of some homotopy equivalent classes (see the paper for the definition). The authors prove that if $A$ is regular and $2n\geq d+2$, then $\pi_0(\mathcal{L}O(P))$ has a natural structure of abelian monoid. Further assuming $P\cong Q\oplus A$, they prove that $\pi_0(\mathcal{L}O(P))$ is a group. They also defined a Euler class group $E(P)$. If $A$ is regular, $2n\geq d+2$ and $P\cong Q\oplus A$, then they show that there is a natural surjective homomorphism \[ \phi: E(P) \twoheadrightarrow \pi_0(\mathcal{L}O(P)). \] They also investigate when $\phi$ is an isomorphism.