Geometry of the left action of the \(p\)-Schatten groups (Q1943497)

The article is devoted to geometrical properties of the left action of the \(p\)-Schatten groups. The latter objects are defined as subgroups \(U_p(H)\) of the unitary group \(U(H)\) of linear unitary operators \(A: H\to H\) satisfying the condition \(\mathrm{tr}(|A-I|^p)< \infty \), where \(1\leq p<\infty \), \(H\) is an infinite dimensional Hilbert space, \(I\) denotes the unit operator. The set \(O_B = \{ AB: A\in U_p(H) \} \) is studied in the paper, where \(B\) is a bounded linear operator. The completeness of \(O_B\) with the ambient Finsler metric is investigated. The Riemannian metric, reductive and classifying connections are considered in \(O_B\) as well. Several propositions and theorems about the geometric structure of \(O_B\) are given. Conditions when the set \(O_B\) is a smooth manifold are elucidated. Moreover, the completeness of \(O_B\) relative to the Finsler quotient metrics is investigated.