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)

0
votes
1answer
31 views

Weyl Operators: Spectrum

Given a CCR-algebra $\mathcal{A}_{CCR}(\mathcal{H})$ over a Hilbert space $\mathcal{H}$. Then the Weyl operators are unitary: $$W(f)^*=W(-f)=W(f)^{-1}$$ Thus, their spectrum lies on the unit circle: ...
-1
votes
1answer
57 views

Bogoliubov Transformation

Let $\mathcal{A}_{CAR}(\mathcal{H})$ be a CAR algebra over a Hilbert space $\mathcal{H}$. Consider a linear $S$ and an antilinear $T$ both bounded operators acting on $\mathcal{H}$ satisfying: ...
2
votes
2answers
43 views

Ultra weakly closed *-subalgebra of B(H)

I'm currently working on a text about von Neumann algebras and the author used without further clarifying that any ultra weakly closed *-subalgebra of $B(H)$ contains a largest projection. Could ...
3
votes
0answers
87 views

Short exact sequence involving mapping cone, cone, suspension of $C^*$-algebras

This is part of exercise 6.N in Wegge-Olsen's book '$K$-theory and $C^*$-algebras'. In the following, $A$ and $B$ are $C^*$-algebras, $\alpha:A\rightarrow B$ is a surjective $C^*$ morphism with kernel ...
1
vote
1answer
60 views

Polar decomposition in a von Neumann algebra

Let $M \subseteq B(H)$ be a von Neumann algebra and $T \in M$. If $T=U|T|$ is the polar decomposition of T, why is $U \in M$? I'm thinking it's because $M$ is SOT-closed, but I'm not entirely sure.
1
vote
1answer
84 views

Analytic Vectors (Nelson's Theorem)

Is there a (simple) proof for Nelson's theorem that a symmetric operator is essentially selfadjoint if it contains a dense subset of analytic vectors?
1
vote
1answer
53 views

A question on tensor product of $C^{*}$ algebras

Let $A$ and $B$ be two $C^{*}$ algebras. Assume that every element of the minimal tensor product $A\otimes_{min} B$ is a finite linear combination of simple tensors $a\otimes b$. Can we say that ...
0
votes
1answer
118 views

Idempotent operators.

Apologies first. I am a physicist and my notations and rigour is probably lousy. If $P$ is an idempotent operator, $P^2 = P$, $P\neq \mathbb1$ and we have $\forall |\psi\rangle$ the relation, $P.L ...
1
vote
0answers
49 views

Bott projection

This is part of an exercise problem (5.I) in Wegge-Olsen's book "K-theory and $C^*$-algebras". There he defines the Bott projection for $\mathbb{R}^2$ by $B:\mathbb{R}^2\rightarrow\mathbb{M}_2$, ...
1
vote
1answer
86 views

Kadison's Inequality

Let $\mathcal{A}$ be a C*-algebra and $\omega$ a positive linear functional. Is there a simple proof for Kadison's inequality: $$|\omega(A)|^2\leq\|\omega\|\cdot\omega(A^*A)$$
1
vote
1answer
61 views

The spectral projection of a positive operator

Let $T_{n}\in B(H)$ be a positive operator on Hilbert space $H$ and $T_{n}\rightarrow 1_{H}$ in the strong operator topology. Now fix $\delta>0$ and let $P_{n}$ be the spectral projection of ...
5
votes
1answer
155 views

Positive Operators: Definition?

Definitions Given an operator algebra $\mathcal{A}\subseteq\mathcal{B}(\mathcal{H})$ with $1\in\mathcal{A}$ Consider selfadjoint operators $A=A^*\in\mathcal{A}$. Define positive elements by: ...
4
votes
1answer
52 views

*-representations of dense subalgebras

Let $H$ be a separable Hilbert space and let $K(H)$ be the C*-algebra of compact operators on $H$. Suppose that $A$ is a *-subalgebra of $K(H)$ which contains all the finite-rank operators. Given a ...
2
votes
1answer
75 views

Minimal and maximal unitization of $C^{*}$ algebras

Is there a non unital $C^{*}$ algebra $A$ for which the multiplier algebra $M(A)$ is isomorphic to the minimal unitization $\tilde{A}$?
0
votes
0answers
45 views

Matix column-wise multiplication operator

I'm trying to find the proper operator for a column wise multiplication. Consider $v=[v_1, v_2, ..., v_n]^T$ and $A=\begin{bmatrix} a_{1,1} & a_{1,2} & a_{1,3} \\a_{2,1} & a_{2,2} & ...
1
vote
0answers
43 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
2answers
27 views

What are non-tagential limits?

I'm reading this article where they use a set of functions, $H^{\infty}$, defined like this "Let $H^{\infty }$ be the closed subalgebra of $L^{\infty }({\mathbb R})$ that consists of all functions ...
2
votes
1answer
22 views

Commutative subspace lattice

I have seen an article in which there is an algebra which was named CSL-algebra (Commutative Subspace Lattice). This algebra is about projection on Banach algebra? I couldn't find any good source to ...
1
vote
1answer
29 views

About what happens to eigenspace under functional calculus for Unbounded Operator

Let $T$ be an unbounded self adjoint positive operator on a Hilbert Space $\mathcal{H}$. Let $x \in \mathcal{H}$ be a vector such that $Tx = x$. Is it true that $T^{\frac{1}{2}} x = x$. For what $f$ ...
1
vote
1answer
25 views

The exactness of a C*-algebra

Here is a quotation: Corollary 3.7.12 If $\Gamma$ is a non-amenable residually finite group, then $C^{*}(\Gamma)$ is not exact. It follows from this corollary that $B(l^{2})$ is not exact ...
1
vote
1answer
43 views

A simple description of $ {C^{*}}(\Gamma) \otimes_{\sigma} {C^{*}}(\Gamma) $ when $ \Gamma $ is finite.

Problem. Let $ \Gamma $ be a discrete group. Denote its full group $ C^{*} $-algebra by $ {C^{*}}(\Gamma) $. If $ \Gamma $ is a finite group, then is it true that $ {C^{*}}(\Gamma) \odot ...
2
votes
2answers
48 views

A definition of discrete group

Definition: A discrete group $\Gamma$ is called residually finite if there exist subgroups $\Gamma\supset\Gamma_{1}\supset\Gamma_{2}\supset...$ such that each $\Gamma_{i}$ is a finite-index, normal ...
0
votes
0answers
31 views

Scalar Products on the Rational Function Field

Let $\mathbb{R}(t)$ be the rational function fields over $\mathbb{R}$. Are there scalar products $\langle -,- \rangle$ on $\mathbb{R}(t)$ such that multiplication with $t$ is selfadjoint, i.e. ...
0
votes
1answer
34 views

The commutant of reduced C*-algebra of a discrete group

For a discrete group $\Gamma$ we let $\lambda: \Gamma \rightarrow B(l^{2}(\Gamma))$ denote the left regular representation and $\rho$ denote the right regular representation. The reduced C*-algebra of ...
2
votes
1answer
30 views

An extension of representation

Let $A,~B$ be two C*-algebras, if $A$ is an ideal in $B$, then do we have that any representation of $A$ can extend to a representation of $B$?
1
vote
1answer
24 views

The norm on tensor product

Here is a quotation of a book: Let $B, ~C$ be unital C*-algebras and $A$ be a nonunital C*-algebra, $\|\cdot\|_{\alpha}$ be a C*-norm on $B\odot C$ (the tensor product) and $\|\cdot\|_{\beta}$ be ...
0
votes
1answer
48 views

The quotient embedding of tensor product

Here is a quotation of a book: Let $A, B$ be two $C^*$-algebras and $J\subset A$ be a $C^*$-subalgebra, then there is a dense embedding $$\frac{A\odot B}{J\odot ...
1
vote
1answer
29 views

Exact sequence of tensor product

Here is a quotation of a book: Proposition 3.7.1. If $0 \rightarrow J \rightarrow A \rightarrow (A/J)\rightarrow 0$ is an exact sequence, then for every $B$, the natural sequence $$0 \rightarrow ...
-1
votes
0answers
39 views

The canonical quotient map between two tensor product [duplicate]

Let $A, C$ be two C*-algebras. Does there exist a canonical quotient map from $A\otimes_{max} C\rightarrow A\otimes C$? $A\otimes_{max} C$ (resp. $A\otimes C$) denote the completion of $A\odot B$ ...
1
vote
1answer
18 views

A simple question about Lance's weak expectation property.

Here is a quotation of a book: Definition 3.6.7. A C*-algebra $A\subset B(H)$ is said to have Lance's weak expectation property (WEP) if there exists a u.c.p map $\Phi: B(H)\rightarrow A^{**}$ ...
1
vote
1answer
30 views

A equivalent proposition of contractive completely positive map

Proposition 3.6.6. Let $A\subset B$ (C*-algebras) be an inclusion. Then the following are equivalent: (1). there exists a c.c.p.(contractive completely positive) map $\phi: B\rightarrow A^{**}$ such ...
1
vote
1answer
33 views

A proof of a proposition of tensor product

Proposition 3.6.5.(The Trick) Let $A\subset B$ and $C$ be C*-algebras, $||.||_{\alpha}$ be a C*-norm on $B\odot C$ and $||.||_{\beta}$ be the C*-norm on $A\odot C$ obtained by restricting ...
1
vote
0answers
90 views

Groupoid $C^*$ algebra of product groupoid

Let $G$ and $H$ be locally compact (Hausdorff, second countable) groupoids with Haar systems $\mu$ and $\nu$, respectively. Is it true then that the (full) groupoid $C^*$-algebras satisfy $$ ...
1
vote
1answer
27 views

(nx(gradxn))^2 operator question?

by $A\times B \times C = (A \cdot C)B-(A \cdot B)C$, i need to expand $n \times \bigtriangledown \times n$, where all of these are vectors. Here is what i have right now $n \times \bigtriangledown ...
0
votes
1answer
32 views

$E(a)=0\Longrightarrow E(a^{n})=0$?

Let $(M; \tau)$ be the hyperfinite $II_{1}$-Factor and consider a W${}^{\ast}$-subalgebra, $N$. Is there a (trace-preserving) conditional expectation, $E:M\to N$? Considering, now, a more general ...
0
votes
1answer
28 views

The hereditary subalgebra

If $B$ is a C*-algebra and $A\subset B$ is a hereditary subalgebra, then , taking $\{e_{n}\}$ be the approximate unit of $A$, can we verify $e_{n}be_{n} \in A$ for every $b\in B$?
0
votes
1answer
56 views

The point-ultraweak convergence of contractive completely positive map

Let $A$ and $C$ be C*-algebras. If $\phi_{n}: A \rightarrow C$ is a c.c.p (contractive completely positive) map, then the point-ultraweak cluster point of the map $\phi_{n}$ is still a c.c.p. map? ...
1
vote
1answer
34 views

Completely bounded map and minimal tensor products

Theorem 3.5.2. Let $\phi: A\rightarrow C$ and $\psi: B\rightarrow D$ ($A, B, C, D$ are C*-algebras) be c.p.(completely positive) maps. Then the algebraic tensor product map $$\phi\odot\psi: ...
0
votes
1answer
49 views

The proof of (continuity of tensor product maps) theorem

Here is a proof of (continuity of tensor product maps) theorem: Theorem 3.5.2. Let $\phi: A\rightarrow C$ and $\psi: B\rightarrow D$ ($A, B, C, D$ are C*-algebras) be c.p. maps. Then the algebraic ...
0
votes
0answers
20 views

About Antilinear (possibly Unbounded) Operators

Let $T$ be an unbounded anti-linear operator on a Hilbert Space. I would like to know if there is a natural or easy way to see existence of adjoint of $T$, closability of $T$(such as when $T^*$ is ...
0
votes
1answer
63 views

The restriction homomorphism

Let $||.||_{\alpha}$ be a C*-norm on $A\odot B$, $A\otimes_{\alpha} B$ be the completion and $\xi$ be a state on $A\otimes_{\alpha} B$. We definte the restrictions $\xi|_{A}$ and $\xi|_{B}$ as ...
0
votes
1answer
39 views

An exercise about minimal norm

Exercise 3.4.1. Let $\pi: A \otimes B \rightarrow C$ be a $*$-homomorphism which is injective when restricted to $A\odot B$. Show that $\pi$ must be injective on all of $A\otimes B$. Is this still ...
0
votes
1answer
35 views

The unitarily equivalent between two representations

Here is a quotation of a book: Let $\phi$ and $\psi$ be the faithful states on $A$ and $B$ respectively, and let $||.||_{\alpha}$ be any C*-norm on $A\odot B$ (algebraic tensor product). As we know, ...
1
vote
1answer
35 views

The tensor product of $M_{n}(\mathbb{C})$

There is a quotation below: Let $\{e_{i,j}\}_{1\leq i, j\leq n}$ be a system of matrix units fro $M_{n}(\mathbb{C})$ and consider $$\sum\limits_{i,j=1}^{n}e_{j, i}\otimes e_{j, i}.$$ A ...
0
votes
1answer
26 views

The restriction of representation of $A\otimes_{\alpha} B$

Let $||.||_{\alpha}$ be a C*-norm on $A\odot B$, $A\otimes_{\alpha} B$ be the completion and $\xi$ be a state on $A\otimes_{\alpha} B$. Let ($\pi_{\xi}, H_{\xi}, v_{\xi}$) be the GNS triplet and ...
0
votes
1answer
47 views

Several questions about state space

Here are several questions about the state space of a C*-algebra $A$: Let $A$ be a unital and separable C*-algebra, can we find a faithful state $\phi \in S(A)$. ( The $S(A)$ denotes the state space ...
3
votes
1answer
159 views

Why study Bergman Spaces?

I'm interested in Operator Algebras and mathematical physics; recently, a friend showed me Duren and Schuster's "Bergman Spaces". I've read about two chapters now and I see there is a nice play ...
0
votes
0answers
67 views

Symbol of self-adjoint pseudodifferential operator

It seems that the following result should hold, but I can't find it explicitly anywhere. If $A=A^*$ is a properly supported pseudodifferential operator, does this imply that ...
2
votes
1answer
51 views

The canonical surjection between the full and the reduced group C^*-algebras

This might be an incredible easy question -- since any reference I've found state it as obvious -- but anyway: Given a group $G$, I can construct the full group-$C^*$-algebra $C^*(G)$ be completing ...
0
votes
1answer
57 views

A lemma about the pure states

There is a quotation of a book: Lemma 3.4.5. Assume that both $A$ and $B$ are unital and abelian C*-algebras. Then for every C*-norm $\|\cdot\|_{\alpha}$ on $A\odot B$ and pair of pure states ...