Questions tagged [noncommutative-topology]
The noncommutative-topology tag has no usage guidance.
25
questions
1
vote
0
answers
73
views
Formula for the KK-theory groups $KK(A, C(S))$
I am studying $C^*$-algebras and their KK-theory. Let $A$ be a (unital if you wish) $C^*$-algebra and $S$ be a compact Hausdorff space. I am interested in computing the KK-theory groups $KK(A, C(S))$, ...
- 1,027
10
votes
0
answers
632
views
Noncommutative condensed sets
Ignoring set-theoretic problems, we can see condensed sets as sheaves of compact Hausdorff spaces. Using Gelfand Duality we obtain an equivalence of categories
\begin{align*} \mathrm{CHaus}^{\mathrm{...
- 1,027
4
votes
1
answer
122
views
Support projection vs closed support projection of a normal state in enveloping von Neumann algebra
I preface this by saying that I am fairly new to the enveloping von Neumann algebra scene, so there may be some gaps in my understanding.
Given a $C^*$-algebra $A$ and a state $\phi$ on $A$, one may ...
- 103
2
votes
0
answers
85
views
Computing norms of polynomials of operator in Hilbert space and generalized von Neumann inequality
Let $T$ be an operator $l^2({\mathbb{Z}_{\geq 0}}) \to l^2({\mathbb{Z}_{\geq 0}})$, $e_n \mapsto \sqrt{1 - q^{2(n+1)}}e_{n+1} $, where $0<q<1$. I want to compute $\|f(T,T^{*}) \|$ (operator ...
- 161
8
votes
1
answer
262
views
Noncommutative Fredholm operators
Let $A$ be a unital $C^*$-algebra and $F:H_A\rightarrow H_A$ a Fredholm operator on the standard Hilbert $A$-module $H_A:=l^2(A)$. Is it true that $\mbox{ker}(F)$ and $\mbox{coker}(F)$ are finitely ...
- 99
2
votes
1
answer
84
views
Approximation of unity by projectors
Let $A$ be a $\sigma$-unital $C^*$-algebra and $A_s:=A\otimes K$ its stabilization (where $K$ is the algebra of compact operators on a separable Hilbert space). Is it true that there exist an ...
user95283
5
votes
0
answers
201
views
range of trace on projections: beyond rotation algebras
In a rotation algebra, $A_\theta=C(S^1)\rtimes \mathbb{Z}$, there is a tracial state $\tau$ coming from the invariant measure $\mu$ on the circle.
There is a projection $p\in M_n( A_\theta)$ (we can ...
- 330
2
votes
1
answer
347
views
Homotopy groups of noncommutative spaces
In the approach to noncommutative geometry of Alain Connes any Hausdorff compact space $X$ is replaced by its algebra of complex valued continuous functions $C^0(X)$, and one regard general (that is, ...
user95283
2
votes
1
answer
124
views
Is the dual of the category of unital C*-algebras concretizable?
The dual to the category of commutative unital C*-algebras is equivalent to the category of compact Hausdorff spaces, a concrete category. Can the dual to the category of unital C*-algebras also be ...
- 2,080
6
votes
2
answers
629
views
Can $C^*$-algebra of continuous functions on $R^n$ ($S^n$) be characterized alternatively?
Dictionary between algebra and geometry is somewhat one of the main concepts in modern mathematics. So commutative $C^*$ algebras are one-to-one with locally compact Hausdorff spaces.
So it is ...
- 22.6k
4
votes
0
answers
196
views
Extending Akemann's Non-Commutative Urysohn Lemma
Assume $A$ is a C*-algebra and $p,q\in A^{**}$ are compact projections.
Can we always find $a,b\in A^1_+$ with $p\leq a$, $q\leq b$ and $||pq||=||ab||$?
Note if $||pq||=1$ this is immediate, while ...
- 1,117
3
votes
0
answers
142
views
Closed containment of open projections in C*-algebras
For a C*-algebra $A$ and open projections $p,q\in A^{**}$, consider the following statements.
$\overline{p}\leq q$
$p\leq q$ and there exists open $r\in A^{**}$ with $rp=0$ and $r\vee q=1$
$p\leq q$ ...
- 1,117
5
votes
1
answer
840
views
Proper continuous image of metrizable space
Motivated by the following post, "Gelfand duality" and the fact that "a Hausdorff continuous image of a compact metric space is metrizable", we ask:
What is a counter example of two locally ...
- 139
1
vote
0
answers
75
views
Which groups may be obtained as $K$-homology groups?
Recently I asked the following question, about the separability of the underlying $C^*$-algebra in the definition of $K$-homology:
mathoverflow.net/questions/181361
As far as I understood, in ...
- 8,748
7
votes
1
answer
305
views
Separability of the C*-algebra in the definition of K-homology
There are (at least) two approaches to K-homoology: one is via the so called dual algebra which is due to Paschke. The second is via the Fredholm modules and is due to Kasparov. In Nigel Higson's book ...
- 8,748
0
votes
3
answers
356
views
Specific Reference? Noncommutative topology and C^* algebras [closed]
I stumbled across this "dictionary for noncommutative topology" http://planetmath.org/noncommutativetopology
and I would be very interested in learning more on the subject, particularly I'd like to ...
- 11
4
votes
1
answer
303
views
A question on $Z^{*}$ algebras
A $Z^{*}$ algebra is a $C^{*}$ algebra which satisfies each of the following equivalent conditions:
All elements of $A$ are left zero divisor.
All elements are right zero divisor.
All elements are ...
- 139
1
vote
0
answers
282
views
Bootstrap subcategory abelian?
In the book "K-Theory for Operator Algebras" by Bruce Blackadar, the exercise 23.15.8. on page 246 says:
"Let KKN be the full subcategory of KK with objects in N. Show that KKN is abelian category by ...
- 11
25
votes
7
answers
3k
views
A topological concept dual to compactness
We say that a subset A in a topological space X is anti-compact if every covering of A by closed sets has a finite subcover. Clearly if X is Hausdorff then all anti-compact subsets of X are finite. ...
- 351
5
votes
1
answer
330
views
NonCommutative Baire theorem
The classical Baire theorem says that the intersection of a sequence of open dense subsets of $X$, is dense, if the space is compact Hausdorff. In the language of $C^{*}$ algebras this is ...
- 139
7
votes
0
answers
233
views
Non Commutative Hyperspaces
Let $X$ be a compact metric space. Recall that the hyperspace $2^{X}$ is the set of all non empty compact subsets of $X$ with the Hausdorff metric. Assume that $\mathcal{C}$ is the category of all ...
- 139
5
votes
0
answers
237
views
"Definitive" Noncommutative Space
Let $Y$ be a (locally compact) non-Hausdorff topological space. I want to know if there is a necessary and/or sufficient condition for $Y=X/G$, that is, $Y$ is the orbit space of a locally compact ...
- 59
6
votes
1
answer
437
views
What are the sub $C^*$-algebras of $C(X,M_n)$?
Let $X$ be a locally compact Hausdorff topological space, denote by $M_n$ the $C^*$-algebra of complex $n\times n$ matrices, by $C_0(X,M_n)$ the $C^*$-algebra of continuous functions on $X$ with ...
- 2,161
13
votes
1
answer
1k
views
What is the commutative analogue of a C*-subalgebra?
Using the duality between locally compact Hausdorff spaces and commutative $C^*$-algebras one can write down a vocabulary list translating topological notions regarding a locally compact Hausdorff ...
- 3,084
6
votes
1
answer
841
views
Sources for exact triangles in triangulated categories.
The other day I came across the statement that in the triangulated category $\mathfrak{KK}$ (of C*-algebras with KK-groups as morphism sets) "there are many other sources of exact triangles besides ...
- 3,084