Related papers: Vertical perimeter versus horizontal perimeter

We characterize convex isoperimetric sets in the Heisenberg group endowed with horizontal perimeter. We first prove Sobolev regularity for a certain class of vector fields in the plane with bounded variation, related to the curvature…

We prove geometric $L^p$ versions of Hardy's inequality for the sub-elliptic Laplacian on convex domains $\Omega$ in the Heisenberg group $\mathbb{H}^n$, where convex is meant in the Euclidean sense. When $p=2$ and $\Omega$ is the…

We initiate a classification of uniform measures in the first Heisenberg group $\mathbb H$ equipped with the Kor\'anyi metric $d_H$, that represents the first example of a noncommutative stratified group equipped with a homogeneous…

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…

We prove some geometric properties of sets in the first Heisenberg group whose Heisenberg Hausdorff dimension is the minimal or maximal possible in relation to their Euclidean one and the corresponding Hausdorff measures are positive and…

This paper is devoted to the study of tangential properties of measures with density in the Heisenberg groups $\mathbb{H}^n$. Among other results we prove that measures with $(2n+1)$-density have only flat tangents and conclude the…

Let $\mathbb H$ denote the three-dimensional Heisenberg group. In this paper, we study vertical curves in $\mathbb H$ and fibers of maps $\mathbb H \to \mathbb R^2$ from a metric perspective. We say that a set in $\mathbb H$ is a vertical…

We study the horizontally regular curves in the Heisenberg groups $H_n$. We show the fundamental theorem of curves in $H_n$ $(n\geq 2)$ and define the concept of the orders for horizontally regular curves. We also show that the curve…

Let $D$ be a closed disk centered at the origin in the horizontal hyperplane $\{t=0\}$ of the sub-Riemannian Heisenberg group $\hh^n$, and $C$ the vertical cylinder over $D$. We prove that any finite perimeter set $E$ such that $D\subset…

Heisenberg groups over algebras with central involution and their automorphism groups are constructed. The complex quaternion group algebra over a prime field is used as an example. Its subspaces provide finite models for each of the real…

Let $\H= < a,b | a[a,b]=[a,b]a \wedge b[a,b]=[a,b]b>$ be the discrete Heisenberg group, equipped with the left-invariant word metric $d_W(\cdot,\cdot)$ associated to the generating set ${a,b,a^{-1},b^{-1}}$. Letting $B_n= {x\in \H:…

Let $\mathbb{H}$ be the three-dimensional Heisenberg group. We introduce a structure on the Heisenberg group which consists of the biregular representation of $\mathbb{H\times H}$ restricted to some discrete subset of $\mathbb{H\times H}$…

For $g\geq 2$, let $\Gamma\subset\mathrm{Sp}(2g,\mathbb{R})$ be a discrete subgroup, which is either a cocompact subgroup or an arithmetic subgroup without torsion elements, and let $\mathbb{H}_{g}$ denote the Siegel upper half space of…

We prove a Filling Theorem for the Heisenberg Groups $H^{2n+1}$: For a given $k$-cycle $a$ we construct a $(k+1)$-chain $b$ (the filling) with boundary $\partial b=a$ and controlled volume. For this filling $b$ we prove a uniform bound on…

We consider the unitary group $\U$ of complex, separable, infinite-dimensional Hilbert space as a discrete group. It is proved that, whenever $\U$ acts by isometries on a metric space, every orbit is bounded. Equivalently, $\U$ is not the…

Furstenberg has associated to every topological group $G$ a universal boundary $\partial(G)$. If we consider in addition a subgroup $H<G$, the relative notion of $(G,H)$-boundaries admits again a maximal object $\partial(G,H)$. In the case…

In this paper, we prove that for any bounded set of finite perimeter $\Omega \subset \mathbb{R}^n$, we can choose smooth sets $E_k \Subset \Omega$ such that $E_k \rightarrow \Omega$ in $L^1$ and \begin{align}…

For a Riemannian manifold $M^{n+1}$ and a compact domain $\Omega \subset M^{n+1}$ bounded by a hypersurface $\partial \Omega$ with normal curvature bounded below, estimates are obtained in terms of the distance from $O$ to $\partial \Omega$…

In this paper we study sets in the $n$-dimensional Heisenberg group $\hhn$ which are critical points, under a volume constraint, of the sub-Riemannian perimeter associated to the distribution of horizontal vector fields in $\hhn$. We define…

The Weyl algebra (W_{2m}[h]; *) is the algebra generated by u=(u_1,...,u_m,v_1,.....,v_m) over C with the fundamental commutation relation [u_i,v_j]=-ih\delta_{ij}, where h is a positive constant. The Heisenberg algebra (\Cal H_{2m}[nu];*)…