SearcharxivSearch

arXiv subjects

Florent Balacheff

Publications and source records attributed to Florent Balacheff.

At least 19 recordsLinked to original sources

Complete 3-manifolds of positive scalar curvature with quadratic decay

We prove that if an orientable 3-manifold $M$ admits a complete Riemannian metric whose scalar curvature is positive and has a subquadratic decay at infinity, then it decomposes as a (possibly infinite) connected sum of spherical manifolds and $\mathbb{S}^2 \times \mathbb{S}^1$ summands. This generalises a theorem of Gromov and Wang by using a different, more topological, approach. As a result, the manifold $M$ carries a complete Riemannian metric of uniformly positive scalar curvature, which partially answers a conjecture of Gromov. More generally, the topological decomposition holds without any scalar curvature assumption under a weaker condition on the filling discs of closed curves in the universal cover based on the notion of fill radius. Moreover, the decay rate of the scalar curvature is optimal in this decomposition theorem. Indeed, the manifold $\mathbb{R}^2 \times \mathbb{S}^1$ supports a complete metric of positive scalar curvature with exactly quadratic decay, but does not admit a decomposition as a connected sum.

math.DG

Diastolic and isoperimetric inequalities on surfaces

We prove a universal inequality between the diastole, defined using a minimax process on the one-cycle space, and the area of closed Riemannian surfaces. Roughly speaking, we show that any closed Riemannian surface can be swept out by a family of multi-loops whose lengths are bounded in terms of the area of the surface. This diastolic inequality, which relies on an upper bound on Cheeger's constant, yields an effective process to find short closed geodesics on the two-sphere, for instance. We deduce that every Riemannian surface can be decomposed into two domains with the same area such that the length of their boundary is bounded from above in terms of the area of the surface. We also compare various Riemannian invariants on the two-sphere to underline the special role played by the diastole.

math.DG

A Basmajian-type inequality for Riemannian surfaces

We explore for compact Riemannian surfaces whose boundary consists of a single closed geodesic the relationship between orthospectrum and boundary length. More precisely, we establish a uniform lower bound on the boundary length in terms of the orthospectrum when fixing a metric invariant of the surface related to the classical notion of volume entropy. This inequality can be thought of as a Riemannian analog of Basmajian's identity for hyperbolic surfaces.

math.DG

Short incompressible graphs and $2$-free groups

Consider a finite connected $2$-complex $X$ endowed with a piecewise Riemannian metric and whose fundamental group is freely indecomposable, of rank at least $3$, and in which every $2$-generated subgroup is free. In this paper we show that we can always find a connected graph $\Gamma\subset X$ such that $\pi_1 \Gamma\simeq {\mathbb F}_2 \hookrightarrow\pi_1 X$ (in short, a $2$-incompressible graph) whose length satisfies the following curvature-free inequality: $\ell(\Gamma)\leq 4\sqrt{2\text{Area}(X)}$. This generalizes a previous inequality proved by Gromov for closed Riemannian surfaces with negative Euler characteristic. As a consequence we obtain that the volume entropy of such $2$-complexes with unit area is always bounded away from zero.

math.DG

Projective transformations of convex bodies and volume product

In this paper we study certain variational aspects of the volume product functional restricted to the space of small projective deformations of a fixed convex body. In doing so, we provide a short proof of a theorem by Klartag: a strong version of the slicing conjecture implies the Mahler conjecture. We also exhibit an interesting family of critical convex bodies in dimension $2$ containing saddle points for this functional.

math.MG

Isosystolic inequalities on two-dimensional Finsler tori

In this article we survey all known optimal isosystolic inequalities on two-dimensional Finsler tori involving the following two central notions of Finsler area: the Busemann-Hausdorff area and the Holmes-Thompson area. We also complete the panorama by establishing the following new optimal isosystolic inequality that is deduced from prior work by Burago and Ivanov: the Busemann-Hausdorff area of a Finsler reversible $2$-torus with unit systole is at least equal to $\pi/4$.

math.DG

The Santal\'o point for the Holmes-Thompson boundary area

We explore the notion of Santal\'o point for the Holmes-Thompson boundary area of a convex body in a normed space. In the case where the norm is $C^1$, and in the case where unit ball and convex body coincide, we prove existence and uniqueness. When the normed space has a smooth positively curved unit ball, we exhibit a dual Santal\'o point expressed as an average of centroids of projections of the dual body.

math.MG

Systoles and diameters of hyperbolic surfaces

In this article we explore the relationship between the systole and the diameter of closed hyperbolic orientable surfaces. We show that they satisfy a certain inequality, which can be used to deduce that their ratio has a (genus dependent) upper bound.

math.GT

A curvature-free Log(2k-1) Theorem

This paper presents a curvature-free version of the Log(2k-1) Theorem of Anderson, Canary, Culler & Shalen [ACCS96]. It generalizes a result by Hou [Hou01] and its proof is rather straightforward once we know the work by Lim [Lim08] on volume entropy for graphs. As a byproduct we obtain a curvature-free version of the Collar Lemma in all dimensions.

math.GT

Minimal length product over homology bases of manifolds

Minkowski's second theorem can be stated as an inequality for $n$-dimensional flat Finsler tori relating the volume and the minimal product of the lengths of closed geodesics which form a homology basis. In this paper we show how this fundamental result can be promoted to a principle holding for a larger class of Finsler manifolds. This includes manifolds for which first Betti number and dimension do no necessarily coincide, a prime example being the case of surfaces. This class of manifolds is described by a non-vanishing condition for the hyperdeterminant reduced modulo $2$ of the multilinear map induced by the fundamental class of the manifold on its first ${\mathbb Z}_2$-cohomology group using the cup product.

math.GT

Macroscopic Schoen conjecture for manifolds with non-zero simplicial volume

We prove that given a hyperbolic manifold endowed with an auxiliary Riemannian metric whose sectional curvature is negative and whose volume is sufficiently small in comparison to the hyperbolic one, we can always find for any radius at least $1$ a ball in its universal cover whose volume is bigger than the hyperbolic one. This result is deduced from a non-sharp macroscopic version of a conjecture by R. Schoen about scalar curvature, whose proof is a variation of an argument due to M. Gromov and based on a smoothing technique. We take the opportunity of this work to present a full account of this technique which involves simplicial volume and deserves to be better known.

math.DG

Systolic geometry and simplicial complexity for groups

Twenty years ago Gromov asked about how large is the set of isomorphism classes of groups whose systolic area is bounded from above. This article introduces a new combinatorial invariant for finitely presentable groups called {\it simplicial complexity} that allows to obtain a quite satisfactory answer to his question. Using this new complexity, we also derive new results on systolic area for groups that specify its topological behaviour.

math.GT

Systolic volume of homology classes

Given an integer homology class of a finitely presentable group, the systolic volume quantifies how tight could be a geometric realization of this class. In this paper, we study various aspects of this numerical invariant showing that it is a complex and powerful tool to investigate topological properties of homology classes of finitely presentable groups.

math.DG

Measurements of Riemannian two-disks and two-spheres

We prove that any Riemannian two-sphere with area at most 1 can be continuously mapped onto a tree in a such a way that the topology of fibers is controlled and their length is less than 7.6. This result improves previous estimates and relies on a similar statement for Riemannian two-disks.

math.DG

Isosystolic inequalities for optical hypersurfaces

We explore a natural generalization of systolic geometry to Finsler metrics and optical hypersurfaces with special emphasis on its relation to the Mahler conjecture and the geometry of numbers. In particular, we show that if an optical hypersurface of contact type in the cotangent bundle of the 2-dimensional torus encloses a volume $V$, then it carries a periodic characteristic whose action is at most $\sqrt{V/3}$. This result is deduced from an interesting dual version of Minkowski's lattice-point theorem: if the origin is the unique integer point in the interior of a planar convex body, the area of its dual body is at least 3/2.

math.DG

Systole growth for finite area hyperbolic surfaces

We are interested in the maximum value achieved by the systole function over all complete finite area hyperbolic surfaces of a given signature $(g,n)$. This maximum is shown to be strictly increasing in terms of the number of cusps for small values of $n$. We also show that this function is greater than a function that grows logarithmically in function of the ratio $g/n$.

math.GT

Contact geometry and isosystolic inequalities

A long-standing open problem in systolic geometry asks whether a Riemannian metric on the real projective space whose volume equals that of the canonical metric, but is not isometric to it, must necessarily carry a periodic geodesic of length smaller than π. A contact-geometric reformulation of systolic geometry and the use of canonical perturbation theory allow us to solve a parametric version of this problem. Namely, we show that if g_s is a smooth volume-preserving deformation of the canonical metric and at s=0 the deformation is not tangent to all orders to trivial deformations (i.e., to deformations of the form ϕ_s^* g_0 for some isotopy ϕ_s), then the length of the shortest periodic geodesic of the metric g_s attains πas a strict local maximum at s=0. This result still holds for complex and quaternionic projective spaces as well as for the Cayley plane. Moreover, the same techniques can be applied to show that Zoll Finsler manifolds are the unique smooth critical points of the systolic volume.

math.SG