-
The Willmore problem for surfaces with symmetry
Authors:
Rob Kusner,
Ying Lü,
Peng Wang
Abstract:
The Willmore Problem seeks the surface in $\mathbb{S}^3\subset\mathbb{R}^4$ of a given topological type minimizing the squared-mean-curvature energy $W = \int |H_{\mathbb{R}^4}|^2 = area + \int |H_{\mathbb{S}^3}|^2$. The longstanding Willmore Conjecture that the Clifford torus minimizes $W$ among genus-$1$ surfaces is now a theorem of Marques and Neves [22], but the general conjecture \cite[12] th…
▽ More
The Willmore Problem seeks the surface in $\mathbb{S}^3\subset\mathbb{R}^4$ of a given topological type minimizing the squared-mean-curvature energy $W = \int |H_{\mathbb{R}^4}|^2 = area + \int |H_{\mathbb{S}^3}|^2$. The longstanding Willmore Conjecture that the Clifford torus minimizes $W$ among genus-$1$ surfaces is now a theorem of Marques and Neves [22], but the general conjecture \cite[12] that Lawson's [18] minimal surface $ξ_{g,1}\subset\mathbb{S}^3$ minimizes $W$ among surfaces of genus $g>1$ remains open. Here we prove this conjecture under the additional assumption that the competitor surfaces $M\subset\mathbb{S}^3$ share the ambient symmetries $\widehat{G}_{g,1}$ of $ξ_{g,1}$. In fact, we show each Lawson surface $ξ_{m,k}$ satisfies the analogous $W$-minimizing property under a smaller symmetry group $\widetilde{G}_{m,k}=\widehat{G}_{m,k}\cap SO(4)$. We also describe a genus 2 example where known methods do not ensure the existence of a $W$-minimizer among surfaces with its symmetry.
△ Less
Submitted 16 October, 2024;
originally announced October 2024.
-
Embedded minimal surfaces in $\mathbb{S}^3$ and $\mathbb{B}^3$ via equivariant eigenvalue optimization
Authors:
Mikhail Karpukhin,
Robert Kusner,
Peter McGrath,
Daniel Stern
Abstract:
In 1970, Lawson solved the topological realization problem for minimal surfaces in the sphere, showing that any closed orientable surface can be minimally embedded in $\mathbb{S}^3$. The analogous problem for surfaces with boundary was posed by Fraser and Li in 2014, and it has attracted much attention in recent years, stimulating the development of many new constructions for free boundary minimal…
▽ More
In 1970, Lawson solved the topological realization problem for minimal surfaces in the sphere, showing that any closed orientable surface can be minimally embedded in $\mathbb{S}^3$. The analogous problem for surfaces with boundary was posed by Fraser and Li in 2014, and it has attracted much attention in recent years, stimulating the development of many new constructions for free boundary minimal surfaces. In this paper, we resolve this problem by showing that any compact orientable surface with boundary can be embedded in $\mathbb{B}^3$ as a free boundary minimal surface with area below $2π$. Furthermore, we show that the number of minimal surfaces in $\mathbb{S}^3$ of prescribed topology and area below $8π$, and the number of free boundary minimal surfaces in $\mathbb{B}^3$ with prescribed topology and area below $2π$, grow at least linearly with the genus. This is achieved via a new method for producing minimal surfaces of prescribed topology in low-dimensional balls and spheres, based on the optimization of Laplace and Steklov eigenvalues in the presence of a discrete symmetry group.
As a key ingredient, we develop new techniques for proving the existence of maximizing metrics, which can be used to resolve the existence problem in many symmetric situations and provide at least partial existence results for classical eigenvalue optimization problems.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
Geometry of complete minimal surfaces at infinity and the Willmore index of their inversions
Authors:
Jonas Hirsch,
Rob Kusner,
Elena Mäder-Baumdicker
Abstract:
We study complete minimal surfaces in $\mathbb{R}^n$ with finite total curvature and embedded planar ends. After conformal compactification via inversion, these yield examples of surfaces stationary for the Willmore bending energy $\mathcal{W}: =\frac{1}{4} \int|\vec H|^2$. In codimension one, we prove that the $\mathcal{W}$-Morse index for any inverted minimal sphere or real projective plane with…
▽ More
We study complete minimal surfaces in $\mathbb{R}^n$ with finite total curvature and embedded planar ends. After conformal compactification via inversion, these yield examples of surfaces stationary for the Willmore bending energy $\mathcal{W}: =\frac{1}{4} \int|\vec H|^2$. In codimension one, we prove that the $\mathcal{W}$-Morse index for any inverted minimal sphere or real projective plane with $m$ such ends is exactly $m-3=\frac{\mathcal{W}}{4π}-3$. We also consider several geometric properties -- for example, the property that all $m$ asymptotic planes meet at a single point -- of these minimal surfaces and explore their relation to the $\mathcal{W}$-Morse index of their inverted surfaces.
△ Less
Submitted 1 July, 2024; v1 submitted 27 October, 2021;
originally announced October 2021.
-
On the Canham Problem: Bending Energy Minimizers for any Genus and Isoperimetric Ratio
Authors:
Robert Kusner,
Peter McGrath
Abstract:
Building on work of Mondino-Scharrer, we show that among closed, smoothly embedded surfaces in $\mathbb{R}^3$ of genus $g$ and given isoperimetric ratio $v$, there exists one with minimum bending energy $\mathcal{W}$. We do this by gluing $g+1$ small catenoidal bridges to the bigraph of a singular solution for the linearized Willmore equation $Δ(Δ+2)\varphi=0$ on the $(g+1)$-punctured sphere…
▽ More
Building on work of Mondino-Scharrer, we show that among closed, smoothly embedded surfaces in $\mathbb{R}^3$ of genus $g$ and given isoperimetric ratio $v$, there exists one with minimum bending energy $\mathcal{W}$. We do this by gluing $g+1$ small catenoidal bridges to the bigraph of a singular solution for the linearized Willmore equation $Δ(Δ+2)\varphi=0$ on the $(g+1)$-punctured sphere $\mathbb{S}^2$ to construct a comparison surface of genus $g$ with arbitrarily small isoperimetric ratio $v\in (0, 1)$ and $\mathcal{W} < 8π$.
△ Less
Submitted 20 April, 2021;
originally announced April 2021.
-
On the Willmore problem for surfaces with symmetry
Authors:
Rob Kusner,
Peng Wang
Abstract:
The Willmore Problem seeks the surface in $\mathbb S^3\subset\mathbb R^4$ of a given topological type minimizing the squared-mean-curvature energy $W = \int |\mathbf{H}_{\mathbb{R}^4}|^2 = \operatorname{area} + \int H_{\mathbb{S}^3}^2$. The longstanding Willmore Conjecture that the Clifford torus minimizes $W$ among genus-$1$ surfaces is now a theorem of Marques and Neves [19], but the general con…
▽ More
The Willmore Problem seeks the surface in $\mathbb S^3\subset\mathbb R^4$ of a given topological type minimizing the squared-mean-curvature energy $W = \int |\mathbf{H}_{\mathbb{R}^4}|^2 = \operatorname{area} + \int H_{\mathbb{S}^3}^2$. The longstanding Willmore Conjecture that the Clifford torus minimizes $W$ among genus-$1$ surfaces is now a theorem of Marques and Neves [19], but the general conjecture [10] that Lawson's [16] minimal surface $ξ_{g,1}\subset\mathbb S^3$ minimizes $W$ among surfaces of genus $g>1$ remains open. Here we prove this conjecture under the additional assumption that the competitor surfaces $M\subset\mathbb S^3$ share the ambient symmetries of $ξ_{g,1}$. Specifcally, we show each Lawson surface $ξ_{m,k}$ satisfies the analogous $W$-minimizing property under a somewhat smaller symmetry group ${G}_{m,k}<SO(4)$, using a local computation of the orbifold Euler number $χ_o(M/{G}_{m,k})$ to exclude certain intersection patterns of $M$ with the great circles fixed by generators of ${G}_{m,k}$. We also describe a genus 2 example where the Willmore Problem may not be solvable among surfaces with its symmetry.
△ Less
Submitted 20 October, 2021; v1 submitted 17 March, 2021;
originally announced March 2021.
-
On Steklov Eigenspaces for Free Boundary Minimal Surfaces in the Unit Ball
Authors:
Robert Kusner,
Peter McGrath
Abstract:
We develop new methods to compare the span $\mathcal{C}(Σ)$ of the coordinate functions on a free boundary minimal submanifold $Σ$ embedded in the unit $n$-ball $\mathbb{B}^n$ with its first Steklov eigenspace $\mathcal{E}_{σ_1}(Σ)$. Using these methods, we show that $\mathcal{C}(A)=\mathcal{E}_{σ_1}(A)$ for any embedded free boundary minimal annulus $A$ in $\mathbb{B}^3$ invariant under the antip…
▽ More
We develop new methods to compare the span $\mathcal{C}(Σ)$ of the coordinate functions on a free boundary minimal submanifold $Σ$ embedded in the unit $n$-ball $\mathbb{B}^n$ with its first Steklov eigenspace $\mathcal{E}_{σ_1}(Σ)$. Using these methods, we show that $\mathcal{C}(A)=\mathcal{E}_{σ_1}(A)$ for any embedded free boundary minimal annulus $A$ in $\mathbb{B}^3$ invariant under the antipodal map, and thus prove that $A$ is congruent to the critical catenoid. We also confirm that $\mathcal{C}=\mathcal{E}_{σ_1}$ for any free boundary minimal surface embedded in $\mathbb{B}^3$ with the symmetries of many known or expected examples, including: examples of any positive genus from stacking at least three disks; two infinite families of genus $0$ examples with dihedral symmetry, as well as a finite family with the various Platonic symmetries; and examples of any genus by desingularizing several disks that meet at equal angles along a diameter of the ball.
△ Less
Submitted 5 September, 2022; v1 submitted 13 November, 2020;
originally announced November 2020.
-
Chirality for crooked curves
Authors:
Giovanni Dietler,
Robert Kusner,
Wöden Kusner,
Eric Rawdon,
Piotr Szymczak
Abstract:
Chiral objects rotate when placed in a collimated flow or wind. We exploit this hydrodynamic intuition to construct a tensorial chirality measure for rigid filaments and curves. This tensor is trace-free, so if a curve has a right-handed twist about some axis, there is a perpendicular axis about which the twist is left-handed. Our measure places minimal requirements on the smoothness of the curve,…
▽ More
Chiral objects rotate when placed in a collimated flow or wind. We exploit this hydrodynamic intuition to construct a tensorial chirality measure for rigid filaments and curves. This tensor is trace-free, so if a curve has a right-handed twist about some axis, there is a perpendicular axis about which the twist is left-handed. Our measure places minimal requirements on the smoothness of the curve, hence it can be readily used to quantify chirality for biomolecules and polymers, polygonal and rectifiable curves, and other discrete geometrical structures.
△ Less
Submitted 21 April, 2020;
originally announced April 2020.
-
A Gordian Pair of Links
Authors:
Rob Kusner,
Wöden Kusner
Abstract:
We construct a pair of isotopic link configurations that are not thick isotopic while preserving total length.
We construct a pair of isotopic link configurations that are not thick isotopic while preserving total length.
△ Less
Submitted 13 August, 2019;
originally announced August 2019.
-
Numerical Methods for Biomembranes: conforming subdivision methods versus non-conforming PL methods
Authors:
Jingmin Chen,
Thomas Yu,
Patrick Brogan,
Robert Kusner,
Yilin Yang,
Andrew Zigerelli
Abstract:
The Canham-Helfrich-Evans models of biomembranes consist of a family of geometric constrained variational problems. In this article, we compare two classes of numerical methods for these variational problems based on piecewise linear (PL) and subdivision surfaces (SS). Since SS methods are based on spline approximation and can be viewed as higher order versions of PL methods, one may expect that t…
▽ More
The Canham-Helfrich-Evans models of biomembranes consist of a family of geometric constrained variational problems. In this article, we compare two classes of numerical methods for these variational problems based on piecewise linear (PL) and subdivision surfaces (SS). Since SS methods are based on spline approximation and can be viewed as higher order versions of PL methods, one may expect that the only difference between the two methods is in the accuracy order. In this paper, we prove that a numerical method based on minimizing any one of the `PL Willmore energies' proposed in the literature would fail to converge to a solution of the continuous problem, whereas a method based on minimization of the bona fide Willmore energy, well-defined for SS but not PL surfaces, succeeds. Motivated by this analysis, we propose also a regularization method for the PL method based on techniques from conformal geometry. We address a number of implementation issues crucial for the efficiency of our solver. A software package called Wmincon accompanies this article, provides parallel implementations of all the relevant geometric functionals. When combined with a standard constrained optimization solver, the geometric variational problems can then be solved numerically. To this end, we realize that some of the available optimization algorithms/solvers are capable of preserving symmetry, while others manage to break symmetry; we explore the consequences of this observation.
△ Less
Submitted 27 March, 2020; v1 submitted 28 January, 2019;
originally announced January 2019.
-
On the index of minimal 2-tori in the 4-sphere
Authors:
Rob Kusner,
Peng Wang
Abstract:
In this note we prove that any minimal $2$-torus in $S^4$ has Morse index at least $6$, with equality if and only if it is congruent to the Clifford torus in some great $S^3\subset S^4$.For a minimal $2$-torus in $S^n$ with vanishing Hopf differential, we show that its index is at least $n+3$, and that this estimate is sharp: the equilateral $2$-torus fully embedded in $S^5\subset S^n$ as a homoge…
▽ More
In this note we prove that any minimal $2$-torus in $S^4$ has Morse index at least $6$, with equality if and only if it is congruent to the Clifford torus in some great $S^3\subset S^4$.For a minimal $2$-torus in $S^n$ with vanishing Hopf differential, we show that its index is at least $n+3$, and that this estimate is sharp: the equilateral $2$-torus fully embedded in $S^5\subset S^n$ as a homogeneous minimal surface in $S^n$ has index exactly $n+3$.
△ Less
Submitted 16 May, 2024; v1 submitted 5 March, 2018;
originally announced March 2018.
-
Topological colloids
Authors:
Bohdan Senyuk,
Qingkun Liu,
Sailing He,
Randall D. Kamien,
Robert B. Kusner,
Tom C. Lubensky,
Ivan I. Smalyukh
Abstract:
Abundant in nature, colloids also find increasingly important applications in science and technology, ranging from direct probing of kinetics in crystals and glasses to fabrication of third-generation quantum-dot solar cells. Because naturally occurring colloids have a shape that is typically determined by minimization of interfacial tension (for example, during phase separation) or faceted crysta…
▽ More
Abundant in nature, colloids also find increasingly important applications in science and technology, ranging from direct probing of kinetics in crystals and glasses to fabrication of third-generation quantum-dot solar cells. Because naturally occurring colloids have a shape that is typically determined by minimization of interfacial tension (for example, during phase separation) or faceted crystal growth, their surfaces tend to have minimum-area spherical or topologically equivalent shapes such as prisms and irregular grains (all continuously deformable - homeomorphic - to spheres). Although toroidal DNA condensates and vesicles with different numbers of handles can exist and soft matter defects can be shaped as rings and knots, the role of particle topology in colloidal systems remains unexplored. Here we fabricate and study colloidal particles with different numbers of handles and genus g ranging from 1 to 5. When introduced into a nematic liquid crystal - a fluid made of rod-like molecules that spontaneously align along the so-called "director" - these particles induce three-dimensional director fields and topological defects dictated by colloidal topology. Whereas electric fields, photothermal melting and laser tweezing cause transformations between configurations of particle-induced structures, three-dimensional nonlinear optical imaging reveals that topological charge is conserved and that the total charge of particle-induced defects always obeys predictions of the Gauss-Bonnet and Poincare-Hopf index theorems. This allows us to establish and experimentally test the procedure for assignment and summation of topological charges in three-dimensional director fields. Our findings lay the groundwork for new applications of colloids and liquid crystals that range from topological memory devices, through new types of self-assembly, to the experimental study of low-dimensional topology.
△ Less
Submitted 27 December, 2016;
originally announced December 2016.
-
Configuration Spaces of Equal Spheres Touching a Given Sphere: The Twelve Spheres Problem
Authors:
Rob Kusner,
Wöden Kusner,
Jeffrey C. Lagarias,
Senya Shlosman
Abstract:
The problem of twelve spheres is to understand, as a function of $r \in (0,r_{max}(12)]$, the configuration space of $12$ non-overlapping equal spheres of radius $r$ touching a central unit sphere. It considers to what extent, and in what fashion, touching spheres can be varied, subject to the constraint of always touching the central sphere. Such constrained motion problems are of interest in phy…
▽ More
The problem of twelve spheres is to understand, as a function of $r \in (0,r_{max}(12)]$, the configuration space of $12$ non-overlapping equal spheres of radius $r$ touching a central unit sphere. It considers to what extent, and in what fashion, touching spheres can be varied, subject to the constraint of always touching the central sphere. Such constrained motion problems are of interest in physics and materials science, and the problem involves topology and geometry. This paper reviews the history of work on this problem, presents some new results, and formulates some conjectures. It also presents general results on configuration spaces of $N$ spheres of radius $r$ touching a central unit sphere, with emphasis on $3 \le N \le 14$. The problem of determining the maximal radius $r_{max}(N)$ is a version of the Tammes problem, to which László Fejes Tóth made significant contributions.
△ Less
Submitted 5 March, 2018; v1 submitted 30 November, 2016;
originally announced November 2016.
-
The Expected Total Curvature of Random Polygons
Authors:
Jason Cantarella,
Alexander Y Grosberg,
Robert B. Kusner,
Clayton Shonkwiler
Abstract:
We consider the expected value for the total curvature of a random closed polygon. Numerical experiments have suggested that as the number of edges becomes large, the difference between the expected total curvature of a random closed polygon and a random open polygon with the same number of turning angles approaches a positive constant. We show that this is true for a natural class of probability…
▽ More
We consider the expected value for the total curvature of a random closed polygon. Numerical experiments have suggested that as the number of edges becomes large, the difference between the expected total curvature of a random closed polygon and a random open polygon with the same number of turning angles approaches a positive constant. We show that this is true for a natural class of probability measures on polygons, and give a formula for the constant in terms of the moments of the edgelength distribution.
We then consider the symmetric measure on closed polygons of fixed total length constructed by Cantarella, Deguchi, and Shonkwiler. For this measure, we are able to prove that the expected value of total curvature for a closed n-gon is exactly π/2 n + (π/4) 2n/(2n-3). As a consequence, we show that at least 1/3 of fixed-length hexagons and 1/11 of fixed-length heptagons in 3-space are unknotted.
△ Less
Submitted 24 October, 2012;
originally announced October 2012.
-
There is no triangulation of the torus with vertex degrees 5, 6, ..., 6, 7 and related results: Geometric proofs for combinatorial theorems
Authors:
Ivan Izmestiev,
Robert B. Kusner,
Günter Rote,
Boris Springborn,
John M. Sullivan
Abstract:
There is no 5,7-triangulation of the torus, that is, no triangulation with exactly two exceptional vertices, of degree 5 and 7. Similarly, there is no 3,5-quadrangulation. The vertices of a 2,4-hexangulation of the torus cannot be bicolored. Similar statements hold for 4,8-triangulations and 2,6-quadrangulations. We prove these results, of which the first two are known and the others seem to be ne…
▽ More
There is no 5,7-triangulation of the torus, that is, no triangulation with exactly two exceptional vertices, of degree 5 and 7. Similarly, there is no 3,5-quadrangulation. The vertices of a 2,4-hexangulation of the torus cannot be bicolored. Similar statements hold for 4,8-triangulations and 2,6-quadrangulations. We prove these results, of which the first two are known and the others seem to be new, as corollaries of a theorem on the holonomy group of a euclidean cone metric on the torus with just two cone points. We provide two proofs of this theorem: One argument is metric in nature, the other relies on the induced conformal structure and proceeds by invoking the residue theorem. Similar methods can be used to prove a theorem of Dress on infinite triangulations of the plane with exactly two irregular vertices. The non-existence results for torus decompositions provide infinite families of graphs which cannot be embedded in the torus.
△ Less
Submitted 29 August, 2012; v1 submitted 16 July, 2012;
originally announced July 2012.
-
Ropelength Criticality
Authors:
Jason Cantarella,
Joseph H. G. Fu,
Robert Kusner,
John M. Sullivan
Abstract:
The ropelength problem asks for the minimum-length configuration of a knotted diameter-one tube embedded in Euclidean three-space. The core curve of such a tube is called a tight knot, and its length is a knot invariant measuring complexity. In terms of the core curve, the thickness constraint has two parts: an upper bound on curvature and a self-contact condition.
We give a set of necessary and…
▽ More
The ropelength problem asks for the minimum-length configuration of a knotted diameter-one tube embedded in Euclidean three-space. The core curve of such a tube is called a tight knot, and its length is a knot invariant measuring complexity. In terms of the core curve, the thickness constraint has two parts: an upper bound on curvature and a self-contact condition.
We give a set of necessary and sufficient conditions for criticality with respect to this constraint, based on a version of the Kuhn-Tucker theorem that we established in previous work. The key technical difficulty is to compute the derivative of thickness under a smooth perturbation. This is accomplished by writing thickness as the minimum of a $C^1$-compact family of smooth functions in order to apply a theorem of Clarke. We give a number of applications, including a classification of the "supercoiled helices" formed by critical curves with no self-contacts (constrained by curvature alone) and an explicit but surprisingly complicated description of the "clasp" junctions formed when one rope is pulled tight over another.
△ Less
Submitted 15 December, 2013; v1 submitted 15 February, 2011;
originally announced February 2011.
-
Coplanar k-unduloids are nondegenerate
Authors:
Karsten Grosse-Brauckmann,
Nicholas J. Korevaar,
Robert B. Kusner,
Jesse Ratzkin,
John M. Sullivan
Abstract:
We prove each embedded, constant mean curvature (CMC) surface in Euclidean space with genus zero and finitely many coplanar ends is nondegenerate: there is no nontrivial square-integrable solution to the Jacobi equation, the linearization of the CMC condition. This implies that the moduli space of such coplanar surfaces is a real-analytic manifold and that a neighborhood of these in the full CMC…
▽ More
We prove each embedded, constant mean curvature (CMC) surface in Euclidean space with genus zero and finitely many coplanar ends is nondegenerate: there is no nontrivial square-integrable solution to the Jacobi equation, the linearization of the CMC condition. This implies that the moduli space of such coplanar surfaces is a real-analytic manifold and that a neighborhood of these in the full CMC moduli space is itself a manifold. Nondegeneracy further implies (infinitesimal and local) rigidity in the sense that the asymptotes map is an analytic immersion on these spaces, and also that the coplanar classifying map is an analytic diffeomorphism.
△ Less
Submitted 12 December, 2008; v1 submitted 12 December, 2007;
originally announced December 2007.
-
Coplanar constant mean curvature surfaces
Authors:
Karsten Grosse-Brauckmann,
Robert B. Kusner,
John M. Sullivan
Abstract:
We consider constant mean curvature surfaces of finite topology, properly embedded in three-space in the sense of Alexandrov. Such surfaces with three ends and genus zero were constructed and completely classified by the authors in arXiv:math.DG/0102183. Here we extend the arguments to the case of an arbitrary number of ends, under the assumption that the asymptotic axes of the ends lie in a com…
▽ More
We consider constant mean curvature surfaces of finite topology, properly embedded in three-space in the sense of Alexandrov. Such surfaces with three ends and genus zero were constructed and completely classified by the authors in arXiv:math.DG/0102183. Here we extend the arguments to the case of an arbitrary number of ends, under the assumption that the asymptotic axes of the ends lie in a common plane: we construct and classify the entire family of these genus-zero coplanar constant mean curvature surfaces.
△ Less
Submitted 5 December, 2007; v1 submitted 9 September, 2005;
originally announced September 2005.
-
On the nondegeneracy of constant mean curvature surfaces
Authors:
Nick Korevaar,
Rob Kusner,
Jesse Ratzkin
Abstract:
We prove that many complete, noncompact, constant mean curvature (CMC) surfaces $f:Σ\to \R^3$ are nondegenerate; that is, the Jacobi operator $Δ_f + |A_f|^2$ has no $L^2$ kernel. In fact, if $Σ$ has genus zero and $f(Σ)$ is contained in a half-space, then we find an explicit upper bound for the dimension of the $L^2$ jernel in terms of the number of non-cylindrical ends. Our main tool is a conju…
▽ More
We prove that many complete, noncompact, constant mean curvature (CMC) surfaces $f:Σ\to \R^3$ are nondegenerate; that is, the Jacobi operator $Δ_f + |A_f|^2$ has no $L^2$ kernel. In fact, if $Σ$ has genus zero and $f(Σ)$ is contained in a half-space, then we find an explicit upper bound for the dimension of the $L^2$ jernel in terms of the number of non-cylindrical ends. Our main tool is a conjugation operation on Jacobi fields which linearizes the conjugate cousin construction. Consequences include partial regularity for CMC moduli space, a larger class of CMC surfaces to use in gluing constructions, and a surprising characterization of CMC surfaces via spinning spheres.
△ Less
Submitted 22 June, 2005; v1 submitted 8 July, 2004;
originally announced July 2004.
-
Criticality for the Gehring link problem
Authors:
Jason Cantarella,
Joseph H G Fu,
Rob Kusner,
John M Sullivan,
Nancy C Wrinkle
Abstract:
In 1974, Gehring posed the problem of minimizing the length of two linked curves separated by unit distance. This constraint can be viewed as a measure of thickness for links, and the ratio of length over thickness as the ropelength. In this paper we refine Gehring's problem to deal with links in a fixed link-homotopy class: we prove ropelength minimizers exist and introduce a theory of ropeleng…
▽ More
In 1974, Gehring posed the problem of minimizing the length of two linked curves separated by unit distance. This constraint can be viewed as a measure of thickness for links, and the ratio of length over thickness as the ropelength. In this paper we refine Gehring's problem to deal with links in a fixed link-homotopy class: we prove ropelength minimizers exist and introduce a theory of ropelength criticality.
Our balance criterion is a set of necessary and sufficient conditions for criticality, based on a strengthened, infinite-dimensional version of the Kuhn--Tucker theorem. We use this to prove that every critical link is C^1 with finite total curvature. The balance criterion also allows us to explicitly describe critical configurations (and presumed minimizers) for many links including the Borromean rings. We also exhibit a surprising critical configuration for two clasped ropes: near their tips the curvature is unbounded and a small gap appears between the two components. These examples reveal the depth and richness hidden in Gehring's problem and our natural extension.
△ Less
Submitted 2 March, 2009; v1 submitted 13 February, 2004;
originally announced February 2004.
-
The topology, geometry and conformal structure of properly embedded minimal surfaces
Authors:
Pascal Collin,
Robert Kusner,
William H. Meeks, III,
Harold Rosenberg
Abstract:
This paper develops new tools for understanding surfaces with more than one end (and usually, of infinite topology) which properly minimally embed into Euclidean three-space. On such a surface, the set of ends forms a compact Hausdorff space, naturally ordered by the relative heights of the ends in space. One of our main results is that the middle ends of the surface have quadratic area growth,…
▽ More
This paper develops new tools for understanding surfaces with more than one end (and usually, of infinite topology) which properly minimally embed into Euclidean three-space. On such a surface, the set of ends forms a compact Hausdorff space, naturally ordered by the relative heights of the ends in space. One of our main results is that the middle ends of the surface have quadratic area growth, and are thus not limit ends. This implies, for instance, that the surface can have at most two limit ends (at the top and bottom of the ordering), which is a strong topological restriction. There are also restrictions on the asymptotic geometry and conformal structure of such a surface: for example, we prove that if the surface has exactly two limit ends (as do the classical Riemann Staircase examples), then it is recurrent (that is, almost all Brownian paths are dense in the surface, and in particular any positive harmonic function on the surface is constant). These results have played an important role in the proof of several recent advances in the theory, including the uniqueness of the helicoid, the invariance of flux for a coordinate function on a properly immersed minimal surface, and the topological classification of properly embedded minimal surfaces.
△ Less
Submitted 20 January, 2004;
originally announced January 2004.
-
Conformal Structures and Necksizes of Embedded Constant Mean Curvature Surfaces
Authors:
Rob Kusner
Abstract:
Let M = M_{g,k} denote the space of properly (Alexandrov) embedded constant mean curvature (CMC) surfaces of genus g with k (labeled) ends, modulo rigid motions, endowed with the real analytic structure described in [kmp]. Let $P = P_{g,k} = r_{g,k} \times R_+^k$ be the space of parabolic structures over Riemann surfaces of genus g with k (marked) punctures, the real analytic structure coming fr…
▽ More
Let M = M_{g,k} denote the space of properly (Alexandrov) embedded constant mean curvature (CMC) surfaces of genus g with k (labeled) ends, modulo rigid motions, endowed with the real analytic structure described in [kmp]. Let $P = P_{g,k} = r_{g,k} \times R_+^k$ be the space of parabolic structures over Riemann surfaces of genus g with k (marked) punctures, the real analytic structure coming from the 3g-3+k local complex analytic coordinates on the Riemann moduli space r_{g,k}. Then the parabolic classifying map, Phi: M --> P, which assigns to a CMC surface its induced conformal structure and asymptotic necksizes, is a proper, real analytic map. It follows that Phi is closed and in particular has closed image. For genus g=0, this can be used to show that every conformal type of multiply punctured Riemann sphere occurs as a CMC surface, and -- under a nondegeneracy hypothesis -- that Phi has a well defined (mod 2) degree. This degree vanishes, so generically an even number of CMC surfaces realize any given conformal structure and asymptotic necksizes.
△ Less
Submitted 18 July, 2002;
originally announced July 2002.
-
The Second Hull of a Knotted Curve
Authors:
Jason Cantarella,
Greg Kuperberg,
Rob Kusner,
John M Sullivan
Abstract:
The convex hull of a set K in space consists of points which are, in a certain sense, "surrounded" by K. When K is a closed curve, we define its higher hulls, consisting of points which are "multiply surrounded" by the curve. Our main theorem shows that if a curve is knotted then it has a nonempty second hull. This provides a new proof of the Fary/Milnor theorem that every knotted curve has tota…
▽ More
The convex hull of a set K in space consists of points which are, in a certain sense, "surrounded" by K. When K is a closed curve, we define its higher hulls, consisting of points which are "multiply surrounded" by the curve. Our main theorem shows that if a curve is knotted then it has a nonempty second hull. This provides a new proof of the Fary/Milnor theorem that every knotted curve has total curvature at least 4pi.
△ Less
Submitted 26 March, 2003; v1 submitted 10 April, 2002;
originally announced April 2002.
-
On Thickness and Packing Density for Knots and Links
Authors:
Rob Kusner
Abstract:
We describe some problems, observations, and conjectures concerning thickness and packing density of knots and links in $\sp^3$ and $\R^3$. We prove the thickness of a nontrivial knot or link in $\sp^3$ is no more than $\fracπ{4}$, the thickness of a Hopf link. We also give arguments and evidence supporting the conjecture that the packing density of thick links in $\R^3$ or $\sp^3$ is generally…
▽ More
We describe some problems, observations, and conjectures concerning thickness and packing density of knots and links in $\sp^3$ and $\R^3$. We prove the thickness of a nontrivial knot or link in $\sp^3$ is no more than $\fracπ{4}$, the thickness of a Hopf link. We also give arguments and evidence supporting the conjecture that the packing density of thick links in $\R^3$ or $\sp^3$ is generally less than $\fracπ{\sqrt{12}}$, the density of the hexagonal packing of unit disks in $\R^2$.
△ Less
Submitted 27 March, 2002;
originally announced March 2002.
-
Quantization of energy and writhe in self-repelling knots
Authors:
Phoebe Hoidn,
Robert B. Kusner,
Andrzej Stasiak
Abstract:
Probably the most natural energy functional to be considered for knotted strings is the one given by the electrostatic repulsion. In the absence of counter-charges, a charged, knotted string evolving along the energy gradient of electrostatic repulsion would progressively tighten its knotted domain into a point on a perfectly circular string. However, in the presence of charge screeningthe self-…
▽ More
Probably the most natural energy functional to be considered for knotted strings is the one given by the electrostatic repulsion. In the absence of counter-charges, a charged, knotted string evolving along the energy gradient of electrostatic repulsion would progressively tighten its knotted domain into a point on a perfectly circular string. However, in the presence of charge screeningthe self-repelling knotted strings can get stabilised. It is known that energy functionals in which repulsive forces between repelling charges grow inversely proportional to the third or higher power of their relative distance stabilise self-repelling knots. Especially interesting is the case of the third power since the repulsive energy becomes scale invariant and does not change upon Moebius transformations (reflections in spheres) of knotted trajectories. We observe here thatknots minimising their repulsive Moebius energy show quantization of the energy and writhe (measure of chirality) within several tested families of knots.
△ Less
Submitted 10 January, 2002;
originally announced January 2002.
-
On the Minimum Ropelength of Knots and Links
Authors:
Jason Cantarella,
Rob Kusner,
John M Sullivan
Abstract:
The ropelength of a knot is the quotient of its length and its thickness, the radius of the largest embedded normal tube around the knot. We prove existence and regularity for ropelength minimizers in any knot or link type; these are $C^{1,1}$ curves, but need not be smoother. We improve the lower bound for the ropelength of a nontrivial knot, and establish new ropelength bounds for small knots…
▽ More
The ropelength of a knot is the quotient of its length and its thickness, the radius of the largest embedded normal tube around the knot. We prove existence and regularity for ropelength minimizers in any knot or link type; these are $C^{1,1}$ curves, but need not be smoother. We improve the lower bound for the ropelength of a nontrivial knot, and establish new ropelength bounds for small knots and links, including some which are sharp.
△ Less
Submitted 1 March, 2002; v1 submitted 30 March, 2001;
originally announced March 2001.
-
Triunduloids: Embedded constant mean curvature surfaces with three ends and genus zero
Authors:
Karsten Grosse-Brauckmann,
Robert B Kusner,
John M Sullivan
Abstract:
In 1841, Delaunay constructed the embedded surfaces of revolution with constant mean curvature (CMC); these unduloids have genus zero and are now known to be the only embedded CMC surfaces with two ends and finite genus. Here, we construct the complete family of embedded CMC surfaces with three ends and genus zero; they are classified using their asymptotic necksizes. We work in a class slightly…
▽ More
In 1841, Delaunay constructed the embedded surfaces of revolution with constant mean curvature (CMC); these unduloids have genus zero and are now known to be the only embedded CMC surfaces with two ends and finite genus. Here, we construct the complete family of embedded CMC surfaces with three ends and genus zero; they are classified using their asymptotic necksizes. We work in a class slightly more general than embedded surfaces, namely immersed surfaces which bound an immersed three-manifold, as introduced by Alexandrov.
△ Less
Submitted 9 April, 2003; v1 submitted 22 February, 2001;
originally announced February 2001.
-
Constant mean curvature surfaces with three ends
Authors:
Karsten Grosse-Brauckmann,
Robert B. Kusner,
John M. Sullivan
Abstract:
We announce the classification of complete, almost embedded surfaces of constant mean curvature, with three ends and genus zero: they are classified by triples of points on the sphere whose distances are the asymptotic necksizes of the three ends.
We announce the classification of complete, almost embedded surfaces of constant mean curvature, with three ends and genus zero: they are classified by triples of points on the sphere whose distances are the asymptotic necksizes of the three ends.
△ Less
Submitted 17 March, 1999;
originally announced March 1999.
-
On Distortion and Thickness of Knots
Authors:
Robert B. Kusner,
John M. Sullivan
Abstract:
What length of rope (of given diameter) is required to tie a particular knot? To answer this question, we define some new notions of thickness for a space curve, one based on Gromov's distortion, and another generalizing the thickness of Litherland, Simon et al. We prove a basic inequality between these thickness measures, and show that the distortion thickness is upper semi-continuous in the C^…
▽ More
What length of rope (of given diameter) is required to tie a particular knot? To answer this question, we define some new notions of thickness for a space curve, one based on Gromov's distortion, and another generalizing the thickness of Litherland, Simon et al. We prove a basic inequality between these thickness measures, and show that the distortion thickness is upper semi-continuous in the C^0 topology, suggesting that shortest curves of thickness 1 should exist in each knot class.
△ Less
Submitted 3 February, 1997;
originally announced February 1997.
-
The Spinor Representation of Surfaces in Space
Authors:
Rob Kusner,
Nick Schmitt
Abstract:
The spinor representation is developed for conformal immersions of Riemann surfaces into space. We adapt the approach of Dennis Sullivan, which treats a spin structure on a Riemann surface M as a complex line bundle S whose square is the canonical line bundle K=T(M). Given a conformal immersion of M into \bbR^3, the unique spin strucure on S^2 pulls back via the Gauss map to a spin structure S o…
▽ More
The spinor representation is developed for conformal immersions of Riemann surfaces into space. We adapt the approach of Dennis Sullivan, which treats a spin structure on a Riemann surface M as a complex line bundle S whose square is the canonical line bundle K=T(M). Given a conformal immersion of M into \bbR^3, the unique spin strucure on S^2 pulls back via the Gauss map to a spin structure S on M, and gives rise to a pair of smooth sections (s_1,s_2) of S. Conversely, any pair of sections of S generates a (possibly periodic) conformal immersion of M under a suitable integrability condition, which for a minimal surface is simply that the spinor sections are meromorphic. A spin structure S also determines (and is determined by) the regular homotopy class of the immersion by way of a \bbZ_2-quadratic form q_S. We present an analytic expression for the Arf invariant of q_S, which decides whether or not the correponding immersion can be deformed to an embedding. The Arf invariant also turns out to be an obstruction, for example, to the existence of certain complete minimal immersions. The later parts of this paper use the spinor representation to investigate minimal surfaces with embedded planar ends. In general, we show for a spin structure S on a compact Riemann surface M with punctures at P that the space of all such (possibly periodic) minimal immersions of M\setminus P into \bbR^3 (upto homothety) is the the product of S^1\times H^3 with the Grassmanian of 2-planes in a complex vector space \calK of meromorphic sections of S. An important tool -- a skew-symmetric form Ωdefined by residues of a certain meromorphic quadratic differential on M -- lets us compute how \calK varies as M and P are varied. Then we apply this to determine the moduli spaces of planar-ended minimal spheres and real projective planes, and also to construct a new family of minimal tori and a minimal Klein bottle with 4 ends. These surfaces compactify in S^3 to yield surfaces critical for the \Moebius invariant squared mean curvature functional W. On the other hand, Robert Bryant has shown all W-critical spheres and real projective planes arise this way. Thus we find at the same time the moduli spaces of W-critical spheres and real projective planes via the spinor representation.
△ Less
Submitted 8 October, 1996;
originally announced October 1996.
-
Moduli Spaces of Embedded Constant Mean Curvature Surfaces with Few Ends and Special Symmetry
Authors:
K. Brauckmann,
R. Kusner
Abstract:
We give necessary conditions on complete embedded \cmc surfaces with three or four ends subject to reflection symmetries. The respective submoduli spaces are two-dimensional varieties in the moduli spaces of general \cmc surfaces. We characterize fundamental domains of our \cmc surfaces by associated great circle polygons in the three-sphere.
We give necessary conditions on complete embedded \cmc surfaces with three or four ends subject to reflection symmetries. The respective submoduli spaces are two-dimensional varieties in the moduli spaces of general \cmc surfaces. We characterize fundamental domains of our \cmc surfaces by associated great circle polygons in the three-sphere.
△ Less
Submitted 8 October, 1996;
originally announced October 1996.
-
The Spinor Representation of Minimal Surfaces
Authors:
Rob Kusner,
Nick Schmitt
Abstract:
The spinor representation is developed and used to investigate minimal surfaces in ${\bfR}^3$ with embedded planar ends. The moduli spaces of planar-ended minimal spheres and real projective planes are determined, and new families of minimal tori and Klein bottles are given. These surfaces compactify in $S^3$ to yield surfaces critical for the Möbius invariant squared mean curvature functional…
▽ More
The spinor representation is developed and used to investigate minimal surfaces in ${\bfR}^3$ with embedded planar ends. The moduli spaces of planar-ended minimal spheres and real projective planes are determined, and new families of minimal tori and Klein bottles are given. These surfaces compactify in $S^3$ to yield surfaces critical for the Möbius invariant squared mean curvature functional $W$. On the other hand, all $W\!$-critical spheres and real projective planes arise this way. Thus we determine at the same time the moduli spaces of $W\!$-critical spheres and real projective planes via the spinor representation.
△ Less
Submitted 4 December, 1995;
originally announced December 1995.
-
The Moduli Space of Complete Embedded Constant Mean Curvature Surfaces
Authors:
Rob Kusner,
Rafe Mazzeo,
Daniel Pollack
Abstract:
We examine the space of surfaces in $\RR^{3}$ which are complete, properly embedded and have nonzero constant mean curvature. These surfaces are noncompact provided we exclude the case of the round sphere. We prove that the space $\Mk$ of all such surfaces with $k$ ends (where surfaces are identified if they differ by an isometry of $\RR^{3}$) is locally a real analytic variety. When the lineari…
▽ More
We examine the space of surfaces in $\RR^{3}$ which are complete, properly embedded and have nonzero constant mean curvature. These surfaces are noncompact provided we exclude the case of the round sphere. We prove that the space $\Mk$ of all such surfaces with $k$ ends (where surfaces are identified if they differ by an isometry of $\RR^{3}$) is locally a real analytic variety. When the linearization of the quasilinear elliptic equation specifying mean curvature equal to one has no $L^2-$nullspace we prove that $\Mk$ is locally the quotient of a real analytic manifold of dimension $3k-6$ by a finite group (iė\. a real analytic orbifold), for $k\geq 3$. This finite group is the isotropy subgroup of the surface in the group of Euclidean motions. It is of interest to note that the dimension of $\Mk$ is independent of the topology of the underlying punctured Riemann surface to which $\Sig$ is conformally equivalent. These results also apply to hypersurfaces of $\HH^{n+1}$ with nonzero constant mean curvature greater than that of a horosphere and whose ends are cylindrically bounded.
△ Less
Submitted 19 August, 1994;
originally announced August 1994.
