All Questions
Tagged with operator-algebras or oa.operator-algebras
2,153 questions
2
votes
0
answers
177
views
Banach isomorphisms between von Neumann algebras
It seems that most people are talking about $*$-isomorphisms of von Neumann algebras. However, I can not find any references for the Banach isomorphisms, i.e., let $A,B$ be two different von Neumann ...
5
votes
1
answer
413
views
Is the sigma-strong topology generated by bounded sets?
Let $V$ be a Banach space and $B(V)$ be the bounded operators on $V$. Now, the space $B(V)$ has a norm, the strong topology (which is the topology of pointwise convergence) and it has a stronger ...
1
vote
0
answers
216
views
Classical and free cumulants, symmetric functions, and inverses (references), related to associahedra, parking functions, noncrossing partitions
Looking for references for one or more of the following four sets of partition polynomials 1a) through 4a), particularly those which present geometric / topological combinatorial interpretations.
...
1
vote
0
answers
111
views
What is the status of The Halmos Similarity Problem?
What is the general status of "The Halmos Similarity Problem"(HSP) in Operator theory?For What conditions ,HSP has been solved?
0
votes
2
answers
149
views
Tensor product of operator values weights (in the theory of locally compact quantum groups)
Let $M$ be a von Neumann algebra and $\psi$ a normal faithful semifinite weight on $M$. Then one should be able to form the object
$$\iota \otimes \psi: (M\overline{\otimes} M)_+ \to \widehat{M_+}.$$
...
0
votes
0
answers
110
views
Given $\sigma(AB-BA) = \{0\}$, what can be said about $\sigma(A)$ and $\sigma(B)$?
Let $\mathcal H$ be a separable Hilbert space, and $\mathfrak B(\mathcal H)$ denote the algebra of bounded linear operators on $\mathcal H$. Furthermore, let $A,B \in \mathfrak B(\mathcal H)$ be two ...
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 ...
4
votes
0
answers
123
views
Extreme points in the space of ucp maps
Suppose $M$ and $N$ are $\mathrm{II}_1$ factors. Let $\tau\mathrm{UCP}(M,N)$ be the convex space of trace-preserving UCP maps from $M$ to $N$, equipped with the topology of pointwise weak* convergence....
3
votes
1
answer
185
views
Is the weighted shift strong frequently hypercyclic?
One sided Shift
Let be $M$ separable metric space. Consider $X=M^{\mathbb{N}}$ the sequence space equipped with the product metric $d(x,y)=\sum_{i=1}^\infty |x_i-y_i|/2^i$ . Define the shift map $\...
1
vote
1
answer
286
views
A subalgebra of $B(H)$ which does not contain a commutator element
Is there a commutative subalgebra $A\subset B(H)$ containing the 1 dimensional scalars with the following property:
The algebra $A$ has trivial intersection with the set of commutator ...
1
vote
0
answers
94
views
An example of a non rigid Banach algebra
A Banach algebra $A$ is called a rigid Banach algebra if for every injective Banach algebra morphism $J:A\to A$ we have either $\overline{J(A)}$ is ismorphic to $A$ or it does not contain ...
1
vote
1
answer
234
views
Intersection of von-Neumann algebra factors
Given two von-Neumann algebra factors $\mathcal M,\mathcal N$, is $\mathcal M\cap\mathcal N$ a factor?
And how about the intersection of infinitely many factors?
Notes:
I know that the intersection ...
1
vote
1
answer
162
views
Convergence of the partial sum of a sequence strictly converging to zero
The following question comes from a statement in Lemma 16.4 in K-theory and $C^{\ast}$-Algebras written by N.E. Wegge-Olsen. Let $A$ be a non-unital $C^*$-algebra, $\{p_n\}_{n\in\mathbb{N}}$ be a ...
2
votes
0
answers
92
views
Property A, Higson-Roe condition and its applications
Recently I have been studying amenability of groups and property A, and I came across the Higson-Roe condition:
Let $X$ be a uniformly discrete metric space with bounded geometry. $X$ has property $A$ ...
4
votes
1
answer
313
views
Projections in a diffuse von Neumann algebra
Suppose that $M$ is a von Neumann algebra with no minimal projections. Let $p$ be a nonzero projection in $M$ and $\rho$ be a normal state on $M$.
For any $\epsilon>0$, can we find a projection $e$...
0
votes
1
answer
71
views
Cyclic vectors and subfactor inlcusion
Let $N\subset M$ be a be factors acting on a Hilbert space $H$.
Denote by $\mathrm{Cyc}(A)\subset H$ the set of cyclic vectors for $A = M,N$.
I am interested in the equality case of the inclusion $\...
3
votes
0
answers
179
views
What's the purpose of the operator $(\Delta^{-1}+\lambda)^{-1}$ in Tomita-Takesaki modular theory?
I was reading Tomita-Takesaki modular theory (from all the books, and articles), the goal is to relate a von Neumann algebra $\mathcal{A}$ with its commutant $\mathcal{A}'$ on a Hilbert space $\...
8
votes
2
answers
626
views
An inverse to functional calculus
Given a Borel function $f:\mathbb{R}\rightarrow\mathbb{R}\cup\{\infty\}$, functional calculus allows to calculate $F(x)$ for any unbounded selfadjoint operator $x$ on a Hilbert space $\mathcal{H}$, ...
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 ...
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 +\...
6
votes
0
answers
158
views
Questions about the $K$-theory of the algebraic standard Podleś sphere
Given $\theta \in \mathbb{R}$ irrational, the $K$-theory of the smooth noncommutative $2$-torus $C^\infty_\theta(\mathbb{T}^2)$ is well understood in relation to that of the corresponding $\mathrm{C}^\...
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 ...
4
votes
0
answers
237
views
Does SO(n) have Lafforgue's Strong Property (T)?
On page 13 of the monograph of Bekka, de la Harpe, and Valette on Kazhdan's property (T), it is written "for $n \geq 3$, the compact group $\mathrm{SO}(n)$ has the strong property (T)," ...
1
vote
1
answer
199
views
Adjunction via Gelfand duality
$\DeclareMathOperator\Hom{Hom}$For which unital $C^{\ast}$-algebras $A$ does it hold that for all compact Hausdorff $S$ we have the bijection:
\begin{align*}
\Hom(A, C(S)) \cong \Hom(S, \Hom (A, \...
3
votes
1
answer
244
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 ...
2
votes
1
answer
344
views
An additive formula for the join of two projection operators
Consider the projection lattice of $\mathcal B(\mathcal H)$, the algebra of bounded operators on a Hilbert space $\mathcal H$. In particular, for two (orthogonal) projections $P, Q \in \mathcal B(\...
3
votes
1
answer
106
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 ...
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 ...
6
votes
1
answer
288
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 $...
6
votes
2
answers
1k
views
Commutative von Neumann algebras and localizable measure spaces
This is not my subject so I apologize if my question is too obvious or understood from other pages.
I read some pages such as
Reference for the Gelfand-Neumark theorem for commutative von Neumann ...
2
votes
1
answer
471
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 ...
1
vote
1
answer
410
views
Takesaki lemma: existence Gelfand-Pettis integral
Consider the following fragment from Takesaki's second volume of "Theory of operator algebras" (lemma 2.4, chapter VI "Left Hilbert algebras").
In another post, it was explained ...
1
vote
0
answers
41
views
A question on the domain of a non-commutative Radon-Nikodym derivative
Let $\omega$ be a state on a $C^*$-algebra $\mathfrak{A}$ and $\pi_\omega:\mathfrak{A}\rightarrow B(\mathcal{H}_\omega)$ its GNS representation. Suppose in addition that $\omega$ has central support, ...
1
vote
0
answers
150
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 ...
0
votes
0
answers
104
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?
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} \}...
1
vote
0
answers
89
views
Let $T\in B(H)$. Then prove that $T$ is a contraction if and only if the closed unit disc is spectral set for $T$
Let's first recall the definition of Spectral set for a bounded operator $T$ on a hilbert space $H$. Let $X\subseteq \Bbb{C}$ be compact such that $\sigma(T)\subseteq X$. Define $$\mathcal{R}(X):=\...
2
votes
1
answer
159
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\...
4
votes
0
answers
152
views
Maximally fine topologies on $B(H)$ making the unit ball compact
Let $H$ be a Hilbert space, and $B(H)$ its algebra of bounded operators. One of the reasons the Ultraweak topology is (in a way) more useful than the weak operator topology is that the Ultraweak ...
17
votes
1
answer
2k
views
The cyclic subfactors theory: a quantum arithmetic?
Context: First recall some results:
Actions of finite groups on the hyperfinite type $II_{1}$ factor $R$ (Jones 1980).
A Galois correspondence for depth 2 irreducible subfactors (Izumi-Longo-Popa ...
0
votes
1
answer
143
views
Differential form of the multidimensional "orthogonal dilation" operator
For a one-dimensional $f(x)$, the dilation operator $f(ax)$ can be expressed as $\exp(g(D))f(x)$, where $g$ is a closed-form function. This is easily checked by e.g. formal Taylor series expansion.
...
6
votes
1
answer
574
views
Integration in Banach algebra
Let $\mu$ be a Borel measure on the real line $\mathbb{R}$ taking values in a separable Banach algebra $A$. Assume that $\mu$ is such that the total variation measure $|\mu|$ is finite. Let $f$ be a ...
2
votes
1
answer
141
views
A congruence relation on the projection lattice
This question is a continuation of what I asked here. Tristan Bice showed the following nice result there:
Let $A$ be a von Neumann algebra and $P$ its projection lattice, ordered by $p\leq q\...
7
votes
1
answer
422
views
When is the multiplication map of the algebraic tensor product of C*-algebras injective?
A classic result, of Murray and Von Neumann I believe, is that if $\mathcal M\subseteq B(H)$ is a factor then the $*$-homomorphism $\pi : \mathcal M \odot \mathcal M' \rightarrow B(H)$ given by $\pi(...
1
vote
2
answers
192
views
Limit of a countable separable is countable separable?
Let $\rho$ be a positive trace class operator on $H\otimes H$, where $H$ is a separable Hilbert space (not necessarily finite dimensional). We say that $\rho$ is countable separable if $\rho=\sum_{i=...
5
votes
0
answers
504
views
Watatani's theorem for tensor categories
We refer to [JS97] for the notion of subfactor. Yasuo Watatani proved the following result [W96, Theorem 2.2]:
Theorem: An irreducible finite index subfactor of a type $\mathrm{II}_1$ factor has ...
5
votes
1
answer
204
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 $\...
3
votes
1
answer
226
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$ ...
2
votes
0
answers
354
views
Weakly null sequences in projective tensor products
First, I'd like to record a question that may still be open. The snippet below is taken from DiestelPuglisi2009.
Second, let $E$ be a Banach space, $(u_n)$ be a weakly null sequence in the projective ...
0
votes
0
answers
71
views
Necessary conditions for $K_0(I_x\bigotimes A)$ to be the trivial group
Let $A$ be a unital $C^*$-Algebra with non-trivial $K_0$ group. Define $CA = \{f\in C\big([0, 1], A\big)\,\vert\,f(0) = 0\}$. It can be shown that $CA$ is homotopic equivalent to the set $\{0\}$ and ...