A topological criterion for almost orthocomplementation of all functionals on \(\ell_2(C(X))\) (Q1569772)

Let \(GL(\ell_2({\mathcal A}))\) be the full linear group of operators of the standard Hilbert \(C^*\)-module \(\ell_2({\mathcal A})\) over a \(C^*\)-algebra \({\mathcal A}.\) The conditions sufficient for the contractibility of \(GL(\ell_2({\mathcal A}))\) were stated by E. Troitskii. The paper studies the commutative case \({\mathcal A}=C(X)\) where \(X\) is a Hausdorff compact space. For this case the Troitskii's conditions are reformulated and their equivalence is proved. Let \(B^n\) be the unit ball in \({\mathbb R}^n\) and \(B^{\infty}\) be the unit ball in \(\ell_2({\mathbb R})\) endowed with the weak topology. A map \(f:X\to B^n\) is \(n\)-essential if the point \(O=(0,\dots ,0)\) belonges to the image of any map \(g:X\to B^n\) such that \(f(x)=g(x)\) for all \(x\in f^{-1}(S^{n-1}).\) It is known that any map is n-essential iff Dim\((X)<n.\) A map \(f:X\to B^{\infty}\) is called \(\ell_2\)-essential if the map \(P_nf:X\to B^n\) is n-essential for any n, where \(P_n\) is the projector in \(\ell_2\) onto the first \(n\) basic vectors. A compact space is called \(\ell_2\)-inessential if no map of this space into \(B^{\infty}\) is \(\ell_2\)-essential. The main result of the paper if the following: for the case \({\mathcal A}=C(X)\) the Troitskii's conditions and \(\ell_2\)-inessentiality are equivalent.