higher-dimensional smooth s-cobordism theorem

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo manifolds of dimension at least 5
gptkbp:compatibleWith dimension 4
dimension 3
gptkbp:concerns gptkb:s-cobordism
gptkbp:field gptkb:topology
differential topology
gptkbp:generalizes gptkb:h-cobordism_theorem
https://www.w3.org/2000/01/rdf-schema#label higher-dimensional smooth s-cobordism theorem
gptkbp:involves gptkb:Whitehead_torsion
gptkbp:provenBy gptkb:Stephen_Smale
gptkbp:relatedTo gptkb:Whitehead_group
surgery theory
classification of high-dimensional manifolds
gptkbp:state an h-cobordism between simply-connected smooth manifolds of dimension at least 5 is trivial if and only if the Whitehead torsion vanishes
gptkbp:yearProved 1960s
gptkbp:bfsParent gptkb:The_smooth_4-dimensional_s-cobordism_theorem
gptkbp:bfsLayer 7