Related papers: Geodesics in the Heisenberg group

This paper explicitly constructs the complete set of optimal sub-Riemannian geodesics starting from a point for certain Carnot groups of step two. These are groups of dimension 2n+1 equipped with a left-invariant distribution of dimension…

We investigate metric properties of level sets of horizontally differentiable maps defined on the first Heisenberg group $(\Bbb{H}^1,d_{cc})$ equipped with the standard sub-Riemannian structure. In particular, we present an exhaustive…

The Epstein-Baer theory of curve isotopies is basic to the remarkable theorem that homotopic homeomorphisms of surfaces are isotopic. The groundbreaking work of R. Baer was carried out on closed, orientable surfaces and extended by D. B. A.…

We prove a Hardy-type inequality for the gradient of the Heisenberg Laplacian on open bounded convex polytopes on the first Heisenberg Group. The integral weight of the Hardy inequality is given by the distance function to the boundary…

The geometry of the Heisenberg group acting on the plane arises naturally in geometric topology as a degeneration of the familiar spaces $\mathbb{S}^2,\mathbb{H}^2$ and $\mathbb{E}^2$ via conjugacy limit as defined by Cooper, Danciger, and…

In this paper we aim at identifying the level sets of the gauge norm in the Heisenberg group $\mathbb{H}^n$ via the prescription of their (non-constant) horizontal mean curvature. We establish a uniqueness result in $\mathbb{H}^1$ under an…

This paper examines minimal hypersurfaces in sub-Riemannian Heisenberg groups. We extend the celebrated Simons formula and Kato inequality to the sub-Riemannian setting, and we apply them to obtain integral curvature estimates for stable…

We show that for given four points in the Riemann sphere and a given isotopy class of two disjoint arcs connecting these points in two pairs, there exists a unique configuration with the property that each arc is a hyperbolic geodesic…

We describe the inverse image of the Riemannian exponential map at a basepoint of a compact symmetric space as the disjoint union of so called focal orbits through a maximal torus. These are orbits of a subgroup of the isotropy group acting…

We investigate the local structure of the space $\mathcal{M}$ consisting of isometry classes of compact metric spaces, endowed with the Gromov-Hausdorff metric. We consider finite metric spaces of the same cardinality and suppose that these…

In the paper we prove that, for arbitrary unbounded subset $A\subset R$ and an arbitrary bounded metric space~$X$, a curve $A\times_{\ell^1} (tX)$, $t\in[0,\,\infty)$ is a geodesic line in the Gromov--Hausdorff class. We also show that, for…

We show that, given an absolutely continuous horizontal curve $\gamma$ in the Heisenberg group, there is a $C^1$ horizontal curve $\Gamma$ such that $\Gamma=\gamma$ and $\Gamma'=\gamma'$ outside a set of small measure. Conversely, we…

The study of Sobolev and Poincar\'e inequalities for differential forms in Carnot groups and in the more general sub-Riemannian setting is still an open problem in its full generality. One may conjecture that, for general Carnot groups,…

Our purpose in this paper is to study isometries and isometric embeddings of the $p$-Wasserstein space $\mathcal{W}_p(\mathbb{H}^n)$ over the Heisenberg group $\mathbb{H}^n$ for all $p>1$ and for all $n\geq 1$. First, we create a link…

The geodesic orbit property is useful and interesting in Riemannian geometry. It implies homogeneity and has important classes of Riemannian manifolds as special cases. Those classes include weakly symmetric Riemannian manifolds and…

In the setting of step 2 sub-Finsler Carnot groups with strictly convex norms, we prove that all infinite geodesics are lines. It follows that for any other homogeneous distance, all geodesics are lines exactly when the induced norm on the…

In the context of CAT(0) cubical groups, we develop an analogue of the theory of curve complexes and subsurface projections. The role of the subsurfaces is played by a collection of convex subcomplexes called a \emph{factor system}, and the…

It is shown that parts of planes, helicoids and hyperbolic paraboloids are the only minimal surfaces ruled by geodesics in the three dimensional Riemannian Heisenberg group. It is also shown that they are the only surfaces in the three…

We find a canonical decomposition of a geodesic current on a surface of finite type arising from a topological decomposition of the surface along special geodesics. We show that each component either is associated to a measured lamination…

Geodesics and curvature of semidirect product groups with right invariant metrics are determined. In the special case of an isometric semidirect product, the curvature is shown to be the sum of the curvature of the two groups. A series of…