**6**

votes

**1**answer

667 views

### “Averaging” in von Neumann algebras

I've been reading recently about various "averaging" tricks in von Neumann algebras. For example, Christensen and Sinclair, in "On von Neumann algebras which are complemented subspaces of $B(H)$." J. ...

**12**

votes

**1**answer

411 views

### Can the minimal index of a subfactor take all values in {4cos^2(pi/n);n=3,4,5,…} u [4,infinity]?

Given a subfactor $N\to M$ and a conditional expectation $E:M\to N$,
there is a numerical invariant $Ind(E)$ associated to to this situation, called the index of $E$.
The possible values of $Ind(E)$ ...

**7**

votes

**1**answer

452 views

### Are the compact and Haagerup approximation properties equivalent?

The following essentially implies the equivalence of Anantharaman-Delaroche's compact approximation property (page 337 of http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=...

**7**

votes

**0**answers

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

**11**

votes

**2**answers

695 views

### Do Burnside Group Factors have Gamma?

The Free Burnside group $G=B(2,665)=\langle a,b|g^{665} \rangle$ is infinite, by the work of Adyan and Novikov. Furthermore, the centralizer of any nonidentity element in $G$ is finite cyclic, and so ...

**5**

votes

**3**answers

396 views

### Relative Bicommutant

If $A \subseteq \mathcal B(\mathcal H)$ is an algebra of operators that is closed under adjoint, then its bicommutant $A''$ is a von Neumann algebra, and is the ultraweak closure of $A$; this is one ...

**4**

votes

**2**answers

444 views

### range projection of an unbounded idempotent affiliated to a finite von Neumann algebra

To be slightly more precise: let $M\subset B(H)$ be a finite von Neumann algebra equipped with a faithful normal trace $\tau$, and let $L^0(M,\tau)$ be the completion of $M$ in the measure topology; ...

**7**

votes

**1**answer

408 views

### Finite dimensionality of certain $C^{\star}$-algebras

In the discussion about the question Finite-dimensional subalgebras of $C^{\star}$-algebras the following separate question came up:
Let $H$ be a Hilbert space and $a_1, \dots, a_n \in B(H)$ be self-...

**5**

votes

**3**answers

428 views

### Ideal of “Compact Operators” in a W*-algebra which gives the sigma-strong-* topology.

In the case of bounded operators on a Hilbert space $\mathcal{H}$, $L(\mathcal{H})$, there are multiple descriptions of the $\sigma$-strong-* topology, namely:
1) As given by seminorms $p_{\phi},~p_{\...

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

**6**

votes

**1**answer

694 views

### Proof of PCT theorem for Haag-Kastler nets in QFT

This question is about a theorem in the Haag-Kastler axiomatic approach to quantum field theory (QFT), also known as axiomatic or algebraic or local QFT.
PCT stands for parity, charge and time, a "...

**14**

votes

**0**answers

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

**3**

votes

**2**answers

460 views

### Reference for von Neumann algebras coming from a group algebra twisted by a 2-cocycle?

I am looking at a von Neumann algebra constructed from a discrete group and a 2-cocylce.
Does someone know some good references (article, book)? It would be very helpful for me.
To be more precise, ...

**5**

votes

**2**answers

716 views

### Universal characterization and explicit description of elements of the group von Neumann algebra and the crossed product

Group von Neumann algebras and crossed products for a locally compact group G
can be constructed in many different ways.
For example, one can take the von Neumann algebra generated
by certain ...

**4**

votes

**2**answers

315 views

### Lifting surjective von Neumann algebra homomorphisms

Is the following true? What's a nice proof?
Let $M$ and $N$ be von Neumann algebras, and let $\phi:M\rightarrow N$ be a normal, surjective, *-homomorphism. Is there a normal *-homomorphism $\...

**13**

votes

**4**answers

1k views

### Monoidal structures on von Neumann algebras

My question is based on the following vague belief, shared by many people: It should be possible to use von Neumann algebras in order to define the cohomology theory TMF (topological modular forms) in ...

**28**

votes

**4**answers

2k views

### Reference for the Gelfand-Neumark theorem for commutative von Neumann algebras

The Gelfand-Neumark theorem for commutative von Neumann algebras states that the following three categories are equivalent:
(1) The opposite category of the category of commutative von Neumann ...

**4**

votes

**2**answers

805 views

### A non-commutative Radon-Nikodym derivative.

In this classic paper, Sakai proves the following Radon-Nikodym theorem:
Let $M$ be a von Neumann algebra, and let $\phi$ and $\psi$ be two normal positive linear functionals on $M$. If $\psi \leq ...

**7**

votes

**3**answers

499 views

### normalizer of algebras and groups

Hi,
I am looking at inclusion of discrete groups $H\subset G$ such that $H$ is abelian and $(hgh^{-1},h\in H)$ is infinite if $g\in G-H$. If you have this, $LH\subset LG$ is a maximal abelian ...

**3**

votes

**2**answers

343 views

### Kernel projections in the universal representation.

Let $A \subseteq \mathcal B(\mathcal H)$ be a unital C*-algebra in its universal representation. The GNS representation $\pi_\mu\colon A \rightarrow \mathcal B(\mathcal H_\mu)$ with base state $\mu$ ...

**5**

votes

**1**answer

596 views

### Murray-von Neumann classification of local algebras in Haag-Kastler QFT

The Haag-Kastler approach to quantum field theory (QFT) is one of the oldest approaches to rigorously define what a QFT is, it deals with nets of operator algebras: You start with a spacetime and ...

**8**

votes

**1**answer

860 views

### When does a conditional expectation preserve some trace?

In developing a theory of index for inclusions of finite von Neumann algebras, several authors ([Kosaki, 1986], [Fidaleo & Isola,1996], etc.) define the index of a conditional expectation of a von ...

**3**

votes

**1**answer

787 views

### When can a partial isometry $u$ in $\mathcal B(H \otimes K)$ be extended to a unitary in $1 \otimes \mathcal B(K)$?

Let $H$ and $K$ be Hilbert spaces, and let $u$ be a partial isometry in $\mathcal{B}(H \otimes K)$ between projections $p_0 = u^\ast u$ and $p_1 = u u^\ast$ such that $p_0, p_1 \leq 1 \otimes (1-q)$ ...

**14**

votes

**3**answers

1k views

### Is the group von Neumann algebra construction functorial?

Let $G$ be a group and $CG$ the complex group algebra over the field $C$ of complex number. The group von Neumann algebra $NG$ is the completion of $CG$ wrt weak operator norm in $B(l^2(G))$, the set ...

**7**

votes

**3**answers

2k views

### Definition of a von Neumann algebra

Is there a way to equip every C*-algebra A with a functorial topology such that
the canonical map A→A** is an isomorphism if and only if A is a von Neumann algebra?
Here A** denotes the dual of A* in ...

**13**

votes

**1**answer

690 views

### Is Dependent Choice all we really need?

http://en.wikipedia.org/wiki/Axiom_of_dependent_choice
Is DC sufficient for the understanding of objects that are countable in some suitable sense?
For example, is DC sufficient for the full ...

**10**

votes

**1**answer

351 views

### Do subgroups have “two sided bases”?

Let $H\leq G$ be an inclusion of finite groups. Define a map $E\colon \mathbb{C}[G]\to \mathbb{C}[H]$ to be the $\mathbb{C}$-linear extension of
$$
E(g)=\begin{cases}
g &\text{if } g\in H\\\
0 &...

**8**

votes

**4**answers

479 views

### Does such a subgroup exist?

I am looking for a certain masa in a $II_1$ factor which is singular and has nontrivial Takesaki invariant.
For this I am looking for an example of an inclusion of groups $H\subset G$ such that:
$G$ ...

**5**

votes

**5**answers

1k views

### Measurable functions and unbounded operators in von Neumann algebras

How do you define unbounded measurable functions for a general von Neumann algebra?
For the commutative algebra $L^\infty(X,\mu)$, we can consider the space of all measurable functions that are ...

**7**

votes

**1**answer

279 views

### A coalgebraic description of the hyperfinite II_1 revisited

Back here I was asking for a coalgebraic characterisation of the hyperfinite $II_1$ factor. Recall the latter's construction by forming the inductive limit of a chain of matrix algebras $R \to M_2(R) \...

**9**

votes

**3**answers

2k views

### What is the relationship between algebraic geometry and quantum mechanics?

The basic relationship in algebraic geometry is between a variety and its ring of functions. Arguably a similarly basic relationship in quantum mechanics is between a state space and its algebra of ...

**4**

votes

**1**answer

275 views

### One-parameter semigroups of bimodules

Suppose M is a von Neumann algebra.
Consider a monoidal category of bimodules over M.
Here a bimodule is a Hilbert space with two normal representations of M.
The monoidal structure is given by Connes'...

**7**

votes

**2**answers

604 views

### Do torsion-free groups give projectionless group ($C^\ast$) algebras?

One of the reasons I study von Neumann algebras is that they always have plenty of projections. There are many projectionless $C^\ast$-algebras ($0$ and possibly $1$ are the only projections), but the ...

**12**

votes

**5**answers

2k views

### Non-commutative geometry from von Neumann algebras?

The Gelfand transform gives an equivalence of categories from the category of unital, commutative $C^*$-algebras with unital $*$-homomorphisms to the category of compact Hausdorff spaces with ...

**8**

votes

**1**answer

295 views

### Is there a coalgebraic characterisation of the hyperfinite II_1 factor?

Peter Freyd showed that the real interval [0, 1] is a final coalgebra for a functor on sets equipped with two points, which sends such a set to the 'wedge' of two copies of itself, identifying the ...

**7**

votes

**1**answer

401 views

### Maximal localizations of von Neumann algebras

Suppose M is a von Neumann algebra.
Denote by L its maximal noncommutative localization,
i.e., the Ore localization with respect to the set of all left and right regular elements,
i.e., elements whose ...

**13**

votes

**3**answers

777 views

### Categorifying the Reals via von Neumann Algebras?

So one way to categorify the natural numbers is to replace them with vector spaces. Then the dimension of the vector space reproduces the natural number. More generally you can categorify integers to ...

**5**

votes

**2**answers

667 views

### Operator Valued Weights

One of the basic tools in subfactors is the conditional expectation. If $N\subset M$ is a $II_1$-subfactor (or an inclusion of finite factors), then there is a unique trace-preserving conditional ...

**5**

votes

**7**answers

1k views

### Hochschild/Cyclic Homology of von Neumann Algebras: Useless?

Hochschild homology gives invariants of (unital) $k$-algebras for $k$ a unital, commutative ring. If we let our algebra $A$ be the group ring $k[G]$ for $G$ a finite group, we get group homology. ...

**10**

votes

**2**answers

490 views

### Ideals in Factors

One can easily prove that factors have no nontrivial ultraweakly closed 2-sided ideals as these are equivalent to nontrivial central projections. One can also show type $I_n$, type $II_1$, and type $...

**8**

votes

**0**answers

576 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

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