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.
Smith (1939, remark after theorem 4) showed that a non-trivial orientation-preserving diffeomorphism of finite order must have fixed point set equal to a circle, and asked in (Eilenberg 1949, Problem 36) if the fixed point set can be knotted. Waldhausen (1969) 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 Morgan & Bass (1984) 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 Hyman Bass, Cameron Gordon, Shalen, and Litherland.
Montgomery & Zippen (1954) 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. Giffen (1966) 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.
Read more about Smith Conjecture: See Also
Famous quotes containing the words smith and/or conjecture:
“We grow with years more fragile in body, but morally stouter, and can throw off the chill of a bad conscience almost at once.”
—Logan Pearsall Smith (1865–1946)
“What these perplexities of my uncle Toby were,—’tis impossible for you to guess;Mif you could,—I should blush ... as an author; inasmuch as I set no small store by myself upon this very account, that my reader has never yet been able to guess at any thing. And ... if I thought you was able to form the least ... conjecture to yourself, of what was to come in the next page,—I would tear it out of my book.”
—Laurence Sterne (1713–1768)