Related papers: Gauss-Bonnet theorem in sub-Riemannian Heisenberg …

We obtain a gradient estimate for the Gauss maps from complete spacelike constant mean curvature hypersurfaces in Minkowski space into the hyperbolic space. As applications, we prove a Bernstein theorem which says that if the image of the…

We prove that ideal sub-Riemannian manifolds (i.e., admitting no non-trivial abnormal minimizers) support interpolation inequalities for optimal transport. A key role is played by sub-Riemannian Jacobi fields and distortion coefficients,…

We consider the sub-Riemannian metric $g_{h}$ on $\mathbb{S}^3$ provided by the restriction of the Riemannian metric of curvature 1 to the plane distribution orthogonal to the Hopf vector field. We compute the geodesics associated to the…

A proof based on the Chern-Gauss-Bonnet Theorem is given to Hopf Theorem concerning the degree of the Gauss map of a hypersurface in $\mathbb{R}^n$.

Riemannian geometry is a particular case of Hamiltonian mechanics: the orbits of the hamiltonian $H=\frac{1}{2}g^{ij}p_{i}p_{j}$ are the geodesics. Given a symplectic manifold (\Gamma,\omega), a hamiltonian $H:\Gamma\to\mathbb{R}$ and a…

We study the set of curvature functions which a given compact manifold with boundary can possess. First, we prove that the sign demanded by the Gauss-Bonnet Theorem is a necessary and sufficient condition for a given function to be the…

We study some sub-Riemannian objects (such as horizontal connectivity, horizontal connection, horizontal tangent plane, horizontal mean curvature) in hypersurfaces of sub-Riemannian manifolds. We prove that if a connected hypersurface in a…

We propose a new metric between probability measures on a compact metric space that mirrors the Riemannian manifold-like structure of quadratic optimal transport but includes entropic regularization. Its metric tensor is given by the…

We give a curvature identity derived from the generalized Gauss-Bonnet formula for 4-dimensional compact oriented Riemannian manifolds. We prove that the curvature identity holds on any 4-dimensional Riemannian manifold which is not…

In this paper we study global distance estimates and uniform local volume estimates in a large class of sub-Riemannian manifolds. Our main device is the generalized curvature dimension inequality introduced by the first and the third author…

We show how to define curvature as a measure using the Gauss-Bonnet Theorem on a family of singular surfaces obtained by gluing together smooth surfaces along boundary curves. We find an explicit formula for the curvature measure as a sum…

A general approach to compute the spherical measure of submanifolds in homogeneous groups is provided. We focus our attention on the homogeneous tangent space, that is a suitable weighted algebraic expansion of the submanifold. This space…

In this paper, we mainly study the compactness and local structure of immersing surfaces in $\mathbb{R}^n$ with local uniform bounded area and small total curvature $\int_{\Sigma\cap B_1(0)} |A|^2$. A key ingredient is a new quantity which…

This work is an investigation of perimeter measures in the metric measure space given by the Heisenberg group with Haar measure and a Carnot-Carath\'eodory metric, which is in general a sub-Finsler metric. Included is a reduction of…

For matrix analogues of embedded surfaces we define discrete curvatures and Euler characteristics, and a non-commutative Gauss--Bonnet theorem is shown to follow. We derive simple expressions for the discrete Gauss curvature in terms of…

We prove an integral formula for the spherical measure of hypersurfaces in equiregular sub-Riemannian manifolds. Among various technical tools, we establish a general criterion for the uniform convergence of parametrized sub-Riemannian…

We look at curvatures that are supported on k-dimensional parts of a simplicial complex G. These curvature all satisfy the Gauss-Bonnet theorem, provided that the k-dimensional simplices cover $G$. Each of these curvatures can be written as…

The present paper starts with an introduction to quaternions and then defines the 3-dimmensional sphere as the set of quaternions of length one. The quaternion group induces on $\mathbb{S}^3$ a structure of noncommutative Lie group. This…

A weighted area estimate for entire graphs with bounded weighted mean curvature in Gauss space is given by a simple proof. Bernstein type theorems for self shrinkers (\cite {wa}) as well as for graphic $\lambda$-hypersurfaces (\cite{…

We prove some sharp isoperimetric type inequalities for domains with smooth boundary on Riemannian manifolds. For example, using generalized convexity, we show that among all domains with a lower bound $l$ for the cut distance and Ricci…