Related papers: A short proof of a conjecture of Aougab-Huang

For compact Riemann surfaces, the collar theorem and Bers' partition theorem are major tools for working with simple closed geodesics. The main goal of this paper is to prove similar theorems for hyperbolic cone-surfaces. Hyperbolic…

We prove that the 8^4_2 link complement is the minimal volume orientable hyperbolic manifold with 4 cusps. Its volume is twice of the volume V_8 of the ideal regular octahedron, i.e. 7.32... = 2V_8. The proof relies on Agol's argument used…

Let S be the boundary of a handlebody M. We prove that the set of curves in S that are boundaries of disks in M, considered as a subset of the complex of curves of S, is quasi-convex.

The gonality of a smooth geometrically connected curve over a field $k$ is the smallest degree of a nonconstant $k$-morphism from the curve to the projective line. In general, the gonality of a curve of genus $g \ge 2$ is at most $2g - 2$.…

The discrete isoperimetric inequality states that among all n -gons with a fixed area, the regular n -gon has the least perimeter. We prove analogues of the discrete isoperimetric inequality (involving circumradius or inradius) for cyclic…

We formulate a tropical analogue of Grothendieck's section conjecture: that for every stable graph G of genus g>2, and every field k, the generic curve with reduction type G over k satisfies the section conjecture. We prove many cases of…

There are many four vertex type theorems appearing in the literature, coming in both smooth and discrete flavors. The most familiar of these is the classical theorem in differential geometry, which states that the curvature function of a…

Since the set of volumes of hyperbolic 3-manifolds is well ordered, for each fixed g there is a genus-g surface bundle over the circle of minimal volume. Here, we introduce an explicit family of genus-g bundles which we conjecture are the…

We prove that, among the polygons in a punctured disc with fixed angles, the perimeter is minimized by the polygon with an inscribed horocycle centered at the puncture. We generalize this to a disc with a cone point and to an annulus with a…

Main difference with previous version: we prove that every differentiably embedded sphere with self intersection $-1$ in a simply connected algebraic surface with $p_g >0$ is homologous to a $(-1)$-curve if $|K_{\min}|$ contains a smooth…

We prove sharp bounds for the product and the sum of the hyperbolic lengths of a pair of hyperbolic adjacent sides of hyperbolic Lambert quadrilaterals in the unit disk. We also show the H\"older convexity of the inverse hyperbolic sine…

We prove that if $(M,g)$ is a topological 3-ball with a $C^4$-smooth Riemannian metric $g$, and mean-convex boundary $\partial M$ then knowledge of least areas circumscribed by simple closed curves $\gamma \subset \partial M$ uniquely…

We consider a hyperbolic polygon in the unit disk $\{z:\, |z|<1\}$ with all its vertices on the unit circle $\{z:\, |z|=1\}$ and a growth process of such polygons when each $n$-gon generates an $n(n-1)$-gon by inverting itself across all of…

Let G be a simple complex algebraic group. We prove that the irregularity of the adjoint connection of an irregular flat G-bundle on the formal punctured disk is always greater than or equal to the rank of G. This can be considered as a…

We give a combinatorial proof, using the hyperbolicity of the curve graphs, of the bounded geodesic image theorem of Masur and Minsky. Recently it has been shown that curve graphs are uniformly hyperbolic, thus a universal bound can be…

Consider the problem of fnding the smallest area convex $k$-gon containing $n\in\mathbb{N}$ congruent disks without an overlap. By using Wegner inequality in sphere packing theory we give a lower bound for the area of such polygons. For…

A convex body $R$ in the hyperbolic plane is reduced if any convex body $K\subset R$ has a smaller minimal width than $R$. We examine the area of a family of hyperbolic reduced $n$-gons, and prove that, within this family, regular $n$-gons…

This paper is a sequel of arXiv:2208.00990. Let $C$ be a smooth complex projective curve of genus $g$ and let $C^{(k)}$ be its $k$-fold symmetric product. The covering gonality of $C^{(k)}$ is the least gonality of an irreducible curve…

We prove that the isoperimetric inequalities in the euclidean and hyperbolic plane hold for all euclidean, respectively hyperbolic, cone-metrics on a disk with singularities of negative curvature. This is a discrete analog of the theorems…

We show that for every simple closed curve \alpha, the extremal length and the hyperbolic length of \alpha are quasi-convex functions along any Teichmuller geodesic. As a corollary, we conclude that, in Teichmuller space equipped with the…