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
127 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 ...
6
votes
0answers
147 views

When two projections in a C*-algebra are “almost” Murray-von Neumann equivalent, they are equivalent

Let $A$ be a C*-algebra and $p,q \in A$ be projections. Assume there is an element $a\in A$ such that $\|aa^*-p\|<\frac{1}{4}$ and $\|a^*a-q\|<\frac{1}{4}$. Then there is a partial isometry $v$ ...
6
votes
0answers
254 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$ ...
6
votes
0answers
84 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, ...
5
votes
0answers
207 views

Is the left regular representation of an algebra, always faithful?

Let $\mathcal{A}$ be a unital associative algebra with a countable basis $\mathcal{b}$ over $\mathbb{C}$. Let $H=l^2(b)$ be the Hilbert space generated by $\mathcal{b}$. Let $H_0 = \{v \in H \ \vert \ ...
5
votes
0answers
61 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 ...
5
votes
0answers
33 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 ...
5
votes
0answers
52 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 ...
5
votes
0answers
170 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 ...
5
votes
0answers
59 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
112 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. ...
4
votes
0answers
34 views

Infinite dimensional C*-algebra contains infinite dimensional commutitive subalgebra

I was reading a paper which mentioned without proof that every infinite-dimensional $C$* algebra has an infinite-dimensional commutative $C$* subalgebra. Thinking about it for 10 minutes, I didn't ...
4
votes
0answers
83 views

On the exponential form of a unitary matrix

A unitary matrix $U \in \large C_{n,n}$ can always be written in the exponential form: $U = e ^{iA}$ (1) where $A$ is Hermitian. My goal is to find the Hermitian matrix $A$, given the unitary ...
4
votes
0answers
84 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
157 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
123 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
144 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
66 views

understanding a theorem in c*algebra

I want to understand the following theorem: Theorem: Let A and B $C^*$-algebras with A unital, and let $\varphi:A\to B$ a bounded linear selfadjoint map such that: for every self-adjoint elements ...
3
votes
0answers
49 views

Creating Bratteli diagrams for Riesz groups

The Effros-Handelman-Shen-theorem tells you that Riesz groups are the same as dimension groups -- i.e. any ordered, unperforated abelian group with the Riesz interpolation property can be realised as ...
3
votes
0answers
66 views

Maximal abelian subalgebras of SAW*-algebras

Pedersen distilled the following class of C*-algebras which he termed SAW*-algebras: A C*-algebra $A$ is an SAW*-algebra if for each pair of orthogonal, positive elements $x,y\in A$, there exists a ...
3
votes
0answers
57 views

Commuting nets for commuting projections

Let $A$ be a $C$*-algebra and $p,q\in A^{**}$ be commuting projections. Then there exist self-adjoint nets $(x_i)_i$ and $(y_j)_j$ in $A$ with $x_i\to p$ and $y_j\to q$ in the weak *-topology. Can ...
3
votes
0answers
45 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
42 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
88 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
41 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, ...
3
votes
0answers
64 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
129 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 ...
3
votes
0answers
162 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
147 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
77 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
61 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
169 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 ...
3
votes
0answers
110 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
139 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
155 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
69 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
286 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
27 views

A Lemma about the operator space

The following lemma comes from the book "C*-algebras Finite-Dimensional Approximations" by N.P. Brown and N. Ozawa P379 Lemma 13.2.3 Let $X_{i}\in B(H_{i})$ (i=1,2) be unital operator subspaces ...
2
votes
0answers
26 views

Proving the unitary relation of ensemble decompositions

I apologize if this is better suited for physics.stackexchange; looking at previously asked questions it seems as if this would be a good fit here, as the arguments are mostly mathematical. In my ...
2
votes
0answers
40 views

about ultrapowers

Let $\mathcal{R}$ denote the hyperfinite type $II_{1}$ factor, with $\mathcal{R}^{\omega}$ the ultrapower of $\mathcal{R}$, in respect to some ultrafilter $\omega$ on $\mathbb{N}$. I'm reading a paper ...
2
votes
0answers
20 views

Relation between diferent definitions of Quasicontinuous functions

Defining the class of quasicontinuous functions by \begin{equation} QC=(H^{\infty }+C(\dot{{\mathbb R}}))\cap (\overline{H^{\infty }}+C(\dot{{\mathbb R}})). \end{equation} Where $H^{\infty }$ denotes ...
2
votes
0answers
27 views

Getting U.C.P map on group operator algebras using Fell's absorbtion principle.

I'm struggling a bit with this theorem: Let $\Gamma$ be a discrete group and $\mathbb{C}\Gamma$ be the group ring of $\Gamma$ i.e. the set of formal sums $\sum_{t \in \Gamma} \alpha_t t$. Furthermore ...
2
votes
0answers
60 views

Dual subfactor and commutant

Let $(N \subset M)$ be a subfactor and $N \subset M \subset M_1$ the basic construction. Question: Is $(M \subset M_1) \simeq (M' \subset N')$? Else in which generic case it's true? What's the ...
2
votes
0answers
75 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
28 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 ...
2
votes
0answers
26 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
53 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
124 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
54 views

A characterisation of the cyclic subfactors by the existence of a cyclic vector?

A cyclic subfactor is a subfactor admitting a distributive intermediate subfactors lattice. Let's start with the finite index irreducible depth 2 subfactors, i.e. the class of subfactors of the form ...
2
votes
0answers
33 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 ...