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)

7
votes
0answers
119 views

K-theory for non-separable C*-algebras

Let $\kappa$ be an uncountable cardinal. What is the K-theory for the C*-algebras $\mathcal{K}(\ell_2(\kappa))$ and $\mathcal{B}(\ell_2(\kappa))$, of, respectively, compact and bounded operators on ...
5
votes
0answers
201 views

Combinatorial total space for finitely generated torsion-free groups?

Motivation: I'm an operator algebraist and I'm looking for an answer to the main question in order to build non-trivial spectral triples for a class (as large as possible) of discrete groups. $\to$ ...
5
votes
0answers
52 views

Masas in quotients

Let $A$ be a von Neumann algebra and let $B$ be a norm-closed ideal of $A$ (but not necessarily WOT-closed). What one has to assume about $A$ and $B$ to ensure that if $M\subset A$ is a maximal ...
5
votes
0answers
116 views

How to prove this element is strictly positive?

Let $A$ be a $C^*\text{-algebra}$ and $A_+$ denote the positive elements. An element $a\in A_+$ is called strictly positive if $\overline{aAa}=A$. Want to prove: if $(e_n)$ is an approximate identity ...
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 ...
4
votes
0answers
25 views

freely generating elements in an algebra

Let $(\mathfrak{M}, \tau)$ be a W${}^{\ast}$-Algebra with (finite, normal, etc., whichever nice conditions one may find need for) tracial state. Elements $(a_{i})_{i\in I}\subset\mathfrak{M}$ shall be ...
4
votes
0answers
40 views

How can I show that given a norm one linear functional on $c_0$ that there is a unique extension to a norm one functional on $\ell_\infty$?

We are given that our Banach space is $c_0 \subset \ell_\infty(\mathbb{N})$ and there is a functional $y^* \in c_0^*$ such that $||y^*|| = 1$. We are guaranteed that this extends, via Hahn-Banach to a ...
4
votes
0answers
84 views

Generalisation of the trace cyclic theorem to partial traces.

The trace-cyclic theorem says that linear operators commute (or cycle) within the trace, that is $${\rm Tr}(XY) = {\rm Tr}(YX).$$ Now if $X$ and $Y$ operate on a product space $H_A \times H_B ...
4
votes
0answers
147 views

Comparison of positive elements and Hilbert C*-modules

I can't find a proof of facts like the following, which apparently are quite standard in the theory of C*-algebras. Let $\mathfrak A$ be any C*-algebra, and $a,b$ two positive elements in $\mathfrak ...
4
votes
0answers
117 views

Biduals generated by projections

This question is motivated by a similar question recently posed at MO: http://mathoverflow.net/questions/122091/masas-in-second-duals-of-banach-algebras In this setting, let $B$ be a Banach algebra ...
4
votes
0answers
77 views

Products in $C^*$-algebra $K$-theory

Let $A_1$ and $A_2$ be unital $C^*$-algebras. If $p_1 \in M_{n_1}(A_1)$ and $p_2 \in M_{n_2}(A_2)$ are projections then $p_1 \otimes p_2 \in M_{n_1 n_2}(A_1 \otimes A_2)$ is also a projection, ...
4
votes
0answers
104 views

Direct limits of completely positive maps on $C^*$-algebras vs. operator systems

I believe I've heard, as part of the "lore," that the category (operator systems, completely positive maps) has direct limits, whereas the category ($C^*$-algebras, completely positive maps) does not. ...
3
votes
0answers
39 views

Topologizing $\mathcal{L}(\mathcal{H}) / \mathcal{S}^p(\mathcal{H})$

Given a separable Hilbert space $\mathcal{H}$ I would like to know how one could topologize the quotient algebra $\mathcal{L}(\mathcal{H}) / \mathcal{S}^p(\mathcal{H})$? Here ...
3
votes
0answers
29 views

Understanding minimal projections

This might be very easy but it is not quite clear for me. Detailed explanation appreciated! I went through the commutative case but beyond that I lack intuition. Let $A$ be a C*-algebra and let ...
3
votes
0answers
32 views

Conditional expectation onto maximal abelian subalgebras

If you take a von Neumann algebra $M$ and any its maximal abelian subalgebra (masa) $D$, then there is a norm-one projection from $M$ onto $D$ (conditional expectation). The same is true if you take ...
3
votes
0answers
41 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 ...
3
votes
0answers
78 views

Positive Operators: Definition?

Let $A$ be a self adjoint element of a C*-algebra $\mathcal{A}$ resp. a self adjoint operator of the operator algebra $\mathcal{B}(\mathcal{H})$ of bounded operators over a Hilbert space ...
3
votes
0answers
44 views

Motivations for and connections between the topologies of Vietoris, Fell and Chabauty

My main interest is in the Chabauty topology on the space of closed subgroups of a locally compact topological group, merely out of curiosity. Wikipedia states "it is an adaptation of the Fell ...
3
votes
0answers
131 views

C* algebra of bounded Borel functions

Let $T\in B(H)$ is normal, and $B(\sigma(T))$ denote the $C^*$ algebra of all bounded Borel functions on $\sigma(T)$. Then is it true that $B(\sigma(T))$ is a closed $C^*$ algebra under the sup. norm ...
3
votes
0answers
129 views

Unitary operators - convergence problem

Let $\mathcal{U}:=\left\{ U(t) \colon t \geq 0\right\}$ be a family of unitary operators on a Hilbert space $\mathcal{H}$ where $U(0)=I$. Assume that $\left| \left<\left( \frac{U(t)-I}{t} - A ...
3
votes
0answers
67 views

maps from a convex set to itself

Suppose $S\subset \mathbb{R}^n$ be a closed convex set under Euclidean topology (but not necessarily bounded, example a closed cone). Let $\mathcal{E}(S)=\{L:\mathbb{R}^n\rightarrow \mathbb{R}^n\text{ ...
3
votes
0answers
59 views

Given $\theta(p)\neq p$ does there exist $q\leq p$, so that $\theta(q)q=0$?

Let $\mathfrak{M}$ be a vN-Alg. Let $\theta\in \text{Aut}(\mathfrak{M})$. Let $p\in\mathfrak{M}$ be a projection, so that $\theta(p)\neq p$. Is there a projection $q\in\mathfrak{M}$ with $0\neq q\leq ...
3
votes
0answers
97 views

Defining entanglement in subspaces of tensor product

Let $\mathcal{H}=\mathbb{C}^n$ be a Hilbert space. A state $\rho\in\mathcal{B(H)}$ is a positive semi-definite operator with unit trace. $\rho\in \mathcal{B(H)}$, where ...
3
votes
0answers
138 views

Minimal projections vs maximal left ideals

I've seen in some papers a statement (which is referred to a very old book of Dixmier in French which I have no access to / can't read anyway) saying that maximal left ideals of a (unital) C*-algebra ...
3
votes
0answers
130 views

Two questions about ultraweak and ultrastrong topology from Dixmier

You could reference Dixmier's book on Von Neumann Algebras p.42 Theorem 1 and its proof to know the entirety of the context. Otherwise, the most relevant things are below: Let $M$ be an ultraweakly ...
3
votes
0answers
143 views

Basis for completely bounded maps.

The set of completely bounded (CB) maps forms can be considered as a complex span of the set of completely positive (CP) maps. Can we find a basis for this complex linear space of CB maps such that ...
3
votes
0answers
67 views

Dropping homomorphisms to quotients of C$^*$-algebras

Let $A$ be a C$^*$-algebra, let $\Delta:A\rightarrow A \otimes_{\min} A$ be a $*$-homomorphism, and let $\phi$ be a state on $A$. Let $(H,\pi,\xi_0)$ be the GNS construction for $\phi$; let $B=\pi(A) ...
3
votes
0answers
247 views

When does Stinespring dilation yield a faithful representation?

Let $A$ be a $C^*$-algebra, $H$ a Hilbert space, $\phi: A \to B(H)$ a completely positive map. The Stinespring construction yields a triple $(K, V, \pi)$ where $K$ is a Hilbert space, $V: H \to K$ a ...
2
votes
0answers
54 views

Integration with values in a $C^*$-algebra

My question is quite specific to locally compact groups but I'm sure it can be generalised to locally compact Hausdorff spaces with a Borel measure. Let $G$ be a locally compact group and fix a Haar ...
2
votes
0answers
31 views

If there is already enough room to add all projections, does passing to matrices change anything?

Throughout, $A$ denotes a $*$-algebra. We always assume $A$ is representable in the sense that $A$ can be embedded into $B(H)$ for some Hilbert space $H$. The particular embedding is not important, ...
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\}$. ...
2
votes
0answers
37 views

Find an example of product of operators not Jointly Continuous in strong topology.

I'm trying to find an example of the fact that the product of operators is not jointly continuous in the strong topology. I know the example of the unilateral shift (that is on wikipedia), but I ...
2
votes
0answers
94 views

Conditional expectation on the space of bounded linear operators

In the paper from the link http://arxiv.org/pdf/0906.0139.pdf the author uses a diagonal conditional expectation. We take a seperable Hilbert space $H$ and fix an orthonormal basis $(e_n)_{n \in ...
2
votes
0answers
31 views

What is Kadison's process about cocycles?

My teacher told me the Kadison's process(may be not this ward, it is just my translation ) can make a 2-cocycle turn to be a cocycle(i.e.,derivation). But I can not find it in the internet. Thanks a ...
2
votes
0answers
111 views

Does ternary operations have associative property?

Binary Operation is a function. Right? We know that all Binary operations have associative property. They must be either associative or non-associative. The condition is : $$(a*b)*c = a*(b*c)$$ ...
2
votes
0answers
111 views

Projections in group $C^*$-algebras

Let $G$ be an amenable, discrete and infinite group. Cosinder its group C*-algebra $C^*(G)$ canonically represented on $B(\ell_2(G))$ by the left-regular representation $x\mapsto \delta_x$. Take the ...
2
votes
0answers
28 views

Factorizing a saddle point operator

I have a coupled pde which, after semi-discretizing in time, results in the solution of a sequence of continuous saddle point problems $Lu^t=b$. Written explicitly, the problem looks like this: ...
2
votes
0answers
50 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 ...
2
votes
0answers
75 views

Cap product between K-Theory and K-Homology

In Exercise 9.8.9 of the book "Analytic K-Homology" by Higson and Roe one has to construct a cap product $K_p(A) \otimes K^q(A) \to K^{q-p}(A)$, if A is commutative. Is the commutativity ...
2
votes
0answers
44 views

Are decomposable maps completely bounded?

By the word decomposable I mean a positive map $\phi:\mathcal{B(H)}\rightarrow \mathcal{B(K)}$; $\mathcal{H,K~}$ are some Hilbert spaces and $\phi=\psi_1+T\circ \psi_2$ where $T$ is the transpose ...
2
votes
0answers
157 views

Must-read papers in Operator Theory

I have basically finished my grad school applications and have some time at hand. I want to start reading some classic papers in Operator Theory so as to breathe more culture here. I have read some ...
2
votes
0answers
85 views

Commutator formula in infinite dimensions

The commutator formula states that for $A,B$ elements of a Lie algebra, $$ \lim_{n\to \infty}\left\{ ...
2
votes
0answers
96 views

Form of weakly continuous linear functional

This was originally a problem in Stratila and Zsido's "Lectures on von Neumann algebras" (E.1.2). I've spent so much time working on it, and right now I cannot see how the result can be so simple. ...
2
votes
0answers
53 views

Quotients of the CAR algebra

Recently, I heard about the following theorem: each nuclear separable operator space is a completely bounded quotient of the CAR algebra. Yet, I have no idea who and where proved this theorem ...
2
votes
0answers
84 views

Sign problem with Poisson brackets

I am wondering if anyone could explain to me either why my method is not valid or point out where I have made an algebraic slip. I have been looking at this for a long time, to no avail. Let $\{\cdot ...
2
votes
0answers
120 views

Is inversion sequentially continuous in SOT?

Let $A_n \overset{SOT}{\to} A$ where $A$ is invertible. Does $A_n^{-1} \overset{SOT}{\to} A^{-1}$? Does $A_n^{-1} \overset{WOT}{\to} A^{-1}$? EDIT: Forgot to mention $\{A,A_n\}\in\mathscr{B(H)}$ ...
2
votes
0answers
79 views

Induced representations of topological groups

Sorry if this is a naive question-- I'm trying to learn this stuff. If $G$ is a group with subgroup $H$, then we have the restriction functor $\operatorname{Res}$ from $G-\operatorname{mod}$ to ...
2
votes
0answers
52 views

Question considering masas

Suppose $M_1, M_2$ are type II_1 factors, A is a masa in $M_1\otimes M_2$, can we find a *-automorphism $\phi$ on $M_1\otimes M_2$ such that there are two masas $A_1\subset M_1,A_2\subset M_2$ and ...
1
vote
0answers
79 views

Question on amenable direct summand

Given a finite Von Neumann algebra $(N,\tau)$, and Von Neumann subalgebras $A\subset B$ with the same identity, I came across the fact saying that $B$ has an amenable direct summand implies $A$ has an ...
1
vote
0answers
46 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 ...