**27**

votes

**0**answers

1k views

### Subalgebras of von Neumann algebras

In the late 70s, Cuntz and Behncke had a paper
H. Behncke and J. Cuntz, Local Completeness of Operator Algebras, Proceedings of the American Mathematical Society, Vol. 62, No. 1 (Jan., 1977), pp. 95-...

**24**

votes

**0**answers

725 views

### When are two C*-algebras isomorphic as Banach spaces?

We may consider each $C^*$-algebra as a Banach space (by forgetting the multiplication and adjoint). I wonder how drastic this step is, i.e., which properties of the $C^*$-algebra are reflected by its ...

**24**

votes

**0**answers

1k views

### Finite-dimensional subalgebras of $C^\star$-algebras

Let $A$ be a unital $C^\star$-algebra and let $a_1,\dots,a_n$ be a finite list of normal elements in $A$ which (together with their adjoints) generate a norm-dense $\star$-subalgebra $B \subset A$. ...

**19**

votes

**0**answers

551 views

### The Mackey Topology on a Von Neumann Algebra

Every von Neumann algebra $\mathcal M$ is the dual of a unique Banach space $\mathcal M_* $. The Mackey topology on $\mathcal M$ is the topology of uniform convergence on weakly compact subsets of $\...

**17**

votes

**0**answers

326 views

### Do quotients of amenable groups C*-algebras satisfy the UCT?

Let G be a discrete amenable group.
General Question: Let $J$ be an ideal of $C^*(G)$, the group C*-algebra of $G.$ Does $C^*(G)/J$ satisfy the universal
coefficient theorem (UCT)?
I am mainly ...

**17**

votes

**0**answers

537 views

### Noncommutative arithmetic mean geometric mean inequality and symmetric polynomials

While analyzing convergence speed of stochastic-gradient methods for convex optimization problems, Recht et al (2011) posed a tantalizing conjecture. It seems quite tricky, so after having struggled a ...

**16**

votes

**0**answers

700 views

### Relative commutants of abelian von Neumann algebras

This question arose from the discussion over at the question Centralizers in $C^*$-algebras.
Which von Neumann algebras $N$ satisfy the property that $A' \cap N = B' \cap N \implies A = B$, for all ...

**15**

votes

**0**answers

634 views

### What is operator tmf?

One of the many wonderful things about K-theory, relative to other generalized cohomology theories, is that it can be defined for not-necessarily-commutative C*-algebras. The resulting construction, ...

**14**

votes

**0**answers

484 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 is a path connected subset of $\mathbb{C}$.
Is the tensor product of two path connected algebra, a path ...

**14**

votes

**0**answers

363 views

### $C^*$-algebra generated by those operators that are bounded on every $\ell_p$

Suppose $T: c_{00} \to c_{00}$ is a linear map such that, when regarded as an infinite matrix, there is a uniform bound on the $\ell_1$-norms of its columns, and a uniform bound on the $\ell_1$-norms ...

**14**

votes

**0**answers

705 views

### Must we close weakly to apply the spectral theorem?

Let $H$ be an infinite dimensional separable complex Hilbert space. All C*-subalgebras of $B(H)$ are assumed to be non-degenerate.
The spectral projections of a self-adjoint element $T$ of $B(H)$ lie ...

**12**

votes

**0**answers

323 views

### Does every commutative $*$-algebra of operators on a prehilbert space have a character?

My question can be equivalently stated as follows:
Let $A$ be a complex commutative algebra with involution, and assume there exists a non-zero homomorphism $\pi:A\to L(V)$ to the algebra of ...

**12**

votes

**0**answers

392 views

### Does anybody know if the Fourier algebra of SL(3,Z) has an approximate identity?

(Note to those who like to tidy LaTeX, or ${\rm \LaTeX}$: I kindly request that you don't put any LaTeX in the title of this question, nor change the bolds below to blackboard bold.)$\newcommand{\FA}{{...

**12**

votes

**0**answers

255 views

### Subfactors of $L(F_{\infty})$

It is a well known result that any subfactor of the hyperfinite $II_{1}$ factor is hyperfinite. I wonder if there is any finite index version of this for free group factors. In particular is it true ...

**12**

votes

**0**answers

565 views

### Properties of orthogonality-preserving c.p. maps between $C^*$-algebras

Suppose that $A,C$ are $C^*$-algebras and $\phi:A \to C$ is a completely positive, orthogonality-preserving linear map.
(Orthogonality preserving means: if $a,b \in A$ satisfy $ab=0$ then $\phi(a)\phi(...

**12**

votes

**0**answers

593 views

### Can we define spectral triples using the language of rigged Hilbert spaces?

The traditional mathematical approach to quantum mechanics,
as developed by von Neumann, is based on Hilbert spaces and unbounded self-adjoint operators.
Another approach, which more closely resembles ...

**12**

votes

**0**answers

411 views

### Symmetric (extended) Haagerup tensor product

Given a von Neumann algebra M, then the weak$^*$ (or extended) Haagerup tensor product of M with itself is the collection of $\tau\in M\overline\otimes M$ with $$\tau=\sum_i x_i\otimes y_i$$ the sum ...

**12**

votes

**0**answers

1k views

### Schwartz kernel theorem for A-linear operators

Let $X,Y \subset \mathbb{R}^n$ be open subsets. Denote by $C^\infty(X)$ the smooth functions on $X$, let $\mathcal{E}'(Y)$ be its dual space considered as a space of distributions. Let $L(C^\infty(X), ...

**11**

votes

**0**answers

193 views

### Countably decomposable von Neumann algebras

A von Neumann algebra is countably decomposable if every family of mutually orthogonal nonzero projections is countable. Even a singly-generated von Neumann algebra need not be countably decomposable; ...

**11**

votes

**0**answers

118 views

### On spatial tensor products of von Neumann algebras

Let $H$ be a Hilbert space, and let $A_1,A_2,A_3\subset B(H)$ be three commuting von Neumann algebras.
We write $\odot$ for the algebraic tensor product,
and $\bar\otimes$ for the spatial tensor ...

**11**

votes

**0**answers

341 views

### Sums of squares via semidefinite programming for the complex free group algebra

In the algebra of real noncommutative polynomials (the “free monoid algebra” over the real field) it is possible to reduce the question of whether an element is a sum of hermitian squares and ...

**11**

votes

**0**answers

281 views

### Groups with reduced C*-algebras of stable rank 1

Let $G$ be a countable discrete group, $C_r^*(G)$ its reduced $C^*$-algebra. We say that $G$ has stable rank 1 if $C_r^*(G)$ has stable rank one, that is, the set of invertible elements is dense in $...

**10**

votes

**0**answers

204 views

### Status of the analog of the Haar measure on quantum groups

In (Masuda, Nakagami, Woronowicz)'s paper, in the introduction, the authors mentioned the deficiency common to both their and (Kusterman, Vaes)'s approach regarding the Haar state (or Haar measure ...

**10**

votes

**0**answers

374 views

### Tensorial decomposition of $B(H)$

Let $H$ be an infinite-dimensional Hilbert space and let $\mathcal{B}(H)$ be the (C*/W*-)algebra of bounded operators on it. Actually, you may forget about the involution in $\mathcal{B}(H)$ because I ...

**10**

votes

**0**answers

278 views

### Can we find arbitrarily many elements of SU(2) generating a good copy of MAX($\ell_1^n$) inside VN(SU(2))?

In trying to prove that the answer to the title is "no", I was led to the following problem (which I think is equivalent to the question asked in the title, but can be stated independently). If ...

**10**

votes

**0**answers

548 views

### Centralizers of group actions

Let a locally compact group $G$ act on a probability space $(X,\mu)$. Define the centralizer by $C(G)=\{\Delta\in Aut(X,\mu)\mid \Delta(gx)=g\Delta(x)\text{ almost everywhere}\}$. $Aut(X,\mu)$ denotes ...

**9**

votes

**0**answers

57 views

### Is the domain of an operator valued weight closed under Hahn-Jordan decomposition?

Let $N\subseteq M$ be an inclusion of semi-finite factors with normal faithful semi-finite traces $\operatorname{Tr}_N$ and $\operatorname{Tr}_M$ respectively. Let $T: M^+\to \widehat{N^+}$ be the ...

**9**

votes

**0**answers

174 views

### Commutative spectral triples not coming from manifolds

There is a very deep and remarkable theorem by Connes (the so called reconstruction theorem) which states that from a commutative spectral triple obeying certain axioms one can reconstruct a smooth ...

**9**

votes

**0**answers

259 views

### How many ideals are there in $B(H)^{**}$?

It is well-known (and easy to prove) that the only closed ideals of $B(\ell_2)$ are $\{0\}$, $B(\ell_2)$ and $K(\ell_2)$, the ideal of compact operators on $\ell_2$. I am curious whether we know what ...

**9**

votes

**0**answers

367 views

### Lacunary hyperbolic groups and weak amenability

In the paper called Lacunary Hyperbolic group, Y. Ol'shanskii, D. Osin and M. Sapir define and characterize the lacunary hyperbolic groups, which contains the hyperbolic groups but also Tarski's ...

**9**

votes

**0**answers

261 views

### H-space structure on the Calkin algebra

By the Atiyah-Jänich theorem the K-group $K^0(X)$ for a compact space $X$ may be represented as $[X, U(Q)]$, where $Q = B(H)/K(H)$ is the Calkin algebra and $H$ is a separable infinite dimensional ...

**8**

votes

**0**answers

145 views

### Existence/characterization/properties of $C^*$-algebras which “are” quantization of compact symplectic manifolds?

Understanding of "quantization" achieved much progress recent years, especially after Kontsevich breakthrough on deformation quantization, where he proved one-to-one correspondence between Poisson ...

**8**

votes

**0**answers

410 views

### The approximation property of group C*-algebras

Let $G$ be a discrete group. Then the group C*-algebra $C^*(G)$ is nuclear if and only if $G$ is amenable. I am wondering whether nuclearity of $C^*(G)$ can fail for a Banach-space reason, namely due ...

**8**

votes

**0**answers

272 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 ...

**8**

votes

**0**answers

350 views

### Quantum Braid Group

Recently I learned the definition of the quantum permutation group $A_s(n)$, which starts from the fundamental representation by permutation matrices and exchanges the entries by noncommuting ...

**8**

votes

**0**answers

321 views

### Residual finite dimensionality of surface groups

Alex Lubotzky and Yehuda Shalom have shown in Finite representations in the unitary dual and Ramanujan groups., (Discrete geometric analysis, 173–189, Contemp. Math., 347, Amer. Math. Soc., Providence,...

**8**

votes

**0**answers

579 views

### Pimsner-Popa Bases

Let $N\subset M$ be a finite index $II_1$-subfactor. Let $B=\{b_i\}$ be a finite orthonormal (Pimsner-Popa) basis for $M$ over $N$. Let $d=[M\colon N]^{1/2}$. It is well known that $B_1=\{d b_{i_1} ...

**7**

votes

**0**answers

210 views

### Commutation preserving operators

Let $A$ and $B$ be unital $C$*-algebras and let $T\colon A\to B$ be a bounded linear bijection that preserves commuting elements, i.e., $ab=ba$ implies $TaTb=TbTa$. Does $T^{**}$ then also preserve ...

**7**

votes

**0**answers

208 views

### Verifying Woronowicz’s proof that all $ {\text{SU}_{q}}(2) $’s are isomorphic as $ C^{*} $-algebras, where $ -1 < q < 1 $

This question is related to one that I asked some time ago.
Definition 1. Let $ q \in (-1,1) $. Let $ A $ be a unital $ C^{*} $-algebra and $ (x,y) $ a pair of elements of $ A $. Then define the ...

**7**

votes

**0**answers

363 views

### Unique maximal ideal in group C*-algebras

Let $G$ be a discrete group. Let $C^*(G)$ denote the full group C*-algebra of $G.$ Let $\pi:C^*(G)\rightarrow \mathbb{C}$ be the *-homomorphism associated with the trivial representation of $G.$
...

**7**

votes

**0**answers

170 views

### Replacing commutative C*-algebras by simple ones

I am looking for functorial ways of replacing a commutative $C^*$-algebra $C$ by a simple one, say $A$ , such that the $K$-theory remains unchanged, i.e. $K_*(C) \cong K_*(A)$.
I am particularly ...

**7**

votes

**0**answers

445 views

### References for “folklore” on strong amenability of (group) C*-algebras?

[Apologies in advance for the prolixity - but I was unsure how much of the story is familiar.]
$\newcommand{\ptp}{\widehat{\otimes}}
\newcommand{\co}{\operatorname{co}}
\newcommand{\Cst}{\operatorname{...

**7**

votes

**0**answers

596 views

### Faa di Bruno and Free Probability?

It is possible to glean many combinatorial identities using Faa di Bruno’s formula for the coefficients of higher derivatives of a composite function. For many examples, see David Vella’s paper. The ...

**7**

votes

**0**answers

293 views

### Canonical Time Evolution for Type $II_{1}$-Factors?

This question was spurred by the answer of Steve Huntsman to the MO question here. The Tomita-Takesaki modular automorphism group gives rise to a canonical time evolution on a type $III$ factor (...

**7**

votes

**0**answers

273 views

### Is it known that “hyperfinite length” cannot distinguish free group factors?

Given a type $II_{1}$ factor $M$, Popa and Ge defined the hyperfinite length $l_{h}(M)$ of $M$ to be the minimum natural number $n$ such that there are hyperfinite subalgebras $R_{1}, R_{2},..., R_{n}$...

**7**

votes

**0**answers

246 views

### Is the “Laplacian” a MASA in a Burnside Factor?

It is a basic fact that every type $II_{1}$ factor posesses a maximal abelian $*$-subalgebra (MASA). My question concerns the concrete realization of such subalgebras. For example, in the free group ...

**7**

votes

**0**answers

295 views

### Is there a finite-index finite-depth II$_1$ subfactor which is more than $7$-super-transitive?

Background: See Noah and Emily's posts on subfactors and planar algebras on the Secret Blogging Seminar.
There are plenty of examples of $3$-super-transitive (3-ST) subfactors; Haagerup, $S_4 < ...

**6**

votes

**0**answers

107 views

### Compactum of Banach algebra

What is an example of Banach algebra $A$ and a left non-trivial closed ideal $I$ with all of following properties?
There exists a bounded approximate identity in $I$ for $I$ i.e., a net $\{e_\alpha\}...

**6**

votes

**0**answers

164 views

### K theory as the fundamental group

There are several ways in which one can define $K$-theory for $C^*$-algebras: for $K_0(A)$ group two aproaches: algebraic (using idempotents) and topological (using projections, i.e. self-adjoint ...

**6**

votes

**0**answers

196 views

### A “slice-map” type problem for symmetric tensors in the square of a nuclear C*-algebra

Throughout: let $\otimes$ denote the minimal (i.e. spatial) $\newcommand{\Cst}{{\rm C}^*}\Cst$-tensor product of two $\Cst$-algebras.
Let $B$ be a unital, nuclear $\Cst$-algebra and let $A\subset B$ ...