Normalizing Topologically Minimal Surfaces II: Disks

David Bachman

DOI: https://doi.org/10.48550/arXiv.1210.4574

2012-10-17

Abstract:We show that a topologically minimal disk in a tetrahedron with index $n$ is either a normal triangle, a normal quadrilateral, or a normal helicoid with boundary length 4(n+1). This mirrors geometric results of Colding and Minicozzi.

Geometric Topology,Differential Geometry

What problem does this paper attempt to address?

A Geometric Approach to the Topological Disk Theorem of Reifenberg

Guanghao Hong,Lihe Wang

DOI: https://doi.org/10.2140/pjm.2007.233.321

2007-01-01

Pacific Journal of Mathematics

Abstract:We offer a new approach to the classical topological disk theorem of Reifenberg in the codimension-1 case. Our proof, using 1/2-level sets of the smoothing of the characteristic function of the domain Omega as approximating surfaces of partial derivative Omega, is much simpler than Reifenberg's original one (1960). We also extend the result to parabolic space.
$\mathbb{Z}$-disks in $\mathbb{C} P^2$

Anthony Conway,Irving Dai,Maggie Miller

2024-03-15

Abstract:We study locally flat disks in $(\mathbb{C} P^2)^\circ:=(\mathbb{C} P^2)\setminus \mathring{B^4}$ with boundary a fixed knot $K$ and whose complement has fundamental group $\mathbb{Z}$. We show that up to topological isotopy rel. boundary, such disks necessarily arise by performing a positive crossing change on $K$ to an Alexander polynomial one knot and capping off with a $\mathbb{Z}$-disk in $D^4.$ Such a crossing change determines a loop in $S^3 \setminus K$ and we prove that the homology class of its lift to the infinite cyclic cover leads to a complete invariant of the disk. We prove that this determines a bijection between the set of rel. boundary topological isotopy classes of $\mathbb{Z}$-disks with boundary $K$ and a quotient of the set of unitary units of the ring $\mathbb{Z}[t^{\pm 1}]/(\Delta_K)$. Number-theoretic considerations allow us to deduce that a knot $K \subset S^3$ with quadratic Alexander polynomial bounds $0,1,2,4$, or infinitely many $\mathbb{Z}$-disks in $(\mathbb{C} P^2)^\circ$. This leads to the first examples of knots bounding infinitely many topologically distinct disks whose exteriors have the same fundamental group and equivariant intersection form. Finally we give several examples where these disks are realized smoothly.

Geometric Topology
Spanning disks in triangulations of surfaces

Katie Clinch,Sean Dewar,Niloufar Fuladi,Maximilian Gorsky,Tony Huynh,Eleftherios Kastis,Anthony Nixon,Brigitte Servatius

2024-10-06

Abstract:Given a triangulation $G$ of a surface $\mathbb{D}$, a spanning disk is a disk $\mathbb{D} \subseteq \mathbb{S}$ containing all the vertices of $G$ such that the boundary of $\mathbb{D}$ is a cycle of $G$. In this paper, we consider the question of when a triangulation of a surface contains a spanning disk. We give a very short proof that every triangulation of the torus contains a spanning disk, which strengthens a theorem of Nevo and Tarabykin. For arbitrary surfaces, we prove that triangulations with sufficiently high facewidth always contain spanning disks. Finally, we exhibit triangulations which do not have spanning disks. This shows that a minimum facewidth condition is necessary. Our results are motivated by and have applications for rigidity questions in the plane.

Combinatorics,Discrete Mathematics
Free boundary minimal disks in convex balls

Robert Haslhofer,Daniel Ketover

2023-07-05

Abstract:In this paper, we prove that every strictly convex 3-ball with nonnegative Ricci-curvature contains at least 3 embedded free-boundary minimal 2-disks for any generic metric, and at least 2 solutions even without genericity assumption. Our approach combines ideas from mean curvature flow, min-max theory and degree theory. We also establish the existence of smooth free-boundary mean-convex foliations. In stark contrast to our prior work in the closed setting, the present result is sharp for generic metrics.

Differential Geometry,Analysis of PDEs,Geometric Topology
Almost-fuchsian structures on disk bundles over a surface

Samuel Bronstein

2023-12-26

Abstract:Considering an integer $d>0$, we show the existence of convex-cocompactrepresentations of surface groups into SO(4,1) admitting an embedded minimal map withcurvatures in $(-1,1)$ and whose associated hyperbolic 4-manifolds are disk bundles of degreed over the surface, provided the genus $g$ of the surface is large enough. We also show that we can realize these representations as complex variation of Hodge structures. This gives examples of quasicircles in $\mathbb{S}^3$ bounding superminimal disks in $\mathbb{H}^4$ of arbitrarily small second fundamental form. Those are examples of generalized almost-Fuchsian representations which are not deformations of Fuchsian representations.

Differential Geometry,Geometric Topology
Rigidity of min-max minimal disks in $3$-balls with non-negative Ricci curvature

Laurent Mazet,Abraão Mendes

2023-07-10

Abstract:In this paper we prove a rigidity statement for free boundary minimal surfaces produced via min-max methods. More precisely, we prove that for any Riemannian metric $g$ on the 3-ball $B$ with non-negative Ricci curvature and $\mathrm{II}_{\partial B}\ge g_{|\partial B}$, there exists a free boundary minimal disk $\Delta$ of least area among all free boundary minimal disks in $(B,g)$. Moreover, the area of any such $\Delta$ equals to the width of $(B,g)$, $\Delta$ has index one, and the length of $\partial\Delta$ is bounded from above by $2\pi$. Furthermore, the length of $\partial\Delta$ equals to $2\pi$ if and only if $(B,g)$ is isometric to the Euclidean unit ball. This is related to a rigidity result obtained by F.C. Marques and A. Neves in the closed case. The proof uses a rigidity statement concerning half-balls with non-negative Ricci curvature which is true in any dimension.

Differential Geometry
On a Dowker-type problem for convex disks with almost constant curvature

Bushra Basit,Zsolt Lángi

2024-02-07

Abstract:A classical result of Dowker (Bull. Amer. Math. Soc. 50: 120-122, 1944) states that for any plane convex body $K$, the areas of the maximum (resp. minimum) area convex $n$-gons inscribed (resp. circumscribed) in $K$ is a concave (resp. convex) sequence. It is known that this theorem remains true if we replace area by perimeter, or convex $n$-gons by disk-$n$-gons, obtained as the intersection of $n$ closed Euclidean unit disks. It has been proved recently that if $C$ is the unit disk of a normed plane, then the same properties hold for the area of $C$-$n$-gons circumscribed about a $C$-convex disk $K$ and for the perimeters of $C$-$n$-gons inscribed or circumscribed about a $C$-convex disk $K$, but for a typical origin-symmetric convex disk $C$ with respect to Hausdorff distance, there is a $C$-convex disk $K$ such that the sequence of the areas of the maximum area $C$-$n$-gons inscribed in $K$ is not concave. The aim of this paper is to investigate this question if we replace the topology induced by Hausdorff distance with a topology induced by the surface area measure of the boundary of $C$.

Metric Geometry
On embeddedness of area-minimizing disks, and an application to constructing complete minimal surfaces

Wayne Rossman

DOI: https://doi.org/10.48550/arXiv.0804.4208

2008-04-26

Abstract:Let $\alpha$ be a polygonal Jordan curve in $\bfR^3$. We show that if $\alpha$ satisfies certain conditions, then the least-area Douglas-Radó disk in $\bfR^3$ with boundary $\alpha$ is unique and is a smooth graph. As our conditions on $\alpha$ are not included amongst previously known conditions for embeddedness, we are enlarging the set of Jordan curves in $\bfR^3$ which are known to be spanned by an embedded least-area disk. As an application, we consider the conjugate surface construction method for minimal surfaces. With our result we can apply this method to a wider range of complete catenoid-ended minimal surfaces in $\bfR^3$.

Differential Geometry
Non planar free boundary minimal disks into ellipsoids

Romain Petrides

2024-10-10

Abstract:We prove the existence of embedded non planar free boundary minimal disks into rotationally symmetric ellipsoids of $\mathbb{R}^3$. The construction relies on the optimization of combinations of first and second Steklov eigenvalues renormalized by the length of the boundary, among metrics on the disk. We also prove that non planar free boundary harmonic maps from a disk into a ellipsoid of $\mathbb{R}^3$ such that the coordinate functions are first or second Steklov eigenfunctions with respect to the associated critical metric is a minimal immersion (without branched points) and that if the critical metric is even with respect to the coordinates of the disk, then the minimal immersion is an embedding.

Differential Geometry,Analysis of PDEs
New low-genus desingularizations of three Clifford tori and related characterizations

Nikolaos Kapouleas,David Wiygul

2024-08-20

Abstract:For each nonnegative integer $m$ we construct in the round three-sphere a closed embedded minimal surface of genus $48m+25$ which can be interpreted as a desingularization of the union of three Clifford tori intersecting pairwise orthogonally, along a total of six great circles. Each such surface is generated, under the action of a group of symmetries, by a disc with hexagonal boundary, all of whose sides are contained in great circles. We prove a uniqueness result for this disc, and, as a corollary, we characterize these surfaces. This characterization implies that similar surfaces we constructed for sufficiently high $m$ by gluing methods, in an earlier article, coincide with the ones here. For low $m$ the surfaces constructed here are new. Similarly, we prove uniqueness of the generating discs for one of two families constructed by Choe and Soret (namely the surfaces they call odd) and show that these surfaces also coincide, when of sufficiently high genus, with surfaces we have constructed by gluing.

Differential Geometry
Domino tilings of three-dimensional cylinders: regularity of hamiltonian disks

Raphael de Marreiros

2024-06-18

Abstract:We consider tree-dimensional domino tilings of cylinders $\mathcal{D} \times [0,N] \subset \mathbb{R}^3$, where $\mathcal{D} \subset \mathbb{R}^2$ is a balanced quadriculated disk and $N \in \mathbb{N}$. A flip is a local move in the space of tilings: two adjacent and parallel dominoes are removed and then replaced in a different position. The twist is a flip invariant that associates an integer number to a domino tiling. A disk $\mathcal{D}$ is called regular if any two tilings of $\mathcal{D} \times [0,N]$ sharing the same twist can be connected trough a sequence of flips once extra vertical space is added to the cylinder. We prove that hamiltonian disks with narrow and small bottlenecks are regular. In particular, we show that the absence of a bottleneck in a hamiltonian disk implies regularity.

Combinatorics
Intersection Properties of Finite Disk Collections

Jesús F. Espinoza,Cynthia G. Esquer-Pérez

DOI: https://doi.org/10.3390/math12040547

IF: 2.4

2024-02-11

Mathematics

Abstract:In this article, we study the intersection of a finite collection of disks in Euclidean space by examining spheres of various dimensions and their poles (extreme values with respect to canonical projections) contained within the intersection's boundary. We derive explicit formulae for computing these extreme values and present two applications. The first application involves computing the smallest common rescaling factor for the radii of the disk system, which brings the system to a single point of intersection. This calculation allows us to compute the generalized Čech filtration, a crucial tool for the topological data analysis of weighted point clouds. The second application focuses on determining the minimal Axis-Aligned Bounding Box (AABB) for the intersection of a finite collection of disks in Euclidean space, addressing a significant problem in computational geometry. We consider that this work aims to contribute to the fields of topological data analysis and computational geometry by providing new tools for analyzing complex geometric structures.

mathematics
Disc stackings and their Morse index

Alessandro Carlotto,Mario B. Schulz,David Wiygul

2023-08-14

Abstract:We construct free boundary minimal disc stackings, with any number of strata, in the three-dimensional Euclidean unit ball, and prove uniform, linear lower and upper bounds on the Morse index of all such surfaces. Among other things, our work implies for any positive integer $k$ the existence of $k$-tuples of distinct, pairwise non-congruent, embedded free boundary minimal surfaces all having the same topological type. In addition, since we prove that the equivariant Morse index of any such free boundary minimal stacking, with respect to its maximal symmetry group, is bounded from below by (the integer part of) half the number of layers and from above strictly by twice the same number, it follows that any possible realization of such surfaces via an equivariant min-max method would need to employ sweepouts with an arbitrarily large number of parameters. This also shows that it is only for $N=2$ and $N=3$ layers that free boundary minimal disc stackings are achievable by means of one-dimensional mountain pass schemes.

Differential Geometry,Analysis of PDEs
Desingularization of branch points of minimal disks in $\mathbb{R}^4$

Marina Ville

DOI: https://doi.org/10.48550/arXiv.1412.0589

2014-12-02

Abstract:We deform a minimal disk in $\mathbb{R}^4$ with a branch point into symplectic minimally immersed disks with only transverse double points.

Differential Geometry
Large disks touching three sides of a quadrilateral

Alex Rodriguez

2024-05-28

Abstract:We show that every Jordan quadrilateral $Q\subset\mathbb{C}$ contains a disk $D$ so that $\partial D\cap\partial Q$ contains points of three different sides of $Q$. As a consequence, together with some modulus estimates from Lehto and Virtanen, we offer a short proof of the main result obtained by Chrontsios-Garitsis and Hinkkanen in 2024 and it also improves the bounds on their result.

Complex Variables,Metric Geometry
The most symmetric surfaces in the 3-torus

Sheng Bai,Vanessa Robins,Chao Wang,Shicheng Wang

2016-01-01

Abstract:Suppose an orientation preserving action of a finite group $G$ on the closed surface $Sigma_g$ of genus $gu003e1$ extends over the 3-torus $T^3$ for some embedding $Sigma_gsubset T^3$. Then $|G|le 12(g-1)$, and this upper bound $12(g-1)$ can be achieved for $g=n^2+1, 3n^2+1, 2n^3+1, 4n^3+1, 8n^3+1, nin mathbb{Z}_+$. Those surfaces in $T^3$ realizing the maximum symmetries can be either unknotted or knotted. Similar problems in non-orientable category is also discussed. Connection with minimal surfaces in $T^3$ is addressed and when the maximum symmetric surfaces above can be realized by minimal surfaces is identified.
Dowker-type theorems for disk-polygons in normed planes

Bushra Basit,Zsolt Lángi

DOI: https://doi.org/10.1016/j.disc.2024.114019

IF: 0.961

2024-04-13

Discrete Mathematics

Abstract:A classical result of Dowker (1944) [8] states that for any plane convex body K in the Euclidean plane, the areas of the maximum (resp. minimum) area convex n -gons inscribed (resp. circumscribed) in K is a concave (resp. convex) sequence. It is known that this theorem remains true if we replace area by perimeter, the Euclidean plane by an arbitrary normed plane, or convex n -gons by disk- n -gons, obtained as the intersection of n closed Euclidean unit disks. The aim of our paper is to investigate these problems for C - n -gons, defined as intersections of n translates of the unit disk C of a normed plane. In particular, we show that Dowker's theorem remains true for the areas and the perimeters of circumscribed C - n -gons, and the perimeters of inscribed C - n -gons. We also show that in the family of origin-symmetric plane convex bodies, for a typical element C with respect to Hausdorff distance, Dowker's theorem for the areas of inscribed C - n -gons fails.

mathematics
A space level light bulb theorem in all dimensions

Danica Kosanović,Peter Teichner

DOI: https://doi.org/10.4171/cmh/578

2024-10-19

Commentarii Mathematici Helvetici

Abstract:Given a d -dimensional manifold M and a knotted sphere s\colon \mathbb{S}^{k-1}\hookrightarrow \partial M with 1\leq k\leq d , for which there exists a framed dual sphere G\colon \mathbb{S}^{d-k}\hookrightarrow \partial M , we show that the space of neat embeddings \mathbb{D}^{k} \hookrightarrow M with boundary s can be delooped by the space of neatly embedded (k-1) -disks, with a normal vector field, in the d -manifold obtained from M by attaching a handle to G . This increase in codimension significantly simplifies the homotopy type of such embedding spaces, and is of interest also in low-dimensional topology. In particular, we apply the work of Dax to describe the first interesting homotopy group of these embedding spaces, in degree d-2k . In a separate paper we use this to give a complete isotopy classification of 2-disks in a 4-manifold with such a boundary dual.

mathematics
On closed characteristics of minimal action on a convex three-sphere

Alberto Abbondandolo,Oliver Edtmair,Jungsoo Kang

2024-12-03

Abstract:We prove that every closed characteristic of minimal action on the boundary of a uniformly convex domain in $\R^4$ bounds a disk-like global surface of section. A corollary is that the cylindrical symplectic capacity of a convex body in $\R^4$ coincides with the minimal action of a closed generalized characteristic on its boundary.

Symplectic Geometry,Dynamical Systems

Normalizing Topologically Minimal Surfaces II: Disks

A Geometric Approach to the Topological Disk Theorem of Reifenberg

$\mathbb{Z}$-disks in $\mathbb{C} P^2$

Spanning disks in triangulations of surfaces

Free boundary minimal disks in convex balls

Almost-fuchsian structures on disk bundles over a surface

Rigidity of min-max minimal disks in $3$-balls with non-negative Ricci curvature

On a Dowker-type problem for convex disks with almost constant curvature

On embeddedness of area-minimizing disks, and an application to constructing complete minimal surfaces

Non planar free boundary minimal disks into ellipsoids

New low-genus desingularizations of three Clifford tori and related characterizations

Domino tilings of three-dimensional cylinders: regularity of hamiltonian disks

Intersection Properties of Finite Disk Collections

Disc stackings and their Morse index

Desingularization of branch points of minimal disks in $\mathbb{R}^4$

Large disks touching three sides of a quadrilateral

The most symmetric surfaces in the 3-torus

Dowker-type theorems for disk-polygons in normed planes

A space level light bulb theorem in all dimensions

On closed characteristics of minimal action on a convex three-sphere