Search results for "Riemannian geometry"

showing 10 items of 46 documents

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

Semianalyticity of isoperimetric profiles

2009

It is shown that, in dimensions $<8$, isoperimetric profiles of compact real analytic Riemannian manifolds are semi-analytic.

Mathematics - Differential Geometry0209 industrial biotechnologyRiemannian Geometry Real Analytic Geometry Geometric measure Theory Metric Geometry Geometric Analysis.Calibration (statistics)02 engineering and technologyAstrophysics::Cosmology and Extragalactic Astrophysics01 natural sciencessymbols.namesake020901 industrial engineering & automationFOS: MathematicsMathematics::Metric GeometryMorse theory0101 mathematicsMathematics::Symplectic GeometryIsoperimetric inequalityMorse theoryMathematicsRiemann surface010102 general mathematicsMathematical analysis53C20;49Q20;14P15;32B20Differential Geometry (math.DG)Computational Theory and Mathematics[MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]Riemann surfaceCalibrationsymbolsGeometry and TopologyMathematics::Differential GeometryIsoperimetric inequalityAnalysis
researchProduct

The Riemannian manifold of all Riemannian metrics

1991

In this paper we study the geometry of (M, G) by using the ideas developed in [Michor, 1980]. With that differentiable structure on M it is possible to use variational principles and so we start in section 2 by computing geodesics as the curves in M minimizing the energy functional. From the geodesic equation, the covariant derivative of the Levi-Civita connection can be obtained, and that provides a direct method for computing the curvature of the manifold. Christoffel symbol and curvature turn out to be pointwise in M and so, although the mappings involved in the definition of the Ricci tensor and the scalar curvature have no trace, in our case we can define the concepts of ”Ricci like cu…

Mathematics - Differential GeometryChristoffel symbolsGeneral MathematicsPrescribed scalar curvature problem58D17 58B20Mathematical analysisCurvatureLevi-Civita connectionFunctional Analysis (math.FA)Mathematics - Functional Analysissymbols.namesakeDifferential Geometry (math.DG)symbolsFOS: MathematicsSectional curvatureMathematics::Differential GeometryExponential map (Riemannian geometry)Ricci curvatureScalar curvatureMathematics
researchProduct

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).

Mathematics - Differential GeometryGeodesicGeneral Physics and AstronomyGeometryRiemannian geometry01 natural sciencessymbols.namesakeMathematics - Metric GeometryClassical Analysis and ODEs (math.CA)FOS: Mathematics0101 mathematicsMathematical PhysicsMathematics53C17 (Primary) 53A17 53A04 (Secondary)Group (mathematics)Plane (geometry)Applied Mathematics010102 general mathematicsMetric Geometry (math.MG)Statistical and Nonlinear Physics010101 applied mathematicsDifferential Geometry (math.DG)Mathematics - Classical Analysis and ODEsMetric (mathematics)Euler's formulasymbolsNonlinearity
researchProduct

Differentiability of the isoperimetric profile and topology of analytic Riemannian manifolds

2012

Abstract We show that smooth isoperimetric profiles are exceptional for real analytic Riemannian manifolds. For instance, under some extra assumptions, this can happen only on topological spheres. To cite this article: R. Grimaldi et al., C. R. Acad. Sci. Paris, Ser. I 347 (2009).

Mathematics - Differential GeometryIsoperimetric dimensionRiemannian geometryTopology01 natural sciencessymbols.namesakeRicci-flat manifoldFOS: MathematicsDifferentiable functionMorse theory0101 mathematicsTopology (chemistry)Computer Science::DatabasesIsoperimetric inequalityMorse theoryMathematicsRiemann surface010102 general mathematicsGeneral Medicinecalibration53C20;49Q20;14P15;32B20010101 applied mathematicsDifferential Geometry (math.DG)Riemann surface[MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]symbolsMathematics::Differential GeometryIsoperimetric inequality
researchProduct

Bounded geometry, growth and topology

2010

We characterize functions which are growth types of Riemannian manifolds of bounded geometry.

Mathematics - Differential GeometryMathematics(all)bounded geometryGeneral MathematicsgrowthAbsolute geometryGeometryRiemannian geometry53C20Topology01 natural sciencesQuasi-isometriessymbols.namesakeGrowth types0103 physical sciencesFOS: Mathematics0101 mathematicsMathematics::Symplectic GeometryGeometry and topologyMathematicsvolumeCurvature of Riemannian manifoldsApplied MathematicsComputer Science::Information Retrieval010102 general mathematicsMathematical analysisMathematics::Geometric Topologyfinite topological typeDifferential geometryDifferential Geometry (math.DG)[MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]Bounded functionsymbols010307 mathematical physicsMathematics::Differential GeometryConformal geometryGraphsSymplectic geometry
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

X-ray transforms in pseudo-Riemannian geometry

2016

We study the problem of recovering a function on a pseudo-Riemannian manifold from its integrals over all null geodesics in three geometries: pseudo-Riemannian products of Riemannian manifolds, Minkowski spaces and tori. We give proofs of uniqueness anc characterize non-uniqueness in different settings. Reconstruction is sometimes possible if the signature $(n_1,n_2)$ satisfies $n_1\geq1$ and $n_2\geq2$ or vice versa and always when $n_1,n_2\geq2$. The proofs are based on a Pestov identity adapted to null geodesics (product manifolds) and Fourier analysis (other geometries). The problem in a Minkowski space of any signature is a special case of recovering a function in a Euclidean space fro…

Mathematics - Differential GeometryPure mathematicsGeodesic44A12 53C50 11D09Riemannian geometry01 natural sciencespseudo-Riemannian manifoldsinversio-ongelmatsymbols.namesakeray transformsMathematics - Analysis of PDEsMinkowski spaceFOS: Mathematics0101 mathematicsMathematicsEuclidean space010102 general mathematicsNull (mathematics)Manifold010101 applied mathematicsnull geodesicsDifferential Geometry (math.DG)Differential geometryProduct (mathematics)symbolsGeometry and TopologyMathematics::Differential GeometryAnalysis of PDEs (math.AP)
researchProduct

Pseudodifferential operators on manifolds with a Lie structure at infinity

2003

to appear in Anal. Math.; Several examples of non-compact manifolds $M_0$ whose geometry at infinity is described by Lie algebras of vector fields $V \subset \Gamma(TM)$ (on a compactification of $M_0$ to a manifold with corners $M$) were studied by Melrose and his collaborators. In math.DG/0201202 and math.OA/0211305, the geometry of manifolds described by Lie algebras of vector fields -- baptised "manifolds with a Lie structure at infinity" there -- was studied from an axiomatic point of view. In this paper, we define and study the algebra $\Psi_{1,0,\VV}^\infty(M_0)$, which is an algebra of pseudodifferential operators canonically associated to a manifold $M_0$ with the Lie structure at …

Mathematics - Differential GeometryPure mathematicsVector algebraRiemannian geometry01 natural sciencessymbols.namesakeMathematics (miscellaneous)Mathematics - Analysis of PDEs0103 physical sciencesLie algebraFOS: MathematicsCompactification (mathematics)0101 mathematicsMathematics010102 general mathematicsHigh Energy Physics::PhenomenologyRiemannian manifoldDifferential operatorCompact operatorAlgebraOperator algebraDifferential Geometry (math.DG)[MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]symbols010307 mathematical physicsStatistics Probability and Uncertainty[MATH.MATH-DG] Mathematics [math]/Differential Geometry [math.DG]Analysis of PDEs (math.AP)
researchProduct