English

Three-representation problem

Functional Analysis 2020-06-16 v1 Representation Theory

Abstract

We provide the proof of a previously announced result that resolves the following problem posed by A.~A.~Kirillov. Let TT be a presentation of a group G\mathcal{G} by bounded linear operators in a Banach space GG and EGE\subset G be a closed invariant subspace. Then TT generates in the natural way presentations T1T_1 in EE and T2T_2 in F:=G/EF:=G/E. What additional information is required besides T1,T2T_1, T_2 to recover the presentation TT? In finite-dimensional (and even in infinite dimensional Hilbert) case the solution is well known: one needs to supply a group cohomology class hH1(G,Hom(F,E))h\in H^1(\mathcal{G},Hom(F,E)). The same holds in the Banach case, if the subspace EE is complemented in GG. However, every Banach space that is not isomorphic to a Hilbert one has non-complemented subspaces, which aggravates the problem significantly and makes it non-trivial even in the case of a trivial group action, where it boils down to what is known as the three-space problem. This explains the title we have chosen. A solution of the problem stated above has been announced by the author in 1976, but the complete proof, for non-mathematical reasons, has not been made available. This article contains the proof, as well as some related considerations of the functor Ext1Ext^1 in the category \textbf{Ban} of Banach spaces.

Keywords

Cite

@article{arxiv.2006.07696,
  title  = {Three-representation problem},
  author = {Peter Kuchment},
  journal= {arXiv preprint arXiv:2006.07696},
  year   = {2020}
}
R2 v1 2026-06-23T16:18:06.865Z