Questions tagged [von-neumann-algebras]

Subtag of the [oa.operator-algebras] tag for questions about von Neumann algebras, that is, weak operator topology closed, unital, *-subalgebras of bounded operators on a Hilbert space.

Filter by
Sorted by
Tagged with
0 votes
1 answer
218 views

Compactly supported continuous functions as a Tomita algebra

Let $G$ be a locally compact group with modular function $\delta_G$ and consider $\mathcal{K}(G)$, the set of compactly supported continuous functions $G\to \mathbb{C}$, with the $*$-algebra structure ...
Andromeda's user avatar
  • 209
0 votes
1 answer
93 views

Does ${\rm Tr}(l(a)+l(b)) ={\rm Tr}(l(\alpha_1 a +\alpha_2 b ))$ imply that $l(a)l(b)=r(a)r(b)=0$?

Let $H$ be a Hilbert space and let $a,b\in B(H)$ be such that $${\rm Tr}(l(a))={\rm Tr}(r(a))<\infty , {\rm Tr}(l(b))={\rm Tr}(r(b))<\infty,$$ $${\rm Tr}(l(a)+l(b)) ={\rm Tr}(l(\alpha_1 a +\...
user92646's user avatar
  • 617
4 votes
1 answer
312 views

Every locally compact group gives rise to a locally compact quantum group

A locally compact quantum group (in the sense of Vaes-Kustermans) consists of the data $(M, \Delta, \varphi, \psi)$ with $M$ a von Neumann algebra, $\Delta: M \to M \overline{\otimes} M$ a normal ...
Andromeda's user avatar
  • 209
3 votes
1 answer
97 views

Least upper bound of type I factors

Given two type I (von-Neumann algebra) factors $\mathcal M,\mathcal N$, is there a smallest type I factor containing both $\mathcal M,\mathcal N$? Notes: $\mathcal M,\mathcal N$ are over the same ...
Dominique Unruh's user avatar
3 votes
1 answer
239 views

Takesaki: question about lemma in section "Left Hilbert algebras and weights"

To make this question relatively self-contained, this post is quite long, but the question itself is rather short. Consider the following fragments in Takesaki's second volume "Theory of operator ...
Andromeda's user avatar
  • 209
6 votes
1 answer
248 views

Sigma-weakly dense *-subalgebra of von Neumann algebra has increasing net of positive elements convergent to the identity

Let $M$ be a von Neumann algebra and $A\subseteq M$ a $\sigma$-weakly dense $*$-subalgebra of $M$. Does there exist an increasing net $\{a_i\}_{i\in I}\subseteq A\cap M^+$ such that $a_i\to 1$ in the $...
Andromeda's user avatar
  • 209
2 votes
1 answer
436 views

Takesaki II proposition 3.15 proof about modular automorphism groups: mistake in book?

Consider the following fragment from Takesaki's second volume "Theory of operator algebras" in chapter VIII "Modular automorphism groups" p122-123. Why is it possible to choose an ...
Andromeda's user avatar
  • 209
2 votes
1 answer
206 views

inclusion of von Neumann algebras implies reversing inequality of its modular operators

I'm working with von Neumann algebras and I stumbled with this statement in a work of Borchers (1999) Since $\mathcal N \subseteq \mathcal M$, it follows by standard arguments that $\Delta_{\mathcal ...
Gabriel Palau's user avatar
2 votes
2 answers
422 views

Takesaki II "Connes cocycle derivative"

Consider the following fragments from Takesaki's second volume "Theory of operator algebras" (chapter VIII $\oint 3$, Modular Automorphism groups, p107-108: Why are the second and third ...
Andromeda's user avatar
  • 209
1 vote
0 answers
122 views

Intersection of finitely many type-I von-Neumann algebra factors

If $\mathcal M,\mathcal N$ are type-I von-Neumann algebra factors (over the same Hilbert space $\mathcal H$), is $\mathcal M\cap\mathcal N$ a type-I von-Neumann algebra factor? Notes: An elementary ...
Dominique Unruh's user avatar
0 votes
0 answers
89 views

Intersection of type-I von-Neumann algebra factors

Is the intersection of a (possibly infinite) family $\{\mathcal M_i\}$ of type-I von-Neumann algebra factors (over the same Hilbert space $\mathcal H$) again a type-I von-Neumann algebra factor?
Dominique Unruh's user avatar
2 votes
1 answer
147 views

Question on tensor product of von Neumann algebras and subfactors

Let $M_1$ and $M_2$ be von Neumann algebras acting on Hilbert spaces $H_1,H_2$ and consider $M=M_1\overline\otimes M_2$ acting on $H_1\otimes H_2$. Let $K$ be an $M$-invariant subspace (so that $P_K\...
Lau's user avatar
  • 729
3 votes
1 answer
321 views

Takesaki II Lemma 1.13: stuck in proof

Consider the following fragment from Takesaki's book "Theory of operator algebras II" (Lemma 1.13 on p8, in chapter VI "Left Hilbert algebras"): Here, we associate with an ...
Andromeda's user avatar
  • 209
5 votes
1 answer
192 views

Continuity of the extension of a tracial state with respect to the strong operator topology

Problem: Let $M\subseteq B(H)$ be a finite von Neumann algebra with a faithful tracial state $\tau$. Let $\widetilde{M}$ be the $\tau$-measurable operators on $M$ (recalled below). Extend the trace $\...
John's user avatar
  • 45
3 votes
1 answer
185 views

$\tau$-measurable operator

Problem: Let $M$ be a semifinite von Neumann algebra with a faithful semifinite normal trace $\tau$. Let $m$ be a positive element in $M$ and let $e_{(0,\infty)}(m)$ be the spectral projection of $m$ ...
John's user avatar
  • 45
2 votes
1 answer
338 views

Difference in tracial and finite von Neumann algebras

A tracial von Neumann algebra $(M,\tau)$ is a von Neumann algebra with a faithful normal tracial state $\tau$ on $M$. That is, $\tau$ is a function from $M \to \mathbb{C}$ such that it is a faithful ...
Anupam Ah's user avatar
  • 163
2 votes
1 answer
254 views

Existence of conditional expectations map onto subalgebras

Let $B\subset A$ be an inclusion of $C^*$ - algebras. I am having confusions on the existence of a conditional expectation $E: A \to B$. I could see that in general an inclusion need not have any ...
Anupam Ah's user avatar
  • 163
1 vote
0 answers
256 views

Densely defined and closed operator

Question: Let $N\subseteq B(H)$ be a finite von Neumann algebra with a faithful normal trace $\tau$ and let $n\in N$. Let $B$ be a von Neumann subalgebra of $N$. Let $\mathbb{E}_B: N\rightarrow B$ be ...
John's user avatar
  • 45
5 votes
1 answer
219 views

Completely isometric coaction of discrete quantum group is multiplicative?

Let $\mathbb{G}$ be a compact quantum group (in the sense of Woronowicz) with discrete dual $\widehat{\mathbb{G}}$ which we view as a von Neumann algebraic locally compact quantum group (in the sense ...
J. De Ro's user avatar
  • 508
6 votes
1 answer
151 views

Every element of a $W^*$-algebra is a linear combination of exponential unitaries?

I am trying to understand a proof in this paper (specifically theorem 5.4). In it, a fact is used that every element of the $W^*$-algebra $A$ is a linear combination of exponential unitaries. I've ...
Ashley Shade's user avatar
2 votes
1 answer
231 views

Norm continuity of the predual of a von Neumann algebra

Let $M$ be a von Neumann algebra and let $(p_i)$ be a net of projections in $M$ decreasing to $0$. Let $f\in M_{\ast} $, the predual of $M$. It is well known that $\| p_i f \|_{M_\ast}\to_{i} 0$ for ...
user92646's user avatar
  • 617
0 votes
0 answers
82 views

Definition of an automorphism of von Neumann algebra acting on faithful normal state

$\DeclareMathOperator\Aut{Aut}$ In Theorem B, the authors define the $\Aut_{\varphi}$. I feel very confused about this definition. If $\alpha\in \Aut(M)$, when $x\in M$, it is sensible to define $\...
mathbeginner's user avatar
4 votes
1 answer
203 views

Support projection vs closed support projection of a normal state in enveloping von Neumann algebra

I preface this by saying that I am fairly new to the enveloping von Neumann algebra scene, so there may be some gaps in my understanding. Given a $C^*$-algebra $A$ and a state $\phi$ on $A$, one may ...
Sean's user avatar
  • 135
4 votes
1 answer
203 views

Definition of Radon measure on Takesaki's first volume

Consider the following theorem from Takesaki's first volume "Theory of operator algebras": In $(i)$, it is claimed that $L^\infty(\Gamma,\mu)$ is an abelian von Neumann algebra. How does ...
Andromeda's user avatar
  • 209
3 votes
1 answer
258 views

Extreme points of the set of all traces

Let $G$ be a finitely generated group with a bound on its complex unitary irreducible representations: That is assume all complex unitary irreducibles of $G$ have degrees at most $k$ for some integer $...
user3826143's user avatar
0 votes
0 answers
134 views

Type III von Neumann algebra

Let $\mathcal M$ be a type $\mathrm{III}$ von Neumann algebra. Is it true that for all $n\geq 1,$ $\mathcal M$ contains a copy of $M_n$ as a von Neumann subalgebra? By Theorem 9.24 of these lecture ...
A beginner mathmatician's user avatar
1 vote
0 answers
83 views

irreducible subfactor inclusion and commutativity of induced projections

Let $N\subset M$ be an irreducible subfactor inclusion, i.e., $N'\cap M =\mathbb C1$, acting on a Hilbert space $H$. Let $\Omega\in H$. Does it follow that the projections onto $[N\Omega]$ and $[M'\...
Lau's user avatar
  • 729
1 vote
1 answer
118 views

Which elements live in the image of the canonical map $X \otimes_\mathcal{F} M \to B(M_*, X)$?

Let $X\subseteq B(H)$ be an operator system and let $M\subseteq B(K)$ be a von Neumann algebra. We form the Fubini-tensor product $$X \otimes_\mathcal{F} M := \{z \in B(H\otimes K): (\sigma\otimes \...
J. De Ro's user avatar
  • 508
9 votes
1 answer
336 views

Why impossible events have some drawbacks or pathologies in probability theory?

It is said by Halmos, P.R.; in "Lectures on ergodic theory" "Many of the difficulties of measure theory and all the pathology of the subject arise from the existence of sets of measure ...
Kadi Harouna Illia's user avatar
5 votes
1 answer
410 views

Separable C* algebras and type I states

Let $A$ be a separable $C^*$-algebra and let $\omega$ be a state on $A$. Then there is an "orthogonal" probability measure $\mu$ on the pure state space $P(A)$ of $A$ such that $\omega(x) = \...
Lau's user avatar
  • 729
8 votes
1 answer
451 views

CCR vs. CAR vs. Clifford algebras, infinite tensor products and type of the corresponding von Neumann algebra

$\newcommand\CAR{\mathit{CAR}}\newcommand\Cl{\mathbb C\mathit l}$This question will be rather long and it will be my attempt to finally clarify many issues concerning CCR, CAR and Clifford algebras ...
truebaran's user avatar
  • 9,140
1 vote
1 answer
112 views

Continuous surjection between spectra of commutative von Neumann algebras

Suppose that $V_1,V_2$ are two commutative von Neumann algebras and $V_1 \subset V_2$. Being in particular commutative $C^*$-algebras we have that $V_1 \cong C(X_1), V_2 \cong C(X_2)$ for some ...
truebaran's user avatar
  • 9,140
1 vote
1 answer
166 views

Commuting and generating subfactors of $ B(H)$

I have a question on subfactors of $B(H)$ (the von Neumann algebra of bounded operators on a complex Hilbert space). Say I have a subfactor $M$ of $B(H)$. Is it true that another subfactor $N \subset ...
Lau's user avatar
  • 729
0 votes
1 answer
98 views

"Project" an operator outside of a von Neumann Algebra into it

Suppose $W$ is a proper von Neumann Algebra contained in $B(H)$ and the identity in $W$ is the identity mapping of $H$ (namely, $W$ does not have non-trivial null space). Given a self-adjoint $T\in W$...
Sanae Kochiya's user avatar
4 votes
0 answers
104 views

non centrally free actions of ameanable groups on the hyperfinite III_1 factor

Let $R$ be a hyperfinite $\mathit{III}_1$ factor, and let $Out(R)$ be its set of automorphisms modulo inner automorphisms. There is a canonical and important homomorphism $\phi:\mathbb R\to Z(Out(R))$ ...
André Henriques's user avatar
2 votes
1 answer
275 views

Measurability of a net

Let $(f_\epsilon)_{\epsilon>0}$ be a family of positive measurable functions on $L_p(\mathbb R)$ where $1<p<\infty.$ Assume that the pointwise supremum $f^*(x)=\sup_{\epsilon>0}|f_\epsilon(...
A beginner mathmatician's user avatar
0 votes
0 answers
311 views

Monotone convergence theorem for increasing net of positive functions

Suppose that we have $(\Omega,\mu)$ a $\sigma$-finite measure space. I have the following question. (Assume that $(f_i)_{i\in I}$ be an increasing net of positive measurable functions such that $f_i\...
A beginner mathmatician's user avatar
0 votes
1 answer
208 views

Semi-commutative von Neumann algebras

Suppose $\Omega$ is a $\sigma$-finite measure space with measure $\mu.$ Let $\mathcal M\subseteq B(H)$ be a von Neumann algebra. Can an element of $L_\infty(\Omega)\overline{\otimes}\mathcal M$ be ...
A beginner mathmatician's user avatar
4 votes
1 answer
241 views

Takesaki lemma 1.16 (volume II, chapter VII)

I am trying to understand the proof of the implication $(i)\implies (ii)$ in Takesaki's book "Theory of operator algebras II", chapter VII, which says the following: The relevant setting ...
Andromeda's user avatar
  • 209
2 votes
0 answers
63 views

What about the structure theory in Baer *-rings?

In the literature, Baer *-rings are called as the algebraic analogue of von Neumann alegars. It is well-known that Theorem. Every von-Neumann algebra is decomposed into a direct sum of the algebras of ...
ABB's user avatar
  • 3,898
3 votes
1 answer
120 views

Impact of annihilators in C*-algebras

Let $A$ be a unital C*-algebra. Let $S\subseteq A$. We put $$\operatorname{Ann}_r(S)=\{a\in A : \forall s\in S,~ ~as=0\}$$ Suppose that $A$ satisfies the following property: For every $S\subseteq ...
ABB's user avatar
  • 3,898
2 votes
0 answers
166 views

Projections in von Neumann algebra tensor product

Let $\mathcal M\subseteq B(\mathcal H)$ be a von Neumann algebra with normal faithful semifinite trace $\tau.$ Consider the von Neumann algebra $\mathcal N:=L_\infty([0,1])\overline{\otimes}\mathcal M$...
A beginner mathmatician's user avatar
4 votes
2 answers
286 views

Takesaki volume II chapter VII lemma 1.15

Consider the following fragments from Takesaki's second volume "Theory of operator algebras" in chapter VII on weight theory, lemma 1.15. Here $\mathcal{M}$ is a von Neumann algebra and $\...
Andromeda's user avatar
  • 209
3 votes
1 answer
213 views

Relating different definitions of dual of a compact quantum group

Let $\mathbb{G}$ be a compact quantum group in the sense of Woronowicz. We can look at its associated dense Hopf$^*$-subalgebra $\mathbb{C}[\mathbb{G}]$. Hence, in the framework of multiplier Hopf $*$-...
Andromeda's user avatar
  • 209
9 votes
3 answers
520 views

Defining the abstract tensor product of W*-algebras via a universal property

I am playing around a bit with $W^*$-algebras, and I'm trying to come up with a definition for the $W^*$-algebraic tensor product. Here is my first attempt: It is easy to show that such an object ...
Andromeda's user avatar
  • 209
2 votes
2 answers
145 views

Decomposition of an element as a difference of positive elements in the definition subalgebra of a weight (Takesaki)

I originally asked this on MSE, but did not get an answer there. Let $M$ be a von Neumann algebra. Let $\varphi: M_+ \to [0, \infty]$ be a weight on $M$. Consider \begin{align*}&\mathfrak{p}_\...
Andromeda's user avatar
  • 209
2 votes
0 answers
191 views

Almost periodicity and approximation in tracial von Neumann algebra

Let $N$ be a von Neumann algebra with a faithful normal tracial state $\tau$. For a countable group $G$, let $\sigma: G\rightarrow \text{Aut}(N)$ be a $G$- action on $N$ which preserves the tracial ...
Surajit's user avatar
  • 73
5 votes
1 answer
284 views

The center of a representation von Neumann algebra, and finite index subgroups

Consider a (countable) group $G$, a subgroup $H\leq G$ of finite index, and a unitary representation $\pi:G\to \mathcal{U}(\mathcal{H})$. If the center of the von Neumann algebra $\pi(H)''$ is finite ...
Itamar Vigdorovich's user avatar
4 votes
0 answers
118 views

$L_1$-subspace of the predual of a von Neumann algebra

If $M$ is a type $II$ von Neumann algebra, then the predual has a complemented subspace isometric to $L_1(0,1)$. It follows from the existence of expectation. However, I don't know whether such a ...
user92646's user avatar
  • 617
4 votes
1 answer
343 views

Families of representations of von Neumann algebras

Let $A$ be a von Neumann algebra and let $H$ be a (separable) Hilbert space. It is known (see e.g., Section IV, Thm. 5.5 of Takesaki I) that there exists a Hilbert space $K$ such that $A \subset \...
Matthias Ludewig's user avatar

1
2
3 4 5
12