×

Total curvature for knotted surfaces. (English) Zbl 0553.53034

This paper deals with the total absolute curvature \(\tau\) of submanifolds in the case that the submanifolds are knotted. Previous work by Fary, Milnor, Langevin, Morton and Wintgen is improved and generalized. The first theorem says that for any imbedding \(f: M^ n\to E^ N\), \(n=2\) or \(n\geq 4\), there holds the inequality \(\tau (f)\geq \beta (M)+4\sigma_ 1\) where \(\beta\) (M) is the sum of the Betti numbers with coefficients in \({\mathbb{Z}}_ 2\) and \(\sigma_ 1\) denotes the first homotopy excess. \(\sigma_ 1\) is zero if f is unknotted and it counts the number of necessary additional generators for the fundamental group of the complement (the sum of both if the complement is not connected). For \(n=1\) one has \(\tau \geq \beta +2\sigma_ 1\) and for \(n=3\) the weaker inequality by P. Wintgen [Beitr. Algebra Geom. 10, 87-96 (1980; Zbl 0472.53057)] could not be improved.
Then the notions of isotopy tightness and relative isotopy tightness are introduced. Isotopy tight means that \(\tau\) attains its minimal value in a given isotopy class, and the relative isotopy tightness is a ”local” version where only nearby imbeddings are considered. For surfaces of genus \(g\leq 2\) no isotopy tight imbeddings could be found but for any genus \(g\geq 3\) there are examples derived from a ”key example” of genus 3 with \(\tau =12\) and \(\sigma_ 1=1\). By considering a tubular neighbourhood of this key example the authors are able to construct a hypersurface with \(\beta =8\) and \(\tau =12\) where this total absolute curvature is minimal possible.
The last part of the paper deals with relatively isotopy tight surfaces. A complete classification of such RIT-surfaces up to genus two and \(\tau =10\) is made plausible and stated in a Pre-theorem. It says that there is one type for \(g=1\) and \(\tau =8\) and four types for \(g=2\) and \(\tau =10\).
Reviewer: W.Kühnel

MSC:

53C42 Differential geometry of immersions (minimal, prescribed curvature, tight, etc.)
53A07 Higher-dimensional and -codimensional surfaces in Euclidean and related \(n\)-spaces
57M25 Knots and links in the \(3\)-sphere (MSC2010)
57Q45 Knots and links in high dimensions (PL-topology) (MSC2010)

Citations:

Zbl 0472.53057
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Chern, S.S., Lashof, R.K.: On the total curvature of immersed manifolds, I, II. Amer. J. Math.79, 306-313 (1957); Mich. Math. J.5, 5-12 (1958) · Zbl 0078.13901
[2] Crowell, R.H., Fox, R.H.: Introduction to knot theory. Boston: Ginn and Company 1963 · Zbl 0126.39105
[3] Fary, I.: Sur la courbure totale d’une courbe gauche faisant un noeud. Bull. Soc. Math. France77, 128-138 (1949) · Zbl 0037.23604
[4] Federer, H.: Geometric measure theory. Berlin-Heidelberg-New York: Springer 1969 · Zbl 0176.00801
[5] Fenchel, W.: Über die Krümmung und Windung geschlossener Raumkurven. Math. Ann.101, 238-252 (1929) · JFM 55.0394.06
[6] Fox, R.H.: On the total curvature of some tame knots. Ann. Math.52, 258-261 (1950) · Zbl 0037.39001
[7] Fox, R.H.: A quick trip through knot theory, in Topology of 3-manifolds. Fort, M.K. (ed.), pp. 120-167. Proceedings of the 1961 Topology Institute. Prentice Hall Inc. 1962 · Zbl 1246.57002
[8] Fornari, S.: A bound for the total curvature of surfaces in ?3. Thesis IMPA, Rio de Janeiro 1982
[9] Hausmann, J.C. (ed.): Knot theory. Proc. Plans-sur-Bex (1977). Lecture Notes in Mathematics, vol. 685. Berlin-Heidelberg-New York: Springer 1977
[10] Kuiper, N.H.: Convex immersions of closed surfaces inE 3. Comm. Math. Helv.35, 85-92 (1961) · Zbl 0243.53043
[11] Kuiper, N.H.: Morse relations for curvature and tightness. Proc. Liverpool Singularities Symposium II. Lecture Notes in Mathematics vol. 209, pp. 77-89. Berlin-Heidelberg-New York: Springer 1971 · Zbl 0216.18802
[12] Kuiper, N.H.: Stable surfaces in euclidean three space. Math. Scand.36, 83-96 (1975) · Zbl 0298.57017
[13] Kuiper, N.H.: Tight imbeddings and maps. The Chern Symposium 1979. Berlin-Heidelberg-New York: Springer 1980, pp. 97-145
[14] Kuiper, N.H.: Polynomial equations for tight surfaces. Geometriae Dedicata15, 107-113 (1983) · Zbl 0534.53050
[15] Langevin, R., Rosenberg, H.: On curvature integrals and knots. Topology15, 405-416 (1976) · Zbl 0341.53037
[16] Langevin, R.: Plongements noués, plongements tendus. Segundo Encontro Brasileiro de Topologia, Instituto de Matematica, USP., Sao Paulo, Brazil (1980) pp. 33-45
[17] Meeks, W.H., III: The topological uniqueness of minimal surfaces in three dimensional euclidean space. Topology20, 389-411 (1981) · Zbl 0458.53003
[18] Milnor, J.W.: On the total curvature of knots. Ann. Math.52, 248-257 (1950) · Zbl 0037.38904
[19] Milnor, J.W.: On the total curvature of closed space curves. Math. Scand.1, 289-296 (1953) · Zbl 0052.38402
[20] Milnor, J.W.: Morse theory. Ann. Math. Stud. 51, Princeton, N.J. 1963 · Zbl 0108.10401
[21] Morse, M.: The existence of polar non-degenerate differentiable manifolds. Ann. Math.71, 352-383 (1960) · Zbl 0096.03604
[22] Morton, H.R.: A criterion for an embedded surface to be knotted. Lecture Notes in Mathematics, vol. 722, pp. 92-98. Berlin-Heidelberg-New York: Springer (1977)
[23] Papakyriakopoulous, C.D.: On Dehn’s lemma and the asphericity of knots. Ann. Math.66, 1-26 (1957) · Zbl 0078.16402
[24] Papakyriakopoulous, C.D.: On solid tori. Proc. London Math. Soc.7, 281-299 (1957) · Zbl 0078.16305
[25] Rolfsen, D.: Knots and links. Math. Lecture Series 7, Publish or Perish (1976) · Zbl 0339.55004
[26] Schubert, H.: Über eine numerische Knoteninvariante. Math. Z.61, 245-288 (1954) · Zbl 0058.17403
[27] Waldhausen, F.: Heegaard-Zerlegungen der 3-Sphäre. Topology7, 195-203 (1968) · Zbl 0157.54501
[28] Willmore, T.J.: Total curvature in Riemannian geometry. Ellis Horwood Limited, Chichester, England (1982) · Zbl 0501.53038
[29] Wilson, J.P.: The total absolute curvature of immersed manifolds. J. London Math. Soc.40, 362-366 (1966) · Zbl 0149.18603
[30] Wintgen, P.: Totale Absolutkrümmung von Hyperflächen. Beiträge zur Algebra und Geometrie10, 87-96 (1980) · Zbl 0472.53057
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.