1: \begin{abstract}

2: Let $(M,\mu)$ be a sigma-finite measure space. Let $(T_t)$ be a semigroup of positive preserving maps on $(M,\mu)$ with standard assumptions. We prove a $H_1$-BMO duality theory with assumptions only $(T_t)$ itself. The BMO is defined as spaces of functions $f$ such that $\sup_t\|T_t|f-T_tf|^2\|<\infty$. The $H_1$ is defined by square functions of P. A. Meyer's gradient form. Our argument does not rely on the geometric/metric structure of $M$ nor on the kernel of the semigroups of operators. This allows our main results extend to the noncommutative setting as well, e.g. the case where $L_\infty(M,\mu)$ is replaced by von Neumann algebras with a semifinite trace. We also prove a Carleson embedding theorem for semigroups of operators.

3: \end{abstract}

4: