We give a geometric criterion for a topological surface in the first Heisenberg group to be an intrinsic Lipschitz graph, using planar cones instead of the usual open cones.
Minimal surfaces in $mathbb{R}^n$ can be locally approximated by graphs of harmonic functions, i.e., functions that are critical points of the Dirichlet energy, but no analogous theorem is known for $H$-minimal surfaces in the three-dimensional Heisenberg group $mathbb{H}$, which are known to have singularities. In this paper, we introduce a definition of intrinsic Dirichlet energy for surfaces in $mathbb{H}$ and study the critical points of this energy, which we call contact harmonic graphs. Nearly flat regions of $H$-minimal surfaces can often be approximated by such graphs. We give a calibration condition for an intrinsic Lipschitz graph to be energy-minimizing, construct energy-minimizing graphs with a variety of singularities, and prove a first variation formula for the energy of intrinsic Lipschitz graphs and piecewise smooth intrinsic graphs.
We provide a new geometric proof of Reimanns theorem characterizing quasiconformal mappings as the ones preserving functions of bounded mean oscillation. While our proof is new already in the Euclidean spaces, it is applicable in Heisenberg groups as well as in more general stratified nilpotent Carnot groups.
We here revisit Fourier analysis on the Heisenberg group H^d. Whereas, according to the standard definition, the Fourier transform of an integrable function f on H^d is a one parameter family of bounded operators on L 2 (R^d), we define (by taking advantage of basic properties of Hermite functions) the Fourier transform f_H of f to be a uniformly continuous mapping on the set N^d x N^d xR {0} endowed with a suitable distance. This enables us to extend f_H to the completion of that space, and to get an explicit asymptotic description of the Fourier transform when the vertical frequency tends to 0. We expect our approach to be relevant for adapting to the Heisenberg framework a number of classical results for the Euclidean case that are based on Fourier analysis. As an example, we here establish an explicit extension of the Fourier transform for smooth functions on H^d that are independent of the vertical variable.
In this paper we address the relationship between Gromov-Hausdorff limits and intrinsic flat limits of complete Riemannian manifolds. In cite{SormaniWenger2010, SormaniWenger2011}, Sormani-Wenger show that for a sequence of Riemannian manifolds with nonnegative Ricci curvature, a uniform upper bound on diameter, and non-collapsed volume, the intrinsic flat limit exists and agrees with the Gromov-Hausdorff limit. This can be viewed as a non-cancellation theorem showing that for such sequences, points dont cancel each other out in the limit. Here we prove a similar no-cancellation theorem, replacing the assumption of nonnegative Ricci curvature with a two-sided bound on Ricci curvature. This version corrects a mistake in the previous version of this paper (where we assume only an arbitrary lower Ricci bound) which was due to a crucial error in one of our supporting theorems for that argument.
In this paper, we give a necessary and sufficient condition for a graphical strip in the Heisenberg group $mathbb{H}$ to be area-minimizing in the slab ${-1<x<1}$. We show that our condition is necessary by introducing a family of deformations of graphical strips based on varying a vertical curve. We show that it is sufficient by showing that strips satisfying the condition have monotone epigraphs. We use this condition to show that any area-minimizing ruled entire intrinsic graph in the Heisenberg group is a vertical plane and to find a boundary curve that admits uncountably many fillings by area-minimizing surfaces.