Invertibility in the flag kernels algebra on the Heisenberg group (Q334956)

A subalgebra \(\mathcal A\) of the algebra \(\mathcal{B(H)}\) of all bounded operators on a Hilbert space \(\mathcal H\) is said to be \textit{inverse-closed} if any \(a\in\mathcal A\) which is invertible in \(\mathcal{B(H)}\) is also invertible in \(\mathcal A\). Let \(\mathbb H^n\) be the Heisenberg group and \(\mathbb H_n\) its dual vector space. One says that a tempered distribution \(K\) is a flag kernel iff its Fourier transform \(\hat{K}\) agrees with a smooth function outside of the hyperspace \(\{\mathbb H_n\ni (\omega,\lambda ):\lambda=0\}\) and satisfies the estimate \[ |\partial_\omega^\alpha\partial_\lambda^\beta\hat{K}(\omega,\lambda)|\leq c_{\alpha\beta}(\|\omega\|+|\lambda|^{\frac{1}{2}})^{-|\alpha|}|\lambda|^{-\beta} \] for all \(\alpha,\beta\). Flag kernels are tempered distributions which generalize those of Calderón-Zygmund type. The author proves the inverse-closed property for the algebra of operators which act on \(L^2(\mathbb H^n)\) by convolution with flag kernels, that is, if an operator from this algebra is invertible on \(L^2(\mathbb H^n)\), then its inversion remains in this class.