Geometric properties of extremal sets for the dimension comparison in Carnot groups of step 2

TL;DR

This paper investigates the geometric structure of extremal sets in Carnot groups of step 2, showing that maximal dimension sets are predominantly vertical and minimal dimension sets are near horizontal, generalizing previous results from the Heisenberg group.

Contribution

It establishes necessary geometric properties of extremal sets in Carnot groups of step 2, extending prior results from the Heisenberg group to a broader class of groups.

Findings

Maximal dimension sets are largely vertical.

Minimal dimension sets are close to horizontal.

Results are sharp with supporting examples.

Abstract

In Carnot groups of step 2 we consider sets having maximal or minimal possible homogeneous Hausdorff dimension compared to their Euclidean one: in the first case we prove that they must be in a sense vertical, that is a large part of these sets can lie off horizontal planes through their points, and in the latter case close to horizontal. The examples that had been used to prove the sharpness of the sub-Riemannian versus Euclidean dimension comparison intuitively satisfied these geometric properties, which we here quantify and prove to be necessary. We also show the sharpness of our statements with some examples. This paper generalizes the analogue results proved by Mattila and the author in the first Heisenberg group.