All Questions
Tagged with operator-algebras or oa.operator-algebras
2,153 questions
7
votes
3
answers
409
views
Are nearby subalgebras of matrix algebras conjugate?
Let $k=\mathbb{R}$ or $\mathbb{C}$ and let $A$ be a finite-dimensional $k$-algebra. If $A$ is simple, then the Skolem-Noether theorem says that any two algebra homomorphisms $f, g: A \to M_n(k)$ are ...
- 9,853
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 ...
- 307
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
4
votes
2
answers
416
views
Is the left-regular representation of a locally compact group a homeomorphism onto its image?
Consider the left-regular representation $\lambda : G \to B(L^2(G))$, $\lambda_g f(h) = f(g^{-1}h)$, for a locally compact group.
It is well-known that this is a unitary faithful and strongly-...
- 759
5
votes
0
answers
72
views
Braided monoidal category of (generalized) operator algebras
In the paper "Quantum Collections" Kornell (2016) proved that the category of $W^*$ (von Neumann) (and iirc also $C^*$) algebras, equipped with a suitable choice of tensor product, forms a ...
- 1,094
1
vote
1
answer
353
views
Douglas' lemma for integral operators
Douglas' lemma gives a necessary and sufficient condition for two bounded operators $A$ and $B$ on a Hilbert space $H$ to get $\operatorname{Ran} A \subset \operatorname{Ran} B$ (wikipedia article, ...
- 101
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)," ...
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 $\...
- 85
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?
- 113
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
5
votes
1
answer
239
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 ...
- 525
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 ...
- 896
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=...
- 11
8
votes
1
answer
286
views
Commutator ideal in nonunital C*-algebra
Let $A$ be a C*-algebra that has no one-dimensional irreducible representations, that is, there is no (closed) two-sided ideal $I\subseteq A$ such that $A/I\cong\mathbb{C}$.
Let $J$ denote the (not ...
- 3,497
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,385
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 ...
- 2,605
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....
- 2,830
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 ...
- 165
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 $\...
- 433
5
votes
1
answer
428
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) = \...
- 759
8
votes
1
answer
643
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 ...
- 9,330
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\...
- 759
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 ...
- 356
2
votes
1
answer
250
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 ...
- 617
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}$, ...
- 176
10
votes
3
answers
860
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
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$ ...
- 21
16
votes
3
answers
2k
views
Non-commutative duality I: Which C*-algebras are (isomorphic to a) convolution algebra?
Many interesting C*-algebras can be realized as convolution algebras over a groupoid, an idea introduced in 1980 by Jean Renault (this entry in nLab provides plenty of context to the general approach ...
- 7,853
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 $\...
- 759
4
votes
1
answer
371
views
Motivation for Heisenberg's modeling of observables
What's the motivation for observables to be modeled by self-adjoint operators? I can't seem to find any place where this is laid out clearly. Maybe von Neumann's book is decent, but it's not ...
- 433
1
vote
1
answer
195
views
Concrete example of non-norm-attaining bounded linear operator on disc algebra
A bounded linear operator $T$ from a Banach space $X$ to a Banach space $Y$ is called norm-attaining, if there exists a vector $x\in X$ with $\|x\|=1$ such that
$$\|Tx\|=\|T\|.$$
Let $\mathbb{D}=\{z\...
- 149
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.
...
- 286
5
votes
1
answer
212
views
States "absorbed" by a Haar idempotent on a compact quantum group
Firstly, a small question of nomenclature. If $(S,\bullet)$ is a magma, is there good terminology to relate $a$ to $b$ when
$$a\bullet b=b=b\bullet a?$$
Can we say that $b$ absorbs $a$? Can we say ...
- 1,027
17
votes
3
answers
905
views
Existence of translation-invariant basis on $C_c(\mathbb R)$
Consider the space $C_c(\mathbb R)$ of complex-valued continuous functions of compact support. This is a vector space over $\mathbb C$, and I am not considering any topology, so the question is ...
- 2,071
-1
votes
1
answer
784
views
What is a type $\text{II}_1$ factor von Neumann algebra?
After finding formal definitions in various texts (see, eg, Witten, Notes On Some Entanglement Properties Of Quantum Field Theory, Rev. Mod. Phys. 90, 45003 (2018), doi:10.1103/RevModPhys.90.045003 ...
- 227
9
votes
2
answers
394
views
Can one detect a cyclic and separating vector for a concrete $C^*$-algebra using a dense subalgebra?
Let $A$ be a $C^*$ algebra of operators acting on some Hilbert space $H$, and $A_0$ is a norm dense $*$-subalgebra of $A$. Suppose there exists some unit vector $\xi \in H$, such that (i) $A_0 \xi$ is ...
- 1,586
8
votes
2
answers
208
views
Generalisation of the equivalence between $C^*(H)$ and $C_0(G/H) \rtimes G$; induction of group actions on C*-algebras
There is a well known Morita equivalence between the group C*-algebra $C^*(H)$ and $C_0(G/H) \rtimes G$, where $H$ is a subgroup of $G$. The corresponding equivalence of representations is an ...
- 293
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 ...
- 896
1
vote
0
answers
86
views
Inner product on Standard form of von Neumann algebra
Let $(M, H, H_+,J)$ be a standard form of a von Neumann algebra $M$ acting on a complex Hilbert space $H$ endowed with a self-dual cone $H_+$. Is it true that
$$\langle x,yz\rangle=\langle zx,y\rangle$...
- 131
4
votes
1
answer
334
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 ...
- 135
2
votes
0
answers
202
views
The trigonometric $C^*$-algebra
The trigonometric $C^*$-algebra is the universal $C^*$-algebra generated by $\mathcal{G}=\{x,y,z\}$ subject to relations \begin{align}x^2=x=x^*, &\quad y^2=y=y^*\\ [x, z]=y, &\quad [y,z]=...
- 356
0
votes
1
answer
190
views
Are the ideals in two $C^*$-algebras the same?
Let $V_{1}, V_{2}$ be the commuting isometries. By Wold decomposition theorem, we know that $V_{i}$ admits decomposition $$V_i \cong V^s_{i}\oplus V^{u}_{i},$$ where $V^{s}_{i}$ is the shift and $V^{u}...
- 139
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 ...
- 190
4
votes
1
answer
133
views
A $C^*$ algebraic analogy of the concept of complemented subspace in the particular case of $\ell^\infty$
Let $A$ be a $C^*$ algebra. A $C^*$ subalgebra $C\subset A$ is said to be $C^*$ algebraic complemented of $A$ if there exist a $C^*$ subalgebra $D\subset A$ with $A=C\oplus D$ and the obvios mapping $...
- 356
2
votes
1
answer
94
views
Unitary dual of universal cover
The universal covering group $G$ of $\mathrm{SL}_2({\mathbb R})$ has infinite center. Is there an irreducible unitary representation $\pi$ of $G$, whose central character is injective? Or does every $\...
user473423
7
votes
2
answers
871
views
Amenable action intuition
Let $\Gamma$ be a discrete group and $A$ be a $C^*$-algebra. Consider an action $\alpha: \Gamma \to \operatorname{Aut}(A)$. There is a notion of amenability for such an action (see e.g. Brown and ...
- 175
9
votes
2
answers
243
views
Lifting quasi-nilpotent elements in C$^*$-algebras
Let $A$ be a C$^*$-algebra with closed two-sided ideal $I$. Set $B=A/I$ and let $\pi:A\to B$ be the quotient map. Suppose that $b\in B$ is quasi-nilpotent. Does there exist quasi-nilpotent $a\in A$ ...
- 573
0
votes
0
answers
92
views
Proof of the isomorphism of the Toeplitz algebra and the algebra generated by the element and the relation
Please tell me where can I see the proof of this well-known fact?
enter image description here
4
votes
2
answers
298
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 $\...
- 175
8
votes
0
answers
411
views
Semigroups of matrices closed under conjugate transposition
An involution semigroup or $\star$-semigroup is a unary semigroup $\langle S,{\cdot}\,,{}^\star\rangle$ that satisfies the equations $$ (x^\star)^\star = x \quad \text{and} \quad (xy)^\star = y^\star ...
- 563