# Tagged Questions

**5**

votes

**0**answers

128 views

+50

### Projective modules over noncommutative tori?

It is a theorem of Rieffel that for any simple noncommutative tori ($\mathcal{A}$) of dimension $n$, every projective module over it is isomorphic to direct sum of $\mathcal{S}(M)$, Schwartz class ...

**7**

votes

**1**answer

144 views

### K-theory of ultrapowers

It may well be a trivial question but I was wondering if there is any relation between $K$-groups and ultrapowers of $C^*$-algebras. For instance, if $A$ is a $C^*$-algebra does $K_0(A^U)$ depend on ...

**5**

votes

**1**answer

218 views

### A generalized K- theory via generalized idempotents

Edit After the answer by Neil Strickland, I add the word "a ring" in this new version.
In the literature, there is a concept of generalized idempotent: an n- idempotent is an element $a$ of a Banach ...

**3**

votes

**0**answers

133 views

### A Question About the Elliott-Natsume-Nest Proof of Bott Periodicity

In Wegge-Olsen’s book K-Theory and C$ ^{*} $-Algebras, there is an outline of a proof of Bott Periodicity (the proof is due to George Elliott, Toshikazu Natsume and Ryszard Nest). The first step of ...

**7**

votes

**0**answers

137 views

### Replacing commutative C*-algebras by simple ones

I am looking for functorial ways of replacing a commutative $C^*$-algebra $C$ by a simple one, say $A$ , such that the $K$-theory remains unchanged, i.e. $K_*(C) \cong K_*(A)$.
I am particularly ...

**0**

votes

**0**answers

81 views

### Lifting triangles in K-theory to KL-groups

Let $X$ and $Y$ be finite simplicial complexes (or $CW$-complexes) so that $Y\subseteq X$. Let $s\colon C(X)\to C(Y)$ be the map given by restriction. In particular $K_{*}(C(X))$ and $K_{*}(C(Y))$ are ...

**7**

votes

**1**answer

158 views

### $K_0$ group of graph underlying an approximately finite (AF) C* algebra

Say we have an AF C* algebra $A$ described by some Bratteli diagram $E$. If $M_\infty (A)=\displaystyle{\lim_\rightarrow M_n(A)}$ and $P(A)$ are the projections in this algebra, we know that ...

**4**

votes

**1**answer

177 views

### Fredholmness of an operator-valued Toeplitz operator

Let $f$ be an invertible element of $C({\mathbb{T}}; C_b(r,1))$, that is, there exists a $f^{-1}\in C({\mathbb{T}}; C_b(r,1))$ such that for all $z\in {\mathbb{T}}$, $f(z)f^{-1}(z)=1$ in $C_b(r,1)$.
...

**2**

votes

**1**answer

211 views

### Inner automorphisms and $K$-theory

It is known that any inner automorphism of a unital $C^{\ast}$-algebra $A$ induces the identity map on $K_{0}(A)$ because unitary equivalence implies Murray-von Neumann equivalence. What is known ...

**4**

votes

**1**answer

216 views

### Taking direct sums in $K$-theory in Kirchberg-Phillips classification

A theorem by Kirchberg and Phillips states that two unital separable nuclear simple purely infinite $C^*$-algebras (so called Kirchberg algebras) are isomorphic if and only if their topological ...

**15**

votes

**1**answer

449 views

### Explicit path in the unitary group of a $C^*$-algebra

For $G$ a discrete group, there is a canonical inclusion $g\mapsto u_g$ of $G$ into the unitary group of the reduced $C^*$-algebra $C^*_r(G)$. Denote by $[u_g]$ the class of $u_g$ in the (topological) ...

**2**

votes

**1**answer

166 views

### Ideal spanned by matrix units isomorphic to compact operators

Hello,
Assume we have $(n+1)$ isometries $S_1,...,S_{n+1}$ in the separable Hilbert space $H$ with the properties that $\sum_{i=1}^{n+1}S_iS_i^*=I, S_i^*S_j=0$ (i.e. $S_i$ are the generators of the ...

**2**

votes

**1**answer

151 views

### Does a dense submodule of a free module always contain a basis?

Let $R$ be a completed normed ring, eg Banach algebra. Suppose that $F$ is a free $R$-module of infinite rank with a norm defined by the square root of sum of all norms of its components. If $F'$ is a ...

**5**

votes

**2**answers

277 views

### Induction theorems for finite-dimensional complex representations of infinite groups

Let $G$ be a group, usually infinite. I am interested in finite-dimensional complex unitary representations of $G$, i.e. group homomorphisms $G \rightarrow U_n(\mathbb{C})$. The category of these ...

**2**

votes

**1**answer

201 views

### Unitary representation acting on the K-theory of the reduced group $C^*$-algebra

Let $G$ be a group (usually infinite), $R$ a ring and $\rho: G \rightarrow Gl_n(\mathbb{Z})$ a finite-dimensional representation of $G$. Then we can define a functor from the category of projective ...

**8**

votes

**0**answers

237 views

### H-space structure on the Calkin algebra

By the Atiyah-Jänich theorem the K-group $K^0(X)$ for a compact space $X$ may be represented as $[X, U(Q)]$, where $Q = B(H)/K(H)$ is the Calkin algebra and $H$ is a separable infinite dimensional ...

**5**

votes

**2**answers

419 views

### Integrality of the canonical trace and topology

Let $G$ be a discrete group and consider the reduced group C* algebra $C_r^\ast(G)$, viewed as an algebra of bounded operators on $\ell^2(G)$ by the regular representation. The canonical trace on ...

**5**

votes

**2**answers

473 views

### Can anyone calculate KK(A,B) when neither A or B are the complex numbers?

Here I am referring to Kasparov's KK-theory, a bivariant functor on the category of separable C* algebras. It is well known that $KK(A, \mathbb{C})$ is K-homology and $KK(\mathbb{C}, B)$ is K-theory, ...

**6**

votes

**2**answers

1k views

### Zero divisor conjecture and idempotent conjecture

Let $G$ be a torsion-free group and $C$ the ring of complex numbers. The zero divisor (idempotent, resp.) conjecture is that there is no nontrivial zerodivisor (idempotent, resp.) in $CG$.
The wiki ...

**5**

votes

**2**answers

606 views

### Hilbert $C^*$-modules and approximate units

Hi,
Given a $\sigma$-unital $C^*$-algebra $A$ and a full Hilbert $A$-module $E$, is it possible to find an approximate unit $ \{\epsilon_i\}, i\in I$ in $A$ such that each $\epsilon_i$ is of the ...

**6**

votes

**0**answers

211 views

### What morphisms / Morita equivalences induce the 2-periodicity isomorphisms of KK-theory?

In Kasparov's paper, the canonical isomorphisms $KK_* \rightarrow KK_{*+2k}$ are defined rather implicitely (by tensoring and stabilization).
Are there morphisms of $C^*$-algebras which induce them ...