Twisted \(K\)-theory and finite-dimensional approximation (Q625471)

Based on notion of vectorial bundle which is indeed a Furuta's vector bundle, the author introduced a category of twisted objects \((\mathcal U, s_\alpha, g_{\alpha\beta}, (E_\alpha,h_\alpha), \Phi_{\alpha\beta})\) consisting of an open cover \(\mathcal U = \{U_\alpha\}\) of a compact CW complex \(X\); {\parindent6.5mm \begin{itemize}\item[(1)] a local section system \(s_\alpha: U_\alpha \to P|_{U_\alpha}\) of a fixed projective unitary principal bundle \(PU(\mathcal H) \hookrightarrow P \twoheadrightarrow X\); \item[(2)] lifts \(g_{\alpha\beta}: U_{\alpha\beta} = U_\alpha\cap U_\beta \to U(\mathcal H)\) of the transition functions \(\bar{g}_{\alpha\beta}: U_{\alpha\beta} \to \mathcal H\) of a projective unitary vector bundle \(E = P\times_{U_\alpha} E_\alpha\); \item[(3)] \(\mathbb Z_2\)-graded Hermitian vector bundle \(E_\alpha \to U_\alpha\) of finite rank; \item[(4)] Hamiltonian maps \(h_\alpha: E_\alpha \to E_\alpha\) of degree 1; \item[(5)] maps \(\Phi_{\alpha\beta}: E_\beta|_{U_{\alpha\beta}} \to E_\alpha|_{U_{\alpha\beta}}\) such that \(h_\alpha\Phi_{\alpha\beta} = \Phi_{\alpha\beta}h_\beta\) and \(\Phi_{\alpha\beta}\Phi_{\beta\gamma} = z_{\alpha\beta\gamma}\Phi_{\beta\gamma}\) on \(U_{\alpha\beta\gamma} = U_\alpha\cap U_\beta \cap U_\gamma\), where \(z_{\alpha\beta\gamma}= \Phi_{\alpha\beta}\Phi_{\beta\gamma}\Phi_{\alpha\gamma}^{-1}\) is the 2-cocycle on \(U_{\alpha\beta\gamma}\). \end{itemize}} The twisted \(K\)-groups are defined as the abelian groups of homotopy classes of these objects. In a natural way the relative \(K\)-groups are introduced and admid all the properties of a twisted \(K\)-theory: homotopy axiom, exactness axiom, additivity axiom (Proposition 4.1), excision axiom (Proposition 4,3), Bott periodicity (Corollary 5.16). The main event is that the new version of twisted \(K\)-theory is equal to the well-known twisted \(K\)-theory (Main Theorem 5.13): For a CW complex \(X\) and a principal \(PU(\mathcal H)\)-bundle \(P\to X\), the homomorphism \[ \alpha_{-n}: K_P^{-n}(X) \to KF_P^{-n}(X)\quad (n\geq 0) \] is bijective.