Trace ideal criteria for operators of Hankel type (Q1913503)

We obtain trace ideal criteria for commutators of multiplication operators with integral operators having kernels of a critical homogeneity. The prototype for the class of operators considered is the Hankel operator associated with the Bergman projection. Specifically, let \(D\) be a domain in \(\mathbb{C}^n\), and let \(P\) be the orthogonal projection of \(L^2 (D)\) onto its holomorphic subspace \(A^2 (D)\). When \(f\) is a function on \(D\), the Hankel operator with symbol \(f\) is defined formally by \[ H_f= (I- P) M_f P= [M_f, P]P, \] where \([M_f, P]\) is the commutator defined by \([M_f, P]= M_f P- PM_f\) and \(M_f\) is the multiplication operator defined by \(M_f g= fg\). Trace ideal criteria for Hankel operators with conjugate holomorphic symbols have been obtained in various settings by several authors. For general symbols, trace ideal criteria for the commutators \([M_f, P]\), and hence also for \(H_f\), were first obtained in the unit ball by \textit{K. Zhu} [Am. J. Math. 113, No. 1, 147-167 (1991; Zbl 0734.47017)], and later in bounded symmetric domains by \textit{D. Zheng} [Integral equations Oper. Theory 13, No. 3, 442-459 (1990; Zbl 0729.47023)]. More recently, \textit{D. H. Luecking} [J. Funct. Anal. 110, No. 2, 247-271 (1992; Zbl 0773.47014)]\ has given a direct characterization of the symbol classes for trace ideals of Hankel operators in the unit disk, without the mediation of the commutator operators that was used in earlier work. (Of course, the distinction between \(H_f\) and \([M_f, P]\)\ evaporates when the symbol \(f\) is conjugate holomorphic, as in the case of classical Hankel operators.) The purpose of this paper is to extend the results of Zhu and Zheng (loc. cit.) to a general class of operators which are loosely modeled on the operators \(H_f\). As special cases, we will obtain trace ideal criteria for Hankel operators on strictly pseudoconvex domains in \(\mathbb{C}^n\) and on finite type domains in \(\mathbb{C}^2\).