$\mathscr{A}$-free measures and the Rank-one Theorem in Carnot Groups
We establish a structure theorem for measures satisfying left-invariant PDE constraints in Carnot groups. Our generalization, that takes inspiration from the paper arxiv:1601.06543 by the first named author and F. Rindler, requires the introduction of the hypoelliptic wave cone, a sub-Riemannian version of the wave cone from the theory of Compensated Compactness, and it employs classical results in Harmonic Analysis on homogeneous spaces. Then, we utilize this result to extend the Rank-one Theorem for functions of bounded horizontal variation ($BV_H$) to all Carnot groups. This is achieved by considering a suitable curl-type left-invariant operator, that provides necessary differential constraints for horizontal gradients, and by studying the hypoellipticity of said constraints.