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
0answers
84 views

Tensor product of $C^*$- algebras

We know from the paper of Douglas and Howe (enter link description here) that the commutator ideal $\mathcal{I}$ of $\mathcal{A}(C(T^2))$, the $C^*$-algebra generated by Toeplitz operators with ...
1
vote
0answers
30 views

$C^*$ algebra generated by a $C^*$ algebra and a group

In this article, "Spectral measures in C∗-algebras of singular integral operators with shifts", in chapter 3.1. They have a $C^*$ algebra $U$, and an unitary representation $\pi$ of a discrete group ...
1
vote
0answers
43 views

Spatial tensor product of operator spaces

If $X$ and $Y$ are Banach spaces and $\otimes_\varepsilon$ denotes the injective tensor product, then in general $\otimes_\varepsilon$ does not respect quotients unless we map into ...
1
vote
0answers
35 views

Group $C^*$-algebra elements as limit of self-adjoint integrable functions

Assume $G$ is a locally compact abelian group and let $C^*(G)$ denote its group $C^*$-algebra. I am reading a proof that uses the 'fact' that some $f\in C^*(G)$ is a limit of self-adjoint functions ...
1
vote
0answers
36 views

Commutators of Schur polynomials of Lie algebra elements

Question: Is there a well-known formula for computing the commutators of Schur polynomials when the variables are Lie algebra elements? If the algebra has a particularly simple commutation relation, ...
1
vote
0answers
26 views

States: Liouvilleans

Given a C*-algebra $\mathcal{A}$ with dynamics $\tau$. Consider an invariant state: $\omega\circ\tau^t\equiv\omega$ Then the dynamics is unitarily implementable: ...
1
vote
0answers
45 views

States: Approximate Unit

Given a C*-algebra $\mathcal{A}$. Consider a state: $\omega\geq0$ Especially one has: $\sup\omega(E^2)=\|\omega\|$ Can it actually fail to be a proper limit? The problem is that the square is not ...
1
vote
0answers
31 views

Prove a factor is III$_{\lambda}$ type

This question is from the Sunder's book An Invitation to von Neumann Algebras Ex 4.2.13 Let M be a semifinite factor with fns trace ${\tau}$. Let ${\theta}$ be an automorphism of M such that ...
1
vote
0answers
31 views

Wiener's lemma and Hulanicki's lemma

Let $\mathcal{A}(\mathbf{T})$ be the Banach algebra of continuous complex-valued functions on the unit circle with absolutely convergent Fourier series. Then Wiener's lemma states that if $f \in ...
1
vote
0answers
60 views

How to prove the following isomorphism?

Let $A, B$ be two C*-algebras, $\pi:B\rightarrow A$ and $\sigma: A\rightarrow B$ be *-homomorphisms such that $\sigma\circ\pi$ is homotopic to $1_{B}$. Define a *-homomorphism $\delta: B\rightarrow ...
1
vote
0answers
104 views

Diagonalization of total angular momentum over creation operators for an isotropic harmonic oscillator?

You have an isotropic three dimensional quantum harmonic oscillator so the Hamiltonian is $$ H=\frac{p^2}{2}+\frac{r^2}2 $$ If you do the creation-annihilation operator-algebra trick and define ...
1
vote
0answers
96 views

Bounded operators with infinite matrix representations

Suppose that $A$ is a unital $C^*$-algebra, $\varphi\colon A\to B(H)$ is a unital, completely positive map and that $I$ is a non-empty set. If $A\subseteq B(K)$ for some Hilbert space $K$, we can ...
1
vote
0answers
108 views

Compact operators on $L^2(G)$ as a reduced cross product of $C_0(G)$ and $G$.

If any of the terminology is unclear then please don't hesitate to point it out. My question is: is it true that when $G$ is a locally compact second countable group then: \begin{equation*} C_0(G) ...
1
vote
0answers
53 views

Where is the most clear and concise exposition of the spectral theorem for self-adjoint operators on Hilbert space?

This question is certainly subjective, which may warrant votes to close. I'm simply looking to find the "best" written exposition of the spectral theorem for possibly unbounded self-adjoint operators ...
1
vote
0answers
74 views

von Neumann Algebras and measures

I read that any abelian von Neumann algebra is isomorphic to $L^\infty(X,\mu)$ for some $X$ and $\mu$. This seems to be reasons, to consider any von Neumann Algebra as non-commutative measurable ...
1
vote
0answers
105 views

Ultra weakly continuous trace on a von Neumann Algebra

Let $M$ be a infinite dimensional von Neumann Algebra with a positive, faithful, ultra weakly continuous trace $tr:M\rightarrow \mathbb{C}$. Is it possible to show that $tr$ is strongly continuous?
1
vote
0answers
59 views

What is the definition of regular operator?

If $T$ is a bounded linear operator on a normed space $X$. What "$T$ is regular operator" means?
1
vote
0answers
51 views

Smoothness of distributions

I've reached an impasse in reading some texts on distribution theory, as several of them mention smooth distributions, but none of them actually define what it means. Therefore I'd like to know if ...
1
vote
0answers
26 views

A certain product of C*-algebras

So, I am looking for some kind of 'product' $\bullet$ on the category of (unital?) $C^*$-algebras satisfying that $M_n(\mathbb{C})\bullet M_m(\mathbb{C}) = M_{m+n}(\mathbb{C})$ where ...
1
vote
0answers
236 views

Cyclic Properties of the trace in Quantum Field Theory

I'm trying to figure out what's going on in this paper here between lines 10 and 11. But I'll give a brief rundown of what's going on. We are trying to compute the trace of the exponential operator ...
1
vote
0answers
18 views

Powers of a closed range operator

suppose that $S$ and $S^2$ are operators with closed range. Does it follow that $S^n$ is an operator with closed range for all natural numbers $n$?
1
vote
0answers
46 views

Strong and weak equivalence of $C^*$-extensions by compacts

Let $A$ be a $C^*$-algebra. An extension of $A$ by the compact operators $K$ is an embedding $\epsilon$ of $A$ into the Calkin algebra $B(H)/K$. Two embeddings $\epsilon_1$ and $\epsilon_2$ are ...
1
vote
0answers
117 views

Examples of operator theory on Hilbert space

$(1)$ If $T \in B(H)$ is self-adjoint and $T \neq 0$ then $T^n \neq 0$ $(a)$for $n=2,4,8,16,... (b)$ for every $n$ $(2)$ Show that any $T \in B(H)$ can be uniquely expressed as $T=T_1+iT_2$ ...
1
vote
0answers
45 views

Rotation semigroup and identity element.

Let $\Gamma =\{z\in\mathbb{C}:|z|=1\}$, and $X=C(\Gamma)$. The rotation semigroup $\{T(t)\}_{t\geq 0}$, is defined as $$T(t)f(z)=f(\mathrm{e}^{it}z),\quad f\in X.$$ $Z\in X$, s.t. for all ...
1
vote
0answers
40 views

Spectral radius as the inf of norms of conjugates

I need help with the following problem: Let $A$ be a unital $C^{*}$-algebra. (a) If $r(a)<1$ and $b=(\sum_{n=0}^{\infty}a^{*n}a^{n})^{1/2}$, show that $b\geq 1$ and $||bab^{-1}||<1$. (b) ...
1
vote
0answers
79 views

Kernel of an infinite dimensional operator

Can the Kernel of an infinite dimensional operator have $\dim=0$? I am thinking to the annihilation ($\hat E$) and creation ($\hat E^\dagger$) operators. Suppose, in fact, we have an infinite but ...
1
vote
0answers
82 views

Lorentz group and eigenvalues

For generators of the Lorentz group ($\hat {R}_{k}$ corresponds to the generators of 3-rotations, $\hat {L}_{k}$ corresponds to the generators of the boosts) we have the following algebra: $$ [\hat ...
1
vote
0answers
55 views

Relationship of two generalizations of the real/complex calculus

On the one hand, one has the various functional calculi from Operator Algebras. The continuous functional calculus for C* algebras, the bounded borel functional calculus for Von Neumann Algebras, the ...
1
vote
0answers
58 views

Arveson index of a completely positive map on matrix algebra

Can someone tell me what is Arveson index of a completely positive map. What I want is given a map \begin{eqnarray} \psi:\mathcal{B}(\mathbb{C}^m)&\longrightarrow&\mathcal{B}(\mathbb{C}^n)\\ ...
1
vote
0answers
58 views

$\ast$-homomorphism

Let $\phi: C(X,M_{4}(\mathbb{C})) \rightarrow C(Y,M_{8}(\mathbb{C})) $ be a $\ast$-homomorphism where $X$ and $Y$ are compact Hausdorff spaces. Let $M_{2}(\mathbb{C})$ be the C*-subalgebra of ...
1
vote
0answers
127 views

From positive definite function to Følner sequence -— a question on amenability and nuclearity

We know that amenability of countable discrete group $\Gamma$ has many equivalent characterizations. In particular, there are two: a) there is a sequence of finitely supported positive definite ...
1
vote
0answers
326 views

Proving properties of exponential map on a Banach algebra

$$\exp(a) := \sum\frac {a^k}{k!}$$ Can you help me prove that: $\exp$ is well defined (i.e. converges for all $a$ in $A$) $\exp$ is continuous $\exp(A)$ is a subset of $A_0$ (where $A_0$ is the ...
1
vote
0answers
43 views

A map that is $(n-1)$-positive but not $n$-positive

Let $\phi : M_n(\mathbb{C})\to M_m(\mathbb{C})$ be a linear map. $\phi$ is called $k$-positive if the map $\phi^{(k)} : M_{kn}(\mathbb{C}) \to M_{km}(\mathbb{C})$, defined by evaluating $\phi$ ...
1
vote
0answers
113 views

2 positive decomposable maps

A positive map $\phi:\mathcal{B}(\mathbb{C}^n)\rightarrow\mathcal{B}(\mathbb{C}^n)$ is said to be $k$-positive if the natural extension ...
1
vote
0answers
49 views

Properties of a vector operator

Suppose I have a vector operator which angle dependence is given by $$\hat O(\theta)=A\sin\theta+B\cos\theta+C$$ What can I say about $\hat O$? Sorry, I do realize that it is a bit vague. Assume $\hat ...
1
vote
0answers
80 views

Containment of an element to an operator system

This question will probably appeal to people in operator systems theory as it is very much related. However, I'm interested in down-to-earth concrete systems with finite dimensional Hilbert space ...
1
vote
0answers
73 views

Positive maps on $\mathcal{B}(\mathcal{H})$ to itself

Let us consider the set of positive maps $\phi:\mathcal{B}(\mathcal{H})\rightarrow \mathcal{B}(\mathcal{H})$ ($\mathcal{H}$ is Hilbert space). Can we characterize all the maps which satisfies the ...
1
vote
0answers
120 views

Time-derivative of an operator

Would I be right in thinking that the operator $$\hat O'(t)$$ is different from the operator $$D\hat O(t)$$ where $D={d\over dt}$, since when acting on a function $f$, the second corresponds to $$\hat ...
1
vote
0answers
117 views

Definition by commutation property on structures : continuity and where?

(This is very vague, so sorry if there are approximations) I remember that one can define continuity as a commutation property of a function with the limit operation. Structurally, i think it maps a ...
1
vote
0answers
37 views

A looser condition for these operators?

Let $q_i,p_j$ be canonically conjugate operators for $i,j=1,2,\ldots,n$ that satisfy the relation $[p_i,q_j]=c\delta_{ij}$ where $c$ is constant and $[\cdot,\cdot]$ is a commutator. What sort of ...
1
vote
0answers
143 views

Composition of positive maps

Let $\chi_A:\mathcal{B}(\mathbb{C}^n)\rightarrow\mathcal{B}(\mathbb{C}^n)$ be a completely positive (cp) map defined as $\chi_A(x)=AxA^*$, where $A\in\mathcal{B}(\mathbb{C}^n)$. Clearly any cp map ...
1
vote
0answers
106 views

When the ultrastrong closure of a *-algebra contains the double commutant

As lemma 6 on p.44 of Dixmier's book on Von Neumann algebras, he states that if $A$ is a *-algebra (i.e. possibly without identity, not necessarily closed in any topology) of operators in $B(H)$ such ...
1
vote
0answers
214 views

Convergence of net sums of complex numbers, as well as operators

I have some questions concerning convergence of sums where the summands are complex number, although the real motivation of my question comes from Von Neumann algebras where sometimes the summands are ...
1
vote
0answers
111 views

Affine Homeomorphism between a compact set K and the state space on A(K)

Let $V$ be a locally convex space, and let $K$ be compact set in $V$. Define $A(K)\subset C(K)$ as $A(K)=\{\phi:K\rightarrow \mathbb{C}\; |\; \phi\; \text{is continuous and affine}\}$. Then we know ...
1
vote
0answers
138 views

Extreme points and Matrix Extreme Points

With reference to this paper. Let $V$ be a locally convex space, and $K=(K_n)$ be a compact matrix convex set in $V$. Then as proved in Cor 3.6 in the above paper, we see that if $v\in K_n$ is a ...
1
vote
0answers
46 views

Does the locality or non-locality of operators imply matrix structure?

I understand that an operator, $\hat{O}$, is said to be non-local if $$b(x)=\hat{O}a(x)=\int dx'O(x,x')a(x')$$ that is, to find $b(x)$ at aparticular value of $x$, we need to know ...
1
vote
0answers
35 views

Find the probability that a measurement results in a certain interval

I was given this problem: Let the state $f(x)=e^{-|x|}$ and an operator $P=-i\frac{d}{dx}$. (a) What is the probability that a measure of P results in the interval $[0,1]$ (b) What is the Fourier ...
1
vote
0answers
159 views

A form of the Baker-Hausdorff equation

I wonder how many different ways are there of writing the Baker-Hausdorff equation! This is a form which I recently encountered and haven't been able to figure out how it comes, $e^ae^Xe^b = ...
0
votes
0answers
25 views

The left kernel of a positive linear functional and its $w^*$-extention

Let $A$ be a C*-algebra and $\phi$ be a positive linear functional on $A$. We let $\tilde{\phi}$ be its unique $w^*$-continuous extension on $A^{**}$. It is supposed to focus on the left kernel of ...
0
votes
0answers
19 views

Norm convergence of a net of operators

Let $T$ be a positive operator in B(H). For every $\epsilon >0$, define $T_{\epsilon}:=(T+\epsilon I)^{-\frac{1}{2}}$. This makes sense since the spectrum of $T$ lies in $[\epsilon,\infty)$. Let ...