5
votes
0answers
107 views

Unique maximal ideal in group C*-algebras

Let $G$ be a discrete group. Let $C^*(G)$ denote the full group C*-algebra of $G.$ Let $\pi:C^*(G)\rightarrow \mathbb{C}$ be the *-homomorphism associated with the trivial representation of $G.$ ...
2
votes
0answers
33 views

Closure of pseudodifferential operators of order 0 on compact manifolds

Let $M$ be a compact manifold. If we have a pseudodifferential operator $P$ of order $0$ on $M$, then $P$ is pseudolocal, i.e., every commutator $[f,P]$ with a continuous function $f \in C(M)$ is a ...
11
votes
2answers
307 views

Is the space of *-homomorphisms between two $C^*$-algebras locally path connected

Given the set of *-homomorphisms between two $C^*$-algebras $A$ and $B$, we may define a metric on it by setting $d(f,g):= \sup_{0<\|a\|\le 1}\|f(a)-g(a)\|$. Could it be true that, for each ...
1
vote
1answer
137 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. ...
6
votes
0answers
201 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
109 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 ...
5
votes
1answer
196 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 ...
3
votes
0answers
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 ...
11
votes
2answers
357 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 ...
18
votes
2answers
355 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
322 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 ...
0
votes
0answers
67 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
91 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$ ...
2
votes
1answer
73 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 = ...
4
votes
1answer
200 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. ...
7
votes
1answer
190 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
334 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 ...
5
votes
5answers
317 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
152 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
178 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 ...
7
votes
0answers
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 ...
6
votes
2answers
211 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
266 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
237 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
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 ...
3
votes
1answer
139 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 ...
3
votes
1answer
194 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
188 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
296 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 ...
11
votes
1answer
451 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
323 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
385 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
301 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 ...
5
votes
1answer
299 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} ...
3
votes
2answers
211 views

Tensoring with a CAR-algebra

Let $A$ and $B$ be two unital infinite-dimensional simple separable nuclear $C^{\ast}$-algebras and let $C$ be a CAR-algebra. When does $A\otimes C \simeq B\otimes C$, imply $A\simeq B$? The answer ...
4
votes
2answers
265 views

Projections in a W*-algebra as a continuous lattice?

A continuous lattice is a complete lattice $L$ in which every element $y$ is equal to $\bigvee${$x \in L \mid x \ll y$} where $x \ll y$ ("x approximates y" or "x is way below y") if for any directed ...
0
votes
0answers
93 views

All AI-algebras are AT-algebras

It is known that every AI-algebra (i.e. inductive limit of interval algebras) is an AT-algebra (i.e. inductive limit of circle algebras)? This seems a little bit odd because a building block of an ...
2
votes
1answer
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 ...
0
votes
1answer
164 views

Unitary with full spectrum

I have a unitary element $u\in C(\mathbb{T},M_{n}(\mathbb{C}))$ such that $Spec(u)=\mathbb{T}$. Does there exist a unitary $v\in C(\mathbb{T},\mathbb{C})$ such that $Spec(uv)\subsetneqq\mathbb{T}$?
22
votes
1answer
384 views

Can nuclearity be determined by tensoring with a single C*-algebra?

A C*-algebra is nuclear if the algebraic tensor product $A\odot B$ ($B$ is any other C*-algebra) admits a unique C*-norm. This definition requires testing the condition for nuclearity with `all' ...
1
vote
0answers
297 views

Hans Saar's thesis

I would love to have a look on some results which are claimed by some people to be in Saar's thesis: H. Saar, Kompakte, vollständig beschränkte Abbildungen mit Werten in einer nuklearen ...
6
votes
2answers
229 views

Quasinilpotent elements of group C-star algebras

If $G$ is a discrete torsion-free group, can its (reduced or full) group C-star algebra contain non-zero quasinilpotent elements? I've seen various examples in the group von Neumann algebra setting ...
7
votes
2answers
351 views

General recipe for building C*-algebras out of combinatorial object

I want to ask what should be a nice way to build C*-algebras out of objects like groups, inverse-semigroups, semigroups, ringgs or graphs. I know there are well known construction of C*-algebras out ...
14
votes
3answers
686 views

Realizing universal C*-algebras as concrete C*-algebras

How do I in general realize a universal C*-algebra generated by some generators and relation as concrete C*-algebras? For example, I know that universal C*-algebra generated by a single unitary is ...
4
votes
1answer
282 views

Kadison-Singer problem in exotic Hilbert spaces

The Kadison-Singer problem is considered in relation to the separable Hilbert space: KS: Does every pure state on the diagonal (atomic) masa of $B(\ell_2)$ has a unique extension to $B(\ell_2)$? ...
9
votes
2answers
382 views

Seeing topological (geom.) properties of the space via corresponding C^*-algebra

Compact Hausdorff spaces bijectively correspond to C^*-algebras with identity. One needs to consider the algebra of continuous functions C(X) to go in one direction and spectrum to go in the other. ...
2
votes
1answer
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 ...
0
votes
1answer
224 views

Commutant of a von Neumann algebra as the linear span of unitaries.

I'm reading chapter 4 of Gerard Murphy's C*-algebras book and am confused by a statement in his proof of theorem 4.1.10. In his proof, he says, "$A'$ is the linear span of its unitaries" (where $A'$ ...
10
votes
2answers
369 views

C*-algebras with no nontrivial endomorphisms

Pick a C*-algebra $A$ and call a (*-)endomorphism $\alpha:A\to A$ nontrivial if it is injective and $\alpha(A)\neq A$. Question: Do there exist infinite dimensional C*-algebras with no nontrivial ...
9
votes
0answers
316 views

Tensorial decomposition of $B(H)$

Let $H$ be an infinite-dimensional Hilbert space and let $\mathcal{B}(H)$ be the (C*/W*-)algebra of bounded operators on it. Actually, you may forget about the involution in $\mathcal{B}(H)$ because I ...