Stably diffeomorphic manifolds and l 2q+1(ℤ[π])

The Kreck monoids l2q+1(ℤ[π]) detect s-cobordisms amongst certain bordisms between stably diffeomorphic 2q-dimensional manifolds and generalise the Wall surgery obstruction groups, . In this paper we identify l2q+1(ℤ[π]) as the edge set of a directed graph with vertices a set of equivalence classes of quadratic forms on finitely generated free ℤ[π] modules. Our main theorem computes the set of edges l2q+1(υ, υ′) ⊂ l2q+1(ℤ[π]) between the classes of the forms υ and υ′ via an exact sequence