Geometric Methods In Heegaard Theory
We survey some recent geometric methods for studying Heegaard splittings of 3-manifolds
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Daniel Ketover contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We survey some recent geometric methods for studying Heegaard splittings of 3-manifolds
We develop an equivariant min-max theory as proposed by Pitts-Rubinstein in 1988 and then show that it can produce many of the known minimal surfaces in $\mathbb{S}^3$ up to genus and symmetry group. We also produce several new infinite families of minimal surfaces in $\mathbb{S}^3$ proposed by Pitts-Rubinstein. These examples are doublings and desingularizations of stationary integral varifolds in $\mathbb{S}^3$.
For each integer $g\geq 1$ we use variational methods to construct in the unit $3$-ball $B$ a free boundary minimal surface $Σ_g$ of symmetry group $\mathbb{D}_{g+1}$. For $g$ large, $Σ_g$ has three boundary components and genus $g$. As $g\rightarrow\infty$ the surfaces $Σ_g$ converge as varifolds to the union of the disk and critical catenoid. These examples are the first with genus greater than $1$ and were conjectured to exist by Fraser-Schoen. We also construct several new free boundary minimal surfaces in $B$ with the symmetry groups of the cube, tetrahedron and dodecahedron. Finally, we prove that free boundary minimal surfaces isotopic to those of Fraser-Schoen can be constructed variationally using an equivariant min-max procedure. We also prove an $ε$-regularity theorem for free boundary minimal surfaces in $B$.
We prove optimal genus bounds for minimal surfaces arising from the min-max construction of Simon-Smith. This confirms a conjecture made by Pitts-Rubinstein in 1986.
We construct new embedded self-shrinkers of genus 3, 5, 7, 11 and 19 using variational methods. Our self-shrinkers resemble doublings of the Platonic solids and were discovered numerically by D. Chopp in 1994.
We prove a sharp area estimate for catenoids that allows us to rule out the phenomenon of multiplicity in min-max theory in several settings. We apply it to prove that i) the width of a three-manifold with positive Ricci curvature is realized by an orientable minimal surface ii) minimal genus Heegaard surfaces in such manifolds can be isotoped to be minimal and iii) the "doublings" of the Clifford torus by Kapouleas-Yang can be constructed variationally by an equivariant min-max procedure. In higher dimensions we also prove that the width of manifolds with positive Ricci curvature is achieved by an index 1 orientable minimal hypersurface.
Entropy is a natural geometric quantity measuring the complexity of a surface embedded in $\mathbb{R}^3$. For dynamical reasons relating to mean curvature flow, Colding-Ilmanen-Minicozzi-White conjectured that the entropy of any closed surface is at least that of the self-shrinking two-sphere. We prove this conjecture for all closed embedded $2$-spheres. Assuming a conjectural Morse index bound (announced recently by Marques-Neves), we can improve the result to apply to all closed embedded surfaces that are not tori. Our results can be thought of as the parabolic analog to the Willmore conjecture and our argument is analogous in many ways to that of Marques-Neves on the Willmore problem. The main tool is the min-max theory applied to the Gaussian area functional in $\mathbb{R}^3$ which we also establish. To any closed surface in $\mathbb{R}^3$ we associate a four parameter canonical family of surfaces and run a min-max procedure. The key step is ruling out the min-max sequence approaching a self-shrinking plane, and we accomplish this with a degree argument. To establish the min-max theory for $\mathbb{R}^3$ with Gaussian weight, the crucial ingredient is a tightening map that decreases the mass of non-stationary varifolds (with respect to the Gaussian metric of $\mathbb{R}^3$) in a continuous manner.