# Tagged Questions

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

29 views

### Path of completely bounded maps has uniformly bounded cb norm?

If $\phi_t:A\rightarrow B$ is completely bounded for $t\in[0,1]$, and $t\mapsto\phi_t(a)$ is continuous for each $a\in A$, is $\sup_{t\in[0,1]}||\phi_t||_{cb}$ finite? Here, $A$ and $B$ are operator ...
34 views

### Von Neumann algebras with uncountable sets of incompatible projections

Which von Neumann algebras acting on separable Hilbert space $H$ have uncountable antichains of projections? ("Antichain" meaning a set of projections any pair of which has no shared nonzero ...
40 views

48 views

### Prove: the density operator of a pure state has exactly one non-zero eigenvalue equal to unity

What is the proper way of proving : the density operator $\hat{\rho}$ of a pure state has exactly one non-zero eigenvalue and it is unity, i.e, the density matrix takes the form (after diagonalizing):...
37 views

### nilradical of a finite-dimensional algebra

I'm trying to understand/solve an exercise problem in "Algebras of linear transformations" by Farenick. The following is the problem: [exercises 4.6-5] Let $\mathfrak{A}$ be a finite-dimensional ...
42 views

### Fokker-Planck derivation. Path integral?

I am trying to understand the development of Fokker-Planck equation as is described here. Unfortunately, I cannot understand how the first equation on page 4, \begin{multline} \frac{1}{2} \int_0^...
33 views

### Can anyone prove this equation? (Eq. with operators)

I am trying to understand the last equation from page 2 of this pdf http://physics.gu.se/~frtbm/joomla/media/mydocs/LennartSjogren/kap7.pdf but I am not being able to develop as here it says. Could ...
43 views

### direct sum of a collection of Von-Neuman algebras is still Von-Neuman

If {Aα} be a collection of some Von Neuman algebras then their direct sums is still Von Neuman ? I can prove that if Aα are unital then (⊕ Aα)= (⊕ Aα)" that is because of the fact that (⊕ Aα)'= ⊕(Aα'...
61 views

### Prove $e^{i\alpha\hat{X}}=\cos(\alpha)I+i\sin(\alpha)\hat{X}$ if $\hat{X}^{2}=I$.

If we have an operator $\hat{X}$ such that $\hat{X}^{2}=I$ (the identity), how do we prove that: $$e^{i\alpha\hat{X}}=\cos(\alpha)I+i\sin(\alpha)\hat{X} \ ?$$
33 views

### positive elements of $C^*$-algebra

If $A$ is a abelian $C^*$-algebra and $a,b$ are elements in $A$ such that $0‎\leq ‎a‎\leq ‎1,0‎\leq ‎b‎\leq ‎1‎‎$ then $0‎\leq ‎a‎b\leq ‎1‎$. My problem is:" Is it true if $A$ is not abelian?"
55 views

### States on a $C^*$-algebra

I know that if $A$ is a non-zero and unital $C^*$-algebra then $S(A)$ (the set of states on it) is weak${}^*$ compact. My problem is: Does the same hold if $A$ is not unital?
37 views

### Why is a von Neumann algebra is closed with respect to weak * topology?

I was trying to prove that the identity map between a von Neumann algebra $(A,\mbox{ultra weak topology})$ with respect to ultra weak topology and the von Neumann algebra $A$ with respect to weak* ...
49 views

### Ultra weakly continuous linear functional on von neuman algebras

I started to learn von Neumann algebras and I wonder about the proof of the following. Can anyone outline it? this is theorem 4.2.10 in Murphy's book: A linear functional $\tau$ on von Neuman ...
29 views

### inner product and hermitian matrices

One of my professors mentioned that since a matrix A is positive semi definite and B is hermitian, hence the inner product $<A,B>$ is real. Is this an if and only if condition? So if we know ...
78 views

### If $0\leq a \leq b$ and $a$ is invertible, then $b$ is invertible

Let $\mathscr A$ be a unital C*-algebra and let $a,b\in \mathscr A$ such that $0\leq a \leq b$ and $a$ is invertible. How to show that $b$ is invertible? ($0\leq a \leq b$ means that $a,b$ is ...
52 views

### Unitary elements in C*-algebras

Let $\mathscr A$ be an unital $C^*$-algebra and let $u \in \mathscr A$ be an unitary element (I.e., $u^*u=uu^*=1$). Is it true that $$u=e^{ia}$$ for some hermitian element $a\in \mathscr A$? Im not ...
24 views

31 views

33 views

### Construct a projection satisfying a certain property

Let $\cal G$ be a group of finite order $n$. For every prime divisor $p$ of $n$, construct a projection $P\in \cal N(G)$ such that $\operatorname{tr}_{\cal N(G)}(P)=1/p$. Here $\cal N(G)$ denotes ...
34 views

### Differential Operators and Coefficients

First question on Math StackExchange here. I have been staring at this for a bit, but wasn't quite able to get the hang of it. Here it goes. We are given \begin{align} \frac{\partial}{\partial x} = \...
21 views

### semifinite projections

Let $M$ be von Neumann algebra, $p$ be semiefinite projection and $q$ be projection in $M$ such that $Z(q)=Z(p)$. ( $p$ is semifinite projection if every nonzero subprojection of $p$ contains a ...
37 views

### Maximal Ideals in $L^1(\mathbb{R})$

Define $I_\xi = \{ f \in L^1(\mathbb{R}) : \hat{f}(\xi)=0 \}$. I have to prove that $I_\xi$ is a maximal ideal in $L^1(\mathbb{R})$. The following are my attempts at solution : Attempt 1 : Consider ...
38 views

32 views

### $\omega$ is cyclic for $M\subset B(H)$ if and only if $\omega$ is separating for $M'$

Let $H$ be a Hilbert space, $M\subset B(H)$ a von Neumann algebra and $\omega \in H$ a vector. Then $\omega$ is cyclic for $M$ if and only if $\omega$ is separating for $M'$. I proved "$\implies$". ...
30 views

### Functoriality in $K$-theory for $C^*$-algebras or Banach algebras

I'm trying to clear up some confusion I'm having over how one establishes functoriality in $K$-theory for $C^*$-algebras or Banach algebras. Let me stick to $K_0$. Given a *-homomorphism (or bounded ...
64 views

### Operator algebra generalization of linear algebra result on diagonalization of commuting operators with distinct eigenvalues

In linear algebra it is true that: a) if $\mathcal{A}$ is a set of unitarily diagonalizable matrices (in $\mathbb{C}$, i.e. normal matrices) that commute with each other then they are simultaneously ...
39 views

### Relative weak-star topology on pure states

Let $A$ be a (unital) C*-algebra and consider $PS(A)$, the set of all pure states on $A$ with the relative weak-star topology. I would like to check (a weaker form of) Uryshon's lemma on $PS(A)$ in ...
39 views

25 views

### Minimal projections

Assume $M$ is a W*-algebra such that the set of minimal projections is not empty. Let $z(M)$ be the supremum of all minimal projections in $M$. It is well-known that $z(M)$ is a central projection. ...
Let us consider the commutative C*-algebra $C_0(\Omega)$ and a representation $\pi:C_0(\Omega)\to B(H)$. We denote $M_{\pi}$ by the von Neumann algebra generated by $\pi(C_0(\Omega))$. It is well-...
Consider the matrix algebra $\mathbb{M}_n(\mathbb{C})$ with H-S inner producr ($\langle a, b\rangle =tr (a^*b)$). What is the minimal dimension of any operator system $\mathcal{A}$ in \$\mathbb{M}_n(\...