Related papers: Measure of submanifolds in the Engel group

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 study the class of transversal submanifolds. We characterize their blow-ups at transversal points and prove a negligibility theorem for their "generalized characteristic set", with respect to the Carnot-Carath\'eodory Hausdorff measure.…

Horizontal points of smooth submanifolds in stratified groups play the role of singular points with respect to the Carnot-Carathe'odory distance. When we consider hypersurfaces, they coincide with the well known characteristic points. In…

We prove that the upper blow-up theorem in the Engel group holds for $C^1$ submanifolds. Combining this result with the known negligibility of the singular set, we obtain an integral representation of the spherical measure for all surfaces…

A general approach to compute the spherical measure of submanifolds in homogeneous groups is provided. We focus our attention on the homogeneous tangent space, that is a suitable weighted algebraic expansion of the submanifold. This space…

We establish an area-type formula for the intrinsic spherical Hausdorff measure of every regular curve embedded in an arbitrary graded group.

The art of analysis involves the subtle combination of approximation, inequalities, and geometric intuition as well as being able to work at different scales. With this subtlety in mind, we present this paper in a manner designed for wide…

We establish Euclidean-type lower bounds for the codimension-1 Hausdorff measure of sets that separate points in doubling and linearly locally contractible metric manifolds. This gives a quantitative topological isoperimetric inequality in…

We establish an area formula for the spherical measure of intrinsically regular submanifolds of low codimension in Heisenberg groups. The spherical measure is computed with respect to an arbitrary homogeneous distance. Among the arguments…

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…

We study unimodular measures on the space $\mathcal M^d$ of all pointed Riemannian $d$-manifolds. Examples can be constructed from finite volume manifolds, from measured foliations with Riemannian leaves, and from invariant random subgroups…

Let $G$ denote an infinite-dimensional Heisenberg-like group, which is a class of infinite-dimensional step 2 stratified Lie groups. We consider holomorphic functions on $G$ that are square integrable with respect to a heat kernel measure…

We investigate metric properties of level sets of horizontally differentiable maps defined on the first Heisenberg group $(\Bbb{H}^1,d_{cc})$ equipped with the standard sub-Riemannian structure. In particular, we present an exhaustive…

We prove that area-minimizing submanifolds are not generically smooth, settling a conjecture of White that asks the generic smoothness of area-minimizing submanifolds. We furthermore establish a lower bound on the Hausdorff dimension of the…

We study the Hausdorff measure and dimension of the set of intrinsically simultaneously $\psi$-approximable points on a curve, surface, etc., given as a graph of integer valued polynomials. We obtain complete answers to these questions for…

In this paper, we consider generic corank 2 sub-Riemannian structures, and we show that the Spherical Hausdorf measure is always a C^1-smooth volume, which is in fact generically C^2- smooth out of a stratified subset of codimension 7. In…

We study ruled submanifolds of Euclidean space. First, to each (parametrized) ruled submanifold $\sigma$, we associate an integer-valued function, called degree, measuring the extent to which $\sigma$ fails to be cylindrical. In particular,…

We give a sufficient condition for an $\mathbb{S}^1$-bundle over a $3$-manifold to admit an immersion (or embedding) into $\mathbb{C}^3$ so that its complex tangencies define an Engel structure. In particular, every oriented…

H. Hertz called any manifold M with a given nonintegrable distribution {\it nonholonomic}. Vershik and Gershkovich stated and R. Montgomery proved that the space of germs of any nonholonomic distribution on M with an open and dense orbit of…

For a regular sub-Riemannian manifold we study the Radon-Nikodym derivative of the spherical Hausdorff measure with respect to a smooth volume. We prove that this is the volume of the unit ball in the nilpotent approximation and it is…