Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
1 answer
199 views

Does noncommutative Lp-convergence respect orderings?

Let $M$ be a von Neumann algebra and $\tau$ a faithful (semi-finite?) normal trace on $M$; as is standard, the $L^p$-norm is defined as $||u||_p=\tau(|u|^p)^{1/p}$. Let $\{u_i\}_{i=1}^\infty$ be a ...
Joakim Arnlind's user avatar
0 votes
2 answers
225 views

Isomorphism theorem for subfactors?

It's about the existence of a generalization of the first isomorphism theorem for groups, for subfactors : Let $(N \subset M)$ and $(N' \subset M')$ be irreducible inclusions of hyperfinite $II_1$ ...
Sebastien Palcoux's user avatar
17 votes
3 answers
3k views

Which sigma-ideals in a sigma-algebra are ideals of null sets?

My question is motivated, to be somewhat vague, by an attempt to see how much a measure space is defined by the set of null sets. In other words, assume we are not given a concrete measure on a space ...
Super-Measurable Analyst's user avatar
7 votes
1 answer
701 views

A Question About Pure States, Support Projections and Central Covers

I am trying to study the paper Consistency of a Counterexample to Naimark’s Problem by Charles Akemann and Nik Weaver, and there is a claim in Lemma 1 of the paper that I am stuck at, which is as ...
user avatar
7 votes
2 answers
658 views

Finding the commutant of a von Neumann algebra

Suppose you have a von Neumann algebra $A$ of operators on $H$ and would like to compute its commutant. You have constructed a collection $B\subset A'$ which you suspect generates it (i.e. you think $\...
mkreisel's user avatar
  • 1,010
8 votes
1 answer
716 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 ${\rm III}$ factor. Question : Is $\...
Sebastien Palcoux's user avatar
12 votes
1 answer
901 views

Is there a proof that the $C^{*}$-algebras don't see the invariant subspace problem?

This post is an appendix of this one. Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Invariant subspace problem: Let $T \in B(H)$. Is ...
Sebastien Palcoux's user avatar
8 votes
0 answers
952 views

About generator and isomorphism problems for free groups operator algebras

Let $H$ be an infinite dimensional separable Hilbert space. The $C^{*}$-algebras and von Neumann here unital and subalgebras of $B(H)$. Definition : Let $\mathcal{A}$ be $C^{*}$-algebra (resp. a von ...
Sebastien Palcoux's user avatar
6 votes
1 answer
680 views

Is there an operator algebraic reformulation of the invariant subspace problem?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Invariant subspace problem: Let $T \in B(H)$. Is there a non-trivial closed $T$-invariant ...
Sebastien Palcoux's user avatar
7 votes
1 answer
545 views

Is the fundamental group of $II_{1}$ factors invariant under a relation?

In order to define the equivalence relation, let's first recall the Tomita-Takesaki modular theory and conditional expectation for von Neumann algebras. Let $H$ be a separable Hilbert space and $B(H)$...
Sebastien Palcoux's user avatar
6 votes
1 answer
643 views

Is there an irreducible, noncompact commuting, nonnormal operator, with spectrum strictly continuous?

Let $H$ be an infinite dimensional separable Hilbert space. Definition: The commutant $\mathcal{S}'$ of a subset $\mathcal{S} \subset B(H)$ is $ \{A \in B(H) : AB=BA \ , \ \forall B \in \mathcal{S} \}...
Sebastien Palcoux's user avatar
3 votes
0 answers
304 views

Is the fundamental group of a maximal subfactor always $\mathbb{R}_{+}^{*}$?

The fundamental group $\mathcal{F}(N \subset M)$ of a unital inclusion of II$_{1}$ factors $N \subset M$ is defined as : $\mathcal{F}(N \subset M) =\{t >0 \ | \ (N \subset M)^{t} \simeq (N \...
Sebastien Palcoux's user avatar
21 votes
1 answer
835 views

On complemented von Neumann algebras

Edit: according to Narutaka Ozawa, question 3) is still open in the type $\mathrm{II}_1$ case. In other terms, it is not known whether every topologically complemented type $\mathrm{II}_1$ factor in $...
Julien's user avatar
  • 660
3 votes
1 answer
565 views

When does a $W^*$-algebra have a standard Borel spectrum?

EDIT: André Henriques has commented below that the correct separability condition is not weak-* separability as I have written below, but separability of the predual. This post came out a bit long, ...
Super-Measurable Analyst's user avatar
5 votes
0 answers
241 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 ...
Jiang's user avatar
  • 1,528
5 votes
1 answer
296 views

Number of II${}_1$ factors

McDuff proved that there exist continuum many non-isomorphic (separable) II${}_1$ factors. I would like to politely ask whether it is known/open if one can find $2^{\mathfrak{c}}$ (or at least $\...
Bojan Kwitek's user avatar
6 votes
1 answer
525 views

Strong convergence of projections in $B(H)$

(I asked this question at math stackexchange 4 months ago, but received no answers) Let $\{e_{kj}\}$ be the canonical matrix units in $B(H)$, with $H$ separable. Define projections $q_k$ by $$ q_k=\...
Martin Argerami's user avatar
10 votes
1 answer
492 views

Which W*-algebras are the duals of C*-coalgebras?

A Banach algebra (assumed associative and unital) is precisely a monoid object in the monoidal category of Banach spaces, short linear maps, and the projective tensor product. A Banach coalgebra is ...
Toby Bartels's user avatar
  • 2,754
6 votes
1 answer
363 views

von Neumann automorphisms: does convergence on a dense algebra imply $u$-convergence?

Let $M$ be a separable von Neumann algebra and let $A$ be a (von Neumann-)dense *-subalgebra. Suppose that $\alpha,\alpha_1,\alpha_2,\dots$ are automorphisms of $M$, such that for every $a \in A$, $$ \...
Aaron Tikuisis's user avatar
3 votes
1 answer
332 views

Continuity of a weight on its definition domain in a von Neumann algebra

Let $M$ be a von Neumann algebra and $\varphi$ be a normal weight on it, and let $A$ be its definition subalgebra. We still denote $\varphi$ the extension to $A$ as a linear positive functional. It ...
Oliver's user avatar
  • 357
26 votes
3 answers
2k views

About the category of von neumann algebras

I am looking for one (or more) reference about properties of the category of von Neumann algebra. More precisely, in an answer of a previous question, Dmitri Pavlov mentions that the $W^*$ category ...
Oliver's user avatar
  • 357
3 votes
0 answers
455 views

Morphism of von Neumann Algebras

Hello, Is there a counterexample to the following statement: let $A,B$ two von Neumann algebras, every morphism $A \rightarrow B$ of $C^* $-algebras is a $W^*$-homomorphism ? ( a $W^* $-...
user12806's user avatar
  • 663
22 votes
1 answer
745 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 $\...
Andre's user avatar
  • 1,199
23 votes
4 answers
2k views

Are almost commuting hermitian matrices close to commuting matrices (in the 2-norm)?

I consider on $M_n(\mathbb C)$ the normalized $2$-norm, i.e. the norm given by $\|A\|_2 = \sqrt{\mathrm{Tr}(A^* A)/n}$. My question is whether a $k$-uple of hermitian matrices that are almost ...
Mikael de la Salle's user avatar
7 votes
1 answer
592 views

topologies on U(H)

There are many topologies on the algebra $B(H)$ of bounded operators on Hilbert space: the weak, strong, ultraweak (also called σ-weak), ultrastrong (also called σ-strong), and some more......
André Henriques's user avatar
34 votes
2 answers
3k views

Can we recover a von Neumann algebra from its predual?

By definition, a von Neumann algebra is a C*‑algebra A that admits a predual, i.e., a Banach space Z such that Z* is isomorphic to the underlying Banach space of A. (We require that isomorphisms in ...
Dmitri Pavlov's user avatar
2 votes
2 answers
864 views

Decomposition of an abelian von Neumann algebra

Hi, I came across the statement below and I couldn't figure out why it is true. I was hoping someone could explain it or give me a good reference. Thank you in advance. "Let $\pi$ be a non-degenerate ...
Wishiwere Smarter's user avatar
7 votes
1 answer
577 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 Link) and the Haagerup approximation property. Let $M$ be a type ${II}_{1}$ ...
Jon Bannon's user avatar
  • 7,047
4 votes
1 answer
1k 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)$ ...
Andre's user avatar
  • 1,199
8 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 ...
Dmitri Pavlov's user avatar
9 votes
1 answer
395 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 ...
David Corfield's user avatar

1 2
3