The subject of operator algebras is primarily C*-algebras and von Neumann algebras, and associated topics. It also includes more general algebras of operators on Hilbert space, and may include algebras of operators on other topological vector spaces. It is related to but distinct from the subjects ...

learn more… | top users | synonyms (1)

1
vote
1answer
20 views

Strong operator sum of corner projections is a normal map

Suppose that we are given a Hilbert space $H$ with an orthogonal basis $(e_i)_{i\in I}$ and let $P_i$ denote the projection of $H$ onto $\mathbb{C}e_i$. Then we can consider the map ...
0
votes
1answer
21 views

Images of unitaries

Let $n\geqslant 0$. Suppose that $U$ is a unitary matrix in $M_n$ and there are two unital ${}^\ast$-homomorhpisms $\pi_1\colon M_n\to A, \pi_2\colon M_n \to B$, where $A,B$ are C*-algebras such that ...
2
votes
1answer
27 views

Unit in the image of a cp map

This is another question which looks non-trivial to me. Suppose that we have a completely positive map $f\colon M_n \to M_m$ such that $f(a) = I_m$, the identity matrix on $M_m$. Is there a positive ...
0
votes
1answer
38 views

The direct sum of two nuclear C*-algebra

Recall: Definition 2.1.2 If $A$ is a C*-algebra and $N$ is a von Neumann algebra, a map $\theta:A \rightarrow N$ is called weakly nuclear if there exist c.c.p. maps $\phi_{n}: A\rightarrow ...
1
vote
1answer
57 views

Question about the essential spectrum of a negative difinite operator

please on an infinite dimensional Hilbert space how to difine the essential spectrum of an operator which is negative definite ??? Please help me Thank you.
0
votes
0answers
17 views

Tensor product decomposition for algebras with non trivial center

I have a question regarding operator algebras with non-trivial center. This is with regard to defining entanglement entropy in gauge theories. Suppose there exists an algebra of operators associated ...
2
votes
1answer
34 views

Are contractive completely positive maps trace decreasing?

Are contractive completely positive maps trace decreasing? More precisely, suppose that $f\colon M\to N$ is a normal cpc map between von Neumann algebras with normalised normal traces. (That is ...
0
votes
1answer
29 views

An exercise about nuclear C*-algebra

Definition 2.3.1. A C*-algebra $A$ is nuclear if the identity map id$_{A}:A \rightarrow A$ is nuclear. Exercise 2.3.7. If for each finite set $F\subset A$ and $\epsilon>0$ one can find a nuclear ...
1
vote
1answer
50 views

A question about nuclear C*-algebra

Definition 2.3.1. A C*-algebra $A$ is nuclear if the identity map $id_{A}: A\rightarrow A$ is nuclear. Definition 2.3.2. A C*-algebra $A$ is exact if there exists a faithful representation $\pi:A ...
1
vote
0answers
22 views

A question on the completely positive maps and manifold structure

I was reading a paper in which the curvature and Euler characteristic of a completely positive map (in finite dimensions). Let \begin{equation} \Phi(X)=\sum_{j=1}^nV_jXV_j^* \end{equation} be a ...
1
vote
1answer
27 views

Proof trick for C*(F$_2$) has finite dimension faithful representations

The image is from the C*-algebras by Example by Kenneth R. Davidson, here F$_2$ is the free product of Z$_2$ and Z$_3$. I have two questions: 1) Why do we have the matrices U$_n$ and V$_n$, I guess ...
0
votes
2answers
41 views

A proof of a basic conclusion in operator algebra

There is a quotation below: (in a book named "C*-algebras Finite-Dimensional Approximations") Lemma 2.3.4. Let $A$ be a Banach space, $\mathbb{B}(A)$ be the space of all bounded linear maps from $A$ ...
1
vote
1answer
42 views

Commutator proof

I have a proof in my book I dont fully understand. The author is proving that if $[A,B]=1$ then $[A,B^n]=nB^{n-1}$. The proof is really short, it is only one line of equations, but I dont understand ...
0
votes
1answer
30 views

A question about hereditary C*-subalgebra

Let $X$ be a locally compact Hausdorff space and $C_{0}(X)$ be the set of all continuous functions vanishing at infinity My question is : If $P\in M_{n}(C_{0}(X))$ is a projection, then ...
3
votes
1answer
47 views

A isomorphism between C*-algebras

Let $A$ be a C*-algebra and $J\triangleleft A$ be an ideal, then $A^{**}\cong J^{**}\oplus(A/J)^{**}$ ? Why?
0
votes
1answer
24 views

A question about ultraweakly dense

Let $A$ be a c*-algebra, then the positive elements in $M_{n}(A)$ are ultraweakly dense in the positive part of $M_{n}(A^{**})$. I do not know how to prove this conclusion. Could someone show me more ...
1
vote
1answer
46 views

Can anyone give an example of two stably equivalent projections that are not Murray Von Neumann equivalent?

Two projections $P$, $Q$ are MvN equivalent in $C^*$-algebra $A$ when there is an element $u\in A$ such that $uu^*=P$ and $u^*u=Q$, and two projections $P$, $Q$ are stably equivalent if $P\oplus ...
0
votes
1answer
30 views

A simple question on predual in C*-algebra

Let $A$ be a C*-algebra, then $A^{*}=(A^{**})_{*}$? Here, $(.)_{*}$ denotes the predual of $(.)$.
0
votes
1answer
50 views

A question about utilizing Hahn-Banach theorem

There is a quotation below: Let $A$ be a Banach space, $\mathbb{B}(A)$ be the space of all bounded linear maps from $A$ to $A$ and $C\subset \mathbb{B}(A)$ be any convex set. If a net ...
2
votes
0answers
24 views

Space of operators on function

Consider the following space of operators on function of $n$-variables $A= Span \{x_ix_j\ , x_i \frac{\partial}{\partial x_j} , \frac{\partial^2}{\partial x_i \partial x_j} , i,j=1,2,\cdots,n\}$. ...
0
votes
1answer
32 views

Completely positive maps between matrix algebras

Let $n<m$ be natural numbers and consider the C*-algebras $M_n$ and $M_m$ of matrices. Suppose that $f\colon M_n\to M_m$ is a a completely positive (linear) map. Is it true that ...
0
votes
1answer
25 views

Interchange exponential of operators in quantum mechanics

What is the formula for interchanging products of exponential operators in quantum mechanics., i.e. I want to write $e^Ae^B = e^{B+...}e^A$
1
vote
2answers
55 views

An approximation question on projections

Suppose $\{p_i\}_{i=1}^{m}$ are projections in the d by d matrix algebra $A$ over the complex numbers and satisfy the following condition: $||Id-\sum_{i=1}^m{p_i}||_2<c$, $||p_ip_j||_2<c, ...
1
vote
1answer
30 views

An easy question about contractive completely positive map

Recall that a map $\phi: M\rightarrow N$ of von Neumann algetras is normal if $$\phi(sup x_{i})=sup\phi(x_{i})$$ for all norm bounded, monotone increasing nets of self-adjoint elements ...
1
vote
1answer
32 views

An exercise about the definition of nuclear maps

Definition 2.1.1 Let $A, B$ be the C*-algebra, a map $\theta: A\rightarrow B$ is called nuclear if there exist contractive completely positive maps $\phi_{n}: A\rightarrow M_{k(n)}(\mathbb{C})$ and ...
0
votes
1answer
25 views

A question on extension of contractive completely positive map

Assume $A$ is a nonunital C*-algebra, $B$ is a unital C*-algebra and $\phi:A \rightarrow B$ is a contractive completely map. Then $\phi$ can extend to a unital completely positive map $\bar{\phi}: ...
3
votes
2answers
49 views

Why $ \|x^* x \| = \|x\|\|x^*\|$ is equivalent to $\|xx^*\| = \|x\|^2$ in the definition of $C^*$ algebra?

I read the definition of $C^*$ algebra in Wikipedia where it says $\|x^* x \| = \|x\|\|x^*\|$ is equivalent to $\|xx^*\| = \|x\|^2$ but I do not know why. Can you show me how to derive $\|xx^*\| = ...
0
votes
1answer
32 views

Double adjoint map in C*-algebra

There is a quotation below: Assume $A$ is nonunital C*-algebra and $B$ is unital C*-algebra and $\phi: A\rightarrow B$ is a contractive completely positive map. Consider the double adjoint map ...
2
votes
1answer
24 views

Is the von neumann algebra of locally compact amenable group hyperfinite?

Let $G$ be a discrete group and $\mathcal{L}(G)$ the associated von Neumann algebra. It is well known that $G$ is amenable if and only if $\mathcal{L}(G)$ is hyperfinite. Does there exist a ...
2
votes
1answer
26 views

The comprehension of a paragraph about point-ultraweak convergence

There is a quotation below (in the book "C*-algebras and Finite-Dimensional Approximations") Remark 2.1.3. It follows from Sakai's predual uniqueness theorem that when checking point-ultra weak ...
0
votes
1answer
23 views

A question about completely positive map

Let $A$ be a unital C*-algebra and $\phi: A\rightarrow M_{n}(\mathbb{C})$ be a completely positive map. If $P$ denotes the projection onto the kernel of $\phi(1_{A})$ and $P^{\perp}=1-P$ is the ...
3
votes
1answer
61 views

An exercise of positive element in C*-algebra

Let $A$ be a unital C*-algebra and $\{b_{n}\}$ be a positive invertible sequence in $A$. If $||1_{A}-b_{n}||\rightarrow 0$, can we conclude $||1_{A}-b_{n}^{-\frac{1}{2}}||\rightarrow 0$ ?
1
vote
1answer
42 views

The matrix in C*-algebra

Let $A$ be a C*-algebra and $A^{**}$ be the double adjoint of $A$. Can we conclude $M_{n}(A^{**})\cong (M_{n}(A))^{**}$?
3
votes
1answer
59 views

Biprojective $C^*$-algebra

Let $A$ be a Banach algebra. Define $\Delta:A\hat{\otimes}A\to A$ with $\Delta(\sum_{n=1}^\infty a_n\otimes b_n)=\sum_{n=1}^\infty a_nb_n$. Now $A$ is called biprojective if there exists a bounded ...
2
votes
1answer
47 views

A question on double dual of C*-algebra

Let $A, B$ be the C*-algebra. Assume $A$ is nonunital, $B$ is unital and $\phi: A \rightarrow B$ is a contractive completely positive map. Then we consider the double adjoint map $\phi^{**}: ...
1
vote
1answer
47 views

An exercise about nuclear map Von Neumann algebra

There is a quotation below: Let $M\subset B(H)$ be a von Neumann algebra and $\{P_{i}\}_{i\in L}$ be a net of finite-rank projections which increases to the identity (in the strong operator ...
2
votes
1answer
44 views

The spectrum of the operators

Let $X, Y$ be the Banach space, and $T_{1}: X\rightarrow X$ and $T_{2}: Y\rightarrow Y$ be the bounded linear operators. Then what is the relationship between $\sigma(T_{1})$, $\sigma(T_{2})$ and ...
2
votes
1answer
51 views

An exercise on nuclear maps in C*-algebra

Definition 2.1.1 Let $A, B$ be the C*-algebra, a map $\theta: A\rightarrow B$ is called nuclear if there exist contractive completely positive maps $\phi_{n}: A\rightarrow M_{k(n)}(\mathbb{C})$ and ...
0
votes
1answer
37 views

The norm of operator matrix

Let $H$ be a Hilbert space and $B(H)$ be the bounded linear operator on $H$, for $T\in B(H)$, if $T=\left(\begin{array}{ccc} 0 & B \\ A & 0 \\ \end{array}\right)$ on $H=M\oplus ...
0
votes
1answer
28 views

The convergent in the point-ultraweak topology

Let $A$ be a C*-algebra , $B(H)$ be the bounded linear operator on Hilbert space $H$ and $P_{i}\in B(H)$ be an increasing net of finite-rank projections which converge to the identity in the strong ...
1
vote
1answer
43 views

The operator matrix on Hilbert space

Let $H$ be a Hilbert space and $P$ be the projection operator, then $H= P(H)\oplus (1-P)(H)$. Hence, for each $T\in B(H)$, we have $$T=\left(\begin{array}{ccc} PTP & PT(1-P) \\ (1-P)TP ...
3
votes
1answer
29 views

A easy question on projection operator

Let $H$ be a Hilbert space and $B(H)$ be all the bounded linear operators on $H$, for arbitrary $T\in B(H)$, if $\{P_{i}\}$ is an increasing net of finite-rank projection, can we conclude $P_{i}TP_{i} ...
3
votes
1answer
73 views

Projection operator in Hilbert space

Let $H$ be a Hilbert space, can we find an increasing net of finite rank projections which converge to the identity in the strong operator topology? And I think if $H$ is separable, we can find an ...
0
votes
1answer
35 views

Normal completely positive map in C*-algebra

Let $A$ be a C*-algebra, for a linear map $\phi: A\rightarrow M_{n}(\mathbb{C})$, we define a linear functional $\bar{\phi}$ on $M_{n}(A)$ by ...
1
vote
1answer
43 views

Approximately unitarily equivalent in C*-algebra

There is a quotation below: Definition 1.7.2. Two maps $\pi: A\rightarrow B(H)$ and $\sigma: A\rightarrow B(K)$ are called approximately unitarily equivalent if there is a sequence of unitary ...
4
votes
1answer
65 views

A question about essential representation in C*-algebra

There is a quotation of a book "C*-algebras Finite-Dimensional Approximations" below: Definition 1.7.4. A representation $\pi: A \rightarrow B(H)$ is called essential if $\pi(A)$ contains no nonzero ...
2
votes
1answer
79 views

A question on simple and unital $C^\star$-algebra

There is a quotation of a book "$C^\star$-algebras Finite-Dimensional Approximations" Definition 1.7.4. A representation $\pi: A \rightarrow B(H)$ is called essential if $\pi(A)$ contains no nonzero ...
4
votes
0answers
70 views

Reduced $C^*$-algebra of a direct product of locally compact groups

Is it true that $$C^*_r(G_1\times G_2)=C^*_r(G_1)\otimes_{\min}C^*_r(G_2)$$ for locally compact groups $G_1$ and $G_2$? I have managed to prove that it holds for discrete groups (see below), but as ...
0
votes
1answer
63 views

A proposition about Voiculescu's Theorem in C*-algebra

It is the quotation below: Exploiting the duality between completely positive map $A \rightarrow M_{n}(C)$ and states on $M_{n}(A)$, it is not too hard to deduce the next result from Glimm's lemma. ...
2
votes
1answer
98 views

Arveson's Extension Theorem in C*-algebra

I am reading a book C*-algebra and finite-Dimensional Approximations. There are two conclusions (in the book) below. Corollary 1.5.16. Let $E\subset A$ be an operator subsystem and $\phi: E ...