Lifting automorphisms
type: Item
instance of: scholarly article
title: Lifting automorphisms
zbMATH Open document ID: 0923.46070
DOI: 10.1023/A:1007701018675
author: Huaxin Lin
published in: \(K\)-Theory
publication date: 1999-10-25T00:00:00Z
review text: Let \(E\) be an essential extension \(0\to{\mathcal K}\to E@>\pi>> A\to 0\) given by a monomorphism \(\tau: A\to\text{End}(\ell^2)/{\mathcal K}\), where \(A\) is a separable \(C^*\)-algebra, \({\mathcal K}\) is the \(C^*\)-algebra of compact operators on the Hilbert space \(\ell^2\). For any unital \(C^*\)-algebra \(C\) the connected component of the automorphism group \(\Aut(C)\) is denoted by \(\Aut_0(C)\). The automorphism \(\beta\in \Aut(C)\) is said to be inner, if there is a unitary \(u\in C\) such that \(\beta(x)= \text{ad}(u)(x)= u^*xu\) \((x\in C)\), and it is said to be approximately inner, if there are unitaries \(u_n\in C\) such that \(\lim_{n\to\infty}\text{ad}(u_n)(x)= \beta(x)\) \((x\in C)\). Let \(\alpha: E\to E\) be an automorphism. It is well known that there is a unitary \(U\in\text{End}(\ell^2)\) such that \(\alpha= \text{ad}(U)\). Set \(E_\alpha= C^*(E,U)\), the \(C^*\)-algebra generated by \(E\) and \(U\). Since \(\alpha({\mathcal K})={\mathcal K}\) the automorphism \(\alpha\) induces the automorphism \(\overline\alpha\) on \(A\). Denote by \(E\times_\alpha{\mathbb{Z}}\) the cross product of \(E\) with \({\mathbb{Z}}\) using the action \(\alpha\). The \(K\)-groups \(K_i(E_\alpha)\) and \(K_i(E\times_\alpha{\mathbb{Z}})\) are computed and relations between them are established. Let \(s:\text{ext}^1_{\mathbb{Z}}(K_1(A),{\mathbb{Z}})\to \text{ext}^1_{\mathbb{Z}}(K_1(A),{\mathbb{Z}}/\text{im}(\delta))\) be the natural surjective map in group theory, where \(\delta: K_1(A)\to{\mathbb{Z}}\) is the index map, and let \(\omega(E)= \ker(\delta)\). The following two theorems are the main results of the paper. Theorem 3.5. If \(\omega(E)= 0\), \(\alpha\in \Aut(E)\), \(\overline\alpha\in \Aut_0(E)\) then \(\alpha\in \Aut_0(E)\) iff \([\alpha]= [\text{id}_E]\) in \(\text{KK}(E,E)\). Moreover, the automorphism \(\alpha\) is approximately inner if \([\alpha]= [\text{id}_E]\) in \(\text{KK}(E,E)\). Let \(\Aut_e(E)\) be the subgroup of \(\Aut(E)\), consisting o…
Mathematics Subject Classification ID: 46L80
Mathematics Subject Classification ID: 46L40
Mathematics Subject Classification ID: 19K35
Mathematics Subject Classification ID: 46L05
Mathematics Subject Classification ID: 46L55
zbMATH DE Number: 1271711
zbMATH Keywords: operator K-theory
zbMATH Keywords: KK-theory
zbMATH Keywords: essential extension
zbMATH Keywords: separable \(C^*\)-algebra
zbMATH Keywords: \(C^*\)-algebra of compact operators
zbMATH Keywords: automorphism group
zbMATH Keywords: approximately inner
zbMATH Keywords: cross product
reviewed by: V. M. Deundjak
MaRDI profile type: Publication
full work available at URL: a:1007701018675
OpenAlex ID: W4236114488
description: scientific article; zbMATH DE number 1271711