The moduli space of two-convex embedded tori
Reto Buzano, Robert Haslhofer, Or Hershkovits

TL;DR
This paper studies the topology of the space of two-convex embedded tori in Euclidean space, showing path-connectedness in higher dimensions and a correspondence with knot classes in dimension two, using a specialized mean curvature flow.
Contribution
It establishes the topological structure of the moduli space of two-convex embedded tori, including path-connectedness and knot class correspondence, via a novel mean curvature flow technique.
Findings
The moduli space is path-connected for dimensions n ≥ 3.
In dimension 2, the connected components correspond to knot classes.
A new mean curvature flow with surgery approach preserves topology and convexity.
Abstract
In this short article we investigate the topology of the moduli space of two-convex embedded tori . We prove that for this moduli space is path-connected, and that for the connected components of the moduli space are in bijective correspondence with the knot classes associated to the embeddings. Our proof uses a variant of mean curvature flow with surgery developed in our earlier article (arXiv:1607.05604) where neck regions are deformed to tiny strings instead of being cut out completely, an approach which preserves the global topology, embeddedness, as well as two-convexity.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
The moduli space of two-convex embedded tori
Reto Buzano and Robert Haslhofer and Or Hershkovits
Abstract.
In this short article we investigate the topology of the moduli space of two-convex embedded tori . We prove that for this moduli space is path-connected, and that for the connected components of the moduli space are in bijective correspondence with the knot classes associated to the embeddings. Our proof uses a variant of mean curvature flow with surgery developed in our earlier article [3] where neck regions are deformed to tiny strings instead of being cut out completely, an approach which preserves the global topology, embeddedness, as well as two-convexity.
R.B. has been supported by EPSRC grant EP/M011224/1. R.H. has been supported by NSERC grant RGPIN-2016-04331, NSF grant DMS-1406394 and a Connaught New Researcher Award. O.H. has been supported by an AMS-Simons travel grant.
1. Introduction
The goal of this short article is to extend the results from our previous paper [3] to the case of two-convex embedded tori. In our previous paper we considered the moduli space of two-convex embedded spheres, i.e. the space
[TABLE]
equipped with the smooth topology, where denotes the space of smooth embeddings with the property that the sum of the smallest two principal curvatures is positive at every point. We proved that is path-connected in every dimension , and conjectured that is actually contractible in every dimension . This was inspired in part by Hatcher’s proof of the Smale conjecture [6, 10] and by related work of Marques on the moduli space of metrics with positive scalar curvature [8].
Here, we consider the moduli space of two-convex embedded tori, i.e. the space
[TABLE]
equipped with the smooth topology. Recall that by a result of Huisken-Sinestrari [7] the space is empty for , so without loss of generality we can assume right away. A new interesting feature of the moduli space compared to , is that it can have non-trivial algebraic topology. In fact, some non-trivial algebraic topology can already be spotted at the level of , and our main theorem gives a complete classification of the path-components of .
Theorem 1.3**.**
The path-components of the moduli space of two-convex embedded tori are given by
[TABLE]
where denotes the set of knot classes. This means that is path-connected for , while for we have that two mean-convex embedded tori are in the same path-component of their moduli space if and only if they have the same knot class.
We recall that for the notion of two-convexity simply becomes the more basic notion of mean-convexity, i.e. the property that the mean curvature vector points inwards at every point. The knot class of an embedded torus is defined as follows: Choose an embedding map with such that can be extended to an embedding of the solid torus bounded by . The knot class of is then defined as the knot equivalence class of
[TABLE]
The knot class of an embedded torus is of course well defined, i.e. independent of the choice of extendible parameterization, and preserved under isotopies (see Section 2).
The result of Theorem 1.3 is new even in the seemingly classical case . While the space of embedded tori in is a well studied classical object, it seems that none of the known topological methods deforming such tori into one another can actually preserve mean-convexity, i.e. the only method we know to prove Theorem 1.3 even in dimension is by using our geometric analytic approach based on mean curvature flow.
Let us now outline the main steps of the proof of Theorem 1.3, following the framework from our previous article [3].
Given a -convex embedded closed hypersurface , we consider its mean curvature flow with surgery as provided by the existence theorem from [5, Thm. 1.21]. The flow always becomes extinct in finite time . Around all but finitely many times the flow is a smooth mean curvature flow, but at some finite non-empty collection of times surgeries and/or discarding will occur.
By the canonical neighborhood theorem [5, Thm. 1.22] each discarded component is either a convex sphere of controlled geometry, a capped-off chain of -necks or an -loop. This information is sufficient to construct an explicit -convex isotopy from any discarded component to what we call a marble graph (see Section 3). Roughly speaking, a marble graph is a family of disjoint spheres, smoothly glued to one another along tubular neighborhoods of some admissible curves.
While surgeries disconnect the hypersurfaces into different connected components, for our topological application we eventually have to connect the pieces again. To this end, we use the -convex connected sum operation from [3]. In this construction, two -convex hypersurfaces are glued together along tiny tubes around admissible curves (so-called strings) connecting the hypersurfaces (see Section 2 for details). If the string radius is chosen to be much smaller than the surgery scales used in the mean curvature flow, then these different scales barely interact. As in [3], we can therefore argue by backwards induction on the surgery times that at each time every connected component is isotopic via -convex embeddings to a marble graph, see Theorem 3.3. In fact, this result holds for any embedded -convex closed hypersurface in without topological assumption.
If the initial hypersurface has the topology of a torus, it must thus be isotopic via -convex embeddings to a marble circuit – a marble graph with only one loop (see Section 3). Having constructed a -convex isotopy from the original torus to a marble circuit, in Section 4 we finally show that such a circuit is isotopic (again via -convex embeddings) to an arbitrarily thin tubular neighborhood of a knot . Finally, it is easy to see that such thin tubular neighborhoods are always -convex isotopic for , while for they are mean-convex isotopic if and only if they represent the same knot class.
2. Preliminaries
The goal of this section is to collect and prove various preliminary results.
We start by explaining that the knot class of an embedded torus is well defined.
Definition 2.1** (Knot class).**
Two embedded closed curves , are said to belong to the same (non-oriented) knot equivalence class if there exists an ambient isotopy , such that or .
Proposition 2.2**.**
Given two diffeomorphisms , where is a solid torus in , the knot class of is the same as the knot class of .
For the proof of Proposition 2.2 we need the following lemma.
Lemma 2.3**.**
Let be the standard inclusion and let be a diffeomorphism. Then there exists a diffeomorphism extending (i.e ) if and only if the map , where is the projection to the second component, has vanishing degree.
Proof of Lemma 2.3.
If there is such an extension then , where , gives a homotopy between and a constant map, and hence .
Conversely, any is isotopic to a map of the form
[TABLE]
for some A=\footnotesize{\Big{(}\begin{array}[]{cc}a&b\\ c&d\end{array}\Big{)}} in . As the degree is a homotopy invariant, for a map isotopic to a diffeomorphism with we must have . But then
[TABLE]
gives an extension of . Finally, an extension of is obtained by the isotopy extension property. ∎
Proof of Proposition 2.2.
Consider . Note that it suffices to prove that and are equivalent knots in .
Restrict to a map such that . By the proof of the previous lemma we know that is isotopic to a map of the form
[TABLE]
where and . After possibly reversing orientation (which is allowed by our definition of knot equivalence) we can assume that . By the isotopy extension property we thus see that in the knots and are equivalent.
But in the knot is clearly equivalent to the knot , which is in turn equivalent to the knot . This proves the assertion. ∎
For the sake of convenience, in this paper, instead of closed embedded hypersurfaces we often talk about the compact domain bounded by . These two points of view are of course equivalent, since determines , and vice versa.
Given a solid torus by Proposition 2.2 we can associate to it a knot class. Given a family of tori we denote by the set of knot classes. Clearly if are isotopic, then they are in the same knot class. The far less obvious part of the statement of Theorem 1.3, which we will prove in the bulk of the paper, is that whenever two mean-convex tori have the same knot class, then there exists a mean-convex isotopy between them. Generalizing mean-convex domains in , we actually consider -convex domains in for general , so let us now discuss some basic notions about the domains we consider.
Definition 2.7**.**
A smooth compact domain is called -convex, if
[TABLE]
at all points . Here, denote the principal curvatures, i.e. the eigenvalues of the second fundamental form of .
Definition 2.9**.**
A -convex isotopy is a smooth family of -convex domains. Here smoothness is taken with respect to the smooth topology of submanifolds with boundary in . We say that two -convex domains are -convex isotopic if there is a -convex isotopy such that and .
Definition 2.10**.**
We say that an isotopy is monotone if for , and monotone outside a set if for . We call such an isotopy trivial outside a set if is independent of .
The goal for the rest of this section is to recall the gluing theorem (and some other required definitions) from [3]. The input for the gluing map is a controlled configuration of -convex domains and curves given by the following three definitions.
We first recall that a -convex domain is called -noncollapsed (see [9, 1, 4]) if each boundary point admits interior and exterior balls tangent at of radius at least .
Definition 2.11** (-controlled domains).**
Let , , , and . A smooth domain is called -controlled, if it is -noncollapsed and satisfies
[TABLE]
We write to keep track of the constants. We denote by the set of all (possibly disconnected) -convex smooth compact domains , and we denote by \mathcal{D}_{\mathbb{A}}=\{K\in\mathcal{D}\;|\;\textrm{K\mathbb{A}-controlled}\} the subset of all -controlled domains.
Definition 2.13** (-controlled curves).**
Let . An oriented compact curve (possibly with finitely many components) is called -controlled if the following conditions are satisfied.
- (a)
The curvature vector satisfies and . 2. (b)
Each connected component has normal injectivity radius at least . 3. (c)
Different connected components are at least distance apart.
We denote by the set of all -controlled curves .
Definition 2.14** (Controlled configuration of domains and curves).**
We call a pair an -controlled configuration if the following holds.
- (a)
The interior of lies entirely in . 2. (b)
The endpoints of satisfy the following properties:
- •
If , then touches orthogonally there.
- •
If , then .
- •
d\big{(}\gamma\setminus\bigcup_{p\in\partial\gamma}B_{b/10}(p),\partial D\big{)}\geq b/20.
We denote by the set of all -controlled configurations.
The gluing map from Theorem 2.16 below transforms an -controlled configuration into a -convex domain . In order to state precisely how looks like at loose ends of , we also need the following definition of capped-off tubes from [3, Def. 2.9]. To this end, first recall that given we can fix a suitable standard cap as in [3, Def. 2.8] and [5, Def. 2.2, Prop. 3.10], which is given as domain of revolution of a suitable concave function and serves as standard piece for the surgeries.
Definition 2.15** (Capped-off tube).**
Let be a connected -controlled curve parametrized by arc-length. A right capped-off tube of radius around at a point , where , is the domain
[TABLE]
A left capped-off tube is defined analogously. If is an endpoint of the curve , we simply talk about the capped-off tube at , meaning if and if .
We can now recall the main gluing theorem from [3].
Theorem 2.16** (Gluing map, Theorem 4.1 of [3]).**
There exists a constant , a smooth rigid motion equivariant map
[TABLE]
and a smooth increasing function with , such that the following holds.
- (1)
* deformation retracts to .* 2. (2)
We have
[TABLE]
where denotes the (solid) -tubular neighborhood of . The collection of balls is disjoint. 3. (3)
If and denotes the connected component of containing as its endpoint, then
[TABLE]
where denotes the capped-off -tube around at . 4. (4)
The construction is local: If for some , then .
Moreover, in the special case that is a straight line and that for some and , then is given by the explicit rotationally symmetric construction from [3, Prop. 4.2].
3. Transforming -convex domains to marble graphs
Using the gluing map from Theorem 2.16, we can now define marble graphs by extending our concept of a marble tree from [3].
Definition 3.1** (Marble graph).**
A marble graph with string radius and marble radius is a domain of the form such that
- (1)
is a union of finitely many balls (“marbles”) of radius . 2. (2)
The curve is such that:
- •
there are no loose ends, i.e. ,
- •
is a union of straight rays for all ,
If is contractible, then is called a marble tree. If is homotopy equivalent to then is called a marble circuit.
Remark 3.2*.*
Note that by the moreover-part of Theorem 2.16 and by the structure of as in Definition 3.1, does not depend on the precise value of the control parameters. We can thus freely adjust the control parameters and shrink whenever needed.
The goal of this section is to prove the following structure theorem for -convex domains.
Theorem 3.3**.**
Every -convex domain is -convex isotopic to a marble graph.
Proof.
The proof of this theorem uses three steps, generalizing the argument from our previous article [3]. Hence, at some points we only outline the argument and give precise references to steps that have been carried out already in our previous article.
Step 1: Mean curvature flow with surgery.
The theory of mean curvature flow with surgery was first introduced by Huisken-Sinestrari [7] for -convex hypersurfaces with . Later, a theory for surfaces was developed by Brendle-Huisken [2] and an approach which works in all dimensions was given by Haslhofer-Kleiner [5]. We follow the framework of the last mentioned article here.
Loosely speaking, a mean curvature flow with surgery starting at a -convex domain is a collection of finitely many smooth -convex mean curvature flows (where and ), such that and is obtained from by surgeries and/or discarding of connected components. More precisely, one first replaces finitely many (possibly zero) strong -necks with center and radius by pairs of opposing standard caps , obtaining the post-surgery domain , see [5, Def. 2.3 and Def. 2.4] for a detailed description. Then, one discards finitely many connected components of high curvature to obtain . We refer to [5, Def. 1.17] for a precise definition and to [5, Thm. 1.21] for an existence result of such a mean curvature flow with surgery. By comparison with spheres, the flow always becomes extinct in finite time, that is . In particular, at the last singular time , there is only discarding of all the remaining components and no surgery.
The existence theorem is accompanied by the canonical neighborhood theorem, which gives a precise description of the regions of high curvature that are discarded. The upshot, see [5, Cor. 1.25] and in particular its proof, is that all discarded components are diffeomorphic to or . Moreover, the components that are diffeomorphic to are either (a) convex or (b) capped -tubes and the components diffeomorphic to are (c) -tubular loops. The precise definitions for the cases (b) and (c) are as follows.
Definition 3.4** (Capped -tubes and -tubular loops).**
- (1)
A capped -tube is a -convex compact domain diffeomorphic to a ball, together with a controlled connected curve with endpoints on such that:
- (a)
If denote the endpoints of then is -close (after rescaling to unit size) to either (a) a -cap or (b) a standard-cap . Here, a -cap is a strictly convex domain such that every point outside some compact subset of size is the center of an -neck of radius 1. 2. (b)
Every interior point with and is the center of an -neck with axis given by . Moreover, if denotes the radius of the -neck with center , then is -controlled in . 2. (2)
An -tubular loop is a -convex compact domain which deformation retracts to , together with a controlled closed curve such that every point is the center of an -neck with axis given by . Moreover, if denotes the radius of the -neck with center , then is -controlled in .
By this theory, we can evolve any -convex domain by mean curvature flow with surgery until it becomes extinct, preserving -convexity and having a precise description of all the discarded components during the process. For a more detailed summary of the essential results described above, we refer to Sections 6 and 8 in our previous article [3].
Step 2: Isotopies for surgery necks and discarded components.
In [3], we explained how to geometrically undo the surgery by gluing the two surgery caps back together along a tiny string as described in the gluing construction in Theorem 2.16 above.
Lemma 3.5** (Combination of Lemma 6.4 and Proposition 6.5 from [3]).**
For small enough , if is obtained from by replacing a strong -neck (with center [math] and radius ) by a pair of standard caps (with cap separation parameter ), then there is an almost straight line between the tips of the standard caps and for small enough, there exists an isotopy between and that preserves -convexity and is trivial outside .
Lemma 3.5 allowed us to construct an isotopy from a capped -tube to a marble graph.
Lemma 3.6** (Isotopy for capped -tubes, Proposition 7.4 of [3]).**
For small enough, every capped -tube (see Definition 3.4) is -convex isotopic to a marble tree. Moreover, there exists a finite collection of -neck points with for every pair , such that the isotopy is monotone outside .
Similar to this lemma, we now prove a version for -tubular loops. This result was not needed for the argument in [3], as there our topological assumption ruled out discarded components of this type.
Lemma 3.7** (Isotopy for -tubular loops).**
For small enough, every -tubular loop (see Definition 3.4) is -convex isotopic to a marble circuit. Moreover, there exists a finite collection of -neck points with for every pair , such that the isotopy is monotone outside .
Proof.
In the following, we assume that and are small enough. We denote by an -tubular loop as in Definition 3.4. The isotopy from to a marble circuit is constructed in two steps. First, let be a maximal collection of -neck points such that for any pair the distance between the points is at least .
For each , we replace the -neck with center by a pair of standard caps as described in [5, Def. 2.4] and denote the post-surgery domain by . This is possible by [5, Prop. 3.10]. Let be the disjoint union of almost straight curves connecting the opposing standard caps as in [3, Lem. 6.4]. Note that is Hausdorff close to . Then, by Lemma 3.5, there exists a -convex isotopy between and .
Note that each connected component of is a small perturbation of a capped-off cylinder (capped-off on both sides) and can therefore be deformed monotonically to a (slightly smaller) capped-off cylinder as described in Definition 2.15. Then, letting this capped-off cylinder flow by mean curvature, it will instantaneously become strictly convex, so it is certainly -convex isotopic to a round ball.
Let be the union of the above isotopies between the connected components of and balls. Denote by the smallest radius among these balls and let be an isotopy that concatenates smoothly at and shrinks all balls further to a smaller radius, say . Moreover, let be the family of curves which follows by normal motion starting at . Then provides the second part of the -convex isotopy we want to construct, transforming to a marble circuit. ∎
Remark 3.8*.*
It is trivial to see that also discarded components of type (a) can be transformed to marble graphs. In fact, if is a smooth compact convex domain, we can simply choose a single marble and then given by is a monotone convex isotopy (trivial outside ), with and .
Step 3: Gluing isotopies together using backwards induction.
We now fix small enough such that all applications of the previous lemmas as well as the application of [3, Lem. 9.4] below are justified. Depending on and the parameters of the initial domain we then choose the surgery parameters from [5] precise enough, namely the neck precision parameter small enough, and the trigger-curvature, neck-curvature and thick-curvature, as well as their ratios, large enough.
Consider the evolution by mean curvature flow with surgery as described in Step 1, with initial condition . Recall that at each finitely many -necks with center and radius are replaced by a pair of standard caps. Let , and observe that these balls are pairwise disjoint (see [5, Prop. 2.5]). Similarly, for each discarded component which is either a capped -tube or an -tubular loop, by Lemma 3.6 or Lemma 3.7, respectively, there is a finite collection of -neck points, whose centers and radii we denote by and . We then set . The isotopy which we will construct will be monotone outside the set of pairwise disjoint balls
[TABLE]
Now, let be the assertion that every connected component of is -convex isotopic to a marble graph. Since at time there is only discarding and no surgery, we know that holds, having shown in Step 2 that all discarded components are isotopic to marble graphs. We now prove the following (backwards) inductive step.
Claim 3.10**.**
If and holds, so does .
Proof.
Smooth evolution by mean curvature flow provides a monotone isotopy between and . Recall that is obtained from by performing surgery on a collection of disjoint -necks and/or discarding connected components that are entirely covered by canonical neighborhoods. By the inductive hypothesis, the connected components of and hence of are isotopic to marble graphs, and by Step 2 the discarded components are isotopic to marble graphs as well. It follows that all components of are isotopic to marble graphs.
Let denote such an isotopy deforming into a union of marble graphs , which is monotone outside . We now want to glue together the isotopies of the components. If there was only discarding at time there is no need to glue, hence we can assume that has at least two components.
For each surgery neck at time , select an almost straight line between the tips of the corresponding pair of standard caps and set . By Lemma 3.5, the domain is isotopic to via -convex domains with an isotopy that is trivial outside . Finally, to get an isotopy it remains to construct a suitable family of curves along which we can do the gluing. We start with and then essentially define by following the points where touches via normal motion. It can happen at finitely many times that hits . In this case, we modify according to [3, Lem. 9.4] to avoid the surgery regions. Then gives the desired -convex isotopy. ∎
By backwards induction on , we then in particular obtain that holds, i.e. is -convex isotopic to a marble graph. Finally, smooth mean curvature flow provides a -convex isotopy between and (in particular, has only one connected component). We conclude that is -convex isotopic to a marble graph, proving the theorem. ∎
4. Deforming marble circuits and conclusion of the proof
We will now prove the following deformation theorem for marble circuits.
Theorem 4.1** (Marble circuit isotopy).**
Every marble circuit is -convex isotopic to a (solid) thin torus , where is a closed embedded curve and is arbitrarily small.
Proof.
The proof is a generalization of the proof of [3, Thm. 5.2], where we showed that every marble tree is -convex isotopic to a round ball. Our previous proof was based on two basics steps: rearrangements and marble reduction. Given some , the rearrangement step allowed us to push all other curves out of the hemisphere with pole (see [3, Lem. 5.3]). The reduction step allowed us (after applying rearrangements) to remove a leaf of the marble tree via -convex isotopies (see [3, Prop. 5.5]).
By repeatedly choosing a leaf, rearranging and applying reduction, we thus see that every marble circuit is isotopic to a marble circuit with the property that for every connected component of , consists exactly of two antipodal points.
After possibly shrinking and as in Remark 3.2 and then rescaling the configuration so that , the moreover-part of Theorem 2.16 implies that for each the configuration around is given by the explicit rotationally symmetric gluing model from [3, Prop. 4.2]. We can then use the isotopy around , while increasing the string radius to elsewhere. Finally, using a linear isotopy (see [3, Prop. 3.12]), this can be perturbed to a solid tube of radius one, which we can deform radially to an arbitrarily thin torus. ∎
We can now finish the proof of our main theorem.
Proof of Theorem 1.3.
Let be two -convex tori. If , we assume in addition that and have the same knot class. We recall from Section 2, the knot class of a torus is invariant under isotopies.
By Theorem 3.3 and the topological assumption, and are -convex isotopic to marble circuits and , respectively. By Theorem 4.1 the marble circuits and are -convex isotopic to (solid) thin tori and , for some closed embedded curves . In the case , there exists and ambient isotopy deforming to since we assumed that and have the same knot class. In the case , there also exists an ambient isotopy deforming to since there are no nontrivial knots in for any . Finally, by choosing very small, it is easy to see that such an ambient isotopy gives rise to a -convex isotopy between and . ∎
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] B. Andrews. Noncollapsing in mean-convex mean curvature flow. Geom. Topol. , 16(3):1413–1418, 2012.
- 2[2] S. Brendle and G. Huisken. Mean curvature flow with surgery of mean convex surfaces in ℝ 3 superscript ℝ 3 \mathbb{R}^{3} . Invent. Math. , 203(2):615–654, 2016.
- 3[3] R. Buzano, R. Haslhofer, and O. Hershkovits. The moduli space of two-convex embedded spheres. ar Xiv:1607.05604 , 2016.
- 4[4] R. Haslhofer and B. Kleiner. Mean curvature flow of mean convex hypersurfaces. Comm. Pure Appl. Math. , 70(3):511–546, 2017.
- 5[5] R. Haslhofer and B. Kleiner. Mean curvature flow with surgery. Duke Math. J. (online first) , 2017.
- 6[6] A. Hatcher. A proof of the Smale conjecture, Diff ( S 3 ) ≃ O ( 4 ) similar-to-or-equals Diff superscript 𝑆 3 O 4 {\rm Diff}(S^{3})\simeq{\rm O}(4) . Ann. of Math. (2) , 117(3):553–607, 1983.
- 7[7] G. Huisken and C. Sinestrari. Mean curvature flow with surgeries of two-convex hypersurfaces. Invent. Math. , 175(1):137–221, 2009.
- 8[8] F. C. Marques. Deforming three-manifolds with positive scalar curvature. Ann. of Math. (2) , 176(2):815–863, 2012.
