Metrics in the set of partial isometries with finite rank

Andruchow, Esteban ; Corach, Gustavo

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni, Tome 16 (2005), p. 31-44 / Harvested from Biblioteca Digitale Italiana di Matematica

Abstract

Let $\mathcal{I}_{(\infty)}$ be the set of partial isometries with finite rank of an infinite dimensional Hilbert space $\mathcal{H}$. We show that $\mathcal{I}_{(\infty)}$ is a smooth submanifold of the Hilbert space $\mathcal{B}_{2}(\mathcal{H})$ of Hilbert-Schmidt operators of $\mathcal{H}$ and that each connected component is the set $\mathcal{I}_{N}$, which consists of all partial isometries of rank $N < \infty$. Furthermore, $\mathcal{I}_{(\infty)}$ is a homogeneous space of $\mathcal{U}_{(\infty)} \times \mathcal{U}_{(\infty)}$, where $\mathcal{U}_{(\infty)}$ is the classical Banach-Lie group of unitary operators of $\mathcal{H}$, which are Hilbert-Schmidt perturbations of the identity. We introduce two Riemannian metrics in $\mathcal{I}_{(\infty)}$: one, via the ambient inner product of $\mathcal{B}_{2}(\mathcal{H})$, the other, by means of the group action. We show that both metrics are equivalent and complete.

Résumé

Sia $\mathcal{I}_{(\infty)}$ l'insieme delle isometrie con rango finito di uno spazio di Hilbert $\mathcal{H}$ ad infinite dimensioni. Si prova che $\mathcal{I}_{(\infty)}$ è una sottovarietà regolare dello spazio di Hilbert $\mathcal{B}_{2}(\mathcal{H})$ degli operatori di Hilbert-Schmidt di $\mathcal{H}$, e che ciascuna componente connessa è l'insieme $\mathcal{I}_{N}$, che consiste di tutte le isometrie parziali di rango $N < \infty$. Inoltre, $\mathcal{I}_{(\infty)}$ è uno spazio omogeneo di $\mathcal{U}_{(\infty)} \times \mathcal{U}_{(\infty)}$, dove $\mathcal{U}_{(\infty)}$ è il classico gruppo di Banach-Lie degli operatori unitari di $\mathcal{H}$, che sono perturbazioni di Hilbert-Schmidt dell'identità. Si introducono due metriche Rimanniane in $\mathcal{I}_{(\infty)}$: una per mezzo del prodotto interno di $\mathcal{B}_{2}(\mathcal{H})$, l'altra utilizzando il gruppo d'azione. Si prova che le due metriche sono equivalenti e complete.

Détail

Publié le : 2005-03-01

MR 2225921 | Zbl 1225.46017

Bibliographie

[1] Andruchow, E. - Corach, G., Differential geometry of partial isometries and partial unitaries. Illinois J. Math., 48, n. 1, 2004, 97-120. | MR 2048217 | Zbl 1044.46044

[2] Andruchow, E. - Corach, G. - Mbekhta, M., On the geometry of generalized inverses. Math. Nacht., to appear. | MR 2141955 | Zbl 1086.46037

[3] Corach, G. - Porta, H. - Recht, L., The geometry of spaces of projections in $C^{*}$-algebras. Adv. Math., 101, 1993, 59-77. | MR 1239452 | Zbl 0799.46067

[4] De La Harpe, P., Classical Banach-Lie algebras and Banach-Lie groups of operators in Hilbert space. Lecture Notes in Mathematics, vol. 285, Springer-Verlag, Berlin1972. | MR 476820 | Zbl 0256.22015

[5] Gramsch, B., Relative Inversion in der Störungstheorie von Operatoren und $\psi$-Algebren. Math. Ann., 269, 1984, 27-71. | MR 756775 | Zbl 0661.47037

[6] Halmos, P.R. - Mc Laughlin, J.E., Partial isometries. Pacific J. Math., 13, 1963, 585-596. | MR 157241 | Zbl 0189.13402

[7] Kuiper, N., The homotopy type of the unitary group of Hilbert space. Topology, 3, 1965, 19-30. | MR 179792 | Zbl 0129.38901

[8] Lang, S., Introduction to differentiable manifolds. Second edition, Universitext, Springer-Verlag, New York2002. | MR 1931083 | Zbl 0103.15101

[9] Mbekhta, M. - Stratila, S., Homotopy classes of partial isometries in von Neumann algebras. Acta Sci. Math. (Szeged), 68, 2002, 271-277. | MR 1916580 | Zbl 1027.46073

[10] Raeburn, I., The relationship between a commutative Banach algebra and its maximal ideal space. J. Funct. Anal., 25, 1977, 366-390. | MR 458180 | Zbl 0353.46041