Subelliptic Gevrey Spaces

• Subelliptic Gevrey spaces are regularity classes defined by Hörmander vector fields and hypoelliptic operators such as sub-Laplacians.
• They offer dual characterizations: derivative-based conditions via iterated horizontal fields and operator-adapted norms, with precise subelliptic loss estimates.
• Spectral formulations on Lie groups like SU(2) and the Heisenberg group illustrate the equivalence of various definitions in noncommutative settings.

Subelliptic Gevrey spaces are Gevrey-type regularity classes adapted to a Hörmander family of vector fields and to the associated hypoelliptic operators, especially sub-Laplacians and sums of squares. In this setting, regularity may be measured by iterated derivatives along the horizontal fields, by powers of the corresponding sub-Laplacian, or by growth of iterates of a subelliptic operator. A central theme is that anisotropic, operator-adapted control can often be converted into ordinary isotropic Gevrey regularity, but typically with a loss governed by the subelliptic index; on the Heisenberg group and on $SU(2)$, several natural definitions are known to coincide (Fischer et al., 2018), and for Hörmander sums of squares satisfying a subelliptic estimate one has the sharp implication $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$ (Tartakoff, 2017).

1. Definitions attached to Hörmander systems

Let $M$ be a smooth manifold equipped with a measure $\mu$, and let $X=\{X_1,\dots,X_r\}$ be a Hörmander system, meaning that the Lie algebra generated by the $X_j$ spans the full tangent space at every point. The associated positive sub-Laplacian is

$\mathcal{L}:=-\sum_{j=1}^r X_j^2.$

By Hörmander’s theorem, $\mathcal{L}$ is hypoelliptic (Fischer et al., 2018).

Because the vector fields need not commute, the derivative-based definitions use ordered multi-indices. For $I=(i_1,\dots,i_a)$, one writes

$$X_I:=X_{i_1}\cdots X_{i_a},\qquad |I|=a,\qquad I!=\alpha_I!,$$

where $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$0 records how many times each field appears. The basic subelliptic Gevrey spaces are then:

$G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$1

$G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$2

and

$G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$3

These are the direct subelliptic analogues of the classical Euclidean characterizations by pointwise derivative bounds, $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$4-derivative bounds, and Laplacian iterates (Fischer et al., 2018).

On general manifolds one always has

$G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$5

If an $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$6-Sobolev embedding holds, then $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$7 implies smoothness, and for compactly supported functions the $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$8- and $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$9-based definitions agree. This establishes the basic hierarchy between vector-field Gevrey control and sub-Laplacian Gevrey control (Fischer et al., 2018).

A closely related local definition on a manifold $M$0 with Hörmander system $M$1 is

$M$2

for ordered products $M$3 of the $M$4, together with its $M$5-version $M$6. Under an $M$7-Sobolev embedding, these two definitions are equivalent on compactly supported functions (Taranto, 2018).

2. Operator-adapted Gevrey vectors and subelliptic loss

For local sums of squares, one often works with an operator-adapted Gevrey space defined by iterates of the operator rather than by all horizontal derivatives. Consider

$M$8

where the $M$9 are real vector fields and $\mu$0 is a smooth function, all in Gevrey class $\mu$1. Assume the local subelliptic estimate

$\mu$2

for some $\mu$3, where $\mu$4 and

$\mu$5

The parameter $\mu$6 measures the derivative gain; $\mu$7 is the elliptic case, while $\mu$8 is the hallmark of subellipticity (Tartakoff, 2017).

The corresponding Gevrey vectors of $\mu$9 are

$X=\{X_1,\dots,X_r\}$0

The main theorem states that

$X=\{X_1,\dots,X_r\}$1

more explicitly,

$X=\{X_1,\dots,X_r\}$2

implies

$X=\{X_1,\dots,X_r\}$3

Thus Gevrey growth of the iterates $X=\{X_1,\dots,X_r\}$4 yields ordinary isotropic Gevrey regularity of order $X=\{X_1,\dots,X_r\}$5 (Tartakoff, 2017).

In the elliptic case $X=\{X_1,\dots,X_r\}$6, this recovers the classical Kotake–Narasimhan theorem. In the genuinely subelliptic case, the loss from $X=\{X_1,\dots,X_r\}$7 to $X=\{X_1,\dots,X_r\}$8 is sharp in the sense known from previous work of Derridj–Zuily. The proof in (Tartakoff, 2017) is notable for avoiding the auxiliary variable method based on $X=\{X_1,\dots,X_r\}$9: it works directly with $X_j$0, commutator expansions such as

$X_j$1

and an iteration that trades derivatives for powers of $X_j$2.

This operator-adapted viewpoint explains why “subelliptic Gevrey space” can mean more than one thing. In one formulation, it is the derivative space built from $X_j$3; in another, it is the iterate space $X_j$4. The main theorem shows that the latter can force ordinary Gevrey regularity, but with an exponent modified by the subelliptic index.

3. Spectral formulations and Rockland-operator versions

When $X_j$5 is essentially self-adjoint, the sub-Laplacian definition admits a spectral characterization: $X_j$6 On connected Lie groups with polynomial growth of volume, this characterization holds for the sub-Laplacian attached to a left-invariant Hörmander system, and the same setting provides the $X_j$7-Sobolev embedding needed to compare $X_j$8 and $X_j$9 on compact supports (Fischer et al., 2018).

On a general manifold with Hörmander system $\mathcal{L}:=-\sum_{j=1}^r X_j^2.$0, one direction of the conjectural spectral characterization has been proved: if $\mathcal{L}:=-\sum_{j=1}^r X_j^2.$1, then

$\mathcal{L}:=-\sum_{j=1}^r X_j^2.$2

and therefore

$\mathcal{L}:=-\sum_{j=1}^r X_j^2.$3

The converse direction is reduced to higher order subelliptic Riesz transform estimates and is not known in general (Taranto, 2018).

On graded Lie groups one can replace the sub-Laplacian by a positive Rockland operator $\mathcal{L}:=-\sum_{j=1}^r X_j^2.$4 of homogeneous degree $\mathcal{L}:=-\sum_{j=1}^r X_j^2.$5. This yields the global Gevrey-type space

$\mathcal{L}:=-\sum_{j=1}^r X_j^2.$6

equivalently,

$\mathcal{L}:=-\sum_{j=1}^r X_j^2.$7

The thesis (Taranto, 2018) states that this characterization is independent of the particular choice of positive Rockland operator on the graded group. This suggests that, in the homogeneous hypoelliptic setting, subelliptic Gevrey regularity is intrinsic to the group structure rather than to one preferred differential operator.

4. Model cases: $\mathcal{L}:=-\sum_{j=1}^r X_j^2.$8 and the Heisenberg group

The equivalence problem for the various definitions is completely understood in two fundamental examples. On $\mathcal{L}:=-\sum_{j=1}^r X_j^2.$9, with Lie algebra basis $\mathcal{L}$0 satisfying $\mathcal{L}$1 and sub-Laplacian

$\mathcal{L}$2

one has

$\mathcal{L}$3

together with the spectral characterization

$\mathcal{L}$4

On the Heisenberg group $\mathcal{L}$5, with horizontal vector fields $\mathcal{L}$6 and

$\mathcal{L}$7

one likewise has

$\mathcal{L}$8

and for compactly supported functions,

$\mathcal{L}$9

The proofs rely on higher order Riesz transforms

$I=(i_1,\dots,i_a)$0

for which one obtains explicit bounds

$I=(i_1,\dots,i_a)$1

On $I=(i_1,\dots,i_a)$2 this is done using the matrix symbols of $I=(i_1,\dots,i_a)$3 in each irreducible representation; on $I=(i_1,\dots,i_a)$4, it uses the Schrödinger representations and the harmonic oscillator form of $I=(i_1,\dots,i_a)$5 (Fischer et al., 2018).

The same two examples also furnish full spectral characterizations in the sense of the manifold conjecture: $I=(i_1,\dots,i_a)$6 and analogously on $I=(i_1,\dots,i_a)$7 for the canonical sub-Laplacian (Taranto, 2018).

These examples show that the derivative-based, $I=(i_1,\dots,i_a)$8-based, sub-Laplacian-based, and spectral definitions can all agree in noncommutative subelliptic settings. They also indicate that the missing general implication is essentially a higher order Riesz transform problem.

5. Gevrey hypoellipticity, perturbations, and kinetic regularization

The subelliptic index also governs Gevrey hypoellipticity in microlocal and perturbed settings. For a sum of squares

$I=(i_1,\dots,i_a)$9

with analytic coefficients, if the local Poisson-bracket length at a characteristic point is $$X_I:=X_{i_1}\cdots X_{i_a},\qquad |I|=a,\qquad I!=\alpha_I!,$$0, then the subelliptic index is $$X_I:=X_{i_1}\cdots X_{i_a},\qquad |I|=a,\qquad I!=\alpha_I!,$$1, and the minimal Gevrey regularity is $$X_I:=X_{i_1}\cdots X_{i_a},\qquad |I|=a,\qquad I!=\alpha_I!,$$2. If an analytic pseudodifferential perturbation $$X_I:=X_{i_1}\cdots X_{i_a},\qquad |I|=a,\qquad I!=\alpha_I!,$$3 satisfies

$$X_I:=X_{i_1}\cdots X_{i_a},\qquad |I|=a,\qquad I!=\alpha_I!,$$4

then $$X_I:=X_{i_1}\cdots X_{i_a},\qquad |I|=a,\qquad I!=\alpha_I!,$$5 remains $$X_I:=X_{i_1}\cdots X_{i_a},\qquad |I|=a,\qquad I!=\alpha_I!,$$6-hypoelliptic at $$X_I:=X_{i_1}\cdots X_{i_a},\qquad |I|=a,\qquad I!=\alpha_I!,$$7. Under additional Albano–Bove conditions, analytic hypoellipticity is also stable under perturbations of order $$X_I:=X_{i_1}\cdots X_{i_a},\qquad |I|=a,\qquad I!=\alpha_I!,$$8 (Bove et al., 2017).

The sharpness of the threshold is illustrated by the Grushin-type model

$$X_I:=X_{i_1}\cdots X_{i_a},\qquad |I|=a,\qquad I!=\alpha_I!,$$9

whose step is $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$00 and subelliptic index is $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$01. The perturbation

$G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$02

has exactly the critical order $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$03, and the paper shows that $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$04 is not $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$05-hypoelliptic for appropriate $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$06. This shows that once the perturbation order reaches the critical subelliptic threshold, one can destroy hypoellipticity entirely (Bove et al., 2017).

A different manifestation of subelliptic Gevrey regularization appears in the spatially inhomogeneous Boltzmann equation without angular cutoff. There the linearized operator

$G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$07

has a global subelliptic estimate that couples fractional ellipticity in $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$08 with transport in $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$09, and the nonlinear solution becomes Gevrey at positive time with index

$G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$10

where $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$11 is the angular singularity exponent. More precisely,

$G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$12

and

$G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$13

with $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$14 (Chen et al., 2018). This is an explicitly anisotropic kinetic instance of subelliptic Gevrey smoothing.

6. Adjacent scales, obstructions, and open questions

Several nearby developments clarify the scope of subelliptic Gevrey spaces. One direction enlarges the Gevrey scale. The classes defined by

$G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$15

contain all Gevrey classes and are still strictly contained in $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$16. In the Beurling case, the corresponding spaces are equivalent to weight-matrix spaces defined by suitable weight functions; in the Roumieu case, the matrix-based space is larger than the naive inductive limit over $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$17 (Teofanov et al., 2022). The associated microlocal theory introduces wave-front sets $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$18 that interpolate between Gevrey and analytic regularity (Teofanov et al., 2016). A plausible implication is that such scales may serve when subelliptic estimates are too weak to place solutions in a classical Gevrey class.

A different boundary is provided by solvability obstructions. For the $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$19-complex of a locally integrable real-analytic structure, the Levi-form condition $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$20 remains necessary for local solvability even when the right-hand side is Gevrey and the solution is sought in the corresponding ultradistribution space. Thus Gevrey regularity does not remove the classical geometric obstructions coming from the Levi form (Malaspina et al., 2013).

The main open structural problem is the general equivalence of derivative-based and sub-Laplacian-based definitions. On manifolds, one inclusion

$G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$21

is proved, while the converse is known on $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$22 and $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$23 but not for arbitrary Hörmander systems (Taranto, 2018). In the global Lie-group framework, (Fischer et al., 2018) formulates the same issue as a general equivalence problem beyond the presently understood examples. In a different anisotropic setting, the characterization of Gelfand–Shilov spaces via iterates of anisotropic Shubin operators is presently confined to the resonant case $G^s(P,\Omega_0)\subset G^{s/\varepsilon}(\Omega_0)$24; the irrational case is explicitly identified as open (Cappiello et al., 2016).

Subelliptic Gevrey spaces therefore occupy a precise position between hypoelliptic operator theory, noncommutative harmonic analysis, and ultradifferentiable microlocal analysis. Their characteristic feature is that regularity is measured in the geometry generated by vector fields, commutators, and functional calculus of hypoelliptic operators; the ordinary Euclidean Gevrey order appears only after this geometry is translated back into isotropic derivatives.