The subject of operator algebras is primarily C*-algebras and von Neumann algebras, and associated topics. It also includes more general algebras of operators on Hilbert space, and may include algebras of operators on other topological vector spaces. It is related to but distinct from the subjects ...

learn more… | top users | synonyms (1)

1
vote
0answers
16 views

A comparison between absolute values of functionals

Let $A_0$ be a C*-subalgebra in a C*-algebra $A$. Let $\phi_0$ be a bounded linear functional on $A_0$ and assume $\phi$ is an extension of $\phi_0$ on $A$. I mean $\phi\in A^*$ with $\phi_{|_{A_0}}=\...
1
vote
0answers
16 views

Topology whose restriction to some sub-von-Neumann-algebra is its WOT?

Let $R \subset S$ be distinct von Neumann algebras having a separating vector in the separable Hilbert space $H$ on which they act. In what cases (if any) does there exist a topology $\tau$ on $S$ ...
1
vote
0answers
14 views

Crossed product by locally finite group

If a countable discrete group $G$ is the direct limit of finite subgroups $F_i$, and $G$ acts on a compact Hausdorff space $X$, can the crossed product $C^*$-algebra $C(X)\rtimes_r G$ be described in ...
1
vote
0answers
36 views

Lebesgue measurable integration, density

Let $\mathbb{T}$ be the unit circle and $\lambda$ be the Lebesgue measure on $\mathbb{T}$. Let $A_n := e^{2\pi i[1/2^{2n},1/2^{2n+1}]}$, $n\ge 1$. Define a function $f$ on the set of all the Lebesgue ...
1
vote
0answers
22 views

The necessity of defining the stable equivalence in the construction of the Grothendieck group $K_0$

I am confused about the process of the construction of the Grothendieck group $K_0$ in Murphy's $C^*$-algebras and operator theory section 7.1. Let $A$ be a $*$-algebra and $P[A]=\bigcup_{n=1}^\infty\...
1
vote
0answers
22 views

semifinite von Neumann algebra, spectral projection, trace

Let $\mathcal{M}$ be a semifinite von Neumann algebra and $\tau$ be a semifinite faithful normal trace on it. Let $T,P_1,P_2\in \mathcal{M}$, where $P_1,P_2$ are projections with $P_1\perp P_2$. Then, ...
1
vote
0answers
14 views

$C^\ast$ condition implies $B^\ast$ condition

By $C^\ast$ condition I understand $\|A^\ast A\|=\|A^\ast\|\|A\|$ and for $B^\ast$, $\|A^\ast A\|=\|A\|^2$. I know these conditions are equivalent even NOT assuming the involution is isometric, but I ...
1
vote
0answers
35 views

Atomic W*- algebra

Let $A$ be a C*-algebra. Put $z: = \sup\{ e\in A^{**} ;\text{ e is a minimal projection}\}$. Easily can see $z$ is a central projection. Set $M:= A^{**}z$. 1) Is $M$ an atomic W*-algebra in general? ...
1
vote
0answers
20 views

Special case of Green's imprimitivity theorem and related question

Consider a locally compact group $G$ and a closed subgroup $H$ of $G$, and let $G$ act on $G/H$ by left translation. Green's imprimitivity theorem implies that the crossed product $C_0(G/H)\rtimes G$ ...
1
vote
0answers
65 views

The reduction of nilpotency order of nilpotent elements of $C^{*}$ algebras

Assume that $A$ is a unital $C^{*}$-algebra. Let $a\in A$ be a nilpotent element with $$a^{k}=0,\;\;k>1.$$ Are there two elements $x,y\in A$ with $a=xy,\;\;(yx)^{k-1}=0$? Motivation for ...
1
vote
0answers
28 views

Is there a sample-path continuous stochastic process whose sample paths do not almost surely lie in an RKHS?

Let $f$ be a mean zero second-order stochastic process with continuous covariance function $k$, that is indexed on a separable metric space $\mathcal{X}$ and that is sample-path continuous. Can we ...
1
vote
0answers
75 views

Difference between Schmidt decomposition and singular value decomposition

Schmidt decomposition of an operator is a useful tool of quantum information theory nowadays. Let $O$ be an operator acting on the Hilbert space $\mathcal{H}_{d_1} \otimes \mathcal{H}_{d_1}$. $\...
1
vote
0answers
28 views

Multiplicity free representation contain irreducible representation (for type I representation)?

While looking at Arveson's "An invitation to C* algebras", at the moment of defining type I representations (p. 47), he says that a (non degenerate) representation is type I if every central ...
1
vote
0answers
29 views

the ideal structure of group $C^*$-algebras

What is the ideal structure of group $C^*$-algebras? Do there exist any books or articles in the field ? If G to be the group of integers $Z$ , then $C^*$($Z$)=C($T$). so because ideal structure of C(...
1
vote
0answers
12 views

Relationship between group $C^\ast$-algebras $C^\ast(G)$ and graph $C^\ast$-algebras $C^\ast(E)$

Let $E=E(G,S)$ be the graph defined by a group $G$ and a subset $S$ of $G$. What is relationship between group $C^\ast$-algebras $C^\ast(G)$ and graph $C^\ast$-algebras $C^\ast(E)$?
1
vote
0answers
11 views

Independence of choice of faithful representation in reduced $C^*$ crossed product

In the definition of the reduced $C^*$ crossed product associated with an action of a discrete group $G$ on a $C^*$-algebra $A$, one can begin with any faithful representation of $A$ on a Hilbert ...
1
vote
0answers
31 views

Existence of uniform multiplicity projection in abelian Von Neumann algebras.

I am stuck in a proof in Davidson's "$C^*$ algebras by examples" book. In section II.3, he proves that any abelian Von Neumann algebra $N$ on a separable Hilbert $H$ has a non-zero projection with ...
1
vote
0answers
35 views

Polar decomposition for completely bounded linear maps

Let $M$ be a W*-algebra and $f$ be a norm one and normal functional on $M$. Polar decomposition says that, there is a unique positive linear functional, denoted by $|f|$, satisfying in: $$|f|(1)=||f||...
1
vote
0answers
25 views

$p$-complete boundedness of homomorphisms between $L^p$ operator algebras

Let $A$ and $B$ be non-unital Banach subalgebras of $B(L^p(X,\mu))$ where $p\in[1,\infty)$. We unitize $A$ (and similarly for $B$) by considering $A^+=A+\mathbb{C}I\subset B(L^p(X,\mu))$, and we norm ...
1
vote
0answers
24 views

An operator which moves on the boundary

Let $H$ be a non-separable Hilbert space and $E$ be an orthonormal basis in $H$. Let $E_0$ be a countable subset of $E$ and $p$ be the projection onto the space generated by $E_0$. Let $\{\zeta_n\}...
1
vote
0answers
20 views

Operators problem

In $$ L^{2} (\mathbb{R}^2, e^{{-x^2}-y^{2}} dx dy)$$ with subspace $D$ of finite linear combinations of $g_m=(x+iy)^m$ , $m\neq 0$ and integer $(g_0=1)$. Having $$L=\frac{1}{2}\left(\frac{\partial}{\...
1
vote
0answers
24 views

A formula for representation

Let $A$ be a C*-algebra. Do you confirm the following discussion? Let us consider a representation $\pi:A\to B(H)$. We denote $M_{\pi}$ by the von Neumann algebra generated by $\pi(A)$. If we denote ...
1
vote
0answers
26 views

Operator system of minimal dimension with one dimensional projections

Consider the matrix algebra $\mathbb{M}_n(\mathbb{C})$ with H-S inner producr ($\langle a, b\rangle =tr (a^*b)$). What is the minimal dimension of any operator system $\mathcal{A}$ in $\mathbb{M}_n(\...
1
vote
0answers
59 views

star-modules and star-algebras

Is the following concept already known, perhaps with a different name? Let $R$ be a commutative ring and $* : R \to R$ be an involutive homomorphism (the most typical case is $R=\mathbb{C}$ and $* = $...
1
vote
0answers
71 views

Weak (operator) null sequence is bounded and pointwise convergent to zero

I was reading Diestel book (Absolutely Summing Operators) and it says: "(...) let $(f_n)$ be any weak null sequence in $\mathcal{C}(K)$. Then $(f_n)$ is bounded and converges pointwise to zero." I ...
1
vote
0answers
45 views

Gaussian unitary dilation of Gaussian channels

I am starting with a few definitions. All these are standard and can be accessed from some quantum information or quantum physics books, for instance the books by Holevo or Parthasarathy. The question ...
1
vote
0answers
33 views

Meaning of kernel

If something is the 'kernel' of a transformation, say $K(x,x')$, does it mean I should take the integral $$\int K(x,x') f(x')dx'$$ There are many different meanings of kernel and I did not see their ...
1
vote
0answers
39 views

Uniqueness of c.p.c. order zero extensions

I have a question about a passage in the proof (on page 316) of proposition 3.2 in this paper http://wwwmath.uni-muenster.de/42/fileadmin/Einrichtungen/mjm/vol_2/mjm_vol_2_14.pdf. My question is ...
1
vote
0answers
33 views

Questions about stable rank of inductive limit of $C^\ast$-algebras

Let $A$ be an inductive limit of $\{A_n\}$ which are stable rank one. In Huaxin Lin's book An introduction to the classification of amenable $C^\ast$-algebra. The author assume that $\{A_n\}$ and $A$ ...
1
vote
0answers
44 views

Centralizer of $C^*$ algebra

Let $\phi: A \to B$ be a surjective $āˆ—$-homomorphism of a separable $C^*$algebra. If $L: A \to A$ is a left centralizer then the formula $\phi(L)(\phi(a)) = \phi(L(a))$ defines a left centralizer for ...
1
vote
0answers
70 views

Eigenvalues and eigenvectors of certain diagonal constant matrices

Suppose I have an infinite complex diagonal constant (Toeplitz) matrix, which is also Hermitian. This is given by finite number of complex parameters $z_1, z_2, \cdots, z_k$. If, $z_1$ is the ...
1
vote
0answers
34 views

How are $C(S^1)$ and the crossed product algebra $C(\mathbb{R})\ltimes \mathbb{Z}$ Morita equivalent?

In Connes' Noncommutative geometry one construct "noncommutative quotients" by taking certain crossproduct algebra's. Given a group $G$ acting on a set $X$ through an action $\alpha$ we can form the ...
1
vote
0answers
27 views

Lifting invertible elements in a $C^*$-algebra connected to the identity

Let $A$ and $B$ be unital $C^*$-algebras and suppose that there is a surjective *-homomorphism $f:A\rightarrow B$. Then any invertible element in $B$ that is connected to $1_B$ can be lifted to an ...
1
vote
0answers
48 views

Why does one only consider one-parameter groups in Borchers-Arveson theorem?

The theorem (Operator algebras and Quantum statistical mechanics vol. 1, Bratteli, Robinson, Thm. 3.2.46 p.261) roughly says that if one has a one parameter automorphism group $t \rightarrow\alpha_t$ ...
1
vote
0answers
35 views

Interpreting the lingo of a definition

The Terms I grew up with: A bounded linear operator $U$ on a Hilbert space $H$ is a partial isometry if there exists a subspace $M$ of $H$ such that $\|Ux\| = \|x\|$ for all $x\in M$, and $Ux = 0$ ...
1
vote
0answers
69 views

Herz-Schur multiplier bounded if corresponding functional is bounded

I want to prove the following statement: Let $\Gamma$ be a discrete group and $\phi:\Gamma\rightarrow\mathbb{C}$ a function and $\omega_{\phi}:\mathbb{C}[\Gamma]\rightarrow\mathbb{C}:\sum_{t\in\Gamma}...
1
vote
0answers
94 views

Tensor product of $C^*$- algebras

We know from the paper of Douglas and Howe (enter link description here) that the commutator ideal $\mathcal{I}$ of $\mathcal{A}(C(T^2))$, the $C^*$-algebra generated by Toeplitz operators with ...
1
vote
0answers
35 views

$C^*$ algebra generated by a $C^*$ algebra and a group

In this article, "Spectral measures in Cāˆ—-algebras of singular integral operators with shifts", in chapter 3.1. They have a $C^*$ algebra $U$, and an unitary representation $\pi$ of a discrete group ...
1
vote
0answers
57 views

Spatial tensor product of operator spaces

If $X$ and $Y$ are Banach spaces and $\otimes_\varepsilon$ denotes the injective tensor product, then in general $\otimes_\varepsilon$ does not respect quotients unless we map into $\mathscr{L}_\infty$...
1
vote
0answers
38 views

Group $C^*$-algebra elements as limit of self-adjoint integrable functions

Assume $G$ is a locally compact abelian group and let $C^*(G)$ denote its group $C^*$-algebra. I am reading a proof that uses the 'fact' that some $f\in C^*(G)$ is a limit of self-adjoint functions $...
1
vote
0answers
38 views

Commutators of Schur polynomials of Lie algebra elements

Question: Is there a well-known formula for computing the commutators of Schur polynomials when the variables are Lie algebra elements? If the algebra has a particularly simple commutation relation, ...
1
vote
0answers
26 views

States: Liouvilleans

Given a C*-algebra $\mathcal{A}$ with dynamics $\tau$. Consider an invariant state: $\omega\circ\tau^t\equiv\omega$ Then the dynamics is unitarily implementable: $$\pi_\omega\left[\tau^t(A)\right]=e^...
1
vote
0answers
49 views

States: Approximate Unit

Given a C*-algebra $\mathcal{A}$. Consider a state: $\omega\geq0$ Especially one has: $\sup\omega(E^2)=\|\omega\|$ Can it actually fail to be a proper limit? The problem is that the square is not ...
1
vote
0answers
35 views

Prove a factor is III$_{\lambda}$ type

This question is from the Sunder's book An Invitation to von Neumann Algebras Ex 4.2.13 Let M be a semifinite factor with fns trace ${\tau}$. Let ${\theta}$ be an automorphism of M such that ${\...
1
vote
0answers
57 views

Wiener's lemma and Hulanicki's lemma

Let $\mathcal{A}(\mathbf{T})$ be the Banach algebra of continuous complex-valued functions on the unit circle with absolutely convergent Fourier series. Then Wiener's lemma states that if $f \in \...
1
vote
0answers
60 views

How to prove the following isomorphism?

Let $A, B$ be two C*-algebras, $\pi:B\rightarrow A$ and $\sigma: A\rightarrow B$ be *-homomorphisms such that $\sigma\circ\pi$ is homotopic to $1_{B}$. Define a *-homomorphism $\delta: B\rightarrow B\...
1
vote
0answers
116 views

Diagonalization of total angular momentum over creation operators for an isotropic harmonic oscillator?

You have an isotropic three dimensional quantum harmonic oscillator so the Hamiltonian is $$ H=\frac{p^2}{2}+\frac{r^2}2 $$ If you do the creation-annihilation operator-algebra trick and define ...
1
vote
0answers
100 views

Bounded operators with infinite matrix representations

Suppose that $A$ is a unital $C^*$-algebra, $\varphi\colon A\to B(H)$ is a unital, completely positive map and that $I$ is a non-empty set. If $A\subseteq B(K)$ for some Hilbert space $K$, we can ...
1
vote
0answers
121 views

Compact operators on $L^2(G)$ as a reduced cross product of $C_0(G)$ and $G$.

If any of the terminology is unclear then please don't hesitate to point it out. My question is: is it true that when $G$ is a locally compact second countable group then: \begin{equation*} C_0(G) \...
1
vote
0answers
55 views

Where is the most clear and concise exposition of the spectral theorem for self-adjoint operators on Hilbert space?

This question is certainly subjective, which may warrant votes to close. I'm simply looking to find the "best" written exposition of the spectral theorem for possibly unbounded self-adjoint operators (...