arXiv subjects

Rob Kusner

Publications and source records attributed to Rob Kusner.

15 recordsLinked to original sources

arXiv2024

The Willmore problem for surfaces with symmetry

The Willmore Problem seeks closed surfaces 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 [12] that Lawson's [18] minimal surface $\xi_{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 $\xi_{g,1}$. In fact, we show each Lawson surface $\xi_{m,k}$ satisfies the corresponding $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.

math.DG↗

arXiv2021

Geometry of complete minimal surfaces at infinity and the Willmore index of their inversions

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\pi}-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.

math.DG↗

arXiv2021

On the Willmore problem for surfaces with symmetry

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 $\xi_{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 $\xi_{g,1}$. Specifcally, we show each Lawson surface $\xi_{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 $\chi_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.

math.DG↗

arXiv2019

A Gordian Pair of Links

We construct a pair of isotopic link configurations that are not thick isotopic while preserving total length.

math.GT↗

arXiv2018

On the index of minimal 2-tori in the 4-sphere

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$.

math.DG↗

arXiv2016

Configuration Spaces of Equal Spheres Touching a Given Sphere: The Twelve Spheres Problem

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\'aszl\'o Fejes T\'oth made significant contributions.

math.MG↗

arXiv2009

Criticality for the Gehring link problem

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.

math.DG↗

arXiv2004

On the nondegeneracy of constant mean curvature surfaces

We prove that many complete, noncompact, constant mean curvature (CMC) surfaces $f:\Sigma \to \R^3$ are nondegenerate; that is, the Jacobi operator $\Delta_f + |A_f|^2$ has no $L^2$ kernel. In fact, if $\Sigma$ has genus zero and $f(\Sigma)$ 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.

math.DG↗

arXiv2002

Conformal Structures and Necksizes of Embedded Constant Mean Curvature Surfaces

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.

math.DG↗

arXiv2002

The Second Hull of a Knotted Curve

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.

math.GT↗

arXiv2002

On Thickness and Packing Density for Knots and Links

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$.

math.DG↗

arXiv2001

On the Minimum Ropelength of Knots and Links

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.

math.GT↗

arXiv1996

The Spinor Representation of Surfaces in Space

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 \Omega 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.

dg-ga↗

arXiv1995

The Spinor Representation of Minimal Surfaces

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.

dg-ga↗

arXiv1994

The Moduli Space of Complete Embedded Constant Mean Curvature Surfaces

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.

dg-ga↗