Tagged Questions

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

22
votes
1answer
440 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
308 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 ...
7
votes
2answers
255 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 ...
3
votes
1answer
292 views

Amenability at infinity

I have a few questions about amenability at infinity for locally compact, second countable, Hausdorff topological groups. Recall that a locally compact group $G$ is said to be amenable at infinity if ...
7
votes
1answer
344 views

Trace Class Functions on locally compact groups

Let $G$ be a locally compact subgroup, $\mu$ a Haar-measure. For $f \in L^1(G)$, and for $\pi$ a unitary, topology irreducible, representation of $G$ on an Hilbert space $H_\pi$, it is customary to ...
6
votes
1answer
249 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 ...
7
votes
2answers
439 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
903 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
309 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
392 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. ...
8
votes
2answers
311 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
102 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
177 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
268 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
380 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
335 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
504 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
240 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
465 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
458 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
208 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
405 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
202 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
416 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
304 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
201 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
368 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
234 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
641 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
431 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
339 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
285 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
357 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
266 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
741 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
554 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
297 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
648 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
300 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
847 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
379 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
944 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
378 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
350 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
425 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
292 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 ...
19
votes
2answers
785 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. ...