Finite rank commutators and semicommutators of Toeplitz operators with harmonic symbols (Q2382964)

Let \(dA\) denote the normalized area measure on the unit disk \(D\). The Bergman space \(L^2_a\) is the Hilbert space consisting of the analytic functions on \(D\) that are also in \(L^2(D, dA)\). For \(f\in L^\infty(D, dA)\), the Toeplitz operator \(T_f\) with symbol \(f\) is the operator on \(L^2_a\) defined by \(T_fh= P(fh)\), where \(P\) is the orthogonal projection from \(L^2(D, dA)\) onto \(L^2_a\). The paper proves the three following results. Let \(f\) and \(g\) be bounded harmonic functions on the unit disk \(D\). Then: (1) \(T_{fg}- T_fT_g\) has finite rank if and only if either \(f\) or \(g\) is analytic. (2) \(T_fT_g- T_gT_f\) has finite rank if and only if \(f\) and \(g\) are both analytic, or are both co-analytic, or there are constants \(c_1,c_2\), not both \(0\), such that \(c_1 f+ c_2g\) is constant. (3) \(T_fT_g\) has finite rank if and only if either \(f\) or \(g\) equals \(0\).