Finite-rank commutators of projections onto shift-invariant subspaces
In this article, using Halmos' two projections theorem, we completely characterize finite-rank commutators of orthogonal projections onto shift-invariant subspaces $\phi_1 H^2(\mathbb{D})$ and $\phi_2 H^2(\mathbb{D})$ of the Hardy space $H^2(\mathbb{D})$ corresponding to inner functions $\phi_1, \phi_2$ on the unit disc $\mathbb{D}$. Using our methods, we connect the finite-rank commutator with the Fredholmness of the projections $(P_{\phi_1}, P_{\phi_2})$ as introduced by Avron, Seiler and Simon. We conclude with several characterizations on the polydisc.