BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Valentino Magnani appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
A well known notion of $k$-rectifiable set can be formulated in any metric space using Lipschitz images of subsets of $\mathbb{R}^k$. We prove some characterizations of $k$-rectifiability, when the metric space is an arbitrary homogeneous group. In particular, we show that the a.e. existence of the $(k,\mathbb{G})$-approximate tangent group implies $k$-rectifiability.
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.
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.
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.
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.
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.
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.
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].
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.
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.
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.
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".
Using the notion of h-subdifferential, we characterize both first and second order differentiability of h-convex functions in stratified groups. We show that Aleksandrov's second order differentiability of h-convex functions is equivalent to a suitable differentiability of their horizontal gradient.
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.
We establish an area-type formula for the intrinsic spherical Hausdorff measure of every regular curve embedded in an arbitrary graded group.