Interior a priori estimates for supersolutions of fully nonlinear subelliptic equations under geometric conditions

In this note, we prove interior a priori first- and second-order estimates for solutions of fully nonlinear degenerate elliptic inequalities structured over the vector fields of Carnot groups, under the main assumption that (Formula presented.) is semiconvex along the fields. These estimates for supersolutions are new even for linear subelliptic inequalities in nondivergence form, whereas in the nonlinear setting they do not require neither convexity nor concavity on the second derivatives. We complement the analysis exhibiting an explicit example showing that horizontal (Formula presented.) regularity of Calderón–Zygmund type for fully nonlinear subelliptic equations posed on the Heisenberg group cannot be in general expected in the range (Formula presented.), (Formula presented.) being the homogeneous dimension of the group.