Search results for "sub-riemannian"

showing 10 items of 19 documents

Space of signatures as inverse limits of Carnot groups

2021

We formalize the notion of limit of an inverse system of metric spaces with 1-Lipschitz projections having unbounded fibers. The construction is applied to the sequence of free Carnot groups of fixed rank n and increasing step. In this case, the limit space is in correspondence with the space of signatures of rectifiable paths in ℝn, as introduced by Chen. Hambly-Lyons’s result on the uniqueness of signature implies that this space is a geodesic metric tree. As a particular consequence we deduce that every path in ℝn can be approximated by projections of some geodesics in some Carnot group of rank n, giving an evidence that the complexity of sub-Riemannian geodesics increases with the step.…

Carnot groupsignature of pathsryhmäteoriametric treeinverse limitsub-Riemannian distancedifferentiaaligeometria510 Mathematicspath lifting propertysubmetryMathematics::Metric GeometryMathematics::Differential Geometrymittateoriafree nilpotent groupstokastiset prosessit
researchProduct

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.

Harmonic coordinatesMathematics - Differential GeometryPure mathematicsWork (thermodynamics)morphism propertyGeneral Mathematicsconformal transformationBoundary (topology)Conformal map01 natural sciencesdifferentiaaligeometriaMathematics - Analysis of PDEsMathematics - Metric GeometryLiouville TheoremRegularity for p-harmonic functionSubelliptic PDE0103 physical sciencesFOS: MathematicsMathematics (all)0101 mathematicspopp measureMathematicsosittaisdifferentiaaliyhtälötsubelliptic PDESmoothnessQuasi-conformal mapApplied MathematicsHarmonic coordinates; Liouville Theorem; Quasi-conformal maps; Regularity for p-harmonic functions; Sub-Riemannian geometry; Subelliptic PDE; Mathematics (all); Applied Mathematicsta111Harmonic coordinate010102 general mathematics53C17 35H20 58C25Metric Geometry (math.MG)16. Peace & justiceregularity for p-harmonic functionsSub-Riemannian geometrysub-Riemannian geometryDifferential Geometry (math.DG)quasi-conformal mapsRegularity for p-harmonic functionsharmonic coordinates010307 mathematical physicsMathematics::Differential GeometrymonistotLiouville theoremAnalysis of PDEs (math.AP)
researchProduct

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…

Mathematics - Differential Geometry0209 industrial biotechnologyPure mathematics53C17 22F50 22E25 14M17SubvarietyGroup Theory (math.GR)02 engineering and technologySard's property01 natural sciencesSet (abstract data type)020901 industrial engineering & automationAbnormal curves; Carnot groups; Endpoint map; Polarized groups; Sard's property; Sub-Riemannian geometry; Analysis; Mathematical PhysicsMathematics - Metric GeometryFOS: MathematicsPoint (geometry)Canonical mapAbnormal curves; Carnot groups Endpoint map Polarized groups Sard's property Sub-Riemannian geometry Analysis0101 mathematicsMathematics - Optimization and ControlMathematical PhysicsMathematicsApplied Mathematics010102 general mathematicsta111Polarized groupsCarnot groupLie groupEndpoint mapMetric Geometry (math.MG)Base (topology)ManifoldSub-Riemannian geometryDifferential Geometry (math.DG)Optimization and Control (math.OC)Carnot groupsAbnormal curvesMathematics - Group TheoryAnalysis
researchProduct

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.

Mathematics - Differential GeometryMetric Geometry (math.MG)Sobolev spaceFunctional Analysis (math.FA)Mathematics - Functional AnalysisRiemannin monistotdifferentiaaligeometriasub-Finsler manifoldMathematics - Metric GeometryDifferential Geometry (math.DG)infinitesimal hilbertianityFOS: MathematicsMathematics::Metric Geometrysub-Riemannian manifoldMathematics::Differential GeometrymonistotfunktionaalianalyysiMathematics::Symplectic Geometry53C23 46E35 53C17 55R25Analysis
researchProduct

Corners in non-equiregular sub-Riemannian manifolds

2014

We prove that in a class of non-equiregular sub-Riemannian manifolds corners are not length minimizing. This extends the results of (G.P. Leonardi and R. Monti, Geom. Funct. Anal. 18 (2008) 552-582). As an application of our main result we complete and simplify the analysis in (R. Monti, Ann. Mat. Pura Appl. (2013)), showing that in a 4-dimensional sub-Riemannian structure suggested by Agrachev and Gauthier all length-minimizing curves are smooth. Mathematics Subject Classification. 53C17, 49K21, 49J15.

Mathematics - Differential GeometryPure mathematicsClass (set theory)Control and Optimizationregularity of geodesicsStructure (category theory)Mathematics - Analysis of PDEsMathematics - Metric GeometryFOS: MathematicsGEOMSub-Riemannian geometry regularity of geodesics cornersMathematics - Optimization and ControlMathematicsta111Computational mathematicsMetric Geometry (math.MG)cornerssub-riemannian geometryComputational MathematicsCorners; Regularity of geodesics; Sub-Riemannian geometry; Control and Systems Engineering; Control and Optimization; Computational MathematicsDifferential Geometry (math.DG)Mathematics Subject ClassificationOptimization and Control (math.OC)Control and Systems EngineeringMathematics::Differential GeometryAnalysis of PDEs (math.AP)
researchProduct

Counting and equidistribution in Heisenberg groups

2014

We strongly develop the relationship between complex hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on complex hyperbolic spaces, especially in dimension $2$. We prove a Mertens' formula for the integer points over a quadratic imaginary number fields $K$ in the light cone of Hermitian forms, as well as an equidistribution theorem of the set of rational points over $K$ in Heisenberg groups. We give a counting formula for the cubic points over $K$ in the complex projective plane whose Galois conjugates are orthogonal and isotropic for a given Hermitian form over $K$, and a counting and equidistribution result for …

Mathematics - Differential GeometryPure mathematicsGeneral MathematicsHyperbolic geometryMathematics::Number Theory[MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]11E39 11F06 11N45 20G20 53C17 53C22 53C55chainEquidistribution theorem01 natural sciencesHeisenberg groupequidistributioncommon perpendicularIntegerLight cone0103 physical sciencesHeisenberg groupcubic point0101 mathematicsCygan distanceMertens formulaComplex projective planeMathematicsDiscrete mathematicsAMS codes: 11E39 11F06 11N45 20G20 53C17 53C22 53C55Mathematics - Number TheorySesquilinear formHeisenberg groups010102 general mathematicsHermitian matrixcomplex hyperbolic geometry[MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]sub-Riemannian geometry[MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]counting010307 mathematical physics
researchProduct

Mass transportation on sub-Riemannian structures of rank two in dimension four

2017

International audience; This paper is concerned with the study of the Monge optimal transport problem in sub-Riemannian manifolds where the cost is given by the square of the sub-Riemannian distance. Our aim is to extend previous results on existence and uniqueness of optimal transport maps to cases of sub-Riemannian structures which admit many singular minimizing geodesics. We treat here the case of sub-Riemannian structures of rank two in dimension four.

Mathematics - Differential Geometry[ MATH ] Mathematics [math]Rank (linear algebra)Geodesicpolar factorization[MATH] Mathematics [math]01 natural sciencesSquare (algebra)CombinatoricsDimension (vector space)0103 physical sciencesFOS: MathematicsUniqueness0101 mathematicsMass transportation[MATH]Mathematics [math]Mathematical PhysicsComputingMilieux_MISCELLANEOUSMathematicsApplied Mathematics010102 general mathematicsSub-Riemannian geometryDifferential Geometry (math.DG)[MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]010307 mathematical physicsMathematics::Differential GeometryAnalysisOptimal transport problem
researchProduct

Rigidité, comptage et équidistribution de chaînes de Cartan quaternioniques

2020

We prove an analog of Cartan's theorem, saying that the chain-preserving transformations of the boundary of the quaternionic hyperbolic spaces are projective transformations. We give a counting and equidistribution result for the orbits of arithmetic chains in the quaternionic Heisenberg group.; Nous montrons un analogue d'un théorème de Cartan, disant que les transformations préservant les chaînes sur le bord d'un espace hyperbolique quaternionien est une transformation projective. Nous donnons un résultat de comptage et d'équidistribution pour une orbite de chaînes arithmétiques dans le groupe de Heisenberg quaternionique.

Mathematics - Differential GeometrylukuteoriaAlgebra and Number TheoryMathematics - Number TheoryApplied Mathematicsryhmäteoria[MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT][MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]quaternionic Heisenberg groupdifferentiaaligeometriaquaternionic hyperbolic geometryequidistributionsub-Riemannian geometry[MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]aritmetiikkacountingCartan chainGeometry and TopologyMathematics::Differential GeometryCygan distanceMathematics - Group TheoryAnalysis11N45 (Primary) 11E39 11F06 11N45 20G20 53C17 53C55 (Secondary)
researchProduct

Transport optimal sur les structures sous-Riemanniennes admettant des géodésiques minimisantes singulières

2017

This thesis is devoted to the study of the Monge transport problem for the quadratic cost in sub-Riemannian geometry and the essential conditions to obtain existence and uniqueness of solutions. These works consist in extending these results to the case of sub-Riemannian structures admitting singular minimizing geodesics. In a first part, we develop techniques inspired by works by Cavalletti and Huesmann in order to obtain significant results for structures of rank 2 in dimension 4. In a second part, we study analytical tools of the h-semiconcavity of the sub-Riemannian distance and we show how this type of regularity can lead to the well-posedness of the Monge problem in general cases.

Monge problem[MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]Géométrie sous-RiemannienneGéodésiques minimisantes singulièresSingular minimizing geodesic[MATH.MATH-DG] Mathematics [math]/Differential Geometry [math.DG]Problème de MongeSub-Riemannian geometry
researchProduct

Heisenberg quasiregular ellipticity

2016

Following the Euclidean results of Varopoulos and Pankka--Rajala, we provide a necessary topological condition for a sub-Riemannian 3-manifold $M$ to admit a nonconstant quasiregular mapping from the sub-Riemannian Heisenberg group $\mathbb{H}$. As an application, we show that a link complement $S^3\backslash L$ has a sub-Riemannian metric admitting such a mapping only if $L$ is empty, the unknot or Hopf link. In the converse direction, if $L$ is empty, a specific unknot or Hopf link, we construct a quasiregular mapping from $\mathbb{H}$ to $S^3\backslash L$. The main result is obtained by translating a growth condition on $\pi_1(M)$ into the existence of a supersolution to the $4$-harmonic…

Pure mathematicsGeneral MathematicsSobolev–Poincaré inequality01 natural sciences3-sphereMathematics - Geometric TopologyMathematics - Metric GeometryEuclidean geometryHeisenberg groupFOS: Mathematicssub-Riemannian manifold0101 mathematicsComplex Variables (math.CV)topologiaUnknotLink (knot theory)Complement (set theory)MathematicsMathematics::Complex VariablesMathematics - Complex Variablescapacity010102 general mathematicsta111Hopf linkGeometric Topology (math.GT)Metric Geometry (math.MG)quasiregular mappingisoperimetric inequality3-sphereHopf linkcontact manifoldlink complementpotentiaaliteoriaMathematics::Differential GeometryIsoperimetric inequalitymonistot
researchProduct