Search results for "heisenberg group"

showing 10 items of 26 documents

Loomis-Whitney inequalities in Heisenberg groups

2021

This note concerns Loomis-Whitney inequalities in Heisenberg groups $\mathbb{H}^n$: $$|K| \lesssim \prod_{j=1}^{2n}|\pi_j(K)|^{\frac{n+1}{n(2n+1)}}, \qquad K \subset \mathbb{H}^n.$$ Here $\pi_{j}$, $j=1,\ldots,2n$, are the vertical Heisenberg projections to the hyperplanes $\{x_j=0\}$, respectively, and $|\cdot|$ refers to a natural Haar measure on either $\mathbb{H}^n$, or one of the hyperplanes. The Loomis-Whitney inequality in the first Heisenberg group $\mathbb{H}^1$ is a direct consequence of known $L^p$ improving properties of the standard Radon transform in $\mathbb{R}^2$. In this note, we show how the Loomis-Whitney inequalities in higher dimensional Heisenberg groups can be deduced…

Mathematics - Classical Analysis and ODEsSobolev inequalityClassical Analysis and ODEs (math.CA)FOS: Mathematicsmittateoria28A75 52C99 46E35 35R03isoperimetric inequalityepäyhtälötfunktionaalianalyysiLoomis–Whitney inequalityHeisenberg groupRadon transformmatemaattinen analyysi
researchProduct

A Koebe distortion theorem for quasiconformal mappings in the Heisenberg group

2017

We prove a Koebe distortion theorem for the average derivative of a quasiconformal mapping between domains in the sub-Riemannian Heisenberg group $\mathbb{H}_1$. Several auxiliary properties of quasiconformal mappings between subdomains of $\mathbb{H}_1$ are proven, including distortion of balls estimates and local BMO-estimates for the logarithm of the Jacobian of a quasiconformal mapping. Applications of the Koebe theorem include diameter bounds for images of curves, comparison of integrals of the average derivative and the operator norm of the horizontal differential, as well as the study of quasiconformal densities and metrics in domains in $\mathbb{H}_1$. The theorems are discussed for…

Mathematics - Complex VariablesMathematics::Complex VariablesMetric Geometry (math.MG)Heisenberg groupQuasiconformal mappingKvasikonformikuvausKoebe distortion theoremMathematics - Analysis of PDEsMathematics - Metric GeometryFOS: MathematicsHeisenbergin ryhmäComplex Variables (math.CV)30L10 (Primary) 30C65 30F45 (Secondary)Analysis of PDEs (math.AP)
researchProduct

Gradient regularity for elliptic equations in the Heisenberg group

2009

Abstract We give dimension-free regularity conditions for a class of possibly degenerate sub-elliptic equations in the Heisenberg group exhibiting super-quadratic growth in the horizontal gradient; this solves an issue raised in [J.J. Manfredi, G. Mingione, Regularity results for quasilinear elliptic equations in the Heisenberg group, Math. Ann. 339 (2007) 485–544], where only dimension dependent bounds for the growth exponent are given. We also obtain explicit a priori local regularity estimates, and cover the case of the horizontal p-Laplacean operator, extending some regularity proven in [A. Domokos, J.J. Manfredi, C 1 , α -regularity for p-harmonic functions in the Heisenberg group for …

Mathematics - Differential GeometryMathematics(all)Pure mathematicsp-LaplaceanGeneral MathematicsOperator (physics)Mathematical analysisDegenerate energy levelsHeisenberg groupWeak solutions35J60RegularityElliptic operatorMathematics - Analysis of PDEsDifferential Geometry (math.DG)Cover (topology)Euclidean geometryFOS: MathematicsHeisenberg groupExponentLinear equationAnalysis of PDEs (math.AP)MathematicsAdvances in Mathematics
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

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

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

Sub-Finsler Horofunction Boundaries of the Heisenberg Group

2020

We give a complete analytic and geometric description of the horofunction boundary for polygonal sub-Finsler metrics---that is, those that arise as asymptotic cones of word metrics---on the Heisenberg group. We develop theory for the more general case of horofunction boundaries in homogeneous groups by connecting horofunctions to Pansu derivatives of the distance function.

Pure mathematics20f69horoboundary53C23 (Primary) 20F18 20F65 (Secondary)Boundary (topology)Group Theory (math.GR)Heisenberg group01 natural sciencesdifferentiaaligeometriasub-finsler distanceMathematics - Metric Geometryhomogeneous group0103 physical sciencesFOS: MathematicsHeisenberg groupMathematics::Metric Geometry0101 mathematicsMathematicsQA299.6-433Applied Mathematics010102 general mathematicsryhmäteoriaheisenberg groupMetric Geometry (math.MG)53c2353c17Homogeneoussub-Finsler distance010307 mathematical physicsGeometry and TopologyMathematics - Group TheoryAnalysisWord (group theory)Analysis and Geometry in Metric Spaces
researchProduct

Dorronsoro's theorem in Heisenberg groups

2020

A theorem of Dorronsoro from the 1980s quantifies the fact that real-valued Sobolev functions on Euclidean spaces can be approximated by affine functions almost everywhere, and at all sufficiently small scales. We prove a variant of Dorronsoro's theorem in Heisenberg groups: functions in horizontal Sobolev spaces can be approximated by affine functions which are independent of the last variable. As an application, we deduce new proofs for certain vertical vs. horizontal Poincare inequalities for real-valued functions on the Heisenberg group, originally due to Austin-Naor-Tessera and Lafforgue-Naor.

Pure mathematicsGeneral Mathematics010102 general mathematicsMathematical proof01 natural sciencesSobolev spacesymbols.namesakeEuclidean geometryPoincaré conjectureHeisenberg groupsymbolsAlmost everywhereAffine transformation0101 mathematicsVariable (mathematics)MathematicsBulletin of the London Mathematical Society
researchProduct

Toward a quasi-Möbius characterization of invertible homogeneous metric spaces

2020

We study locally compact metric spaces that enjoy various forms of homogeneity with respect to Mobius self-homeomorphisms. We investigate connections between such homogeneity and the combination of isometric homogeneity with invertibility. In particular, we provide a new characterization of snowflakes of boundaries of rank-one symmetric spaces of non-compact type among locally compact and connected metric spaces. Furthermore, we investigate the metric implications of homogeneity with respect to uniformly strongly quasi-Mobius self-homeomorphisms, connecting such homogeneity with the combination of uniform bi-Lipschitz homogeneity and quasi-invertibility. In this context we characterize spac…

Pure mathematicsGeneral MathematicsHomogeneity (statistics)010102 general mathematicsContext (language use)Type (model theory)01 natural sciencesMetric spaceMetric (mathematics)Heisenberg groupMathematics::Metric GeometryLocally compact space0101 mathematicsCut-pointMathematicsRevista Matemática Iberoamericana
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