Notion of H-orientability for surfaces in the Heisenberg group H^n
The \(n\)th sub-Riemannian Heisenberg group \(\mathbb{H}^n\) is \(\mathbb{R}^{2n+1}\) with a particular non-abelian Lie group structure. This structure induces left-invariant vector fields \((X_i)_{i=1}^n\), \((Y_i)_{i=1}^n\), and \(T\) which satisfy the fundamental property that \([X_i,Y_i]=T\) for each \(i\). We call the span of \((X_i)_{i=1}^n\) and \((Y_i)_{i=1}^n\) the horizontal layer \(\mathfrak{h}_1\) of \(\mathbb{H}^n\). Say \(\langle \cdot , \cdot \rangle_H\) is the inner product on \(\mathfrak{h}_1\) for which the \(X_i\) and \(Y_i\) are all orthonormal. For a \(C^1\) surface \(S \subset \mathbb{R}^{2n+1}\) with codimension 1, we say that \(x \in S\) is a regular point of \(S\) if the surface locally coincides with the level set of a function with non-vanishing horizontal gradient. If every point in \(S\) is regular, we say that \(S\) is \(\mathbb{H}\)-regular. The paper under review establishes a definition of orientability for such surfaces. Such a surface is called \(\mathbb{H}\)-orientable if there is a continuous, non-vanishing 1-vector field \(n_\mathbb{H}\) which lies tangent to \(\mathfrak{h}_1\) and for which \(\langle n_\mathbb{H} , w|_{\mathfrak{h}_1} \rangle_{H} = 0\) for every \(w \in TS\). Before introducing this definition, the paper under review defines a \(C^1\) surface contained in the usual Möbius strip in \(\mathbb{R}^{2n+1}\) which is \(\mathbb{H}\)-regular and is still not Euclidean orientable. The author then discusses the notion of Euclidean orientability and, from this discussion, naturally develops the definition of Heisenberg orientability stated above. The author then proves the invariance of this notion of orientability under the usual Heisenberg group operations. Finally, the paper provides a result which shows that the subset of the Möbius strip discussed above is not \(\mathbb{H}\)-orientable. In other words, there exist \(\mathbb{H}\)-regular surfaces which are not \(\mathbb{H}\)-orientable.
- Some remarks about parametrizations of intrinsic regular surfaces in the Heisenberg group
- The geometry of hypersurfaces in Heisenberg groups
- A characterization of constant \(p\)-mean curvature surfaces in the Heisenberg group \(H_1\)
- Constant mean curvature surfaces in the Heisenberg group H^1
- Sub-Riemannian currents and slicing of currents in the Heisenberg group \(\mathbb{H}^n\)
- An introduction to the Heisenberg group and the sub-Riemannian isoperimetric problem
- Carnot-Carathéodory metrics and quasiisometries of symmetric spaces of rank 1
- Characteristic points, rectifiability and perimeter measure on stratified groups
- Comparison of Hausdorff measures with respect to the Euclidean and the Heisenberg metric
- Differential forms on contact manifolds
- Harnack-type mass bounds and bernstein theorems for area-minimizing flat chains modulo v.
- scientific article; zbMATH DE number 953396 (Why is no real title available?)
- scientific article; zbMATH DE number 3280855 (Why is no real title available?)
- Rectifiability and parameterization of intrinsic regular surfaces in the Heisenberg group
- Rectifiability and perimeter in the Heisenberg group
- Regular submanifolds, graphs and area formula in Heisenberg groups
- Size of characteristic sets and functions with prescribed gradient
- Sub-Riemannian vs. Euclidean dimension comparison and fractal geometry on Carnot groups
This page was built for publication: Notion of \(\mathbb{H}\)-orientability for surfaces in the Heisenberg group \(\mathbb{H}^n\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1995660)
