Search results for " MATHEMATICAL"

showing 10 items of 686 documents

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

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.

Mathematics - Differential GeometryPure mathematicsGeneral MathematicsSpace (mathematics)01 natural sciencesMeasure (mathematics)Mathematics - Metric Geometry0103 physical sciencesFOS: MathematicsMathematics::Metric Geometry0101 mathematics[MATH.MATH-MG]Mathematics [math]/Metric Geometry [math.MG]tangent spaces; non-smooth geometryRicci curvatureMathematics51F99-53B99non-smooth geometrySequenceEuclidean spaceApplied MathematicsHilbertian spaces010102 general mathematicstangent spacesTangentMetric Geometry (math.MG)Euclidean spacesDifferential Geometry (math.DG)[MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]weak tangentsBounded functionSplitting theorem010307 mathematical physics
researchProduct

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…

Mathematics - Differential GeometryPure mathematicsGeodesicjoukot (matematiikka)General MathematicsGroup Theory (math.GR)algebra01 natural sciencessets (mathematics)Homothetic transformationMathematics - Metric Geometry0103 physical sciencesEuclidean geometryFOS: MathematicsHeisenberg groupMathematics::Metric GeometryMathematics (all)spheres0101 mathematicsMathematics28A75 22E25 53C60 53C17 26A16homogeneous groupsmatematiikkamathematicsGroup (mathematics)Applied Mathematicsta111010102 general mathematicsLie groupMetric Geometry (math.MG)Lipschitz continuityAutomorphismDifferential Geometry (math.DG)regularity properties010307 mathematical physicsMathematics - Group TheoryMathematics (all); Applied Mathematics
researchProduct

Counting and equidistribution in quaternionic Heisenberg groups

2020

AbstractWe develop the relationship between quaternionic hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on quaternionic hyperbolic spaces, especially in dimension 2. We prove a Mertens counting formula for the rational points over a definite quaternion algebra A over ${\mathbb{Q}}$ in the light cone of quaternionic Hermitian forms, as well as a Neville equidistribution theorem of the set of rational points over A in quaternionic Heisenberg groups.

Mathematics - Differential GeometryPure mathematicsMathematics::Dynamical SystemsGeneral MathematicsHyperbolic geometryMathematics::Number Theory[MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]Dimension (graph theory)11E39 11F06 11N45 20G20 53C17 53C22 53C55[MATH.MATH-DS] Mathematics [math]/Dynamical Systems [math.DS]Equidistribution theorem01 natural sciences[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]differentiaaligeometriaSet (abstract data type)Light cone0103 physical sciences0101 mathematics[MATH.MATH-GR] Mathematics [math]/Group Theory [math.GR]MathematicslukuteoriaQuaternion algebraMathematics - Number Theory010102 general mathematicsryhmäteoriaHermitian matrix[MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]Action (physics)010307 mathematical physicsMathematics::Differential Geometry[MATH.MATH-NT] Mathematics [math]/Number Theory [math.NT]
researchProduct

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…

Mathematics - Differential GeometryPure mathematicsPoincaré inequality01 natural sciencesMeasure (mathematics)Sobolev inequalitydifferentiaaligeometriaRiesz transformsymbols.namesakeMathematics - Analysis of PDEsMathematics - Metric GeometryLi-Yau estimates0103 physical sciencesClassical Analysis and ODEs (math.CA)FOS: Mathematics0101 mathematicsMathematicsRiesz transformosittaisdifferentiaaliyhtälötSemigroupDirichlet form010102 general mathematicsMetric Geometry (math.MG)harmoninen analyysiheat kernelsDifferential Geometry (math.DG)Harmonic functionMathematics - Classical Analysis and ODEssymbolspotentiaaliteoria010307 mathematical physicsIsoperimetric inequalityharmonic functionsAnalysisAnalysis of PDEs (math.AP)Journal of Functional Analysis
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

Algebraic models of the Euclidean plane

2018

We introduce a new invariant, the real (logarithmic)-Kodaira dimension, that allows to distinguish smooth real algebraic surfaces up to birational diffeomorphism. As an application, we construct infinite families of smooth rational real algebraic surfaces with trivial homology groups, whose real loci are diffeomorphic to $\mathbb{R}^2$, but which are pairwise not birationally diffeomorphic. There are thus infinitely many non-trivial models of the euclidean plane, contrary to the compact case.

Mathematics - Differential GeometryPure mathematicsaffine complexificationLogarithmReal algebraic model01 natural sciencesMathematics - Algebraic GeometryMathematics::Algebraic Geometry0103 physical sciencesEuclidean geometryAlgebraic surfaceaffine surfaceFOS: Mathematics0101 mathematicsInvariant (mathematics)Algebraic numberMathematics::Symplectic GeometryAlgebraic Geometry (math.AG)MathematicsAlgebra and Number Theory010102 general mathematics[MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG]q-homology planesbirational diffeomorphismDifferential Geometry (math.DG)[MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]rational fibrationPairwise comparison010307 mathematical physicsGeometry and TopologyDiffeomorphism[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]14R05 14R25 14E05 14P25 14J26[MATH.MATH-DG] Mathematics [math]/Differential Geometry [math.DG]Singular homology
researchProduct

A sharp quantitative version of Alexandrov's theorem via the method of moving planes

2015

We prove the following quantitative version of the celebrated Soap Bubble Theorem of Alexandrov. Let $S$ be a $C^2$ closed embedded hypersurface of $\mathbb{R}^{n+1}$, $n\geq1$, and denote by $osc(H)$ the oscillation of its mean curvature. We prove that there exists a positive $\varepsilon$, depending on $n$ and upper bounds on the area and the $C^2$-regularity of $S$, such that if $osc(H) \leq \varepsilon$ then there exist two concentric balls $B_{r_i}$ and $B_{r_e}$ such that $S \subset \overline{B}_{r_e} \setminus B_{r_i}$ and $r_e -r_i \leq C \, osc(H)$, with $C$ depending only on $n$ and upper bounds on the surface area of $S$ and the $C^2$ regularity of $S$. Our approach is based on a…

Mathematics - Differential GeometrySoap bubbleMean curvatureOscillationApplied MathematicsGeneral Mathematics010102 general mathematicsConcentricSurface (topology)53C20 53C21 (Primary) 35B50 35B51 (Secondary)01 natural sciencesAlexandrov Soap Bubble Theorem method of moving planes stability mean curvature pinching.CombinatoricsHypersurfaceMathematics - Analysis of PDEsDifferential Geometry (math.DG)Settore MAT/05 - Analisi Matematica0103 physical sciencesFOS: Mathematics010307 mathematical physicsDiffeomorphism0101 mathematicsMathematicsAnalysis of PDEs (math.AP)
researchProduct

Manifolds with vectorial torsion

2015

Abstract The present note deals with the properties of metric connections ∇ with vectorial torsion V on semi-Riemannian manifolds ( M n , g ) . We show that the ∇-curvature is symmetric if and only if V ♭ is closed, and that V ⊥ then defines an ( n − 1 ) -dimensional integrable distribution on M n . If the vector field V is exact, we show that the V-curvature coincides up to global rescaling with the Riemannian curvature of a conformally equivalent metric. We prove that it is possible to construct connections with vectorial torsion on warped products of arbitrary dimension matching a given Riemannian or Lorentzian curvature—for example, a V-Ricci-flat connection with vectorial torsion in di…

Mathematics - Differential GeometrySpinor010102 general mathematicsSpinor bundlePrimary 53C25 Secondary 81T30CurvatureDirac operator01 natural sciencesManifoldsymbols.namesakeDifferential Geometry (math.DG)Computational Theory and MathematicsSpinor fieldKilling spinor0103 physical sciencesFOS: MathematicssymbolsMathematics::Differential Geometry010307 mathematical physicsGeometry and Topology0101 mathematicsAnalysisScalar curvatureMathematicsMathematical physicsDifferential Geometry and its Applications
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