Abstract:The H-type deviation, $\delta({\mathbb G})$, of a step two Carnot group ${\mathbb G}$ quantifies the extent to which ${\mathbb G}$ deviates from the geometrically and algebraically tractable class of Heisenberg-type (H-type) groups. In an earlier paper, the author defined this notion and used it to provide new analytic characterizations for the class of H-type groups. In addition, a quantitative conjecture relating the H-type deviation to the behavior of the $\infty$-Laplacian of Folland's fundamental solution for the $2$-Laplacian was formulated; an affirmative answer to this conjecture would imply that all step two polarizable groups are of H-type. In this paper, we elucidate further properties of the H-type deviation. First, we show that $0\le \delta({\mathbb G}) \le 1$ for all step two Carnot groups ${\mathbb G}$. Recalling that $\delta({\mathbb F}_{2,m}) = \sqrt{(m-2)/m}$, where ${\mathbb F}_{2,m}$ is the free step two Carnot group of rank $m$, we conjecture that $\delta({\mathbb G}) \le \sqrt{(m-2)/m}$ for all step two rank $m$ groups. We explicitly compute $\delta({\mathbb G})$ when ${\mathbb G}$ is a product of Heisenberg groups and verify the conjectural upper bound for such groups, with equality if and only if ${\mathbb G}$ factors over the first Heisenberg group. We also prove the following rigidity statement: for each $m \ge 3$ there exists $\delta_0(m)>0$ so that if ${\mathbb G}$ is a step two and rank $m$ Carnot group with $\delta({\mathbb G}) < \delta_0(m)$, then ${\mathbb G}$ enjoys certain algebraic properties characteristic of H-type groups.

On the H-type deviation of step two Carnot groups

Note on (m, 2, M-1, M-2/2) Relative Difference Sets

Sub-Riemannian geometry on some step-two Carnot groups

Horizontal semiconcavity for the square of Carnot-Carathéodory distance on step 2 Carnot groups and applications to Hamilton-Jacobi equations

Spectral gap bounds on H-type groups

An extension and trace theorem for functions of H-bounded variation in Carnot groups of step 2

Higher order Boundary Schauder Estimates in Carnot Groups

Comparing three possible hypoelliptic Laplacians on the 5-dimensional Cartan group via div-curl type estimates

A complete answer to the Gaveau--Brockett problem

Gradient Estimates for the Heat Semigroup on H-Type Groups

Invariant differential operators on H-type groups and discrete components in restrictions of complementary series of rank one semisimple groups

Remainder Terms for Several Inequalities on Some Groups of Heisenberg-type

Lipschitz regularity for almost minimizers of a one-phase $p$-Bernoulli-type functional in Carnot Groups of step two

On gradient estimates of the heat semigroups on step-two Carnot groups

Subgroups, hyperbolicity and cohomological dimension for totally disconnected locally compact groups

Local Estimate about Schrödinger Maximal Operator on H-type Groups

Schrödinger semigroups and the Hörmander hypoellipticity condition

On an Analogue Of the Gauss Circle Problem For the Heisenberg Groups

Curvature exponent and geodesic dimension on Sard-regular Carnot groups

Sub-Riemannian geodesics on the free Carnot group with the growth vector (2,3,5,8)

The optimal constant in the $L^{2}$ Folland-Stein inequality on the H-type group