Intersections of intrinsic submanifolds in the Heisenberg group

DOI10.1016/J.JMAA.2010.12.052MaRDI QIDQ631835zbMATH OpenOpenAlexFDO

Authors Gian Paolo Leonardi, Valentino Magnani

Publication date 14 March 2011

Published in Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1009.5302

zbMATH Keywords

Heisenberg grouplevel setregular surface

Mathematics Subject Classification ID

Representations of nilpotent and solvable Lie groups (special orbital integrals, non-type I representations, etc.) (22E27) Sub-Riemannian geometry (53C17) Differential geometry of immersions (minimal, prescribed curvature, tight, etc.) (53C42)

Abstract: In the first Heisenberg group, we show that the intersection of two intrinsic submanifolds with linearly independent horizontal normals locally coincides with the image of an injective continuous curve. The key tool is a chain rule that relies on a recent result by Dafermos.

Review text

Let \(\mathbb{H}\) be the 3-dimensional Heisenberg group. We say that \(\Sigma\subset\mathbb{H}\) is an \(\mathbb{H}\)-regular surface if, for each point \(p\in\Sigma\), there exists an open set \({\mathcal U}\subset\mathbb{H}\) containing \(p\) and a function \(f\in C^1({\mathcal U},\mathbb{R})\) such that \(\Sigma\cap{\mathcal U}= f^{-1}(0)\) and \(\nabla_Hf(q)\neq 0\) for all \(q\in{\mathcal U}\). A horizontal normal of \(\Sigma\) at \(p\) is given by \(\nu_H(p)= {\nabla_Hf(p)\over |\nabla_H f(p)|}\). The authors study the intersection of two \(\mathbb{H}\)-regular surfaces of \(\mathbb{H}\) having linearly independent horizontal normals at the intersection points. The main result of this paper is the following. Let \(\Sigma_1\) and \(\Sigma_2\) be two \(\mathbb{H}\)-regular surfaces of \(\mathbb{H}\). Let \(x_0\in\Sigma_1\cap \Sigma_2\) and assume that the horizontal normals \(\nu_{1H}(x_0)\) and \(\nu_{2H}(x_0)\) are linearly independent. Then there exists a neighborhood \(O\subset\mathbb{H}\) of \(x_0\) such that the set \(\Sigma_1\cap \Sigma_2\cap O\) coincides with the image of an injective curve \(\Gamma: [0, 1]\to\mathbb{H}\). The key tool of the proof of this result is a chain rule that relies on a recent result by \textit{C. M. Dafermos} [Ric. Mat. 55, No.~1, 79--91 (2006; Zbl 1220.35094)].

Recommendations

• Intrinsic regular hypersurfaces in Heisenberg groups
• Notion of \(\mathbb{H}\)-orientability for surfaces in the Heisenberg group \(\mathbb{H}^n\)
• Intrinsic regular surfaces of low codimension in Heisenberg groups
• Intrinsic regular graphs in Heisenberg groups vs. weak solutions of non-linear first-order PDEs
• Rectifiability and parameterization of intrinsic regular surfaces in the Heisenberg group
• The prescribed \(p\)-mean curvature equation of low regularity in the Heisenberg group
• Higher order parallel surfaces in the Heisenberg group
• Metric normal and distance function in the Heisenberg group
• A characterization of constant \(p\)-mean curvature surfaces in the Heisenberg group \(H_1\)
• An application of the moving frame method to integral geometry in the Heisenberg group

Cites work

• Continuous solutions for balance laws
• Distributional solutions of Burgers' equation and intrinsic regular graphs in Heisenberg groups
• Hardy Spaces on Homogeneous Groups. (MN-28), Volume 28
• scientific article; zbMATH DE number 4137016 (Why is no real title available?)
• Intrinsic Lipschitz graphs in Heisenberg groups
• Intrinsic regular hypersurfaces in Heisenberg groups
• Intrinsic regular submanifolds in Heisenberg groups are differentiable graphs
• Rectifiability and perimeter in the Heisenberg group
• Regular submanifolds, graphs and area formula in Heisenberg groups

Cited in

(7)

• Rank-one theorem and subgraphs of BV functions in Carnot groups
• Area of intrinsic graphs and coarea formula in Carnot groups
• One-dimensional level sets of hc-differentiable mappings of Carnot-Carathéodory spaces
• The coarea formula for projections of Lipschitz maps of Carnot groups
• Vertical curves and vertical fibers in the Heisenberg group
• Intrinsic regular hypersurfaces in Heisenberg groups
• Intrinsic regular submanifolds in Heisenberg groups are differentiable graphs

This page was built for publication: Intersections of intrinsic submanifolds in the Heisenberg group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q631835)