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

8
votes
2answers
303 views

Injectivity of the Baum-Connes assembly map for locally compact groups

Skandalis, Tu and Yu in "The coarse Baum-Connes conjecture and groupoids" proved that: Let $\Gamma$ be a countable group with a proper left-invariant metric $d$. If $\Gamma$ admits a uniform ...
2
votes
0answers
99 views

Is the Poincare action on the Klein-Gordon quantum field strongly continuous?

I am interested in checking continuity property of the Poincare group action on the Klein-Gordon quantum field theory defined over the Minkowski spacetime. Maybe the simplest example of QFT out there. ...
2
votes
1answer
173 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
251 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
376 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
331 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 ...
11
votes
3answers
484 views

Von Neumann algebra associated to the infinite Cuntz algebra

The Cuntz algebra $\mathcal{O}_{\infty}$ is the universal $C^*$-algebra generated by countably infinitely many isometries $s_i$ satisfying the relations $s_i^*s_j = \delta_{ij}$ (there is no condition ...
10
votes
1answer
239 views

Which W*-algebras are the duals of C*-coalgebras?

A Banach algebra (assumed associative and unital) is precisely a monoid object in the monoidal category of Banach spaces, short linear maps, and the projective tensor product. A Banach coalgebra is ...
3
votes
2answers
450 views

Do semi-continuous functions generate bounded Borel measurable functions as a $C^*$-algebra?

This question is related to Question 2 of my previous posting. Question. Let $\mu$ be a Radon measure on a compact Hausdorff space $\Omega$ and $L^{\infty}(\Omega,\mu)$ the set of essentially bounded ...
4
votes
0answers
214 views

Extensions of completely positive mappings

I would like to ask the following two questions. Let $1_{\mathcal{H}}\in \mathcal{A}\subset\mathcal{B}\subset\overline{\mathcal{A}}^{SOT}\subset\mathbb{B}(\mathcal{H})$ be a sequence of ...
5
votes
1answer
452 views

The monotone closure of a $C^*$-algebra

Related to Jon's question, I have two questions. Let $\mathcal{A}$ be a concrete $C^*$-algebra on a Hilbert space $\mathcal{H}$. For any selfadjoint subset $S$ of $\mathbb{B}(\mathcal{H})$, let $S^m$ ...
2
votes
1answer
207 views

Function spaces over pseudocompact spaces

Let $K$ be a pseudocompact Tychonoff space that is, a Hausdorff $T_{3.5}$ space for which every continuous function $\varphi \colon K\to \mathbb{C}$ is bounded. Let $\beta$ be the Stone-Cech extension ...
5
votes
2answers
391 views

Bounded linear functionals and representations

Suppose that $A$ is a unital C$^*$-algebra and that $\varphi: A \to \mathbb{C}$ is a bounded linear functional. Then there exists a Hilbert space $H$, a representation $\pi: A \to B(H)$ and vectors ...
5
votes
1answer
201 views

States/functionals on crossed product C*-algebras

Let $A$ be a C*-algebra, $\alpha$ a strongly continuous automorphic action by a locally compact group $G$ on $A$, and consider the crossed product $A\rtimes_\alpha G$. I am looking for references ...
11
votes
1answer
402 views

Kuiper's theorem via approximation

Kuiper's theorem says that the unitary group $U(H)$ of a separable infinite dimensional Hilbert space $H$ is contractible, if it is equipped with the norm topology. Let's suppose, I do not know this ...
3
votes
1answer
302 views

When an AW*-algebra is a W*-algebra

In a very old book of Kaplansky "Rings of operators", on p. 123 one can find the following sentence: It is a standing conjecture that an AW${}^\ast$-algebra is W${}^\ast$ if its center is W${}^\ast$. ...
0
votes
1answer
200 views

simultaneously Approximated by self-adjoint elements.

We know that a $C^*$-algebra $A$ has real rank zero iff every self-adjoint element of $A$ can be approximated in norm by self-adjoint element with finite spectra. My question is: If we have two ...
3
votes
2answers
351 views

Polar decomposition in C*-algebras

A very nice feature of W*-algebras is the following: once you have an element $a$ of a W*-algebra $M$, and $a=u|a|$ (the polar decomposition), then $u\in M$. It seems that it carries over to ...
4
votes
1answer
233 views

Abelian sub-W*-algebras

Let $M$ be a von Neumann algebra which acts faithfully on a Hilbert space of density character $\kappa$ but does not on a Hilbert space of density character $\lambda<\kappa$ (that is, the density ...
10
votes
1answer
632 views

Does the hyperfinite II_1 factor admit two irreducible representations that are not unitarily equivalent?

Regarding the hyperfinite $II_{1}$ factor $R$ as $C^{*}$-algebra, is it known whether any two irreducible representations of $R$ are unitarily equivalent? If it is known that there exists a pair of ...
10
votes
0answers
425 views

Properties of orthogonality-preserving c.p. maps between $C^*$-algebras

Suppose that $A,C$ are $C^*$-algebras and $\phi:A \to C$ is a completely positive, orthogonality-preserving linear map. (Orthogonality preserving means: if $a,b \in A$ satisfy $ab=0$ then ...
8
votes
1answer
321 views

The Haar state on compact quantum groups $A_u(Q)$ and $A_o(Q)$

Let $Q\in GL_n(\mathbb{C})$. The free unitary quantum group is the universal $C^*$-algebra $A_u(Q)$ with generators $u_{ij},1\leq i,j\leq n$ and relations making $u=(u_{ij})$ as well as ...
2
votes
1answer
282 views

when does a $C^*$-algebra have no nonzero unital quotient?

In their paper: "Addition of $C^*$-algebra extensions", G. A. Elliott and D. E. Handelman have discussed some relation between traces and equivalence of projections in $M(A)$, where $M(A)$ is the ...
1
vote
2answers
355 views

Questions about special $C^*$-subalgebras and ideals.

Let $A$ be a $C^*$-algebra and $I$ be a two side closed (essential) ideal of $A$. Suppose that $p \in A\backslash I$ is a non trivial projection. Let $B=pIp$. My questions are: (1) Is $B$ a ...
4
votes
1answer
264 views

What's the link between the Toeplitz operators on H^2 and those used to define Cuntz-Pimsner algebras?

An alternate way to phrase this question might be, "How did the Toeplitz operators used in the definition of the Cuntz-Pimsner algebra come by their name?" or, "What's the relationship between the ...
8
votes
1answer
730 views

Matrices with entries in a $C^*$-algebra

Let $\mathcal{A}$ be a $C^\ast$-algebra. Consider vector space of matrices of size $n\times n$ whose entries in $\mathcal{A}$. Denote this vector space $M_{n,n}(\mathcal{A})$. We can define involution ...
9
votes
7answers
1k views

Positive but not completely positive?

The only example I know of a positive map which is not completely positive is the transpose map on $M_n(\mathbb{C})$. Of course, one can come up with minor perturbations of this (compose it with, or ...
10
votes
2answers
541 views

C*-algebras with bizzarre structure of projections

This is probably well-known to the experts but I could not find any answer neither in my head nor in the literature: Is there a (unital) C*-algebra such that its projections do not form a lattice ...
1
vote
2answers
286 views

ED compact $K$ such that $C(K)$ is not a dual Banach space

Almost every mathematician working in von Neumann algebras says that there are certainly extremely disconnected compact spaces $K$ such that $C(K)$ is not a dual space (they are not hyperstonean). ...
2
votes
1answer
645 views

Centralizers in C*-algebra

Let $a,b\in A$ be self-adjoint elements in $C^*$-algebra $A$ with equal centralizers, $\{x\in A; [a,x]=0\}=\{x\in A; [b,x]=0\}$. Can we say anything about the correspondence between $a$ and $b$? For ...
6
votes
2answers
297 views

Are the Drinfeld compact quantum groups simply connected ?

To fix notations : let G be simply connected simple compact group, and $U_q(\mathcal{G})$ the Drinfeld-Jimbo universal algebra quantization of its complexified algebra defined as usual, with q not ...
6
votes
3answers
831 views

A variant of the Stone-Weierstrass theorem?

I would like to ask specialists in C*-algebras if the following variant of the Stone-Weierstrass theorem is true. Suppose $A$ is a C*-algebra and $C$ is its center. Since $C$ is a commutative ...
6
votes
1answer
374 views

$c_0$-direct sum of $\mathcal{K}(\mathcal{H})$

Let $\mathcal{K}(\mathcal{H})$ be the C*-algebra of compact operators on a Hilbert space $\mathcal{H}$. I am interested in the ($c_0$-)sum $A=\sum \mathcal{K}(\mathcal{H})$ of countably many ...
7
votes
5answers
932 views

Do subalgebras of C(X) admit a description in terms of the compact Hausdorff space X?

In light of the well-known theorem of Gelfand that, bluntly put, ends up saying that unital abelian C*-algebras are the 'same' as compact Hausdorff topological spaces, I tried to compile a dictionary ...
6
votes
0answers
377 views

References for “folklore” on strong amenability of (group) C*-algebras?

[Apologies in advance for the prolixity - but I was unsure how much of the story is familiar.] $\newcommand{\ptp}{\widehat{\otimes}} \newcommand{\co}{\operatorname{co}} ...
1
vote
1answer
342 views

Algebraically simple Banach algebras

There are plenty of semi-simple Banach algebras - this broad class includes C*-algebras and algebras of bounded operators on a given Banach space. On the other hand, it seems unlikely to me that there ...
3
votes
2answers
424 views

Galois cover via C star algebras

Hello to all, here's my question, I hope it's not too trivial. I haven't found reference for it so far. We know that abelian C star algebras are the same as locally compact spaces. Now what is the ...
35
votes
1answer
2k views

What is the current status of the Kaplansky zero-divisor conjecture for group rings?

Let $K$ be a field and $G$ a group. The so called zero-divisor conjecture for group rings asserts that the group ring $K[G]$ is a domain if and only if $G$ is a torsion-free group. A couple of good ...
7
votes
0answers
282 views

Quantum Braid Group

Recently I learned the definition of the quantum permutation group $A_s(n)$, which starts from the fundamental representation by permutation matrices and exchanges the entries by noncommuting ...
18
votes
2answers
770 views

Does left-invertible imply invertible in full group C*-algebras (discrete case)?

The following question/problem has been bugging me on and off for some time now: so I thought it might be worth broaching here on MO, as a case of "ask the experts". Let $G$ be a discrete group. ...
2
votes
1answer
385 views

proper action and amenable action

We say that an action of a (discrete) group G on a locally compact space X is called proper if the map from $G\times X$ to $X\times X$ defined by $(g,x)\mapsto (gx,x)$ is proper. Why is a proper ...
2
votes
0answers
237 views

Six term exact sequence In E-theory

I just want to know whether the two six term exact sequences in E-theory is true for nonseparable C*-algebras. We know already if the first varible is complex number, then we get six term exact ...
4
votes
1answer
397 views

Crossed product of a non unital C*-algebra

Let $X$ be a locally compact space, and let $T:X\rightarrow X$ be a homeomorphism. Then \begin{align*} &\alpha:C_0(X)\rightarrow C_0(X)\\\ &\alpha(f)=f\circ T \end{align*} is an automorphism. ...
1
vote
1answer
447 views

Pairwise orthogonal projections in C*-algebras

Is every non-zero projection in a C*-algebra $A$ a supremum or infimum (at least majorized by / majorizes) a family of pairwise orthogonal non-zero projections in $A$? PS. Are there any cheap ways ...
7
votes
2answers
629 views

Solving the equation $xax=b$ in a C*-algebra.

Let $a, b\in A_+$ be positive elements of some C*-algebra $A$. Assume furthermore that $a$ is invertible. Is it true that $$ \exists! x\in A_+\quad:\quad xax=b\quad ? $$ Already in the case ...
1
vote
1answer
254 views

Products on the K-theory of graded C*-algebras

One can define products on the K-theory of graded C*-algebras as in http://web.me.com/ndh2/math/Papers_files/Higson,%20Guentner%20-%202004%20-%20Group%20C*-algebras%20and%20K-theory.pdf on page 152, ...
6
votes
2answers
958 views

Space of compact operators

I am interested in the Banach space $\mathcal{K}=\mathcal{K}(\ell^2)$ of compact operators on $\ell^2$, however my questions can be stated for any $\mathcal{K}(E)$, where $E$ is an arbitrary Banach ...
0
votes
1answer
260 views

The stabilized homotopy category of graded C* algebra

Hi everyone On page 147 of the note "Group C*-Algebras and K-theory" by N.Higson and E.Guentner there are something about the stabilized homotopy category of graded C* algebra, which is a category ...
2
votes
1answer
339 views

When C(K) is closed in sigma strong topology?

Fix a compact Hausdorff space $K$ and think about $C(K)$ as a C*-algebra acting on a Hilbert space $H$. Suppose that $C(K)$ is closed in $\mathcal{B}(H)$ in: $\sigma$-strong $\sigma$-strong* ...
0
votes
0answers
170 views

Grading on Multiplier Algebras

A graded C*-algebra A is inner-graded if there exists a self-adjoint unitary $\varepsilon$ in the multiplier algebra M(A) of A which implements the grading automorphism $\alpha$ on A: ...