All Questions
53 questions
5
votes
0
answers
114
views
Realize a $K_0$-group homomorphism by a unital $\ast$-homomorphism
This question is inspired by Exercise $7.7$ in *An Introduction to $K$-theory for $C^*$-algebras (available here). Given a unital AF-algebra $A$ and another unital $C^*$-algebra $B$ that has ...
- 307
7
votes
0
answers
159
views
Maps in the Künneth theorem for K-theory of C*-algebras
The following is named the Künneth theorem for tensor products in the book by Blackadar on K-theory for operator algebras: If $A$ and $B$ are C*-algebras and $A$ is in the bootstrap class, then there ...
- 2,998
11
votes
0
answers
375
views
Why are projectionless $C^*$-algebras important (Kadison's conjecture)
It was considered an important result for a long time to show that the reduced $C^*$-algebra of the free group $C^*_r(F_2)$ has no nontrivial projections. I believe this is also known as Kadison's ...
- 211
0
votes
0
answers
71
views
Necessary conditions for $K_0(I_x\bigotimes A)$ to be the trivial group
Let $A$ be a unital $C^*$-Algebra with non-trivial $K_0$ group. Define $CA = \{f\in C\big([0, 1], A\big)\,\vert\,f(0) = 0\}$. It can be shown that $CA$ is homotopic equivalent to the set $\{0\}$ and ...
- 307
2
votes
0
answers
202
views
The trigonometric $C^*$-algebra
The trigonometric $C^*$-algebra is the universal $C^*$-algebra generated by $\mathcal{G}=\{x,y,z\}$ subject to relations \begin{align}x^2=x=x^*, &\quad y^2=y=y^*\\ [x, z]=y, &\quad [y,z]=...
- 356
2
votes
0
answers
70
views
The $K_0$ mapping of an automorphism induced by a derivation
Let $\mathfrak{A}$ be a unital $C^*$-Algebra and let $\delta: \mathfrak{A} \rightarrow \mathfrak{A}$ be a linear map that is not constantly zero and satisfies, for every $A, B\in\mathfrak{A}$, $\delta(...
- 307
3
votes
1
answer
290
views
Approximation of continuous projections on a manifold by smooth idempotents
Every continuous vector bundle on a closed smooth manifold $M$ has a smooth structure. On the other hand, every vector bundle $E$ is the image of a trivial bundle $M\times\mathbb{C}^n$ under some ...
- 1,903
0
votes
0
answers
119
views
Subalgebras of $B(H)$ consisting of all operators leaving a given finite dimensional space invariant
Let $H$ be an infinite dimensional separable Hilbert space. Let $V$ be a finite dimensional subspace of $H$.
Put $$A=\{T\in B(H)\mid T(V)\subseteq V\}.$$
So $A$ is a Banach algebra.
Can we equip $A$ ...
- 356
2
votes
0
answers
108
views
Special case of Elliott's Theorem
Let $A$ and $B$ be unital $AF$-algebra. By Elliott's theorem we know that if there an order isomorphism $\psi: K_0(A) \rightarrow K_0(B)$ with $\psi([1_{A}]) = [1_{B}]$, then there exists an ...
- 581
10
votes
2
answers
688
views
Stable rank one and corners of $C^\ast$-algebras
Thanks to a result of Herman and Vaserstein in [3], Rieffel's notion of stable rank [4] coincides with the Bass stable rank [1] for every $C^\ast$-algebra $A$: we denote it by $\mathrm{sr}(A)$ and we ...
- 660
3
votes
0
answers
166
views
"Somewhat connected" spaces or algebras
Before we state our question, we give a motivational simple example:
Put $X$ for disjoint union of two circles. However $X$ is not a connected space but it has an open dense subset $U$ such that $U$ ...
- 356
2
votes
0
answers
124
views
Representation of $C^{*} (S_{\infty})$
I was wondering what is the group $C^{*}$-algebra of infinite symmetric group?
Mainly, I was trying to calculate the k-theory of $C^{*}$-algebra of infinite symmetric group and I found K-Theory of $C^{...
- 581
2
votes
1
answer
352
views
K-Theory of $C^{*}(X)$
I'm new to K-Theory for $C^{*}$-algebra and $C^{*}$-algebra of groups.
If $X$ is the group of finite support bijections of natural numbers then what is the K-Theory of $C^{*}(X)$?
I was planning to ...
- 581
3
votes
0
answers
129
views
Another way for defining $K_1$ group for a C*-algebra
Thank you for answering my question.
I have another question about the $K_1$ group. As you may know, some books define the $K_1$ group like below:
Also, it defines the $K_0$ group for an arbitrary C*-...
- 581
8
votes
2
answers
246
views
Example of a C*-algebra whose $K_1$ is uncountable
We know that if $A$ is a separable $C^{*}$-algebra then $K_1(A)$ is countable.
Can anybody give an example of a C*-algebra for which $K_1(A)$ is uncountable?
- 581
4
votes
1
answer
214
views
What are the generator for $K_1(C(\mathbb{T})\otimes\mathbb{K})$?
I've been working computing several K-groups associated to some $C^*$-algebras involved with my master's thesis, however I've just got stucked finding some generators for $K_1(C(\mathbb{T})\otimes\...
- 143
3
votes
0
answers
156
views
Left and right topological K-theory of Banach algebras
Let us consider the topological $K$-functor on the category of Banach algebras as described in page $18$ of "Introduction to the Baum–Connes conjecture" by Alain Valette.
The definition is based on ...
- 356
9
votes
0
answers
364
views
Geometric motivation behind the Fredholm module definition
If $A$ is an involutive algebra over the complex numbers $\mathbb{C}$, then a Fredholm module over $A$ consists of an involutive representation of $A$ on a Hilbert space $H$, together with a self-...
- 993
11
votes
0
answers
401
views
The term "absolute geometry"
My question concerns the so-called absolute geometry over the "field with one element" F_1 or over the spectrum $\mathrm{Spec}(F_1)$, cf. https://ncatlab.org/nlab/show/Borger%27s+absolute+geometry. I ...
- 1,338
2
votes
0
answers
116
views
Closable operators on Hilbert modules
For $T:{\frak{Dom}}(T) \to H$ a densely defined operator, with $H$ a (separable) Hilbert space, we know that $T$ is closable if its adjoint $T^*$ has dense domain in $H$.
Does this extend to the (...
- 993
4
votes
1
answer
277
views
Producing $K$-homology cycles from $KK$-cycles
For two unital (separable) $C^*$-algebras $A$ and $B$, let $(H,\rho,F)$ be a $KK$-cycle in the sense of Kasparov, or in the sense of Wikipedia :)
I wonder if there us a natural way to "forget" the ...
- 993
8
votes
1
answer
355
views
Morita equivalence of the invariant uniform Roe algebra and the reduced group C*-algebra
In his paper "Comparing analytic assemby maps", J. Roe considers a proper and cocompact action of a countable group $\Gamma$ on a metric space $X$. He constructs the Hilbert $C^*_r(\Gamma)$-module $L^...
8
votes
1
answer
570
views
Comparing the definitions of $K$-theory and $K$-homology for $C^*$-algebras
In Higson and Roe's Analytic K-homology, for a unital $C*$-algebra $A$, the definitions of K-theory and K-homology have quite a similar flavor.
Roughly, the group $K_0(A)$ is given by the ...
- 969
7
votes
1
answer
219
views
$*$-algebras, completions, and $K$-theory
What is an example of a $*$-algebra $\cal{A}$, which admits two non-equivalent norms $\| \cdot \|_1$ and $\| \cdot \|_2$, with respect to which we can complete $\cal{A}$ to give two $C^*$-algebras $...
- 993
6
votes
0
answers
233
views
Group $C^*$ vs group von-Neumann algebras
Let $\Gamma$ be a countable (discrete) group (in what follows, make additional assumptions as you wish). Let $C^*_r(\Gamma)$ and $W^*_r(\Gamma)$ be the reduced $C^*$-algebra respectively the reduced ...
- 9,853
7
votes
1
answer
373
views
Generator of $K_0(C_0(\mathbb{C}))$
$\newcommand{\C}{\mathbb{C}}\newcommand{\Z}{\mathbb{Z}}$
I know from Bott-periodicity that $K_0(C_0(\mathbb{C}))\simeq \Z$, is there any easy way to compute an explicit generator of $K_0(C_0(\mathbb{C}...
- 173
5
votes
0
answers
125
views
When is K0 of a C* algebra finitely generated?
Are there workable conditions that imply that $K_0(A)$ is finitely generated, for a noncommutative unital C* algebra $A$. My actual question is in fact much more specific than this:
Is it possible ...
2
votes
2
answers
373
views
Finitely generated $K_0$ of $C^*$-algebras
Let $A$ and $B$ be $C^*$-algebras. Let $A_0$ be a dense *-subalgebra of $A$, and let $B_0$ a dense *-subalgebra of $B$. Assume that $A_0$ is isomorphic to $B_0$.
Finally, assume that $K_0(A)$ is ...
- 213
2
votes
0
answers
125
views
Computing the $K$-theory of the free inverse semigroup $C^*$-algebra
A typical example where I know the $K$-theory of the quotient, and wonder if this could help to compute the $K$-theory of the extension. (Or other way round: knowing one part out of three ones.)
I ...
- 685
8
votes
1
answer
724
views
Role of the UCT problem in classification theory for C*-algebras
Elliott's program for nuclear C*-algebras deals with the problem of classifying nuclear C*-algebras by K-theoretical invariants. A major open question in this context is the UCT problem.
A separable ...
- 741
4
votes
1
answer
157
views
Geometric Motivation for Hilbert $C^*$-Bimodules
I'm trying to get an understanding of Hilbert $C^*$-bi-modules from a geometric point of view. As is well-known, we have that
i) Commutative unital $C^*$-algebras correspond to compact Hausdorff ...
- 167
3
votes
1
answer
232
views
unital embedding into the coner $C^*$-algebra
Let $A$ be a $C^*$-algebra, we denote with $V(A)$ the semigroup of Murray-von Neumann equivalence classes of projections in matrices over $A$ (as usual). In https://arxiv.org/pdf/math/0310340.pdf, ...
- 1,188
1
vote
1
answer
269
views
description of a map in KK-theory
The following situation is given: Let $A$ be a unital, separable, nuclear $C^*$-Algebra, $i:\mathbb{C}\to A$ the unital embedding. All $C^*$-algebras are considered as trivially graded. Consider the ...
user62639
3
votes
1
answer
159
views
K-group properties of quasi-diagonal $C^*$-algebras
Let $A$ be a separable unital quasidiagonal $C^*$-algebra.
What can be said about the $K$-theory of $A$, for example some properties? Especially, are there some criterions to decide whether or not $K_*...
4
votes
0
answers
389
views
Künneth formula for $C^*$ algebras, equivalent condition for full generality
I'm crrently reading the paper about the Künneth-theorem for $C^*$-algebras: http://msp.org/pjm/1982/98-2/pjm-v98-n2-p15-s.pdf and I'm trying to understand remark 4.9. I henceforth asumme that $A$ is ...
- 81
5
votes
1
answer
370
views
explicit description of the product map in K-theory
Let $A$ and $B$ be unital $C^*$-algebras. Let $u\in M_n(A)$ be a unitary representing an element $[u]\in K_1(A)$ and $p\in M_m(B)$ be a projection representing an element $[p]\in K_0(B)$. Then the ...
user62639
17
votes
1
answer
514
views
K-theory space of a C*-algebra
Let $A$ be a unital C*-algebra.
Let me define its "$K$-theory space" to be the image of its $K$-theory spectrum under the functor $\Omega^\infty:$ Spectra $\to$ Spaces.
I denote the $K$-theory space ...
- 43.2k
5
votes
1
answer
269
views
Equivalence of two pictures of odd $K$-theory
One can show that two functors $K^0$ and $K_0(C(-))$ from the category of compact topological spaces to the category of abelian groups are naturally equivalent. The first one is topological $K$-theory ...
- 9,330
13
votes
1
answer
305
views
What does it tell us, if we know a unital C*-algebra has approximately inner (half-)flip?
This is a somewhat vague question, but I think it is not too open-ended and should admit well-circumscribed answers by specialists in operator algebras.$\newcommand{\Cst}{{\rm C}^*}$ It arises from ...
- 25.8k
2
votes
0
answers
208
views
A functor on the category of rings, algebras or compact Hausdorff topological space
Assume that $R$ is a unital ring or a complex or real (Banach or $C^{*}$) algebra.
We define a relation $M$ on $R$ as follows: $$a\;M b \;\;\; \text{iff}\;\; a=xy,\;b=yx \;\; \text{for ...
- 356
4
votes
0
answers
202
views
Connectivity of the group of invertible elements of $C(S^{2})\otimes A$
For what type of $C^{*}$ algebras $A$, the group of invertible elements of $C(S^{2}) \otimes A$ is a connected group?
All finite dimensional $A$ satisfy this property.
Is it true to say ...
- 356
4
votes
1
answer
1k
views
Murray–von Neumann equivalence on C$^*$-algebra and von Neumann algebra
Let $H$ be a separable infinite dimensional Hilbert space, $M \subset B(H)$ a von Neumann algebra and $A \subset M$ a separable $C^*$-algebra such that $A''=M$.
Let $p,q \in M_{\infty}(A)$ be (...
1
vote
1
answer
384
views
A question on K- theory of non commutative $C^\star$ algebra
Edit: According to the comment of Andre Henriques I revise the question:
What is an example of a noncommutative unital $C^\star$ algebra $A$, which is not Morita equivalent to a commutative ...
- 356
18
votes
0
answers
557
views
Do quotients of amenable groups C*-algebras satisfy the UCT?
Let G be a discrete amenable group.
General Question: Let $J$ be an ideal of $C^*(G)$, the group C*-algebra of $G.$ Does $C^*(G)/J$ satisfy the universal
coefficient theorem (UCT)?
I am mainly ...
- 2,689
0
votes
0
answers
410
views
A noncommutative vector bundle
We know that a noncommutative vector bundle is a finitely generated projective $A$-module where $A$ is a non commutative $C^{*}$ algebra. In this question we introduce a particular non commutative ...
- 356
7
votes
0
answers
359
views
Dense ideals in C*-algebras and K-theory
Let $A$ be a nonunital C*-algebra and let $I \subset A$ be a dense, $*$-closed, 2-sided ideal. I was under the impression that there existed some "obvious" argument proving that $I$ carries all the $K$...
- 662
6
votes
1
answer
446
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 ...
user36116
7
votes
0
answers
189
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 ...
- 7,637
0
votes
0
answers
293
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 ...
3
votes
1
answer
427
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 ...
- 169