Search results for "53C17"
showing 10 items of 21 documents
Geometric rough paths on infinite dimensional spaces
2022
Similar to ordinary differential equations, rough paths and rough differential equations can be formulated in a Banach space setting. For $\alpha\in (1/3,1/2)$, we give criteria for when we can approximate Banach space-valued weakly geometric $\alpha$-rough paths by signatures of curves of bounded variation, given some tuning of the H\"older parameter. We show that these criteria are satisfied for weakly geometric rough paths on Hilbert spaces. As an application, we obtain Wong-Zakai type result for function space valued martingales using the notion of (unbounded) rough drivers.
Ahlfors-regular distances on the Heisenberg group without biLipschitz pieces
2015
We show that the Heisenberg group is not minimal in looking down. This answers Problem 11.15 in `Fractured fractals and broken dreams' by David and Semmes, or equivalently, Question 22 and hence also Question 24 in `Thirty-three yes or no questions about mappings, measures, and metrics' by Heinonen and Semmes. The non-minimality of the Heisenberg group is shown by giving an example of an Ahlfors $4$-regular metric space $X$ having big pieces of itself such that no Lipschitz map from a subset of $X$ to the Heisenberg group has image with positive measure, and by providing a Lipschitz map from the Heisenberg group to the space $X$ having as image the whole $X$. As part of proving the above re…
Conformality and $Q$-harmonicity in sub-Riemannian manifolds
2016
We prove the equivalence of several natural notions of conformal maps between sub-Riemannian manifolds. Our main contribution is in the setting of those manifolds that support a suitable regularity theory for subelliptic $p$-Laplacian operators. For such manifolds we prove a Liouville-type theorem, i.e., 1-quasiconformal maps are smooth. In particular, we prove that contact manifolds support the suitable regularity. The main new technical tools are a sub-Riemannian version of p-harmonic coordinates and a technique of propagation of regularity from horizontal layers.
Sard property for the endpoint map on some Carnot groups
2016
In Carnot-Caratheodory or sub-Riemannian geometry, one of the major open problems is whether the conclusions of Sard's theorem holds for the endpoint map, a canonical map from an infinite-dimensional path space to the underlying finite-dimensional manifold. The set of critical values for the endpoint map is also known as abnormal set, being the set of endpoints of abnormal extremals leaving the base point. We prove that a strong version of Sard's property holds for all step-2 Carnot groups and several other classes of Lie groups endowed with left-invariant distributions. Namely, we prove that the abnormal set lies in a proper analytic subvariety. In doing so we examine several characterizat…
A Cornucopia of Carnot groups in Low Dimensions
2022
Abstract Stratified groups are those simply connected Lie groups whose Lie algebras admit a derivation for which the eigenspace with eigenvalue 1 is Lie generating. When a stratified group is equipped with a left-invariant path distance that is homogeneous with respect to the automorphisms induced by the derivation, this metric space is known as Carnot group. Carnot groups appear in several mathematical contexts. To understand their algebraic structure, it is useful to study some examples explicitly. In this work, we provide a list of low-dimensional stratified groups, express their Lie product, and present a basis of left-invariant vector fields, together with their respective left-invaria…
Conformal equivalence of visual metrics in pseudoconvex domains
2017
We refine estimates introduced by Balogh and Bonk, to show that the boundary extensions of isometries between smooth strongly pseudoconvex domains in $\C^n$ are conformal with respect to the sub-Riemannian metric induced by the Levi form. As a corollary we obtain an alternative proof of a result of Fefferman on smooth extensions of biholomorphic mappings between pseudoconvex domains. The proofs are inspired by Mostow's proof of his rigidity theorem and are based on the asymptotic hyperbolic character of the Kobayashi or Bergman metrics and on the Bonk-Schramm hyperbolic fillings.
Equivalence of quasiregular mappings on subRiemannian manifolds via the Popp extension
2016
We show that all the common definitions of quasiregular mappings $f\colon M\to N$ between two equiregular subRiemannian manifolds of homogeneous dimension $Q\geq 2$ are quantitatively equivalent with precise dependences of the quasiregularity constants. As an immediate consequence, we obtain that if $f$ is $1$-quasiregular according to one of the definitions, then it is also $1$-quasiregular according to any other definition. In particular, this recovers a recent theorem of Capogna et al. on the equivalence of $1$-quasiconformal mappings. Our main results answer affirmatively a few open questions from the recent research. The main new ingredient in our proofs is the distortion estimates for…
Bicycle paths, elasticae and sub-Riemannian geometry
2020
We relate the sub-Riemannian geometry on the group of rigid motions of the plane to `bicycling mathematics'. We show that this geometry's geodesics correspond to bike paths whose front tracks are either non-inflectional Euler elasticae or straight lines, and that its infinite minimizing geodesics (or `metric lines') correspond to bike paths whose front tracks are either straight lines or `Euler's solitons' (also known as Syntractrix or Convicts' curves).
Universal infinitesimal Hilbertianity of sub-Riemannian manifolds
2019
We prove that sub-Riemannian manifolds are infinitesimally Hilbertian (i.e., the associated Sobolev space is Hilbert) when equipped with an arbitrary Radon measure. The result follows from an embedding of metric derivations into the space of square-integrable sections of the horizontal bundle, which we obtain on all weighted sub-Finsler manifolds. As an intermediate tool, of independent interest, we show that any sub-Finsler distance can be monotonically approximated from below by Finsler ones. All the results are obtained in the general setting of possibly rank-varying structures.
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…