Projections with fixed difference: a Hopf-Rinow theorem

The set D_A0 , of pairs of orthogonal projections (P,Q) in generic position with fixed difference P−Q=A_0, is shown to be a homogeneous smooth manifold: it is the quotient of the unitary group of the commutant {A_0}′ divided by the unitary subgroup of the commutant {P0,Q0}′, where (P0,Q0) is any fix...

Descripción completa

Detalles Bibliográficos
Autores: Andruchow, Esteban, Corach, Gustavo, Recht, Lázaro
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2019
País:Argentina
Institución:Consejo Nacional de Investigaciones Científicas y Técnicas
Repositorio:CONICET Digital (CONICET)
Idioma:inglés
OAI Identifier:oai:ri.conicet.gov.ar:11336/106962
Acceso en línea:http://hdl.handle.net/11336/106962
Access Level:acceso abierto
Palabra clave:DIFFERENCES OF PROJECTIONS
PAIRS OF PROJECTIONS
PROJECTIONS
https://purl.org/becyt/ford/1.1
https://purl.org/becyt/ford/1
Descripción
Sumario:The set D_A0 , of pairs of orthogonal projections (P,Q) in generic position with fixed difference P−Q=A_0, is shown to be a homogeneous smooth manifold: it is the quotient of the unitary group of the commutant {A_0}′ divided by the unitary subgroup of the commutant {P0,Q0}′, where (P0,Q0) is any fixed pair in D_A0. Endowed with a natural reductive structure (a linear connection) and the quotient Finsler metric of the operator norm, it behaves as a classic Riemannian space: any two pairs in D_A0 are joined by a geodesic of minimal length. Given a base pair (P0,Q0), pairs in an open dense subset of DA0 can be joined to (P0,Q0) by a unique minimal geodesic.