Talk:Whitehead torsion IV (Ex)
From Manifold Atlas
Revision as of 15:04, 1 April 2012 by Diarmuid Crowley (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.