All Questions
60 questions
0
votes
1
answer
119
views
Reference request: hyperfinite cross product
Given a countable essentially free ergodic non-singular group action $G \curvearrowright (X, \mu)$ on a standard measure space, suppose $\mu$ is a non-atomic probability measure and $\alpha: G \...
4
votes
1
answer
251
views
Show that $\Lambda_\varphi(x_n)\to \Lambda_\varphi(x)$ for an nsf weight $\varphi$ on a von Neumann algebra
Let $\varphi$ be an nsf weight on a von Neumann algebra $M$. Fix a square-integrable element $x\in \mathscr{N}_\varphi$. Put
$$x_n := \sqrt{\frac{n}{\pi}}\int_{-\infty}^{+\infty} \exp(-nt^2) \sigma_t^\...
- 175
5
votes
1
answer
183
views
Question about modular group (Modular theory in operator algebras, section 2.14)
Consider the following fragment from Stratila's book "Modular theory in operator algebras", section 2.14, p20:
I'm trying to understand the claim $(3)$ (see the red box). The main strategy ...
- 175
1
vote
1
answer
186
views
Takesaki II "Bimodule" question
Consider the following fragment from Takesaki's book "Theory of operator algebras", chapter IX Non-commutative integration, Section 3 on p187-188:
I have trouble understanding the equality
$...
- 175
3
votes
2
answers
132
views
$w^*$-limit of projections in von Neumann algebra
Let $\mathcal M$ be a semi finite von Neumann algebra with a normal faithful semi finite trace $\tau$. Let $(e_i)_{I\in I}$ be a net of projections in the von Neumann algebra which converges to an ...
- 1,879
3
votes
1
answer
142
views
$K_0$ group of an infinite factor
The following question was already posted in this link but I could not understand hints given in this post.
Let $\mathcal{M}$ be an infinite factor and my question is how to prove that $K_0(\mathcal{M}...
- 307
3
votes
0
answers
60
views
Noncommutative maximal weak $L_1$ norms with respect to sub algebra
Let $(\mathcal M,\tau)$ be a von Neumann algebra with normal finite faithful trace $\tau.$ For any sequence $(x_n)_{n\geq 1}\in \mathcal M$ define $\|(x_n)\|_{\Lambda_{1,\infty}(\mathcal M;\ell_\infty)...
- 1,879
2
votes
1
answer
170
views
Ultralimit of $w^*$-continuous maps
Let $\omega$ be a free ultrafilter on $\mathbb N.$ Let $(\mathcal M_n)$ be a sequence of finite von Neumann algebras. Let $\mathcal N$ be another finite von Neumann algebra and we have maps $\phi_n:\...
- 1,879
1
vote
1
answer
180
views
Conditioning a $\mathrm{C}^*$-algebra state with infinite precision
This question (and a second part) have been asked at MSE and gone through two bounties without an answer. I have been beating my head at it for a while without success.
Let $\mathcal{A}$ be a unital $\...
- 1,027
0
votes
1
answer
233
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 ...
- 175
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 +\...
- 617
2
votes
2
answers
481
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 ...
- 175
3
votes
1
answer
332
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 ...
- 175
4
votes
1
answer
226
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 ...
- 175
0
votes
0
answers
144
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 ...
- 1,879
1
vote
1
answer
129
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 \...
- 525
0
votes
1
answer
101
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$...
- 307
0
votes
1
answer
214
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 ...
- 1,879
4
votes
1
answer
246
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 ...
- 175
2
votes
0
answers
176
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$...
- 1,879
3
votes
1
answer
255
views
Takesaki: Lemma about enveloping von Neumann algebra
Consider the following lemma with proof from Takesaki's book "Theory of operator algebra I" (p121):
It appears to me that Takesaki claims at the end of the proof that $\pi(A)_1$ is $\sigma$-...
- 175
5
votes
1
answer
321
views
Takesaki's proof of the Kaplansky density theorem
Consider the following fragment from Takesaki's book "Theory of operator algebra I":
Why is the boxed sentence true? It looks like they replace $A$ by its strong$^*$-closure. Is this ...
- 175
10
votes
3
answers
859
views
Takesaki theorem 2.6
I originally posted this question on MSE and didn't get a satisfactory answer, even after putting a bounty on it. Hence, I thought I should ask here:
Consider the following theorem in Takesaki's book &...
- 175
1
vote
1
answer
188
views
Uniqueness of the predual of a W*-algebra
Consider the following fragments in Takesaki's "Theory of operator algebras" (volume I):
Question: So, we have an abstract Banach space $F$ with $A \cong F^*$. In Lemma 3.6, one considers ...
- 175
2
votes
1
answer
111
views
About $\sigma$ strong$^*$-functionals and seminorms
I'm reading the book "Theory of operator algebras" by Takesaki. In this book, the $\sigma$-strong$^*$ topology on the space $B(H)$ (bounded operators on the Hilbert space $H$) is defined (...
- 175
3
votes
1
answer
306
views
Opposite $C^*$ algebras
$\DeclareMathOperator\op{op}$Let $A$ be a $C^*$-algebra. We know that $A$ admits a natural operator space structure, namely the operator space structure induced by any faithful $*$-representation of $...
- 1,879
0
votes
0
answers
144
views
Dual operator space
Suppose $E$ is an operator space and $E^*$ is the dual operator space. It is well known that the matricial norm structure on $E^*$ is given by the formula $\|[f_{ij}]_{i,j=1}^n\|_{M_n(E^*)}:=\sup\{\|...
- 1,879
1
vote
0
answers
87
views
Showing the existence of a right-inverse in a von Neumann probability space
Disclaimer: This is my first post here on Overflow as opposed to the "normal" forum, so if this question is too elementary for this forum, I'd appreciate y'all letting me know. I posted it ...
- 172
0
votes
0
answers
70
views
Limit of spectral projection of increasing sequence of positive operators
Let $\mathcal M$ be a von Neumann algebra. Suppose $(x_\alpha)\subset \mathcal M$ is bounded increasing net of positive operators converging to a positive operator $x\in\mathcal M.$ Is it true that $\...
- 1,879
2
votes
0
answers
135
views
On crossed product of L^{P} spaces
Let $M$ be a von Neumann algebra with faithful normal state $\varphi$, and $G$ be a group action on $M$ preserving $\varphi$. Then is it true
\begin{align*}
L^{p}(M\rtimes G, \varphi^{M\rtimes G})\...
- 677
1
vote
0
answers
179
views
Noncommutative analogue of Radon-Nikodym derivative
Let $\mathcal M$ be a noncommutative probability space i.e. there is a trace $\tau$ on $\mathcal M$ such that it is normal, faithful and $\tau(1)=1.$ Let $\tau_1$ be another normal trace on $\mathcal ...
- 1,879
3
votes
1
answer
89
views
Converegence of modulus in nocommutative $L_p$-spaces
Let $1\leq p<\infty.$ Let $\mathcal M$ be a von Neumann algebra equipped with a normal semifinite faithful trace $\tau.$ Let $L_p(\mathcal M,\tau)$ be the associated noncommutative $L_p$-space. Let ...
- 1,879
3
votes
2
answers
394
views
Extension of trace on von Neumann subalgebra
Let $R$ be a finite von Neumann algebra and $S$ be a von Neumann subalgebra of $R$. Does every normal tracial state on $S$ extend to a normal tracial state on $R$?
- 151
6
votes
1
answer
353
views
Equivalence of $\sigma$-weak topology to another topology
Let $\mathcal H$ be a Hilbert space. Define a topology $\tau_1$ on $B(\mathcal H)$ by the family of seminorms $x\mapsto |Tr(xa)|,$ $a\in L^1(B(\mathcal H)).$ Here $B(\mathcal H)$ denotes the set of ...
- 1,879
2
votes
1
answer
83
views
On existence of fixed point operator
Let $M$ be an infinite dimensional non-type $I$ factor, given $\xi$ in $\mathcal{H}$, does there exist a not identify operator $x$ in $M$ such that $x\xi=\xi$, I have tried with taking projection $P_{\...
- 677
3
votes
2
answers
241
views
Polar decomposition of tensor product of operators in von Neumann algebra
If $T=V|T|\text { and } S=W|S|$ is the polar decomposition of $T$. Is it true that the polar decomposition of $T\otimes S$ is $T\otimes S=(V\otimes W)(|T| \otimes |S|)$. If $T$ and $S$ are self-...
- 677
-1
votes
1
answer
180
views
On spectral multiplicity of left shift operators
Let $U$ be an operator defined on $l^{2}(\mathbb{Z})$ by $U(e_{n})=e_{n-1}$, where $e_{n}$ is an orthonormal basis of $l^{2}(\mathbb{Z})$. $U$ is a left shift operator. Since $U$ is unitary operator ...
- 227
3
votes
1
answer
252
views
What is the story behind this Hilbert space in the definition of Hilbert Modules
Here is Deflnition 1.5 of Hilbert module in "L^2-invariants: theory and applications to geometry and K-theory", Springer-Verlag, 2002, by W. Lück:
A Hilbert $\mathcal N(G)$-module $V$ is a Hilbert ...
- 2,118
1
vote
0
answers
83
views
Are these kinds of "crossed product" studied?
Let $M$ be a von Neumann algebra acting in a Hilbert space $H$, and let $\rho$ be a representation of a group $G$ on a Hilbert space $K$. Define $M\rtimes_\rho G$ to be a von Neumann algebra acting in ...
- 2,118
1
vote
0
answers
74
views
About crossed product of the group von Neumann algebra
Let $G$ be a group with a normal subgroup $N$. If $K$ is a field, then it is well known in ring theory that $K[G]\cong K[N]*(G/N)$ ($*$ stands for the crossed product). Do we have such an isomorphism ...
- 2,118
1
vote
1
answer
193
views
When is $\inf_{n\geq0}x^n\neq0$?
Let $M$ be a von Neumann algebra acting on a Hilbert space $H$. Let $x$ be a positive element of $M$ with $\|x\|=1$. So, $(x^n)_{n\in\mathbb N}$ is a decreasing sequence of positive elements and $y:=\...
- 2,118
2
votes
0
answers
201
views
An example of non trivial projections in a group von Neumann algebra
Let $G$ and $\text{vN}(G)$ be a torsion free group and its group von Neumann algebra. Is there a characterization of non trivial projections in $\text{vN}(G)$? If not, is a certain class of them ...
- 2,118
3
votes
1
answer
192
views
An analytical zero divisor
Let $G$, $\mathbb C[G]$ and $\text{vN}(G)$ be a torsion free group, it's group ring and group von Neumann algebra, resp.. Let $0\neq\alpha\in\mathbb C[G]$ and $0\neq p\neq1$ is a projection in the ...
- 2,118
1
vote
0
answers
169
views
Conditional Expectation for von Neumann algebra
Let $M$ be a von Neumann algebra and $T: M\rightarrow \mathbb{C}$ be a finite normal faithful tracial map, s.t., if $\phi : M \rightarrow A \cap A^{*}$ is a conditional expectation, (A being a weak ...
- 233
1
vote
1
answer
171
views
On projection theory for inseparable Hilbert spaces
How can one see that $I$ is an infinite projection in $B(\mathcal{H})$, where $\mathcal{H}$ is an inseparable Hilbert space?
- 227
1
vote
0
answers
89
views
Projections in properly infinite factor
Denote by $\sim$ the "Murray-von Neumann" equivalence in the projection lattice of a von Numann algebra. Let $e$ be a projection in a properly infinite factor. Is it always true that $e\sim 1$ or $1-e\...
- 2,118
8
votes
1
answer
302
views
Does every integer map generate a von Neumann algebra of type I?
Consider a map $m: \mathbb{N} \to \mathbb{N}$ (we call it an integer map). Let $E_r$ be the set $m^{-1}(\{r\})$.
Let $H$ be the Hilbert space $\ell^2(\mathbb{N})$ and consider the densely defined ...
8
votes
0
answers
269
views
Shift on trivalent directed tree, operator and von Neumann algebra
Let $\mathcal{T}$ be the trivalent directed tree, with two parents and one child for each vertex (see below). Let $\mathcal{V}$ be the set of vertices of $\mathcal{T}$ and $H$ be the Hilbert space $\...
3
votes
0
answers
200
views
Type III von Neumann algebra generated by one operator
Is it possible to explicitly construct the Hilbert space $H$ and operator $T \in B(H)$ such that the von Neumann it generates is type $III$ factor? I would like to see an example.
- 9,330
10
votes
1
answer
449
views
A small corner w.r.t. a masa in a von Neumann algebra
Let $A \cong L^\infty[0,1]$ be a non-atomic maximal abelian *-subalgebra
in $M \cong B(L^2[0,1])$ (or any von Neumann algebra $M$).
Is the following true?
For every $T \in M$ and $\epsilon>0$, ...
- 10.1k