Searcharxiv⌕ Search

arXiv subjects

Valentino Magnani

Publications and source records attributed to Valentino Magnani.

At least 37 records · Page 2Linked to original sources
arXiv2016

A rough calculus approach to level sets in the Heisenberg group

We introduce novel equations, in the spirit of rough path theory, that parametrize level sets of intrinsically regular maps on the Heisenberg group with values in $\mathbb{R}^2$. These equations can be seen as a sub-Riemannian counterpart to classical ODEs arising from the implicit function theorem. We show that they enjoy all the natural well-posedness properties, thus allowing for a "good calculus" on nonsmooth level sets. We apply these results to prove an area formula for the intrinsic measure of level sets, along with the corresponding coarea formula.

math.DG↗
arXiv2016

On Lipschitz vector fields and the Cauchy problem in homogeneous groups

We introduce a class of "Lipschitz horizontal" vector fields in homogeneous groups, for which we show equivalent descriptions, e.g. in terms of suitable derivations. We then investigate the associated Cauchy problem, providing a uniqueness result both at equilibrium points and for vector fields of an involutive submodule of Lipschitz horizontal vector fields. We finally exhibit a counterexample to the general well-posedness theory for Lipschitz horizontal vector fields, in contrast with the Euclidean theory.

math.CA↗
arXiv2015

Some remarks on densities in the Heisenberg group

We observe that upper densities and spherical Federer densities may differ on all two dimensional surfaces of the sub-Riemannian Heisenberg group. This provides an entire class of intrinsic rectifiable sets having upper density strictly less than one.

math.MG↗
arXiv2015

A new differentiation, shape of the unit ball and perimeter measure

We present a new blow-up method that allows for establishing the first general formula to compute the perimeter measure with respect to the spherical Hausdorff measure in noncommutative nilpotent groups. This result leads us to an unexpected relationship between the area formula with respect to a distance and the profile of its corresponding unit ball.

math.DG↗
arXiv2015

A Gromov's dimension comparison estimate for rectifiable sets

We extend the validity of a Gromov's dimension comparison estimate for topological hypersurfaces to sufficiently large classes of rectifiable sets, arising from Sobolev mappings. Our tools are a suitably weak exterior differentiation for pullback differential forms and a new low rank property for Sobolev mappings.

math.DG↗
arXiv2014

Regularity estimates for convex functions in Carnot-Carathéodory spaces

We prove some regularity estimates for a class of convex functions in Carnot-Carathéodory spaces, generated by Hörmander vector fields. Our approach relies on both the structure of metric balls induced by Hörmander vector fields and local upper estimates for the corresponding subharmonic functions.

math.AP↗
arXiv2013

Removable sets for Lipschitz harmonic functions on Carnot groups

Let G be a Carnot group with homogeneous dimension Q larger than 2 and let L be a sub-Laplacian on G. We prove that the critical dimension for removable sets of Lipschitz L-harmonic functions is Q-1. Moreover we construct self-similar sets with positive and finite (Q-1) dimensional Hausdorff measure which are removable.

math.AP↗
arXiv2013

BV functions and sets of finite perimeter in sub-Riemannian manifolds

We give a notion of BV function on an oriented manifold where a volume form and a family of lower semicontinuous quadratic forms $G_p: T_pM \to [0,\infty]$ are given. When we consider sub-Riemannian manifolds, our definition coincide with the one given in the more general context of metric measure spaces which are doubling and support a Poincaré inequality. We then focus on finite perimeter sets, i.e., sets whose characteristic function is BV, in sub-Riemannian manifolds. Under an assumption on the nilpotent approximation, we prove a blowup theorem, generalizing the one obtained for step-2 Carnot groups in [24].

math.DG↗
arXiv2013

A low rank property and nonexistence of higher dimensional horizontal Sobolev sets

We establish a "low rank property" for Sobolev mappings that pointwise solve a first order nonlinear system of PDEs, whose smooth solutions have the so-called "contact property". As a consequence, Sobolev mappings from an open set of the plane, taking values in the first Heisenberg group and that have almost everywhere maximal rank must have images with positive 3-dimensional Hausdorff measure with respect to the sub-Riemannian distance of the Heisenberg group. This provides a complete solution to a question raised in a paper by Z. M. Balogh, R. Hoefer-Isenegger and J. T. Tyson. Our approach differs from the previous ones. Its technical aspect consists in performing an "exterior differentiation by blow-up", where the standard distributional exterior differentiation is not possible. This method extends to higher dimensional Sobolev mappings taking values in higher dimensional Heisenberg groups.

math.AP↗
arXiv2012

On transversal submanifolds and their measure

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éodory Hausdorff measure. This set is made by all points of non-maximal degree. Observing that C^1 submanifolds in Carnot groups are generically transversal, the previous results prove that the "intrinsic measure" of C^1 submanifolds is generically equivalent to their Carnot-Carathéodory Hausdorff measure. As a result, the restriction of this Hausdorff measure to the submanifold can be replaced by a more manageable integral formula, that should be seen as a "sub-Riemannian mass". Another consequence of these results is an explicit formula, only depending on the embedding of the submanifold, that computes the Carnot-Carathéodory Hausdorff dimension of C^1 transversal submanifolds.

math.MG↗
arXiv2012

Radon-Nikodym property and area formula for Banach homogeneous group targets

We prove a Rademacher-type theorem for Lipschitz mappings from a subset of a Carnot group to a Banach homogeneous group, equipped with a suitably weakened Radon-Nikodym property. We provide a metric area formula that applies to these mappings and more generally to all almost everywhere metrically differentiable Lipschitz mappings defined on a Carnot group.

math.FA↗
arXiv2010

An area formula in metric spaces

We present an area formula for continuous mappings between metric spaces, under minimal regularity assumptions. In particular, we do not require any notion of differentiability. This is a consequence of a measure theoretic notion of Jacobian, defined as the density of a suitable "pull-back measure".

math.MG↗
arXiv2010

Intersections of intrinsic submanifolds in the Heisenberg group

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.

math.AP↗
arXiv2010

Measure of curves in graded groups

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

math.DG↗
arXiv2009

Nonexistence of horizontal Sobolev surfaces in the Heisenberg group

Involutivity is a well known necessary condition for integrability of smooth tangent distributions. We show that this condition is still necessary for integrability with Sobolev surfaces. We specialize our study to the left invariant horizontal distribution of the first Heisenberg group $\H^1$. Here we answer a question raised in a paper by Z.M.Balogh, R.Hoefer-Isenegger, J.T.Tyson.

math.AP↗
arXiv2009

Contact equations, Lipschitz extensions and isoperimetric inequalities

We characterize locally Lipschitz mappings and existence of Lipschitz extensions through a first order nonlinear system of PDEs. We extend this study to graded group-valued Lipschitz mappings defined on compact Riemannian manifolds. Through a simple application, we emphasize the connection between these PDEs and the Rumin complex. We introduce a class of 2-step groups, satisfying some abstract geometric conditions and we show that Lipschitz mappings taking values in these groups and defined on subsets of the plane admit Lipschitz extensions. We present several examples of these groups, called Allcock groups, observing that their horizontal distribution may have any codimesion. Finally, we show how these Lipschitz extensions theorems lead us to quadratic isoperimetric inequalities in all Allcock groups.

math.AP↗
arXiv2008

Blow-up estimates at horizontal points and applications

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 two step groups, we obtain pointwise estimates for the Riemannian surface measure at all horizontal points of $C^{1,1}$ smooth submanifolds. As an application, we establish an integral formula to compute the spherical Hausdorff measure of any $C^{1,1}$ submanifold. Our technique also shows that $C^2$ smooth submanifolds everywhere admit an intrinsic blow-up and that the limit set is an intrinsically homogeneous algebraic variety.

math.DG↗