Related papers: Intersections of intrinsic submanifolds in the Hei…
We generalise a result of Garofalo and Pauls: a horizontally minimal smooth surface embedded in the Heisenberg group is locally a (straight) ruled surface, i.e. it consists of straight lines tangent to a horizontal vector field along a…
In this paper we study intrinsic regular submanifolds of $\mathbb{H}^n$, of low co-dimension in relation with the regularity of their intrinsic parametrization. We extend some results proved for one co-dimensional $\mathbb{H}$-regular…
In the first Heisenberg group, we study entire, locally Sobolev intrinsic graphs that are stable for the sub-Riemannian area. We show that, under appropriate integrability conditions for the derivatives, the intrinsic graph must be an…
We address the problem of integrability of the sub-Riemannian mean curvature of an embedded hypersurface around isolated characteristic points. The main contribution of this note is the introduction of a concept of mildly degenerate…
Given a closed, oriented surface M, the algebraic intersection of closed curves induces a symplectic form Int(.,.) on the first homology group of M. If M is equipped with a Riemannian metric g, the first homology group of M inherits a norm,…
Small codimensional embedded manifolds defined by equations of small degree are Fano and covered by lines. They are complete intersections exactly when the variety of lines through a general point is so and has the right codimension. This…
We initiate the study of X-ray tomography on sub-Riemannian manifolds, for which the Heisenberg group exhibits the simplest nontrivial example. With the language of the group Fourier Transform, we prove an operator-valued incarnation of the…
We discuss the notion of submanifolds with boundary with intrinsic $C^1$ regularity in sub-Riemannian Heisenberg groups and we provide some examples. Eventually, we present a Stokes' Theorem for such submanifolds involving the integration…
We study the intersection theory of punctured pseudoholomorphic curves in $4$-dimensional symplectic cobordisms. We first study the local intersection properties of such curves at the punctures. We then use this to develop topological…
We use intersections with horizontal manifolds to show that high-dimensional cycles in the Heisenberg group can be approximated efficiently by simplicial cycles. This lets us calculate all of the higher-order Dehn functions of the…
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.
We establish the following theorem of Bernstein type for the first Heisenberg group: Let S be a C^2 connected H-minimal surface which is a graph over some plane P, then S is either a non-characteristic vertical plane, or its generalized…
This paper studies the geometry of bilipschitz maps $f \colon \mathbb{W} \to \mathbb{H}$, where $\mathbb{H}$ is the first Heisenberg group, and $\mathbb{W} \subset \mathbb{H}$ is a vertical subgroup of co-dimension $1$. The images…
We prove that, in the first Heisenberg group $\mathbb{H}$, an entire locally Lipschitz intrinsic graph admitting vanishing first variation of its sub-Riemannian area and non-negative second variation must be an intrinsic plane, i.e., a…
We show that in the first sub-Riemannian Heisenberg group there are intrinsic graphs of smooth functions that are both critical and stable points of the sub-Riemannian perimeter under compactly supported variations of contact…
We compute in many classes of examples the first potentially interesting homotopy group of the space of embeddings of either an arc or a circle into a manifold $M$ of dimension $d\geq4$. In particular, if $M$ is a simply connected…
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…
The Heisenberg groups are examples of sub-Riemannian manifolds homeomorphic, but not diffeomorphic to the Euclidean space. Their metric is derived from curves which are only allowed to move in so-called horizontal directions. We report on…
For each submanifold of a stratified group, we find a number and a measure only depending on its tangent bundle, the grading and the fixed Riemannian metric. In two step stratified groups, we show that such number and measure coincide with…
We prove that a pair of continuous disjoint periodic curves in $\mathbb{C}$ inscribes an isosceles trapezoid with any similarity type. The case of smooth curves can be identified with a Lagrangian intersection problem for a pair of…