We prove an optimal systolic inequality for CAT(0) metrics on a genus~2 surface. We use a Voronoi cell technique, introduced by C.~Bavard in the hyperbolic context. The equality is saturated by a flat singular metric in the conformal class defined by the smooth completion of the curve y^2=x^5-x. Thus, among all CAT(0) metrics, the one with the best systolic ratio is composed of six flat regular octagons centered at the Weierstrass points of the Bolza surface.
We find an upper bound for the entropy of a systolically extremal surface, in terms of its systole. We combine the upper bound with A. Katok's lower bound in terms of the volume, to obtain a simpler alternative proof of M. Gromov's asymptotic estimate for the optimal systolic ratio of surfaces of large genus. Furthermore, we improve the multiplicative constant in Gromov's theorem. We show that every surface of genus at least 20 is Loewner. Finally, we relate, in higher dimension, the isoembolic ratio to the minimal entropy.
We prove an upper bound on the systolic ratio of an orientable isometric filling of the circle equipped with a Riemannian metric. The bound depends only on the genus of isometric filling. We also apply the bound to the class of orientable isometric filling with a certain lower bound on the systole. We deduce that the Filling Area Conjecture holds true for this class when the genus is sufficiently large.
We show that the geometry of a Riemannian manifold (M,g) is sensitive to the apparently purely homotopy-theoretic invariant of M known as the Lusternik-Schnirelmann category, denoted cat_{LS}(M). Here we introduce a Riemannian analogue of cat_{LS}(M), called the systolic category of M. It is denoted cat_{sys}(M), and defined in terms of the existence of systolic inequalities satisfied by every metric g, as initiated by C. Loewner and later developed by M. Gromov. We compare the two categories. In all our examples, the inequality cat_{sys}(M) \le cat_{LS}(M) is satisfied, which typically turns …
The regularity of systolically extremal surfaces is a notoriously difficult problem already discussed by M. Gromov in 1983, who proposed an argument toward the existence of $L^2$-extremizers exploiting the theory of $r$-regularity developed by P. A. White and others by the 1950s. We propose to study the problem of systolically extremal metrics in the context of generalized metrics of nonpositive curvature. A natural approach would be to work in the class of Alexandrov surfaces of finite total curvature, where one can exploit the tools of the completion provided in the context of Radon measures…
We present a method for computing upper bounds on the systolic length of certain Riemann surfaces uniformized by congruence subgroups of hyperbolic triangle groups, admitting congruence Hurwitz curves as a special case. The uniformizing group is realized as a Fuchsian group and a convenient finite generating set is computed. The upper bound is derived from the traces of the generators. Some explicit computations, including ones for non-arithmetic surfaces, are given. We apply a result of Cosac and Dória to show that the systolic length grows logarithmically with respect to the genus.
We prove that manifolds of Lusternik-Schnirelmann category 2 necessarily have free fundamental group. We thus settle a 1992 conjecture of Gomez-Larranaga and Gonzalez-Acuna, by generalizing their result in dimension 3, to all higher dimensions. We examine its ramifications in systolic topology, and provide a sufficient condition for ensuring a lower bound of 3 for systolic category.
We prove a new systolic volume lower bound for non-orientable n-manifolds, involving the stable 1-systole and the codimension 1 systole with coefficients in Z_2. As an application, we prove that Lusternik-Schnirelmann category and systolic category agree for non-orientable closed manifolds of dimension 3, extending our earlier result in the orientable case. Finally, we prove the homotopy invariance of systolic category.
Let $(M,g)$ be a closed, oriented, Riemannian manifold of dimension $m$. We call a systole a shortest non-contractible loop in $(M,g)$ and denote by $sys(M,g)$ its length. Let $SR(M,g)=\frac{{sys(M,g)}^m}{vol(M,g)}$ be the systolic ratio of $(M,g)$. Denote by $SR(k)$ the supremum of $SR(S,g)$ among the surfaces of fixed genus $k \neq 0$. In Section 2 we construct surfaces with large systolic ratio from surfaces with systolic ratio close to the optimal value $SR(k)$ using cutting and pasting techniques. For all $k_i \geq 1$, this enables us to prove: $$\frac{1}{SR(k_1 + k_2)} \leq \frac{1}{SR(k…
In this article, we provide bounds on systoles associated to a holomorphic $1$-form $ω$ on a Riemann surface $X$. In particular, we show that if $X$ has genus two, then, up to homotopy, there are at most $10$ systolic loops on $(X,ω)$ and, moreover, that this bound is realized by a unique translation surface up to homothety. For general genus $g$ and a holomorphic 1-form $ω$ with one zero, we provide the optimal upper bound, $6g-3$, on the number of homotopy classes of systoles. If, in addition, $X$ is hyperelliptic, then we prove that the optimal upper bound is $6g-5$.
Given a hyperelliptic Klein surface, we construct companion Klein bottles, extending our technique of companion tori already exploited by the authors in the genus 2 case. Bavard's short loops on such companion surfaces are studied in relation to the original surface so to improve a systolic inequality of Gromov's. A basic idea is to use length bounds for loops on a companion Klein bottle, and then analyze how curves transplant to the original nonorientable surface. We exploit the real structure on the orientable double cover by applying the coarea inequality to the distance function from the r…
Given a closed manifold M, we prove the upper bound of (n+d)/2 for the length of a product of systoles that can form a curvature-free lower bound for the total volume of M, in the spirit of M. Gromov's systolic inequalities. Here n is the dimension of M, while d is the is the cohomological dimension of its fundamental group. We apply this upper bound to show that, in the case of a 4-manifold, the Lusternik--Schnirelmann category is an upper bound for such length. Furthermore we prove a systolic inequality on a manifold M with b_1(M)=2 in the presence of a nontrivial self-linking class of the t…
We show existence of constant mean curvature 1 surfaces in both hyperbolic 3-space and de Sitter 3-space with two complete embedded ends and any positive genus up to genus twenty. We also find another such family of surfaces in de Sitter 3-space, but with a different non-embedded end behavior.
In this paper we construct an example of a complete immersed minimal surface in $\mathbb{R}^3$ of genus one with two embedded catenoid-type ends, one Enneper-type end and total Gauss curvature $-16π.$ The proof of the existence of this example, was obtained using the Weierstrass representation, the theory of elliptic functions and explicitly solving the period problem.
Let X be a finite 2-complex with unfree fundamental group. We prove lower bounds for the area of a metric on X, in terms of the square of the least length of a noncontractible loop in X. We thus establish a uniform systolic inequality for all unfree 2-complexes. Our inequality improves the constant in M. Gromov's inequality in this dimension. The argument relies on the Reeb graph and the coarea formula, combined with an induction on the number of freely indecomposable factors in Grushko's decomposition of the fundamental group. More specifically, we construct a kind of a Reeb space ``minimal m…
Given a Riemannian surface, we consider a naturally embedded graph which captures part of the topology and geometry of the surface. By studying this graph, we obtain results in three different directions. First, we find bounds on the lengths of homologically independent curves on closed Riemannian surfaces. As a consequence, we show that for any $λ\in (0,1)$ there exists a constant $C_λ$ such that every closed Riemannian surface of genus $g$ whose area is normalized at $4π(g-1)$ has at least $[λg]$ homologically independent loops of length at most $C_λ\log(g)$. This result extends Gromov's asy…
For each end of complete minimal surface in the Euclidean 3-space, the flux vector is defined. It is well-known that the sum of the flux vector over all ends are zero. Consider the following inverse problem: For each balanced n-vectors, find an n-end catenoid which realizes these vectors as flux. Here, an n-end catenoid is a complete minimal surface of genus zero with ends asymptotic to the catenoids. In this paper, we show that the inverse problem can be solved for almost all balanced n vectors for arbitrary n, which is grater than 4. The assumption "almost all" is needed because nonexistence…
In this paper, we use the conjugate surface construction to prove the existence of certain non-periodic symmetric immersed minimal surfaces. These surfaces have finite total curvature and embedded catenoid ends, and they have positive genus yet maintain the symmetry of their genus-zero counterparts constructed by Jorge-Meeks and Xu.
In this paper, we discuss complete minimal immersions in $\mathbb{R}^N$($N\geq4$) with finite total curvature and embedded planar ends. First, we prove nonexistence for the following cases: (1) genus 1 with 2 embedded planar ends, (2) genus $\neq4$, hyperelliptic with 2 embedded planar ends like the Lagrangian catenoid. Then we show the existence of embedded minimal spheres in $\mathbb{R}^4$ with 3 embedded planar ends. Moreover, we construct genus $g$ examples in $\mathbb{R}^4$ with $d$ embedded planar ends such that $g\geq 1$ and $g+2\leq d\leq 2g+1$. These examples include a family of embed…
We construct the first examples of complete, properly embedded minimal surfaces in $\mathbb{H}^2 \times \mathbb{R}$ with finite total curvature and positive genus. These are constructed by gluing copies of horizontal catenoids or other nondegenerate summands. We also establish that every horizontal catenoid is nondegenerate. Finally, using the same techniques, we are able to produce properly embedded minimal surfaces with infinitely many ends. Each annular end has finite total curvature and is asymptotic to a vertical totally geodesic plane.
We construct higher genus Riemann's minimal surfaces properly embedded in the Euclidean space. To do that we glue end by end a Costa-Hoffman-Meeks examples to two halves genus zero Riemann's minimal surfaces. In first we need to perform a deformation of a Costa-Hoffman-Meeks example to prescribe the flux vector along the catenoidal ends. Then we study the mapping property of the Jacobi operator on the half Riemann example as a perturbation analysis of a CMC-Delaunay half cylinder.
We investigate the close relationship between minimal surfaces in Euclidean 3-space and constant mean curvature 1 surfaces in hyperbolic 3-space. Just as in the case of minimal surfaces in Euclidean 3-space, the only complete connected embedded constant mean curvature 1 surfaces with two ends in hyperbolic space are well-understood surfaces of revolution -- the catenoid cousins. In contrast to this, we show that, unlike the case of minimal surfaces in Euclidean 3-space, there do exist complete connected immersed constant mean curvature 1 surfaces with two ends in hyperbolic space that are not …
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)φ=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π$.
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 …
We construct new examples of immersed minimal surfaces with catenoid ends and finite total curvature, of both genus zero and higher genus. In the genus zero case, we classify all such surfaces with at most $2n+1$ ends, and with symmetry group the natural $\bfZ_2$ extension of the dihedral group $D_n$. The surfaces are constructed by proving existence of the conjugate surfaces. We extend this method to cases where the conjugate surface of the fundamental piece is noncompact and is not a graph over a convex plane domain.
