6533b824fe1ef96bd127fe59

RESEARCH PRODUCT

Dorronsoro's theorem in Heisenberg groups

Katrin FässlerKatrin FässlerTuomas Orponen

subject

Pure mathematicsGeneral Mathematics010102 general mathematicsMathematical proof01 natural sciencesSobolev spacesymbols.namesakeEuclidean geometryPoincaré conjectureHeisenberg groupsymbolsAlmost everywhereAffine transformation0101 mathematicsVariable (mathematics)Mathematics

description

A theorem of Dorronsoro from the 1980s quantifies the fact that real-valued Sobolev functions on Euclidean spaces can be approximated by affine functions almost everywhere, and at all sufficiently small scales. We prove a variant of Dorronsoro's theorem in Heisenberg groups: functions in horizontal Sobolev spaces can be approximated by affine functions which are independent of the last variable. As an application, we deduce new proofs for certain vertical vs. horizontal Poincare inequalities for real-valued functions on the Heisenberg group, originally due to Austin-Naor-Tessera and Lafforgue-Naor.

https://doi.org/10.1112/blms.12341