Search results for "metric geometry"
showing 10 items of 222 documents
L2-torsion of hyperbolic manifolds
1998
The L^2-torsion is an invariant defined for compact L^2-acyclic manifolds of determinant class, for example odd dimensional hyperbolic manifolds. It was introduced by John Lott and Varghese Mathai and computed for hyperbolic manifolds in low dimensions. In this paper we show that the L^2-torsion of hyperbolic manifolds of arbitrary odd dimension does not vanish. This was conjectured by J. Lott and W. Lueck. Some concrete values are computed and an estimate of their growth with the dimension is given.
Sets with constant normal in Carnot groups: properties and examples
2019
We analyze subsets of Carnot groups that have intrinsic constant normal, as they appear in the blowup study of sets that have finite sub-Riemannian perimeter. The purpose of this paper is threefold. First, we prove some mild regularity and structural results in arbitrary Carnot groups. Namely, we show that for every constant-normal set in a Carnot group its sub-Riemannian-Lebesgue representative is regularly open, contractible, and its topological boundary coincides with the reduced boundary and with the measure-theoretic boundary. We infer these properties from a cone property. Such a cone will be a semisubgroup with nonempty interior that is canonically associated with the normal directio…
Harnack estimates for degenerate parabolic equations modeled on the subelliptic $p-$Laplacian
2014
Abstract We establish a Harnack inequality for a class of quasi-linear PDE modeled on the prototype ∂ t u = − ∑ i = 1 m X i ⁎ ( | X u | p − 2 X i u ) where p ⩾ 2 , X = ( X 1 , … , X m ) is a system of Lipschitz vector fields defined on a smooth manifold M endowed with a Borel measure μ, and X i ⁎ denotes the adjoint of X i with respect to μ. Our estimates are derived assuming that (i) the control distance d generated by X induces the same topology on M ; (ii) a doubling condition for the μ-measure of d-metric balls; and (iii) the validity of a Poincare inequality involving X and μ. Our results extend the recent work in [16] , [36] , to a more general setting including the model cases of (1)…
Euclidean spaces as weak tangents of infinitesimally Hilbertian metric spaces with Ricci curvature bounded below
2013
We show that in any infinitesimally Hilbertian CD* (K,N)-space at almost every point there exists a Euclidean weak tangent, i.e., there exists a sequence of dilations of the space that converges to Euclidean space in the pointed measured Gromov-Hausdorff topology. The proof follows by considering iterated tangents and the splitting theorem for infinitesimally Hilbertian CD* (0,N)-spaces.
Slopes of Kantorovich potentials and existence of optimal transport maps in metric measure spaces
2014
We study optimal transportation with the quadratic cost function in geodesic metric spaces satisfying suitable non-branching assumptions. We introduce and study the notions of slope along curves and along geodesics and we apply the latter to prove suitable generalizations of Brenier's theorem of existence of optimal maps.
Interpolated measures with bounded density in metric spaces satisfying the curvature-dimension conditions of Sturm
2011
We construct geodesics in the Wasserstein space of probability measure along which all the measures have an upper bound on their density that is determined by the densities of the endpoints of the geodesic. Using these geodesics we show that a local Poincar\'e inequality and the measure contraction property follow from the Ricci curvature bounds defined by Sturm. We also show for a large class of convex functionals that a local Poincar\'e inequality is implied by the weak displacement convexity of the functional.
Regularity properties of spheres in homogeneous groups
2015
We study left-invariant distances on Lie groups for which there exists a one-parameter family of homothetic automorphisms. The main examples are Carnot groups, in particular the Heisenberg group with the standard dilations. We are interested in criteria implying that, locally and away from the diagonal, the distance is Euclidean Lipschitz and, consequently, that the metric spheres are boundaries of Lipschitz domains in the Euclidean sense. In the first part of the paper, we consider geodesic distances. In this case, we actually prove the regularity of the distance in the more general context of sub-Finsler manifolds with no abnormal geodesics. Secondly, for general groups we identify an alg…
Gradient estimates for heat kernels and harmonic functions
2020
Let $(X,d,\mu)$ be a doubling metric measure space endowed with a Dirichlet form $\E$ deriving from a "carr\'e du champ". Assume that $(X,d,\mu,\E)$ supports a scale-invariant $L^2$-Poincar\'e inequality. In this article, we study the following properties of harmonic functions, heat kernels and Riesz transforms for $p\in (2,\infty]$: (i) $(G_p)$: $L^p$-estimate for the gradient of the associated heat semigroup; (ii) $(RH_p)$: $L^p$-reverse H\"older inequality for the gradients of harmonic functions; (iii) $(R_p)$: $L^p$-boundedness of the Riesz transform ($p<\infty$); (iv) $(GBE)$: a generalised Bakry-\'Emery condition. We show that, for $p\in (2,\infty)$, (i), (ii) (iii) are equivalent, wh…
Regularity of sets with constant horizontal normal in the Engel group
2012
In the Engel group with its Carnot group structure we study subsets of locally finite subRiemannian perimeter and possessing constant subRiemannian normal. We prove the rectifiability of such sets: more precisely we show that, in some specific coordinates, they are upper-graphs of entire Lipschitz functions (with respect to the Euclidean distance). However we find that, when they are written as intrinsic horizontal upper-graphs with respect to the direction of the normal, then the function defining the set might even fail to be continuous. Nevertheless, we can prove that one can always find other horizontal directions for which the set is the intrinsic horizontal upper-graph of a function t…
Area of intrinsic graphs and coarea formula in Carnot Groups
2020
AbstractWe consider submanifolds of sub-Riemannian Carnot groups with intrinsic $$C^1$$ C 1 regularity ($$C^1_H$$ C H 1 ). Our first main result is an area formula for $$C^1_H$$ C H 1 intrinsic graphs; as an application, we deduce density properties for Hausdorff measures on rectifiable sets. Our second main result is a coarea formula for slicing $$C^1_H$$ C H 1 submanifolds into level sets of a $$C^1_H$$ C H 1 function.