An Entity of Type: WikicatTheoremsInTopology, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In mathematics, the Smith conjecture states that if f is a diffeomorphism of the 3-sphere of finite order, then the fixed point set of f cannot be a nontrivial knot. Paul A. Smith showed that a non-trivial orientation-preserving diffeomorphism of finite order with fixed points must have a fixed point set equal to a circle, and asked in if the fixed point set could be knotted. Friedhelm Waldhausen proved the Smith conjecture for the special case of diffeomorphisms of order 2 (and hence any even order). The proof of the general case was described by John Morgan and Hyman Bass and depended on several major advances in 3-manifold theory, In particular the work of William Thurston on hyperbolic structures on 3-manifolds, and results by William Mee

Property Value
dbo:abstract
  • In mathematics, the Smith conjecture states that if f is a diffeomorphism of the 3-sphere of finite order, then the fixed point set of f cannot be a nontrivial knot. Paul A. Smith showed that a non-trivial orientation-preserving diffeomorphism of finite order with fixed points must have a fixed point set equal to a circle, and asked in if the fixed point set could be knotted. Friedhelm Waldhausen proved the Smith conjecture for the special case of diffeomorphisms of order 2 (and hence any even order). The proof of the general case was described by John Morgan and Hyman Bass and depended on several major advances in 3-manifold theory, In particular the work of William Thurston on hyperbolic structures on 3-manifolds, and results by William Meeks and Shing-Tung Yau on minimal surfaces in 3-manifolds, with some additional help from Bass, Cameron Gordon, Peter Shalen, and Rick Litherland. Deane Montgomery and Leo Zippin gave an example of a continuous involution of the 3-sphere whose fixed point set is a wildly embedded circle, so the Smith conjecture is false in the topological (rather than the smooth or PL) category. Charles Giffen showed that the analogue of the Smith conjecture in higher dimensions is false: the fixed point set of a periodic diffeomorphism of a sphere of dimension at least 4 can be a knotted sphere of codimension 2. (en)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 4476828 (xsd:integer)
dbo:wikiPageLength
  • 4322 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1117894337 (xsd:integer)
dbo:wikiPageWikiLink
dbp:author1Link
  • John Morgan (en)
  • Deane Montgomery (en)
dbp:author2Link
  • Hyman Bass (en)
  • Leo Zippin (en)
dbp:authorlink
  • Friedhelm Waldhausen (en)
  • Paul Althaus Smith (en)
dbp:first
  • John (en)
  • Leo (en)
  • Hyman (en)
  • Deane (en)
  • Paul A. (en)
  • Friedhelm (en)
dbp:last
  • Bass (en)
  • Montgomery (en)
  • Morgan (en)
  • Smith (en)
  • Waldhausen (en)
  • Zippin (en)
dbp:loc
  • remark after theorem 4 (en)
dbp:wikiPageUsesTemplate
dbp:year
  • 1939 (xsd:integer)
  • 1954 (xsd:integer)
  • 1969 (xsd:integer)
  • 1984 (xsd:integer)
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • In mathematics, the Smith conjecture states that if f is a diffeomorphism of the 3-sphere of finite order, then the fixed point set of f cannot be a nontrivial knot. Paul A. Smith showed that a non-trivial orientation-preserving diffeomorphism of finite order with fixed points must have a fixed point set equal to a circle, and asked in if the fixed point set could be knotted. Friedhelm Waldhausen proved the Smith conjecture for the special case of diffeomorphisms of order 2 (and hence any even order). The proof of the general case was described by John Morgan and Hyman Bass and depended on several major advances in 3-manifold theory, In particular the work of William Thurston on hyperbolic structures on 3-manifolds, and results by William Mee (en)
rdfs:label
  • Smith conjecture (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License