All Questions
27 questions with no upvoted or accepted answers
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
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
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
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
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
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
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
7
votes
0
answers
292
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 (...
- 435
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
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
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 ...
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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 ...
