No Arabic abstract
In the setting of Carnot groups, we are concerned with the rectifiability problem for subsets that have finite sub-Riemannian perimeter. We introduce a new notion of rectifiability that is possibly, weaker than the one introduced by Franchi, Serapioni, and Serra Cassano. Namely, we consider subsets $Gamma$ that, similarly to intrinsic Lipschitz graphs, have a cone property: there exists an open dilation-invariant subset $C$ whose translations by elements in $Gamma$ dont intersect $Gamma$. However, a priori the cone $C$ may not have any horizontal directions in its interior. In every Carnot group, we prove that the reduced boundary of every finite-perimeter subset can be covered by countably many subsets that have such a cone property. The cones are related to the semigroups generated by the horizontal half-spaces determined by the normal directions. We further study the case when one can find horizontal directions in the interior of the cones, in which case we infer that finite-perimeter subsets are countably rectifiable with respect to intrinsic Lipschitz graphs. A sufficient condition for this to hold is the existence of a horizontal one-parameter subgroup that is not an abnormal curve. As an application, we verify that this property holds in every filiform group, of either first or second type.
We consider sets of locally finite perimeter in Carnot groups. We show that if E is a set of locally finite perimeter in a Carnot group G, then for almost every x in G with respect to the perimeter measure of E, some tangent of E at x is a vertical halfspace. This is a partial extension of a theorem of Franchi-Serapioni-Serra Cassano in step 2 Carnot groups: they have shown that, for almost every x, E has a unique tangent at x, and this tangent is a vertical halfspace.
Carnot groups are distinguished spaces that are rich of structure: they are those Lie groups equipped with a path distance that is invariant by left-translations of the group and admit automorphisms that are dilations with respect to the distance. We present the basic theory of Carnot groups together with several remarks. We consider them as special cases of graded groups and as homogeneous metric spaces. We discuss the regularity of isometries in the general case of Carnot-Caratheodory spaces and of nilpotent metric Lie groups.
We analyze subsets of Carnot groups that have intrinsic constant normal, as they appear in the blowup study of sets that have finite sub-Riemannian perimeter. The purpose of this paper is threefold. First, we prove some mild regularity and structural results in arbitrary Carnot groups. Namely, we show that for every constant-normal set in a Carnot group its sub-Riemannian-Lebesgue representative is regularly open, contractible, and its topological boundary coincides with the reduced boundary and with the measure-theoretic boundary. We infer these properties from a cone property. Such a cone will be a semisubgroup with nonempty interior that is canonically associated with the normal direction. We characterize the constant-normal sets exactly as those that are arbitrary unions of translations of such semisubgroups. Second, making use of such a characterization, we provide some pathological examples in the specific case of the free-Carnot group of step 3 and rank 2. Namely, we construct a constant normal set that, with respect to any Riemannian metric, is not of locally finite perimeter; we also construct an example with non-unique intrinsic blowup at some point, showing that it has different upper and lower sub-Riemannian density at the origin. Third, we show that in Carnot groups of step 4 or less, every constant-normal set is intrinsically rectifiable, in the sense of Franchi, Serapioni, and Serra Cassano.
The overarching goal of this paper is to link the notion of sets of finite perimeter (a concept associated with $N^{1,1}$-spaces) and the theory of heat semigroups (a concept related to $N^{1,2}$-spaces) in the setting of metric measure spaces whose measure is doubling and supports a $1$-Poincare inequality. We prove a characterization of sets of finite perimeter in terms of a short time behavior of the heat semigroup in such metric spaces. We also give a new characterization of ${rm BV}$ functions in terms of a near-diagonal energy in this general setting.
This paper contributes to the study of sets of finite intrinsic perimeter in Carnot groups. Our intent is to characterize in which groups the only sets with constant intrinsic normal are the vertical half-spaces. Our viewpoint is algebraic: such a phenomenon happens if and only if the semigroup generated by each horizontal half-space is a vertical half-space. We call emph{semigenerated} those Carnot groups with this property. For Carnot groups of nilpotency step 3 we provide a complete characterization of semigeneration in terms of whether such groups do not have any Engel-type quotients. Engel-type groups, which are introduced here, are the minimal (in terms of quotients) counterexamples. In addition, we give some sufficient criteria for semigeneration of Carnot groups of arbitrary step. For doing this, we define a new class of Carnot groups, which we call type $(Diamond)$ and which generalizes the previous notion of type $(star)$ defined by M. Marchi. As an application, we get that in type $ (Diamond) $ groups and in step 3 groups that do not have any Engel-type algebra as a quotient, one achieves a strong rectifiability result for sets of finite perimeter in the sense of Franchi, Serapioni, and Serra-Cassano.