Independent Backward Preimages and Algebraic Radial Decompositions of Operators

Abstract

Let $T\in\mathcal{B}(X)$, where $X$ is a complex Banach space. We introduce the spaces $\mathcal{I}_s(T)$, defined by independently chosen preimages under the powers of $T$ with exponential growth bounds, and study algebraic radial decompositions involving $\mathcal{H}_r(T)$, $\mathcal{K}_s(T)$, and $\mathcal{I}_s(T)$. We prove that every algebraic decomposition $X=\mathcal{H}_r(T)\oplus\mathcal{I}_s(T)$ is topological and that $\mathcal{I}_s(T)=\mathcal{K}_s(T)$. This removes the closedness assumption in the radial decomposition theorem of Koliha and Poon. We also prove that, for $0\leq a\leq b$, the closedness of $\mathcal{I}_b(T)$ and $\mathcal{H}_a(T)+\mathcal{I}_b(T)$ implies $\mathcal{I}_b(T)=\mathcal{K}_b(T)$. We establish finite-defect and circular spectral criteria and characterize the Cantor--Bendixson derivatives of the spectrum, Browder spectrum, and Drazin spectrum in terms of radial decompositions and quotient restrictions. As applications, we obtain new characterizations of generalized Drazin, generalized Drazin--Riesz, generalized Drazin--meromorphic, and $g_z$-invertible operators in terms of radial subspaces.