Dyadic sets, maximal functions and applications on \(ax + b\)-groups (Q663259)

Let \(S\) be the Lie group \( {\mathbb R}^n \ltimes {\mathbb R}\), where \({\mathbb R}\) acts on \({\mathbb R}^n\) by dilations, endowed with the left-invariant Riemannian symmetric space structure and the right Haar measure \(\rho\), which is a Lie group of exponential growth. Harmonic analysis on exponential growth groups recently attracts a lot of attention. \textit{W. Hebisch} and \textit{T. Steger} [Math. Z. 245, No. 1, 37--61 (2003; Zbl 1035.43001)] developed a new Calderón-Zygmund theory which holds in some spaces of exponential growth. Their main idea was to replace the family of balls used in the classical Calderón-Zygmund theory by a suitable family of rectangles, which we call Calderón-Zygmund sets. By using these sets, \textit{M. Vallarino} [Collect. Math. 60, No. 3, 277--295 (2009; Zbl 1176.22010)] introduced an atomic Hardy space \(H^1\) and a space \(BMO\) on \((S, \rho)\). The authors introduce a dyadic grid of Calderón-Zygmund sets on \(S\) which can be considered as the analogue of the family of classical dyadic cubes. Recall that dyadic sets in the context of spaces of homogeneous type were introduced by \textit{M. Christ} [Colloq. Math. 60/61, No. 2, 601--628 (1990; Zbl 0758.42009)]; his construction used the doubling condition of the considered measure; therefore, it cannot be adapted to the current setting. Using the dyadic grid, the authors of the paper under review prove a Fefferman-Stein type inequality for the Hardy-Littlewood maximal function on \(S\). As a consequence, they obtain a complex interpolation theorem involving \(H^1\) and the space \(BMO\).