The Jordan decomposition and Kaplansky's second test problem for Hermitian holomorphic vector bundles

Abstract

In 1954, I. Kaplansky proposed three test problems for deciding the strength of structural understanding of a class of mathematical objects in his treatise "Infinite abelian groups", which can be formulated for very general mathematical systems. In this paper, we focus on Kaplansky's second test problem in a context of complex geometry. Let $H^2_{\beta}$ be a weighted Hardy space. The Cowen-Douglas operator theory tells us that each $h\in\textrm{Hol}(\overline{\mathbb{D}})$ induces a Hermitian holomorphic vector bundle on $H^2_{\beta}$, denoted by $E_{h(S_\beta)}(\Omega)$, where $\Omega$ is a domain. We show that the vector bundle $E_{h(S_\beta)}$ is a push-forwards Hermitian holomorphic vector bundle and study the similarity deformation problems. Our main theorem is that if $H^2_{\beta}$ is a weighted Hardy space of polynomial growth, then for any $f\in \textrm{Hol}(\overline{\mathbb{D}})$, there exists a unique positive integer $m$ and an function $h\in\textrm{Hol}(\overline{\mathbb{D}})$ inducing an indecomposable vector bundle $E_{h(S_{\beta})}$, such that $E_{f(S_\beta)}$ is similar to $\bigoplus_1^m E_{h(S_\beta)}$, where $h$ is unique in the sense of analytic automorphism group action. That could be seemed as a Jordan decomposition theorem for the push-forwards Hermitian holomorphic vector bundles. Furthermore, we give the similarity classification of those push-forwards Hermitian holomorphic vector bundles induced by analytic functions, and give an affirmative answer to Kaplansky's second test problem for those objects. We also give an affirmative answer to the geometric version and generalized version of a problem proposed by R. Douglas in 2007, and obtain the $K_0$-group of the commutant algebra of a multiplication operator on a weighted Hardy space of polynomial growth. In addition, we give an example to show the setting of polynomial growth condition is necessary.