Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter April 14, 2010

Stably diffeomorphic manifolds and l2q+1(ℤ[π])

  • Diarmuid Crowley EMAIL logo and Jörg Sixt
From the journal


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

Here sbIso(υ, υ′) denotes the set of “stable boundary isomorphisms” between the algebraic boundaries of υ and υ′. As a consequence we deduce new classification results for stably diffeomorphic manifolds.

Received: 2008-10-17
Revised: 2009-06-15
Published Online: 2010-04-14
Published in Print: 2011-May

© de Gruyter 2011

Downloaded on 3.6.2023 from
Scroll to top button