Duality of Hardy space with BMO on the Shilov boundary of the product domain in \(\mathbb{C}^{2n}\) (Q971508)

Let \(M=\{(z,w) \in \mathbb C^2:\Im w =P(z) \}\), where \(P(z)\) is a real, subharmonic nonharmonic polynomial of degree \(m\), so \(M\) can be identified with \(\mathbb C \times \mathbb R =\{(z,t):z\in \mathbb C, t\in \mathbb R\}\) by \((z,t) \to (z,t+iP(z))\). Then \(M=\partial \Omega\) where \(\Omega =\{(z,w) \in \mathbb C^2:\Im w >P(z) \}\) is an unbounded model polynomial domain in \(\mathbb C^2\). The basic (0,1) Levi vector field is then \(\overline Z= \frac \partial {\partial \overline z} - i\frac {\partial P}{\partial \overline z}\frac \partial {\partial t}\), and let \(\overline Z=X_1+iX_2\). Then the real vector fields \(\{X_1,X_2\}\) and their commutators of order \(\leq m\) will span the tangent space of \(M\) everywhere. Let \(\tilde M = M_1\times \cdots \times M_n\). In a previous work [``Product theory on Carnot-Caratheodory spaces'', preprint], \textit{Y. S. Han, J. Li} and \textit{G. Lu} defined the \(H^1(\tilde M)\). In the present work, under the assumption that the vector fields are uniformly of finite type on \(M_i\), the author defines \(BMO(\tilde M)\) and proves that \(BMO(\tilde M)\) is the dual of \(H^1(\tilde M)\).