Representations for the group inverse of anti-triangular block operator matrices (Q2438481)

For Hilbert spaces \(X\) and \(Y\), let \(\mathcal B(X,Y)\) denote the space of all bounded linear maps from \(X\) into \(Y\). \(\mathcal B(X)\) stands for \(\mathcal B(X,X)\). We say that \(E \in \mathcal B(X)\) is group invertible if there exists \(S \in \mathcal B(X)\) such that \(ESE=E\), \(SES=S\) and \(ES=SE\). If such an \(S\) exists, it is unique and it is denoted by \(E^{\#}\). For a closed subspace \(M\) of \(X\), let \(P_M\) denote the orthogonal projection of \(X\) onto \(M\). Next, let \(H_1,H_2\) be Hilbert spaces, \(A \in \mathcal B(H_1)\), \(B \in \mathcal B(H_2,H_1)\) and \(C \in \mathcal B(H_1,H_2)\). Set \(T=P_{N(B^*)}AP_{N(C)}\), \(F=P_{N(B^*)}A+BC\) and \(G=(P_{R(B)}A - P_{N(B^*)})P_{N(C)}P_{N(T)}\). Suppose further that the range spaces \(R(B),R(C)\) and \(R(T)\) are closed. Set \(E = \begin{bmatrix} A & B \\ C & 0 \end{bmatrix}\). The main result states that the following statements are equivalent: (a) The block operator matrix \(E\) is group invertible. (b) \(F+\lambda G\) is invertible for every \(\lambda \in \mathbb{C}\backslash \{0\}\). (c) \(F+\lambda G\) is invertible for some \(\lambda \in \mathbb{C}\backslash \{0\}\). A representation formula for \(E^{\#}\) is also derived.