The injectivity radius of hyperbolic surfaces and some Morse functions over moduli spaces

Matthieu Gendulphe

Home/Archive/arXiv

arXiv · 1510.02581

The injectivity radius of hyperbolic surfaces and some Morse functions over moduli spaces

Matthieu Gendulphe

View original source ↗Read source document ↗Export metadata ↓

Abstract

This article is devoted to the variational study of two functions defined over some Teichmueller spaces of hyperbolic surfaces. One is the systole of geodesic loops based at some fixed point, and the other one is the systole of arcs.\par For each of them we determine all the critical points. It appears that the systole of arcs is a topological Morse function, whereas the systole of geodesic loops have some degenerate critical points. However, these degenerate critical points are in some sense the obvious one, and they do not interfere in the variational study of the function.\par At a nondegenerate critical point, the systolic curves (arcs or loops depending on the function involved) decompose the surface into regular polygons. This enables a complete classification of these points, and some explicit computations. In particular we determine the global maxima of these functions. This generalizes optimal inequalities due to Bavard and Deblois. We also observe that there is only one local maximum, this was already proved in some cases by Deblois.\par Our approach is based on the geometric Vorono\''i theory developed by Bavard. To use this variational framework, one has to show that the length functions (of arcs or loops) have positive definite Hessians with respect to some system of coordinates for the Teichm\''uller space. Following a previous work, we choose Bonahon's shearing coordinates, and we compute explicitly the Hessian of the length functions of geodesic loops. Then we use a characterization of the nondegenerate critical points due to Akrout.

Explore related subjects

math.GT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Matthieu Gendulphe. 2015-10-09. The injectivity radius of hyperbolic surfaces and some Morse functions over moduli spaces. https://arxiv.org/abs/1510.02581

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Hyperbolic links associated to Hamiltonian subgraphs in simple $3$-polytopes

We build a large family of hyperbolic links with an explicit decomposition of the complement into right-angled hyperbolic polytopes of finite volume. Namely, in a series of papers A.D.Mednykn and A.Yu.Vesnin introduced a construction that for a given right-angled polytope $P$ in geometry $\mathbb L^3$, $\mathbb R^3$, $\mathbb S^3$, $\mathbb L^2\times \mathbb R$, $\mathbb S^2\times \mathbb R$ and a Hamiltonian cycle, theta-subgraph or $K_4$-subgraph $Γ$ in the $1$-skeleton of $P$ builds a geometric $3$-manifold $N(P,Γ)$ with an involution $τ$ such that $N(P,Γ)/\langleτ\rangle\simeq S^3$. The brach set of the corresponding $2$-sheeted branched covering $N(P,Γ)\to S^3$ is a link $C_Γ\subset S^3$ consisting of trivially embedded circles. This construction reformulated in the language of toric topology works for such a subgraph $Γ$ in any simple $3$-polytope $P$ and gives a topological $3$-manifold $N(P,Γ)$. We give a criterion when $S^3\setminus C_Γ$ has a complete hyperbolic structure of finite volume and generalize this criterion to similar links in $3$-manifolds different from $S^3$. We prove that hyperbolic links $C_Γ$ are parametrized by nonselfcrossing Eulerian cycles, Eulerian theta-subgraphs and Eulerian $K_4$-subgraphs in hyperbolic right-angled $3$-polytopes of finite volume in $\mathbb L^3$ with $0$, $2$ or $4$ finite vertices. The complement $S^3\setminus C_Γ$ is glued of $4$, $8$ or $16$ copies of the corresponding right-angled polytope. We give a criterion when the link $C_Γ$ consists of mutually unlinked circles and prove that if such a link is nontrivial, then it contains the Borromean rings. The latter problem is motivated by the Efimov effect in quantum mechanics.

math.GT↗

arXiv2026

Knots and the Sierpinski Tetrahedron

In this paper we prove that there are infinitely many knots that cannot be embedded in the 1-skeletons of the finite iterations of the Sierpinski tetrahedron fractal. We do this by proving that such an embedding induces a sphere decomposition of weight at most 6. There are infinitely many knots with spherewidth greater than this.