Manifold of K.~Uhlenbeck and its submanifolds (Q2901686)

Let \(L_s\) be the space of all bounded symmetric operators from \(H_1\) to \(H_2\), where \(H_1\) and \(H_2\) are real separable Hilbert spaces such that \(H_1\subset H_2\), and the inclusion is supposed to be dense and compact. Let \({\mathbb S}^{\infty}=\{x\in H_1: \| x\|_2=1\}\), where \(\| \cdot\|_2\) is a norm in \(H_2\). Suppose that the operator \(A\) belongs to a space \(\Phi\), where \(\Phi\) is an open subset of all Fredholm operators of index \(0\). Let \(\lambda\) be an eigenvalue of \(A\) and \(x\) be an eigenvector corresponding to the value \(\lambda\). Denote by \(Q\) some subset of all triples \(Q=(\lambda, x, A)\) and let \(Q(m)\) be the subset of \(Q\) consisting of all above triples from \(Q\) for which \(\lambda\) is isolated and has multiplicity zero.NEWLINENEWLINEIn the present paper, some properties of \(Q\) and \(Q(m)\) are studied. Theorem~1 states that \(Q\) is an analytic Banach submanifold of \({\mathbb R}\times {\mathbb S}^{\infty}\times \Phi\) which is locally diffeomorphic to \(L_s\). Moreover, \(Q(m)\) is an analytic submanifold of \(Q\) and its codimension can be calculated by the formula \(\operatorname{codim}Q(m)=\frac{m(m-1)}{2}\). Based on the statements of Theorem~1, the author gives a description of some other sets \(Q_{\partial}\) and \(Q(k, m)\) in Theorem~2.