Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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].

3
votes
0answers
58 views

Hilbert space separability for spectral triples

A spectral triple $({\cal A},{\cal H},D)$ consists of a unital $*$-algebra ${\cal A}$ represented as bounded operators on a Hilbert space ${\cal H}$, together with an unbounded operator $D$ having ...
1
vote
0answers
115 views

Idempotents in Group Algebras

What is known about idempotents in Lie group algebras (such as on the classical Lie groups)? Specifically the self-adjoint ones. Is there anything interesting to say? I haven't been able to find much ...
2
votes
1answer
49 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 ...
1
vote
0answers
69 views

An example of a sequence of finite projections

Let $A$ be a vn-algebra. Suppose that $x$ is an isometry with $\inf_{n\geq1} x^nx^{*n}=0$ (Note that $x^nx^{*n}$ are all projections). Let $e$ be a (non-zero) finite projection and put $q_n$ to be ...
3
votes
0answers
47 views

Characterizing fullness of a von Neumann algebra by the topology of its bimodules

Let $\mathcal{M}$ be a $\mathrm{II}_1$ factor. Among other characterizations, it is said to be full iff the adjoint map: $$ \mathrm{Ad}: U(\mathcal{M})/\mathbb{T} \longrightarrow \mathrm{Aut}(\...
0
votes
1answer
78 views

Does Borel functional calculus commute with *-isomorphism?

I am confused with the underlined equation in the following picture. I know that a *-isomorphism commutes with continuous functional calculus since every continuous functions on the compact subset of ...
2
votes
1answer
77 views

Closeness of points in the irreducible decomposition of a C$^{*}$-algebra representation

Suppose $X$ and $Y$ are compact metric spaces. Let $\varphi\colon C(X)\to M_{n}(C(Y))$ be any $*$-homomorphism. If $\pi$ is an irreducible representation of $M_{n}(C(Y))$, then $\pi$ is unitarily ...
3
votes
1answer
112 views

How rich the group of unitary elements in a von Neumann algebra to get “Murray-von Neumann” equivalence?

Denote by $\sim$ the "Murray-von Neumann" equivalence in the projection lattice of a von Neumann algebra. It is well known that in a finite von Neumann algebra the equivalence of projections can be ...
6
votes
0answers
115 views

Schröder–Bernstein for representations of operator algebras

This is claimed in a Wikipedia Article: If two representations (of a $C^*$-algebra $A$) $\rho$ and $\sigma$, on Hilbert spaces $H$ and $G$ respectively, are each unitarily equivalent to a ...
4
votes
1answer
119 views

Extending maps from dense $*$-algebras of $C^*$-algebras

Given $\cal{A},\cal{B}$ two dense $*$-algebras of two $C^*$-algebras $A$ and $B$ respectively, together with a $*$-algebra homomorphism $f:\cal{A} \to \cal{B}$, is it clear that $f$ extends to a ...
1
vote
1answer
227 views

finite dimensional C*-algebras

Let $A$ be a C*-algebra. Suppose that every cyclic representation of $A$ is finite dimensional. Q. Is $A$ finite dimensional?
6
votes
1answer
160 views

is the conditional expectation faithful?

Let $G$ be locally compact group and let $H$ be a open subgroup in $G$. Then the full group $C^*$-algebra of $H$, $C^*(H)$, is a subalgebra of $C^*(G)$ and there is a conditional expectation $$E\colon ...
5
votes
1answer
147 views

Generator of $K_0(C_0(\mathbb{C}))$

$\newcommand{\C}{\mathbb{C}}\newcommand{\Z}{\mathbb{Z}}$ I know from Bott-periodicity that $K_0(C_0(\mathbb{C}))\simeq \Z$, is there any easy way to compute an explicit generator of $K_0(C_0(\mathbb{C}...
4
votes
0answers
38 views

Non-existence of projections in crossed product

If $X$ is a smooth manifold on which a Lie group $G$ acts properly and cocompactly (meaning $X/G$ is compact), then one can find a compactly support cut-off function $c:X\rightarrow\mathbb{R}$ such ...
3
votes
1answer
151 views

Pure infiniteness of tensor product $C^\ast$-algebras

I found the following theorem (Proposition 4.5) in the paper of E. Kirchberg and M. Rørdam: Non-simple purely infinite $C^\ast$-algebras. Amer. J. Math. 122(3) (2000), 637-666 (MR1759891, jstor, ...
4
votes
1answer
201 views

A precise definition of contractible Banach algebras

I asked this question at MSE but I did not received any answer. So I ask it here at MO I am sorry if this question is elementary: What is a precise definition of a contractible Banach ...
3
votes
2answers
346 views

Is the ideal property of $X^{**}$ inheritable to $X$?

Let $X$ be an operator space such that there is a weak$^*$-continuous complete isometry $\phi$ from its second dual $X^{**}$ into a $W^*$-algebra $M$ in which $\phi(X^{**})$ is a (necessarily weak$^*$-...
4
votes
1answer
172 views

Relation between maximal and reduced group $C^*$-algebras

Let $G$ be a Lie group and $C_r^*(G)$ and $C^*(G)$ be its reduced and maximal group $C^*$-algebras respectively. The left-regular representation of a group $G$ induces a surjective map $$\lambda_G:C^...
3
votes
1answer
222 views

Is every nontrivial idempotent in the Cuntz algebra, a commutator element?

Is it true to say that every nontrivial idempotent in the Cuntz algebra $\mathcal{O}(n)$ is a commutator element?(Or a linear combination of commutator elements?)
1
vote
1answer
159 views

Simple $C^*$ algebras whose all commutator elements have scalar square

Is there a simple $C^*$ algebra $A$, not isomorphic to $M_2(\mathbb{C})$, such that for every commutator element $x=ab-ba$, $x^2$ is an scalar element?
7
votes
1answer
300 views

Open projections and Murray-von Neumann equivalence

Let $\mathcal{A}$ be a $C^*$-algebra and $p\in\mathcal{A}^{**}$ be an open projection, that is, $p=p^*=p^2$ and $p\in\overline{(p\mathcal{A}^{**}p\cap\hat{\mathcal{A}})}^{\operatorname{w}^*}$, where $\...
1
vote
0answers
96 views

The groupoid $C^*$ algebra associated to a certain groupoid

Let $\mathbb{N}$ be the set of all natural numbers. We define a groupoid structure on $\mathbb{N}^{\mathbb{N}}$ as follows: We put $G^1=\mathbb{N}^{\mathbb{N}},\;G^0 =\{(a_n)\in G^1\mid a_{2n-1}=...
3
votes
1answer
115 views

Solvability of a certain functional equation in simple $C^*$ algebras

For which simple unital $C^*$ algebras does the following functional equation have a solution: $$ d^2=0,\;{(d+d^*)}^2=1$$ The Calkin algebra and $M_{2n}(\mathbb{C})$ are some examples. It is not ...
2
votes
1answer
157 views

Regarding spectral radius

Let $A$ be a $C^*$ algebra. Let $a\in A$ be such that $a^*a-aa^*\geq 0$. Doe this imply that the spectral radius of $a$ is equal to $\|a\|$?
5
votes
0answers
103 views

When is K0 of a C* algebra finitely generated?

Are there workable conditions that imply that $K_0(A)$ is finitely generated, for a noncommutative unital C* algebra $A$. My actual question is in fact much more specific than this: Is it possible ...
1
vote
1answer
123 views

The product of two controlled operators is also a controlled operator

The following picture is lemma 4.23 in Lectures on Coarse Geometry by John Roe: I guess the $E_i$ in the centered formula is $X_i$. Does Roe mean that $X_j\cap \mathrm{Supp}(u)=\emptyset $ implies $\...
3
votes
1answer
111 views

C*-algebras: Existence of an element inducing an injective map

I'm wondering if the following statement is true: Let $A$ be a $C^*$-algebra and $\phi: A\rightarrow A$ be a $*$-homomorphism. Is there always an element $a\in A$ such that the map $\left\{ \phi^{n}:=...
4
votes
1answer
103 views

Full spectrum positive elements of a $C^*$-algebra

I would like to know criteria for a C*-algebra $A$ to have a positive contraction $a$ with full spectrum, ie $\sigma(a) = [0,1]$. I am particularly interested in the simple case. I believe that if a C*...
5
votes
0answers
51 views

C*-algebra of a singular surface foliation

Noncommutative geometry associates a $C^*$-algebra $C^*(S,{\cal F})$ with a foliation $\cal F$ on a manifold $S.$ Did somebody study this construction for noncompact surfaces $S$? What I am really ...
7
votes
1answer
203 views

Homomorphism to multiplier algebra of groupoid $C^\ast$-algebra

If I have a functor $X\to Y$ between topological groupoids with appropriate Haar measures, such that $X_0 \to Y_0$ is injective and a homeomorphism onto its image, then I should have (or rather, I ...
3
votes
1answer
85 views

an inverse semigroup (and perhaps a $C^*\!$-algebra) associated with a directed graph

The following inverse semigroup associated to a directed graph came up in my research. I've read that from an inverse semigroup one may derive a $C^*\!$-algebra whose generators are partial isometries ...
7
votes
1answer
149 views

Factor traces of the Temperley-Lieb algebra

Given $\delta\in\mathbb C$, let $A(\delta)$ denote the complex unital $*$-algebra generated by an identity $1$ and selfadjoint elements $e_k$, $k\in\mathbb N$, satisfying $e_k^2=\delta e_k$, $e_ke_l=...
18
votes
1answer
608 views

Are algebraically isomorphic $C^*$-algebras $*$-isomorphic?

If A and B are C^*-algebras that are algebraically isomorphic to each other, does this imply that they are *-isomorphic to each other?
2
votes
2answers
238 views

Finitely generated $K_0$ of $C^*$-algebras

Let $A$ and $B$ be $C^*$-algebras. Let $A_0$ be a dense *-subalgebra of $A$, and let $B_0$ a dense *-subalgebra of $B$. Assume that $A_0$ is isomorphic to $B_0$. Finally, assume that $K_0(A)$ is ...
0
votes
1answer
111 views

A property of compact topological space via certain $C^*$ embedding in operator algebras

Assume that $A$ is a unital $C^*$ algebra. Is there a $C^*$ embedding of $A$ in some $B(H)$ whose image is a hereditary $C^*$ subalgebra of $B(H)$? If not, is the answer affirmative when $A$ is ...
4
votes
0answers
93 views

Modules of algebras with idempotents and the Stone-von Neumann theorem

The Stone-von Neumann theorem tells us that all unitary irreducible representations of the integrated/exponentiated/Weyl form of the canonical commutation relations (CCR) algebra in finite dimensions ...
3
votes
1answer
119 views

Algebraic tensor product of C*-algebras extends via ideals? Application to restriction theorem?

Is the following assertion and the proof below correct, or am I missing something very important? Moreover, would the corollaries be correct then? Besides, I would also appreciate a lot any comment, ...
2
votes
0answers
148 views

An operator valued Egoroff's theorem

The following statements suggests $B(H)$-valued Egoroff's theorem when $H$ is a separable Hilbert space. Probably it will be hold even if a von Neumann algebra $M$ whose predual is separable is ...
2
votes
1answer
155 views

Enveloping $C^*$-algebra

Consider a finite dimensional $C^*$-algebra $\cal{A}$. Is there any enveloping $C^*$-algebra $\cal{C^*(G)}$ such that $\cal{A}\cong C^*(G)$ for some locally compact group $\cal{G}$? (Note that "$\...
2
votes
1answer
169 views

Closed two-sided ideals in $C(X,M_n)$

As is known (see Kadison-Ringrose, 3.4.1) each closed ideal $I$ in the $C^*$-algebra $C(X)$ of continuous functions on a compact space $X$ has the form $$ I=\{f\in C(X): \ \forall x\in S\quad f(x)=0 \}...
2
votes
0answers
146 views

Extension of Coburn's theorem on isometry and Toeplitz algebra

Let $H$ be a Hilbert space, and $X \in B(H)$ a proper isometry (i.e. $X^{\star}X = id$ and $XX^{\star} \neq id$). Coburn's theorem states that ${\rm C}^{\star}(X)$, the ${\rm C}^{\star}$-algebra ...
3
votes
1answer
106 views

Extensions of sub-homogeneous $C^*$-algebras are subhomogeneous

Definition: A $C^*$-algebra $A$ is called sub-homogeneous if there exists $n\in\mathbb{N}$ such that every irreducible representation of $A$ has dimension at most $n$. I could not find a proof or a ...
0
votes
0answers
99 views

Continuity under various topologies for positive linear functionals

It is known that if $\mathcal A$ is a unital $\mathbb C$-$*$-algebra and $A$ is a unital subalgebra closed under $*$, and if $f : A \to \mathbb C$ is linear, then $f$ is positive if and only if $f$ is ...
9
votes
0answers
139 views

Masas in SAW*-algebras

I asked this question three years ago at MSe but it has no response; let me try here. Pedersen distilled the following class of C*-algebras which he termed SAW*-algebras (Journal of Operator Theory, ...
1
vote
1answer
100 views

Dualizing the trivial action on a $C^*$-algebra

Let $G$ be a finite abelian group (cosidered as a discrete topological group), $A$ a unital separable $C^*$-algebra. Let $T\colon G\to \operatorname{Aut}(A)$, $T_g(a)=a$ for all $g\in G$ the trivial ...
6
votes
1answer
214 views

Non-invertible version of unitary intertwiners between correspondences of $C^\ast$-algebras

There is a version of the Eilenberg-Watts theorem for $C^\ast$-algebras, where functors between appropriate module categories correspond to what are called 'correspondences' of $C^\ast$-algebras. ...
5
votes
0answers
164 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)$ (we can have $n=...
0
votes
1answer
126 views

C*-algebra of free monogenic inverse semigroup

Let us take the right shift operator $S$ acting on the Hilbert space $l^2(\mathbb{N})$. Consider the C*-algebra generated the operator $ \begin{pmatrix} S & 0 \\ 0 & S^* \end{pmatrix} $ ...
1
vote
0answers
39 views

Characterizing (minimal) tensor product inside Hilbert C*-module

Let $A$, $B$ be C$^*$-algebras, $\mu$ be a state on $B$ and $\mathcal{I}$ be a family of ideals in $A$. Let $I_0:=\cap_{I\in\mathcal{I}} I$ and put $A_0:=A/I_0$. Consider the minimal tensor product on ...
2
votes
1answer
117 views

Existence of an integrable representation

An irreducible continuous unitary representation $\pi$ of $G$ is said to be integrable, if the map $\phi(x)=\langle\pi(x)\zeta,\zeta\rangle$ is integrable on $G$, where that $\zeta\in H(\pi)$. ...