On the singular set of the geodesic flow on nonpositively curved surfaces

Thibault Lefeuvre

Home/Archive/arXiv

arXiv · 2610.16612

On the singular set of the geodesic flow on nonpositively curved surfaces

Thibault Lefeuvre

View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove that the singular locus of the geodesic flow on the unit tangent bundle of a nonpositively curved surface enjoys an additional regularity property: its characteristic function belongs to the geometric anisotropic Sobolev space $H^{5/8-}_xH^{-13/16}_θ$. In particular, this implies that if the geodesic flow is not ergodic with respect to the Liouville measure, then the zero set of the curvature must be thick in the sense that it supports a nonzero, nonnegative function in $H^{5/8-}$. The proof relies on semiclassical analysis and a new radial estimate for parabolic flows.

Explore related subjects

math.DS math.AP math.DG

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Thibault Lefeuvre. 2026-10-12. On the singular set of the geodesic flow on nonpositively curved surfaces. https://arxiv.org/abs/2610.16612

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

KEEP EXPLORING

Related papers

arXiv2026

Conformal hyperbolic distances and holonomies of Anosov diffeomorphisms

We use conformal hyperbolic distances to analyze the stable/unstable holonomies of Anosov diffeomorphisms. The main result is that the lengths of the stable/unstable curves in a conformal hyperbolic distance are preserved by the stable/unstable holonomies, whenever they are well-defined. In particular, the existence of a conformal hyperbolic distance with well-defined length of stable/unstable curves ensures that the holonomies are globally defined. We exhibit a conformal hyperbolic distance with well-defined length of stable/unstable curves for each real Anosov diffeomorphism, which are Anosov diffeomorphisms with a one-dimensional finest dominated splitting where contraction/expansion in each space is constant along orbits.

math.DS↗

arXiv2026

Some consequences of shadowing and entropy-expansiveness

Given any continuous self-map of a compact metric space, we prove that a non-empty uniformly rigid subset must be zero-dimensional, under assumptions of shadowing and h-expansiveness.

math.DS↗

arXiv2026

On ball expanding maps

We study the dynamical properties of ball expanding maps, a class of continuous self-maps defined on compact metric spaces. For a ball expanding map, we show that: (1) the set of periodic points is dense in the chain recurrent set; (2) if the topological entropy of the map is zero, then the chain recurrent set is finite; (3) the map has only finitely many chain components; (4) if the space is perfect, then the topological entropy of the map is positive; and (5) if the space is connected, then the map is locally eventually onto and hence mixing. Several examples are also provided.

math.DS↗