Talk:Whitehead torsion IV (Ex)
From Manifold Atlas
Revision as of 12:35, 29 March 2012 by Daniel Kasprowski (Talk | contribs)
Let a Morse function with . We define by .
For the Whitehead torsion of we have, using the quoted results of Milnor,
So on the boundary of we have for that . Since the odd-dimensional L-groups vanish for finite groups of odd order there is no obstruction to do surgeries in the interior of to turn it into an s-cobordism without changing the boundary. Thus and are s-cobordant.