Algebras of operators on Hilbert space, C^*-algebras, von Neumann algebras, non-commutative geometry

**3**

votes

**0**answers

91 views

### Two questions on topological and geometric structure of projections in a simple $C^{*}$ algebra

Let $A$ be a simple $C^{*}$ algebra. Assume that the space of projections has a connected component homeomorphic to the complex Grassmanian $G(k,n)$. Is it true to say that, for all $k'<k$, the ...

**3**

votes

**1**answer

80 views

### Existence of state on a C*-algebra satisfying $|\tau(ab)|=\|ab\|$

(This is a repost of a question from math.SE, http://math.stackexchange.com/questions/1240966/existence-of-state-on-a-c-algebra-satisfying-tauab-ab)
Let $a,b$ be elements of a unital C*-algebra $A$ ...

**0**

votes

**0**answers

42 views

### Determining primitive ideal space of C*-algebra

How do I in general determine a primitive ideal space of C*-algebra?
Is there any standard way of determining it?
Thanks.

**33**

votes

**3**answers

3k views

### Quantum mechanics formalism and C*-algebras

Many authors (e.g Landsman, Gleason) have stated that in quantum mechanics, the observables of a system can be taken to be the self-adjoint elements of an appropriate C*-algebra. However, many ...

**1**

vote

**1**answer

93 views

### A $C^{*}$ algebra associated to a graded $C^{*}$ algebra

A $C^{*}$ algebra $A$ is graded by $\mathbb{Z}_{n}$ iff it can be acted by $\mathbb{Z}_{n}$. So we associate the $C^{*}$ algebra $A\rtimes \mathbb{Z}_{n}$ to a $\mathbb{Z}_{n}$-graded $C^{*}$ ...

**3**

votes

**1**answer

87 views

### When are countably generated Hilbert modules generated by c.p.c. order zero maps?

Throughout let $B$ be a stable C*-algebra, i.e. $B\cong B\otimes K$, where $K$ is the C*-algebra of compact operators on an infinite dimensional separable Hilbert space. It is well-known that any ...

**6**

votes

**1**answer

189 views

### For discrete groups, does the Haagerup property imply the AP of Haagerup-Kraus?

I don't expect to find an explicit counterexample to my question, because any example which was known to have the Haagerup property yet not have AP would have given an exact group without AP, and the ...

**1**

vote

**1**answer

50 views

### Comparision of two $C^{*}$ algebras associated to a non vanishing vector field on a compact manifold

Let $X$ be a non vanishing vector field on a compact manifold $M$ so we have a one dimensional foliation $F$ of $M$ with orbits of $X$.
This foliation defines a $C^{*}$ algebra $C^{*}(F)$. On the ...

**0**

votes

**0**answers

56 views

### C$^*$-algebras - compact operator of rank one [closed]

I am studying Murphy's book "C$^*$-algebras and operator theory". On section 2.4 he define this operator:
If $x, y$ are elements of a Hilbert space $H$ we define the operator $x \otimes y$ on $H$ by ...

**1**

vote

**0**answers

76 views

### Arveson spectrum for a unitary representation of a group on a Hilbert space

Although this is not research, I think the question is a little bit too specific for math.stackexchange
Let $G = \mathbb{R}$. By Stone's theorem, $U(t)\in\mathcal{B}(\mathcal{H})$ is generated by a ...

**1**

vote

**0**answers

49 views

### Why does one only consider one-parameter groups in Borchers-Arveson theorem?

(question from math.stackexchange)
The theorem (Operator algebras and Quantum statistical mechanics vol. 1, Bratteli, Robinson, Thm. 3.2.46 p.261) roughly says that if one has a one parameter ...

**8**

votes

**0**answers

261 views

### Are there only finitely many maximal irreducible amenable subfactors at fixed finite index?

A subfactor $N \subset M $ is maximal if it admits no non-trivial intermediate subfactors $N \subset P \subset M $.
Question: Are there only finitely many maximal irreducible amenable subfactors at ...

**1**

vote

**0**answers

42 views

### Are there infinitely many amenable Hadamard-Petrescu subfactors?

The complex Hadamard matrices of dimension $n$ are used to build index $n$ subfactors through the commuting square construction. For more details, see the paper Subfactors and Hadamard Matrices by ...

**0**

votes

**0**answers

51 views

### Is $KK^G(\mathbb{C}^n,B)$ countably additive in $B$ and countable?

Let $G$ be a finite discrete groupoid, $A=\mathbb{C}^n$ a finite dimensional, commutative $C^*$-algebra and assume we have given a $G$-action on $A$. Note that the action of $G$ on ...

**0**

votes

**1**answer

131 views

### A $C^{*}$ algebra associated to a group [closed]

Let $G$ be a compact group which act on a Hilbert space $H$. We define a linear map $T$ on the dual space $H^{*}$ with $$T(\phi)(x)=\int_{G} \phi(g.x)$$ The integration is based on the Haar ...

**14**

votes

**2**answers

748 views

### What are the applications of operator algebras to other areas?

Question: What are the applications of operator algebras to other areas?
More precisely, I would like to know the results in mathematical areas outside of operator algebras which were proved by ...

**0**

votes

**0**answers

68 views

### How to generalize multiplication and addition to cyclic subfactors?

Let $(N \subset M)$ be a finite index irreducible subfactor and $P=P(N \subset M)$ its subfactor planar algebra.
Definition: $(N \subset M)$ is cyclic if its lattice of intermediate subfactors ...

**5**

votes

**0**answers

253 views

### Does the Approximation Property (AP) pass to quotients by amenable subgroups?

Given a countable group $G$ with the AP, and an normal, amenable subgroup $N$ of $G$, does $G/N$ have the AP?
In particular, does there exist a group $G$ with the AP and a surjective group ...

**1**

vote

**3**answers

333 views

### What's the relation between fusion and coproduct?

For an irreducible finite depth finite index subfactor $(N \subset M)$, there is a structure of fusion category given by the even part of its principal graph. The simple objects $(X_i)_{i \in I}$ of ...

**2**

votes

**0**answers

200 views

### Is there a non-trivial maximal Hopf algebra?

Let $H$ be a Hopf algebra over an algebraically
closed field $\mathbb{K}$ of characteristic $0$.
Maximal means without left coideal subalgebra $I$ (i.e. $\Delta(I) \subset H \otimes I$) other than ...

**5**

votes

**1**answer

168 views

### Are isometric homorphisms of C* algebras *-homorphisms

Here is my precise question:
Let $A$ and $B$ be two $C^*$ algebras. Let $f: A \rightarrow B$ a homomorphism of $C^*$ algebras which is isometric (on its image). Is $f$ necessary a $*$-homomorphism ?
...

**5**

votes

**2**answers

173 views

### fixpoint algebras of a permutation action

Let $D$ be an infinite UHF algebra, e.g. the infinite tensor product of the matrix algebra $M_k(\mathbb{C})$. The permutation group $\Sigma_n$ acts on the $n$-fold tensor product $D^{\otimes n}$ in a ...

**0**

votes

**0**answers

89 views

### Range of a trace preserving completely positive projection

I'm working in $M_n(\mathbb{C})$, the algebra of complex $n\times n$ matrices. I managed to build a completely positive, trace preserving, star preserving, projection $P$. That is
$$\text{Tr}(P(A)) = ...

**4**

votes

**2**answers

269 views

### Question about projections in von Neumann algebras

Let $M$ be a von Neumann algebra, and let $\mathcal{P}$ be the set of nontrivial (not equal to $0$ or $e$) projections of $M$. Define $p,q \in \mathcal{P}$ to be equivalent if there exist projections ...

**11**

votes

**1**answer

700 views

### W*-completion of a C*-algebra?

tl;dr: Is there such a thing as a W*-completion of a C*-algebra, and if so, where can I read about it?
I'm wondering about the relationship between (abstract) C*-algebras and W*-algebras. On the one ...

**3**

votes

**0**answers

142 views

### Formula for the distance in noncommutative geometry

Probably the most famous formula in noncommutative geometry is the following formula allowing one to compute distance of two points using the operator theoretic data:
$$(1) \ \ ...

**3**

votes

**0**answers

109 views

### Dimension of Birman-Murakami-Wenzl Algebra

I was reading the paper Braids, Link Polynomials and A New Algebra by J. S. Birman and H. Wenzl, and I was wondering is there a combinatorial way to compute the dimension of the algebras ...

**3**

votes

**1**answer

99 views

### Conjugacy of circle actions on UHF C*-algebras

Consider pointwise continuous actions of the unit circle on the $2^{\infty}$-UHF C*-algebra A by *-automorphisms. Assume that two such actions have the same fixed point algebra, i.e., elements that ...

**3**

votes

**0**answers

102 views

### Do c.p.c. order zero maps between local C*-algebras map C*-subalgebras to C*-subalgebras?

For the sake of this question I will assume the following
Definition A pre-C*-algebra $A$ is local in the sense of [1], i.e. if there is a family of C*-subalgebras $\{A_i\}$ of $A$ with the property ...

**5**

votes

**0**answers

107 views

### Approximation in the tensor square of a weakly exact von Neumann algebra

Background. I think I can prove something about a certain construction definition for Fourier algebras of discrete groups, under the assumption that the group is exact (well, really I use Yu's ...

**0**

votes

**1**answer

87 views

### Is there an irreducible subfactor with an infinite homogeneous single chain lattice?

We know that we can build an irreducible subfactor realizing a finite single chain lattice containing any finite index irreducible maximal subfactors, by using the free composition (see here).
Now ...

**1**

vote

**1**answer

223 views

### Existence of homogeneous single chain compositions of a given maximal subfactor?

All the subfactors here are irreducible inclusion of hyperfinite II$_1$ factors.
A subfactor $(N \subset M)$ is Homogeneous Single Chain ($HSC$) if its lattice of intermediate subfactors is a ...

**7**

votes

**2**answers

293 views

### Triangle inequality for $L^1$-norm with respect to a state

It is well-known that the naive construction of non-commutative $L^p$-spaces is performed only in tracial case. I would like to know if it is really a necessity.
To wit, let $\varphi$ be a normal ...

**5**

votes

**0**answers

141 views

### Unital $C^{*}$ algebras which all elements have path connected spectrum

A unital $C^{*}$ algebra is called "Path connected" if the spectrum of all its elements are path connected.
Is the tensor product of two path connected algebra, a path connected algebra?
What ...

**0**

votes

**1**answer

127 views

### All AI-algebras are AT-algebras

It is known that every AI-algebra (i.e. inductive limit of interval algebras) is an AT-algebra (i.e. inductive limit of circle algebras)?
This seems a little bit odd because a building block of an ...

**3**

votes

**1**answer

222 views

### Finite codimensional subvector space of $C^{*}$ algebras which contains no invertible elements

Assume that $A$ is a unital $C^{*}$ algebra. Is there a subvector space $Y\subset A$ of finite codimension which does not contain any invertible element?
Let $n(A)$ be the infimum of such ...

**9**

votes

**0**answers

302 views

### A matrix trace inequality

The well-known Powers-Stormer inequality says the following: for positive semidefinite operators $A, B$, we have that $\mathrm{Tr}((A - B)(A - B)^\dagger) \leq \| A^2 - B^2 \|_1$, where $\| \cdot ...

**5**

votes

**1**answer

152 views

### Comparing cardinalities of the spectrum of two masas in $B(H)$

If I imagine that (the self-adjoint part of) a C*-algebra $A$ represents the algebra of observables of some quantum system, then certain perspectives on algebraic quantum theory would ask me to ...

**0**

votes

**1**answer

153 views

### Totally non hereditary $C^{*}$-subalgebras

Assume that $B$ is a $C^{*}$ subalgebra of $A$. We say $B$ is totally non hereditary subalgebra of $A$ if not only $B$ is not a hereditary subalgebra but also it is not isomorphic to any ...

**18**

votes

**2**answers

828 views

### Commutators in the reduced C*-algebra of the free group

Is it known whether any element of trace 0 in the reduced $C^*$-algebra of a non-abelian free group, is a limit of sums of (additive) commutators?

**1**

vote

**0**answers

106 views

### A continuous choice of invertible elements

Let $A$ be a simple unital $C^{*}$ algebra with invertible elements $G(A)$. Assume that $A^{*}$ is its dual space, which is equipped with the weak star topology.
Is there a continuous map ...

**12**

votes

**2**answers

481 views

### Realisation of the noncommutative torus as a universal $ C^{*} $-algebra

One of the most basic examples in noncommutative geometry is the so-called noncommutative torus, denoted here by $ \mathbb{T}_{\theta} $. As far as I know, there are several equivalent constructions ...

**3**

votes

**2**answers

213 views

### Does this C*-algebra embed into a simple nuclear C*-algebra?

Let $\mathcal K$ denote the C*-algebra of compact operators, and fix an embedding $\phi_n:M_n(\mathbb C) \to \mathcal K$ for each $n\in \mathbb N$. Define the C*-algebra
$A := \{(a_n)_{n=1}^\infty ...

**0**

votes

**0**answers

57 views

### Specific optimization problem solution procedures

Is there a standard procedure to solve following two optimization problems?
$$\mathsf{Problem\mbox{ }I}:\mbox{ }\min_{A\in\{0,1\}^{n\times n}:rk(A)=r}\mbox{ }\max_{R,S\in\Bbb R^{n\times ...

**2**

votes

**0**answers

119 views

### Generalising the $L^2$-Norm to Compact Quantum Groups

For a compact quantum group (in the sense) of Woronowicz, we have a noncommutative $C^*$-algebra replacing ${\mathbb C}(G)$. This $C^*$-algebra is endowed with a linear functional generalizing the ...

**8**

votes

**1**answer

227 views

### Embedding the group von Neumann algebra into an injective von Neumann algebra on the same Hilbert space

Let $\Gamma$ be a discrete group, $\newcommand{\VN}{\rm VN}$
and let $\VN(\Gamma)$ denote its von Neumann algebra, regarded as a subalgebra of ${\sf B}(\ell^2(\Gamma))$. It is well known that ...

**5**

votes

**2**answers

176 views

### Two-sided ideals of $B(H)$ are hereditary

I seem to recall that (not necessarily closed) two-sided ideals of $B(H)$ are hereditary. Is that true?
If it is, can anyone post a proof/reference?

**2**

votes

**0**answers

136 views

### Has a subfactor with lattice $B_3$, a singly generated identity biprojection?

Let $(N \subset M)$ be an irreducible finite index subfactor.
If its lattice of intermediate subfactors is equivalent to $B_3$ (the lattice of divisors of $n=p_1p_2p_3$ square free):
...

**2**

votes

**3**answers

331 views

### Are the finite dimensional von Neumann algebras, singly generated?

Let $\mathcal{M}$ be a finite dimensional von Neumann algebra, then :
$$\mathcal{M} \simeq \bigoplus_i M_{n_i}(\mathbb{C})$$
Question : Is it singly generated (as von Neumann algebra)? how ?
...

**1**

vote

**0**answers

128 views

### The planar algebra generated by the biprojections

Let $(N_1 \subset M_1)$ and $(N_2 \subset M_2)$ be two irreducible finite index subfactors.
Let $\mathcal{B}_i$ be the set of all the biprojections of $\mathcal{P}_{2+}(N_i \subset M_i)$.
Let ...