# Tagged Questions

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

**23**

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

**20**

votes

**0**answers

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

**20**

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

**15**

votes

**0**answers

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

**14**

votes

**0**answers

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

**12**

votes

**0**answers

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

**12**

votes

**0**answers

223 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

336 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

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

**11**

votes

**0**answers

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

**11**

votes

**0**answers

540 views

### Non-“weakly group theoretical” integral fusion categories?

Can you exclude integral fusion categories of global dimension $210$, such that the simple objects have dimensions $\{1,5,5,5,6,7,7\}$ and the following fusion matrices (I don't write the trivial one) ...

**10**

votes

**0**answers

206 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

270 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

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

**10**

votes

**0**answers

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

**10**

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), ...

**9**

votes

**0**answers

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

**9**

votes

**0**answers

326 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

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

**8**

votes

**0**answers

233 views

### Are there only finitely many maximal subfactors of a 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 subfactors of a fixed finite ...

**8**

votes

**0**answers

241 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

480 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

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

**7**

votes

**0**answers

252 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

141 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

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

**7**

votes

**0**answers

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

**7**

votes

**0**answers

273 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., ...

**7**

votes

**0**answers

471 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

270 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

253 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},..., ...

**7**

votes

**0**answers

208 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

366 views

### Saito-Wright definition of Rickart C*-algebras

A C*-algebra is Rickart if for each $x\in A$ there is a projection $p\in A$ so that
$R(x)=pA$.
Here the right-annihilator $R(S)$ of $S\subset A$ is defined
as $R(S)=${$a\in A\mid xa=0\, \forall ...

**7**

votes

**0**answers

275 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

216 views

### C* algebras of free semicircular systems

It was shown by Pimsner and Voiculescu in 1982 that the reduced group $C^{*}$-algebras $C^{*}_{r}(\mathbb{F}_{n})$ and $C^{*}_{r}(\mathbb{F}_{m})$ are isomorphic if and only if $n = m$ (here, ...

**6**

votes

**0**answers

184 views

### A non-hyperfinite type III factor from an action of the free group on the circle

We define below a von Neumann algebra $\mathcal{M}$ from an action of the free group on the circle, and we prove that $\mathcal{M}$ is a non-hyperfinite type III factor.
Question : Is ...

**6**

votes

**0**answers

193 views

### Double ultrapower of the hyperfinite $II_1$-factor

Let $\omega$ be a free ultrafilter on the natural numbers and $R$ be the hyperfinite $II_1$-factor (the definition of $R$ is recalled in the comments).
Question: Does there exist another free ...

**6**

votes

**0**answers

230 views

### Paving conjecture for Toeplitz matrices

Let me first recall what is the so-called paving conjecture:
for any $\epsilon >0$, there exists $r\in \mathbb N$ such that
for any bounded operator $A$ on $\ell^2(\mathbb Z)$, there exists a ...

**6**

votes

**0**answers

366 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}}
...

**6**

votes

**0**answers

293 views

### “topological” conjugacy of group automorphisms

In the paper "Orbit Equivalence and Topological Conjugacy of Affine
Actions on Compact Abelian Groups", S. Bhattacharya shows (Theorem 3) the following:
Theorem. Given two actions $\alpha$ and ...

**6**

votes

**0**answers

313 views

### Ordering of completely bounded maps

Let A be a C*-algebra, let H be a Hilbert space, and let $T:A\rightarrow B(H)$ be a completely bounded (cb) map (that is, the dilations to maps $M_n(A)\rightarrow M_n(B(H))$ are uniformly bounded). ...

**6**

votes

**0**answers

213 views

### What morphisms / Morita equivalences induce the 2-periodicity isomorphisms of KK-theory?

In Kasparov's paper, the canonical isomorphisms $KK_* \rightarrow KK_{*+2k}$ are defined rather implicitely (by tensoring and stabilization).
Are there morphisms of $C^*$-algebras which induce them ...

**5**

votes

**0**answers

148 views

+50

### Is the crossed product $\mathcal{K} \rtimes G$ a groupoid algebra?

Suppose G, a discrete group acting on the compact operators $\mathcal{K}$ by automorphism of C*-algebra $\mathcal{K}$. Can we view the crossed product as a groupoid C*-algebra of some groupoid?
This ...

**5**

votes

**0**answers

107 views

### Dense ideals in C*-algebras and K-theory

Let $A$ be a nonunital C*-algebra and let $I \subset A$ be a dense, $*$-closed, 2-sided ideal. I was under the impression that there existed some "obvious" argument proving that $I$ carries all the ...

**5**

votes

**0**answers

193 views

### Essential unitary equivalence

Let us agree that heuristic meaning of the word "essential" is: up to compact operator. There is clear notion of unitary equivalent operators. What is the proper notion of two operators being ...

**5**

votes

**0**answers

157 views

### Bound on number of multiplications required to generate a matrix algebra from generators?

I've got a question about matrices and matrix algebras that offhand seems difficult, I'm wondering there is any sharp solution? Or perhaps it's known to not have any solution at all?
Suppose you have ...

**5**

votes

**0**answers

133 views

### Is a circle action on M_n necessarily inner?

An action $\alpha$ of a locally compact topological group G on a unital $C^*$-algebra $A$ is called inner if there exists a continuous group homomorphism $u\colon G\to U(A)$ such that ...

**5**

votes

**0**answers

210 views

### Find a lower bound for a pre-invariant $Fol(L(F_m), X_m)$

In the paper of Bannon and Ravichandran, A Folner invariant for type $\rm{II}_1$ factors, they defined an invariant $Fol(M)$ for a separable type $\rm{II}_1$ factor $M$, especially for the free group ...

**5**

votes

**0**answers

200 views

### When can't spaces of correspondences distinguish type $II_{1}$ factors?

If $M$ is a type $II_{1}$ factor with trace $\tau$, let $Corr(M)$ denote the space of unitary equivalence classes of $M-M$ correspondences (binormal $M-M$ bimodules) equipped with Popa's analogue of ...

**5**

votes

**0**answers

230 views

### Can one pose a Toeplitz index problem associated to a discrete group?

Before posing my question, let me provide a little background since the Wikipedia page on this stuff is sorely lacking.
Let's start with the classical case of the Toeplitz index problem on the ...