Smith gissningar

Inom matematiken säger Smiths gissning att om f är en diffeomorfism av 3-sfären av ändlig ordning , då kan fixpunktsuppsättningen av f inte vara en icke-trivial knut .

Paul A. Smith ( 1939 , anmärkning efter sats 4) visade att en icke-trivial orienteringsbevarande diffeomorfism av finit ordning med fixpunkter måste ha en fixpunkt som är lika med en cirkel, och frågade i ( Eilenberg 1949 , Uppgift 36) om fixpunktsuppsättningen kunde knytas. Friedhelm Waldhausen ( 1969 ) bevisade Smiths gissning för det speciella fallet med diffeomorfismer av ordning 2 (och därmed vilken som helst jämn ordning). Beviset för det allmänna fallet beskrevs av John Morgan och Hyman Bass ( 1984 ) och berodde på flera stora framsteg inom 3-manifold -teorin, i synnerhet William Thurstons arbete om hyperboliska strukturer på 3-manifold, och resultat av William Meeks och Shing-Tung Yau minimala ytor i 3-grenrör, med lite extra hjälp från Bass, Cameron Gordon , Peter Shalen och Rick Litherland.

Deane Montgomery och Leo Zippin ( 1954 ) gav ett exempel på en kontinuerlig involution av 3-sfären vars fixpunktsuppsättning är en vilt inbäddad cirkel, så Smith-förmodan är falsk i den topologiska (snarare än den jämna eller PL) kategorin. Charles Giffen ( 1966 ) visade att analogen till Smiths gissning i högre dimensioner är falsk: fixpunktsuppsättningen av en periodisk diffeomorfism av en sfär med dimensionen minst 4 kan vara en knuten sfär av kodimension 2.

Se även