Total curvature for knotted surfaces
type: Item
instance of: scholarly article
title: Total curvature for knotted surfaces
zbMATH Open document ID: 0553.53034
DOI: 10.1007/BF01389134
author: Nicolaas H. Kuiper
author: William H. III Meeks
published in: Inventiones Mathematicae
publication date: 1984-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/143137
review text: 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 \textit{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\).
Mathematics Subject Classification ID: 53C42
Mathematics Subject Classification ID: 53A07
Mathematics Subject Classification ID: 57M25
Mathematics Subject Classification ID: 57Q45
zbMATH DE Number: 3881436
zbMATH Keywords: knotted surfaces
zbMATH Keywords: total absolute curvature
zbMATH Keywords: first homotopy
zbMATH Keywords: isotopy tightness
zbMATH Keywords: isotopy tight surfaces
reviewed by: Wolfgang Kühnel
MaRDI profile type: Publication
cites work: On the Total Curvature of Immersed Manifolds
cites work: Q5331777
cites work: Sur la courbure totale d'une courbe gauche faisant un nœud
cites work: Q5565773
cites work: On the total curvature of some tame knots
cites work: A quick trip through knot theory
cites work: Convex immersions of closed surfaces in \(E^3\). Non-orientable closed surfaces in \(E^3\) with minimal total absolute Gauss-curvature
cites work: Q5619483
cites work: Stable surfaces in Euclidean three space.
cites work: Polynomial equations for tight surfaces
cites work: On curvature integrals and knots
cites work: The topological uniqueness of minimal surfaces in three dimensional euclidean space
cites work: On the total curvature of knots
cites work: On total curvatures of closed space curves
cites work: Morse Theory. (AM-51)
cites work: The existence of polar non-degenerate functions on differentiable manifolds
cites work: On Dehn's lemma and the asphericity of knots
cites work: On Solid Tori
cites work: Q4107635
cites work: Über eine numerische Knoteninvariante
cites work: Heegaard-Zerlegungen der 3-Sphäre
cites work: Q3966739
cites work: The Total Absolute Curvature of An Immersed Manifold
cites work: Totale Absolutkrümmung von Hyperflächen
description: scientific article; zbMATH DE number 3881436