arXiv Science⌕ Search

arXiv subjects

Rotem Assouline

Publications and source records attributed to Rotem Assouline.

10 recordsLinked to original sources
arXiv2026

Klingenberg's theorem on Anosov geodesic flows

In 1970, Klingenberg proved a fundamental result on closed Riemannian manifolds with Anosov geodesic flows, asserting that such manifolds are without conjugate points. The proof, based on the Morse theory of the energy functional, had crucial gaps pointed out by Anosov, who saved the theorem by providing a completely independent proof. In this article, we fill the gaps in the original argument, and thus provide a full Morse theoretic proof of Klingenberg's theorem.

math.DS↗
arXiv2026

Illumination bodies on Riemannian manifolds

We prove a generalization of Werner's asymptotic formula for the volume of the illumination body of a convex body, which holds on Riemannian manifolds with Ricci curvature bounded from below. The $\delta$-illumination body of a subset of a Riemannian manifold is defined to be the set of all points such that the union of all minimizing geodesic segments joining the point to the set has volume at most $\delta$.

math.DG↗
arXiv2026

Magnetic Brunn-Minkowski inequalities

We study Minkowski averages on Riemannian manifolds in which the interpolation is by action-minimizing magnetic geodesics with respect to a given magnetic potential. We establish equivalence between Brunn-Minkowski inequalities for this operation and lower bounds on a magnetic Ricci curvature. We then discuss various examples, including natural magnetic fields on K\"ahler and Sasakian manifolds, and prove a sharp, undistorted Brunn-Minkowski inequality for contact magnetic geodesics on the Heisenberg group. We also observe that closed magnetic potentials from different cohomology classes may give rise to different geodesic Minkowski averages.

math.DG↗
arXiv2026

Illumination Bodies in Projective Geometries

We extend the notion of illumination bodies to Riemannian spaces of constant curvature and to projective Finsler geometries. We prove that the derivative of their volume defines a notion of surface area for convex bodies in these settings, generalizing the affine surface area in Euclidean space. The proof is based on a general result on the derivative of weighted volumes of weighted illumination bodies in Euclidean space. In the appendix, we give some explicit examples for non-Euclidean illumination bodies.

math.MG↗
arXiv2024

Curvature-Dimension for Autonomous Lagrangians

We introduce a curvature-dimension condition for autonomous Lagrangians on weighted manifolds, which depends on the Euler-Lagrange dynamics on a single energy level. By generalizing Klartag's needle decomposition technique to the Lagrangian setting, we prove that this curvature-dimension condition is equivalent to displacement convexity of entropy along cost-minimizing interpolations in an $L^1$ sense, and that it implies various consequences of lower Ricci curvature bounds, as in the metric setting. As examples we consider classical and isotropic Lagrangians on Riemannian manifolds. In particular, we generalize the horocyclic Brunn-Minkowski inequality to complex hyperbolic space of arbitrary dimension, and present a new Brunn-Minkowski inequality for contact magnetic geodesics on odd-dimensional spheres.

math.DG↗
arXiv2024

A finiteness principle for distance functions on Riemannian surfaces with H\"older continuous curvature

We study distance functions from geodesics to points on Riemannian surfaces with H\"older continuous Gauss curvature, and prove a finiteness principle in the spirit of Whitney extension theory for such functions. Our result can be viewed as a finiteness principle for isometric embedding of a certain type of metric spaces into Riemannian surfaces, with control over the H\"older seminorm of the Gauss curvature.

math.DG↗
arXiv2022

Brunn-Minkowski inequalities for sprays on surfaces

We propose a generalization of the Minkowski average of two subsets of a Riemannian manifold, in which geodesics are replaced by an arbitrary family of parametrized curves. Under certain assumptions, we characterize families of curves on a Riemannian surface for which a Brunn-Minkowski inequality holds with respect to a given volume form. In particular, we prove that under these assumptions, a family of constant-speed curves on a Riemannian surface satisfies the Brunn-Minkowski inequality with respect to the Riemannian area form if and only if the geodesic curvature of its members is determined by a function $\kappa$ on the surface, and $\kappa$ satisfies the inequality $$K + \kappa^2 - |\nabla\kappa| \ge 0$$ where $K$ is the Gauss curvature.

math.DG↗
arXiv2022

Horocyclic Brunn-Minkowski inequality

Given two non-empty subsets $A$ and $B$ of the hyperbolic plane $\mathbb{H}^2$, we define their horocyclic Minkowski sum with parameter $\lambda=1/2$ as the set $[A:B]_{1/2} \subseteq \mathbb{H}^2$ of all midpoints of horocycle curves connecting a point in $A$ with a point in $B$. These horocycle curves are parameterized by hyperbolic arclength, and the horocyclic Minkowski sum with parameter $0 < \lambda <1$ is defined analogously. We prove that when $A$ and $B$ are Borel-measurable, $$ \sqrt{ Area( [A:B]_{\lambda} )} \geq (1-\lambda) \cdot \sqrt{ Area(A) } + \lambda \cdot \sqrt{ Area(B) }, $$ where $Area$ stands for hyperbolic area, with equality when $A$ and $B$ are concentric discs in the hyperbolic plane. We also prove horocyclic versions of the Pr\'ekopa-Leindler and Borell-Brascamp-Lieb inequalities. These inequalities slightly deviate from the metric measure space paradigm on curvature and Brunn-Minkowski type inequalities, where the structure of a metric space is imposed on the manifold, and the relevant curves are necessarily geodesics parameterized by arclength.

math.MG↗
arXiv2021

Growth Competitions on Spherically Symmetric Riemannian Manifolds

We propose a model for a growth competition between two subsets of a Riemannian manifold. The sets grow at two different rates, avoiding each other. It is shown that if the competition takes place on a surface which is rotationally symmetric about the starting point of the slower set, then if the surface is conformally equivalent to the Euclidean plane, the slower set remains in a bounded region, while if the surface is nonpositively curved and conformally equivalent to the hyperbolic plane, both sets may keep growing indefinitely.

math.MG↗