Abstract:Let $A^-$ and $A^+$ be properly immersed closed locally convex subsets of a Riemannian manifold $M$ with pinched negative sectional curvature. When the Bowen-Margulis measure on $T^1M$ is finite and mixing for the geodesic flow, we prove that the Lebesgue measures along the common perpendiculars of length at most $t$ from $A^-$ to $A^+$, counted with multiplicities and lifted to $T^1M$, equidistribute to the Bowen-Margulis measure as $t\to+\infty$. When $M$ is locally symmetric with finite volume and the geodesic flow is exponentially mixing, we give an error term for the asymptotic. When $T^1M$ is endowed with a bounded Hölder-continuous potential, and when the associated equilibrium state is finite and mixing for the geodesic flow, we prove the equidistribution of these Lebesgue measures weighted by the amplitudes of the potential to the equilibrium state.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the distribution problem of common perpendicular line segments between two closed locally convex subsets $A^-$ and $A^+$ in a Riemannian manifold $M$ with negative curvature. Specifically, when the geodesic flow of the manifold $M$ is finite and mixing under the Bowen - Margulis measure, the author proves that the Lebesgue measure of common perpendicular line segments with length not exceeding $t$ (taking into account multiplicity and lifting to $T^1M$) tends to the Bowen - Margulis measure as $t\rightarrow+\infty$. Moreover, when $M$ is locally symmetric and has finite volume, and the geodesic flow is exponentially mixing, the author gives an asymptotic error term. Finally, when $T^1M$ is equipped with a bounded Hölder continuous potential function, and the corresponding equilibrium state is finite and mixing, the author also proves that the weighted distribution of these Lebesgue measures tends to the equilibrium state. ### Specific problem description 1. **Main theorem (Theorem 1)** - **Conditions**: - $M$ is a complete connected Riemannian manifold with pinched negative sectional curvature. - $A^-$ and $A^+$ are two closed locally convex subsets in $M$. - The Bowen - Margulis measure $m_{\text{BM}}$ of $M$ is finite and mixing. - The skin measures $\sigma_{A^-}$ and $\sigma_{A^+}$ of $A^-$ and $A^+$ are finite and non - zero. - **Conclusion**: - As $t\rightarrow+\infty$, the Lebesgue measure of common perpendicular line segments with length not exceeding $t$ (taking into account multiplicity and lifting to $T^1M$) tends to the Bowen - Margulis measure $m_{\text{BM}}$, that is: \[ \lim_{t\rightarrow+\infty}\frac{\delta\|m_{\text{BM}}\|}{t e^{\delta t}\|\sigma_{A^-}\|\|\sigma_{A^+}\|}\sum_{\alpha\in\text{Perp}(A^-, A^+, t)}\text{Leb}_\alpha=\frac{m_{\text{BM}}}{\|m_{\text{BM}}\|} \] 2. **Error term in the locally symmetric case** - **Conditions**: - $M$ is locally symmetric and has finite volume. - The geodesic flow of $M$ is exponentially mixing. - **Conclusion**: - There exists $\ell\in\mathbb{N}$ such that for any compact subset $K$ of $T^1M$ and any $C^\ell$ - smooth function $\psi: T^1M\rightarrow\mathbb{C}$ supported on $K$, as $t\rightarrow+\infty$, we have: \[ \frac{\delta\|m_{\text{BM}}\|}{t e^{\delta t}\|\sigma_{A^-}\|\|\sigma_{A^+}\|}\sum_{\alpha\in\text{Perp}(A^-, A^+, t)}\text{Leb}_\alpha(\psi)=\frac{m_{\text{BM}}(\psi)}{\|m_{\text{BM}}\|}+O\left(\frac{1}{t}\|\psi\|_\ell\right) \]

Equidistribution of common perpendiculars in negative curvature

On Positive Scalar Curvature and Moduli of Curves

Equidistribution results for geodesic flows

Joint partial equidistribution of Farey rays in negatively curved manifolds and trees

Ergodicity and equidistribution in strictly convex Hilbert geometry

An Extreme Limit with Nonnegative Scalar Curvature

Negative regularity mixing for random volume preserving diffeomorphisms

Failure of curvature-dimension conditions on sub-Riemannian manifolds via tangent isometries

Fluctuations of time averages around closed geodesics in non-positive curvature

An extreme limit with nonnegative scalar

Estimates of the Poisson kernel on negatively curved Hadamard manifolds

On ergodic properties of geodesic flows on uniform visibility manifolds without conjugate points

Exponential Mixing Via Additive Combinatorics

The sectional curvature of the infinite dimensional manifold of Hölder equilibrium prababilities

Equidistribution of polynomially bounded o-minimal curves in homogeneous spaces

Prescribing the behaviour of geodesics in negative curvature

The weak mixing property on negatively curved manifolds

Equidistribution without stability for toric surface maps

Uniform Bounds on Harmonic Beltrami Differentials and Weil–Petersson Curvatures

Equidistribution of closed geodesics along random walk trajectories with respect to the harmonic invariant measure

Relative eta invariant and uniformly positive scalar curvature on non-compact manifolds