A C*-algebra is a complex Banach algebra together with an isometric antilinear involution satisfying (a b)* = b* a* and the C*-identity ‖a* a‖ = ‖a‖². Related tags: [tag:banach-algebras], [tag:von-neumann-algebras], [tag:operator-algebras], [tag:spectral-theory].

learn more… | top users | synonyms

5
votes
2answers
451 views

When is it $C(X)$?

Suppose that $\tilde{X}$ is a compact space. If $C(\tilde{X})$ is isometrically isomorphic to the second dual of a Banach space, does there exist a locally compact space $X$ such that ...
1
vote
1answer
188 views

On the relation between the set of extreme points of the unit ball of $M(X)$ and $M(X)^{**}$

Suppose that $X$ is a locally compact topological space. Let $M(X)$ denote the Banach space of regular Borel measures on $X$. It is known that the bidual of $C_0(X)$ is a commutative $C^*-$algebra. ...
3
votes
2answers
151 views

Strong Morita Equivalence and Morphisms Between $ C^{*} $-Algebras

If $ A $ and $ B $ are $ C^{*} $-algebras, then they are strongly Morita equivalent if there exist a $ (B,A) $-bimodule $ E $ and an $ (A,B) $-bimodule $ F $ such that $$ E \otimes_{A} F \cong B \quad ...
6
votes
0answers
237 views

C* algebras of free semicircular systems

It was shown by Pimsner and Voiculescu in 1982 that the reduced group $C^{*}$-algebras $C^{*}_{r}(\mathbb{F}_{n})$ and $C^{*}_{r}(\mathbb{F}_{m})$ are isomorphic if and only if $n = m$ (here, ...
5
votes
2answers
133 views

Extension of $C^*$ isomorphism to $W^*$ isomorphism

Let $\mathfrak{A}$ be $C^*$algebra, and $\pi$ its faithful representation on Hilbert space $\mathcal{H}$. Bicommutant $\mathfrak{B}=\pi(\mathfrak{A})''$ is the von Neumann algebra generated by ...
7
votes
0answers
202 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 ...
-1
votes
1answer
201 views

What is the character that compactifies $\mathbb{R}$ through the Gelfand transform?

I'm a little embarassed that I can't answer this myself, so hopefully it will get answered very quickly. Let $X$ be locally compact, Hausdorff. Consider $\text{C}_\text{b}(X)$ the $C^*$-algebra of ...
6
votes
1answer
262 views

Morita equivalence for operator algebras and tensor products, question about proof

This is a bit of a dumb question I know, but I was reading "Morita equivalence for C*-algebras and W*-algebras" by Rieffel, in this section about Morita equivalences and how they relate to forming ...
1
vote
1answer
213 views

Bratteli diagram decided by AF-algebras

In general, an AF-algebra can has some different Bratteli diagrams. We can add some identical arrows to make the Bratteli diagrams different, but it is too trivial, are any good examples? For which ...
3
votes
0answers
157 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 ...
11
votes
2answers
470 views

Can non-central projections still commute with all other projections?

Let $A$ be a C*-algebra and let $\mathcal{P}(A)$ denote the set of projections in $A$. If $p\in\mathcal{P}(A)$ commutes with everything in $\mathcal{P}(A)$ does it necessarily commute with everything ...
12
votes
1answer
187 views

Can a non-commutative C*-algebra be a minimal operator space?

By an operator space structure on a Banach space $X$ I mean a sequence of norms on spaces $M_n \otimes X$ that satisfies Ruan's axioms. Among such admissible sequences there is always the smallest ...
1
vote
0answers
111 views

Non commutative analogy of compact-open topology

Let $R$ be a ring, define a topology on $AUT(R)$(Or End(R)) with the following subbase: For every two 2-sided Ideal $I$ and $J$, a subbase element is $B(I,J)=\{f\in AUT(R) \mid f(I)+J=R\}$. We can ...
0
votes
0answers
91 views

Shapiro's Lemma for topological K-theory of groups

Chabert, Echterhoff and Oyono-Oyono proved in [Shapiro's Lemma for topological K-theory of groups] that $K^{top}_*(X\rtimes G;A)\cong K^{top}_*(G;A)$ for any $X\rtimes G$-algebra $A$. They claimed ...
17
votes
2answers
403 views

Which groups are the unitary group of a $C^*$-algebra

Which groups are the unitary group of a $C^*$-algebra? Does anyone know anything in this direction?
5
votes
2answers
355 views

Metrics on the space of $C^{*}$ algebras

I think that there is a metric on the huge space of all $C^{*}$ algebras. What is the explicit definition of this metric?may you introduce me a reference? Moreover is the restriction of this ...
1
vote
0answers
124 views

Connected component of the identity in graded banach algebras

I search for a noncommutative idempotent less Banach algebra $A$ which is graded by a finite Abelian group $G$ such that a nontrivial homogenous element lies in the same connected component ...
4
votes
1answer
100 views

Automorphisms of “rational” Kirchberg algebras

Let $M_{\mathbb{Q}}$ be the universal UHF-algebra and let $\mathcal{O}_{\infty}$ be the infinite Cuntz algebra. Let $A$ be a Kirchberg algebra that satisfies the UCT with $K_0(A) \cong \mathbb{Q}^n$ ...
3
votes
1answer
88 views

Crossed Products by Permutation Groups

What can be said about the following crossed product $C^*$-algebra? Let $A$ be a Kirchberg algebra with $K_0(A) = \mathbb{Q}$ and $K_1(A) = 0$. Consider the direct sum of $n$ copies of $A$, i.e. $B = ...
5
votes
1answer
219 views

$Z_{2}$- graded structures for $C_{red} ^{*} (F_{2})$

Let $F_{2}$ be the free group with two generators. Then $F_{2}=\{\text{odd words}\}\sqcup\{\text{even words}\}$. This gives us a $Z_{2}$ graded structure for $C^{*}_{red} (F_{2})$, in a natural way. ...
0
votes
1answer
110 views

Checking complete positivity of maps between C* algebras

Let $\phi$ : $A \rightarrow A$ be a positive map, where $A$ is a (unital) C* algebra. Suppose we are given that $\phi$ is n positive whenever n= $2^k$ for some $k \in \mathbb{N}$. Can we conclude that ...
7
votes
1answer
235 views

Who first identified the universal $C^*$-algebra generated by an idempotent of norm at most $C$?

So much is known about hermitian and non-hermitian idempotents in a $C^*$-algebra, that someone must have written down the following. Theorem The universal $C^*$-algebra generated by one element ...
7
votes
3answers
548 views

Universal $C^*$-algebra with generators and relations

We say that the $C^*$-algebra $A$ generated by $a_1,...,a_n$ is universal subject to relations $R_1,...,R_m$ if for every $C^*$-algebra $B$ with elements $b_1,...,b_n$ satisfying relations ...
1
vote
0answers
84 views

two concepts of positivity for elements of $C(X)$ when $X$ is hyper-stonean

Suppose that $X$ is a compact space. Let $M(X)=C(X)^*$ denote the Banach space of regular measures. Is the following statement true: $F:M(X)\to\mathbb{C}$ is a positive functional if and only if the ...
6
votes
5answers
407 views

If two projections are close, then they are unitarily equivalent

Given two projections $p,q\in B(H)$, it is well-known that if $\|p-q\|<1$, then there exists a unitary $u\in B(H)$ with $q=upu^*$. The proof that immediately occurs to me uses comparison of ...
5
votes
1answer
191 views

A Question About Pure States, Support Projections and Central Covers

I am trying to study the paper Consistency of a Counterexample to Naimark’s Problem by Charles Akemann and Nik Weaver, and there is a claim in Lemma 1 of the paper that I am stuck at, which is as ...
4
votes
0answers
203 views

Weakly amenability and exactness for discrete groups

A countable discrete group $\Gamma$ is said to be weakly amenable with Cowling-Haagerup constant 1 if there exists a sequence of finitely supported functions $(\phi_n)$ on $\Gamma$ such that ...
2
votes
0answers
90 views

K-Exactness for groups and C*-algebras

We say that a C*-algebra $A$ is K-exact, if for any exact sequence of C*-algebras $0\rightarrow I\rightarrow B\rightarrow B/I\rightarrow0$, the sequences $K_i(I\otimes_{min}A)\rightarrow ...
4
votes
0answers
146 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 ...
7
votes
0answers
144 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 ...
6
votes
2answers
258 views

Expression of a non-orthogonal projection in a $C^*$ algebra via an orthogonal one

A paper I'm currently reading uses the following fact. If $A$ is a unital $C^*$-algebra, $P=P^2\in A$, then there are $T, F\in A$ s.t. $F$ is an orthogonal projection ($F=F^*=F^2$) and ...
7
votes
1answer
278 views

Extending a $ * $-Representation of $ ({C_{c}}(G,\mathscr{A}),\star,^{*}) $ to a $ * $-Representation of $ \mathscr{A} \rtimes_{\alpha} G $

Let $ (\mathscr{A},G,\alpha) $ be a $ C^{*} $-dynamical system, and consider the twisted convolution $ * $-algebra $ ({L^{1}}(G,\mathscr{A}),\star,^{*}) $ defined by \begin{align*} \forall \phi,\psi ...
6
votes
2answers
270 views

Are the reduced group Von Neumann algebra/ Group $C^{\ast}$ algebra functorial in the case of LCH groups

Let $G$ be a LCH group and $\mu$ be its left Haar measure. Call $\lambda_G : G \to U(L_2(G,\mu))$ the left regular representation. We can define the reduced $C^{\ast}$ algebra and reduced Von Neumann ...
0
votes
0answers
85 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
0answers
99 views

Relation between graphs and groupoid $C^*$-algebras

In the paper "Graphs, groupoids and Cuntz-Krieger algebras" by Kumijan, Pask, Raeburn, Renault it was shown (if I understand it correctly) that whenever $G$ is a row-finite directed graph with no ...
1
vote
1answer
91 views

Banach Isomomorphic Cts Fucntion Algebras for two Non-Homeomorphic Top Spaces?

Can anyone provide me with an example of two non-homeomorphic locally-compact Hausdorff spaces $X$ and $Y$, such that $C(X)$ and $C(Y)$ are isomorphic as Banach algebras. Clearly, the ...
1
vote
1answer
101 views

When are tracial states continuous in the strict topology?

Let $A$ be a separable (non-unital) C*-algebra. Let $\tau: A\to\mathbb{C}$ a tracial state. Consider the strict topology on $A$, i.e. $a_n\to a$ iff $a_nx\to ax$ and $xa_n\to xa$ for all $x\in A$. It ...
3
votes
1answer
162 views

‘Non-Induced’ Left Regular Representations of $ C^{*} $-Dynamical Systems

In what follows, a ‘$ * $-representation’ always means a non-degenerate $ * $-representation. Let $ (\mathscr{A},G,\alpha) $ be a $ C^{*} $-dynamical system, and let $ \pi: \mathscr{A} \to ...
2
votes
1answer
264 views

Question on structure of von Neumann algebras, clarification in Conway's “A course in operator theory”

I was reading the section on the structure of type I von Neumann algebras in John B. Conway's "A course in operator theory" and a few questions about certain definitions and references arose, I was ...
3
votes
2answers
211 views

When is a groupoid the path groupoid of a graph?

I am actually interested in the $C^*$-algebras, so perhaps my question should be: How can you recognize whether a $C^*$-algebra $A$ is isomorphic to $C^*(\Lambda)$ for some (higher-rank) graph ...
7
votes
0answers
320 views

The approximation property of group C*-algebras

Let $G$ be a discrete group. Then the group C*-algebra $C^*(G)$ is nuclear if and only if $G$ is amenable. I am wondering whether nuclearity of $C^*(G)$ can fail for a Banach-space reason, namely due ...
1
vote
0answers
214 views

Is an exact operator, unitary equivalent to a banded operator?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Definition : Let $(e_{n})_{n \in \mathbb{N}}$ be an orthonormal basis. $T \in B(H)$ is ...
11
votes
1answer
505 views

Is there a proof that the $C^{*}$-algebras don't see the invariant subspace problem?

This post is an appendix of this one. Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Invariant subspace problem: Let $T \in B(H)$. Is ...
3
votes
0answers
355 views

About generator and isomorphism problems for free groups operator algebras

Let $H$ be an infinite dimensional separable Hilbert space. The $C^{*}$-algebras and von Neumann here unital and subalgebras of $B(H)$. Definition : Let $\mathcal{A}$ be $C^{*}$-algebra (resp. a ...
15
votes
2answers
426 views

automorphisms of C*-algebras and partial isometries

Let $A$ be a $C^*$-algebra, let $p$ and $q$ be Murray-von Neumann equivalent projections in $A$, i.e. there is a partial isometry $v$ such that $v^*v = p$ and $vv^* = q$. Suppose $\alpha \in Aut(A)$ ...
2
votes
1answer
335 views

Is there an operator algebraic reformulation of the invariant subspace problem?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Invariant subspace problem: Let $T \in B(H)$. Is there a non-trivial closed $T$-invariant ...
4
votes
0answers
456 views

Do the banded operators check the invariant subspace problem?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Invariant subspace problem: Let $T \in B(H)$. Is there a non-trivial closed $T$-invariant ...
6
votes
2answers
585 views

Structure theorem for finite dimensional $C^*$-algebras and their representations

I would like a source for some Artin-Wedderburn type facts about these algebras which seem to have easy proofs, and are probably written somewhere. Let $\mathcal{A} \subset M_n(\mathbb{C})$ be an ...
5
votes
0answers
167 views

Does the suspension isomorphism $K_1(A) \to K_0(SA)$ descend from a more refined invariant?

If $A$ is a C*-algebra, denote its minimal unitization by $\tilde A$ and its suspension by $SA$, thought of as all continuous $a:[0,1] \to A$ with $a(0)=a(1)=0$. The unitized suspension ...
5
votes
1answer
344 views

Is there an irreducible, noncompact commuting, nonnormal operator, with spectrum strictly continuous?

Let $H$ be an infinite dimensional separable Hilbert space. Definition: The commutant $\mathcal{S}'$ of a subset $\mathcal{S} \subset B(H)$ is $ \{A \in B(H) : AB=BA \ , \ \forall B \in \mathcal{S} ...