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
1answer
22 views

Maximal ideal space and quotient space in abelian Banach algebra

I have a short question regarding operator algebras. Given an abelian Banach algebra $\mathcal{A}$. Assume that $\phi \in \big\{ \phi : \phi \text{ is a non-zero linear multiplicative functional} ...
3
votes
1answer
49 views

Gelfand-Naimark for $C^*$-categories

What is a reference for the following Theorem? If $A$ is a small $C^*$-category, then there is a faithful $C^*$-functor $A \to \mathsf{Hilb}$. $C^*$-categories with exactly one object are just ...
2
votes
1answer
51 views

Unit of a purely infinite, simple C*-algebra

Suppose that we have a purely infinite, simple C*-algebra with unit $1$. Can we find two projections $p,q$ both equivalent to the identity such that $1=p+q$ and $pq=0$? Well, there are two ...
2
votes
2answers
32 views

A question about corners of $C^\ast$-algebras

Let $\mathcal{A}$ be a $C^\ast$-algebra, $p\in M_n(\mathcal{A})$ a projection, is there a $k\in\mathbb{N}$ such that $pM_n(\mathcal{A})p\cong M_k(\mathcal{A})$ ? Thanks a lot!
1
vote
1answer
35 views

States on a non-unital $C^*$-algebra

Let $\mathcal{A}$ be a unital $C^*$-subalgebra of $B(H)$. Then the definition $\phi(a):=\langle ah,h \rangle$ for a fixed $h\in H, \|h\|=1$ and for all $a\in\mathcal{A}$ defines a state on ...
3
votes
1answer
75 views

When can $*$-algebras be turned into $C^*$-algebas?

Let $A$ be a (not necessarily unital) complex $*$-algebra, i.e. an algebra over $\mathbb{C}$ together with an involution $*: A \to A$. There exists at most one norm on $A$ turning $A$ into a ...
1
vote
1answer
30 views

Matrices over the Cuntz algebra

Consider the Cuntz algebra $O_2$. Is it true that $M_2(O_2)$ is isomorphic to $O_2$? I was trying to show that is impossible but now I am not sure.
0
votes
0answers
56 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 $* = ...
2
votes
1answer
29 views

Subordinate projections: Transitivity

Let $A$ be a $C^*$-algebra. If necessary, let us assume that $A$ is a von Neumann algebra. For projections $p,q \in A$ one writes $p \prec q$ if $p$ is Murray-von Neumann-equivalent to a subprojection ...
1
vote
1answer
47 views

a point on trace class operators

Assume $H$ is separable Hilbert space and fix an orthonormal basis $\{e_n\}_1^{\infty}$. Let us denote $p_n$ by the projection onto the subspace generated by $\{e_1\cdots,e_n\}$. Let $a$ be a ...
1
vote
0answers
66 views

Arzelà–Ascoli theorem for operators

If you have a net of continuous linear operators between reasonable spaces (complete, at least), does there exist Arzelà–Ascoli-like theorems giving convergent subnets? I believe that it should be ...
3
votes
1answer
87 views

Characterization of normal operators on Hilbert space as function of a self-adjoint operator

My question : Suppose T is a normal operator on a Hilbert space H. Show that there exists a self-adjoint operator S on H such that T=f(S), where f is continuous function from spectrum of S into S. My ...
2
votes
1answer
36 views

Normal element is sum of four commuting positive elements

I am stuck with the following problem : Every normal element in a $C^*$ algebra can be written as a linear combination of four commuting positive elements. I had tried along the following lines. ...
2
votes
0answers
40 views

Introductory books for ‎ ‎$\frak{E}_p(I)$

Are there any good books different from abstract harmonic analysis by hewitt to study ‎$\frak{E}_p(I)$. where ‎$\frak{E}_p(I)$ is: ‎Let $I$ be an arbitrary index set‎. ‎For each $i\in I$ let $H_i$ ...
1
vote
1answer
26 views

How to handle direct sums and unitizations of $L^p$ operator algebras?

Let $p\in[1,\infty)$. An $L^p$ operator algebra refers to a Banach algebra that is isometrically isomorphic to a closed subalgebra of $B(L^p(X,\mu))$ for some ($\sigma$-finite) measure space ...
6
votes
3answers
82 views

Can $AB-BA=I$ hold if both $A$ and $B$ are operators on an infinitely-dimensional vector space over $\mathbb C$?

Of course, it can't hold if operators are over finite-dimensional spaces, as is evident from trace considerations. Can it be true for infinite-dimensional spaces? I think not, but I don't see how we ...
1
vote
1answer
31 views

Can someone help me to give some hints? Left Hilbert-$C_0(T,K(H))$ module $C_0(T,H)$

I tried to prove example 3.4 from the book Morita Equivalence and Continuous-Trace C$^*$-Algebras by Iain Raeburn and Dana P. Williams, but I get uneasy with notations and ideas. Let me restate my ...
0
votes
0answers
86 views

What is an algebra and what is it's representation?

Heyho, i've kind of got an understanding problem what exactely an algebra and especially it's representation is. In my case it is said, that the relation $R_{12}(u-v) (L(u) \otimes \mathrm{I}) \; ...
7
votes
2answers
116 views

What, and how can, topological invariants can be computed from a space's algebra of functions?

The Gelfrand duality says that the category of locally compact Hausdorff spaces (with proper continuous functions) is equivalent to the category of commutative $C^*$ algebras (with proper ...
2
votes
1answer
89 views

Power series expansion of an Operator.

I've been reading a paper called "Separation of variables for the quantum $Sl(2,R)$ spin chain" in which the author at one point does a power series expansion I do not understand. The problem is this ...
2
votes
0answers
42 views

Clarification on Wolfram Mathworld's explanation of the connection between Gelfand Transform and Fourier Transform

http://mathworld.wolfram.com/GelfandTransform.html In the definition, what does $x$, $\hat x(\phi)$, and $\phi$ represent exactly if we were to consider definition of the Fourier transform? Can ...
2
votes
1answer
95 views

Is there a $C^{*}$ algebra with these properties

Is there a unital C* algebra A which is NOT simple but satisfies the following two conditions: 1)A has trivial center 2)A has a faithful trace such that every zero trace element lies in the closure ...
1
vote
1answer
29 views

Ordering: Normalized

Given a Hilbert space $1\in\mathcal{A}$. Denote selfadjoints: $$\mathcal{S}:=\{A\in\mathcal{A}:A=A^*\}$$ Introduce an order: $$A\leq A':\ \ \sigma(A'-A)\geq0$$ Regard a projection: $$P\neq0:\quad ...
1
vote
0answers
51 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 ...
2
votes
1answer
48 views

Operators whose spectrum has a finite number of connected component

Assume that $H$ is a separable Hilbert space. Let $Q$ be the set of all operators$T \in B(H)$ such that the spectrum of $T$ has a finite number of connected component. Is $Q$ a subvector space ...
3
votes
0answers
30 views

Derivation into dense ideal of Banach algebras

Let $A$ be a Banach algebra and $I$ be an ideal of $A$. A derivation $D:A\to I$ is a linear bounded map, with the following property: $$D(ab)=aD(b)+D(a)b,\qquad a,b\in A.$$ Suppose that $I$ is dense ...
3
votes
1answer
43 views

A question about the weak operator topology of $B(H)$

Let $H$ be a Hilbert space and $V$ a dense subspace. Let $A$ be a $*$-subalgebra of $B(H)$. The weak closure of $A$ is, by definition, the space of all $u\in B(H)$ satisfying: For every ...
0
votes
0answers
37 views

Normal Operators: Superalgebra (II)

Problem highlighted at the end! Application Reduction to only one operator!! Reference This builds up on: Superalgebra (I) Convention All operators possibly unbounded!! Structures Given a ...
2
votes
1answer
33 views

Quasi ideal sequence in $B(H)$

According to comments by Hamza I revise the question. Let $H$ be an infinite dimensional separable Hilbert space. Is there an increasing sequence of subvector spaces $V_{1} \subsetneq V_{2} ...
3
votes
1answer
43 views

Distributivity of projective tensor product over direct sum

Let $I$ is a non-empty set and $\{A_i\}_{i\in I}$ is a family of Banach algebras and $B$ is a Banach algebra. Define $$\ell^1-\oplus_{i\in I}A_i=\{a=\{a_i\}_{i\in I}: \|a\|_1=\sum_{i\in ...
1
vote
1answer
34 views

composition and strong limits of completely positive maps is completely positive

I have two claims about completely positive maps. Let $X$, $Y$, $Z$ be $C^\ast$-algebras. 1) Let $f:X\to Y$ and $g:Y\to Z$ be completely positive maps. I want to know, why $g\circ f$ is completely ...
2
votes
1answer
40 views

the $C^\ast$-algebra $M_n(A)$, understanding the $C^\ast$-norm on $M_n(A)$

Let $A$ be a $C^\ast$-algebra. I want to understand $M_n(A)$, the vector space of $n\times n$-matrices with entries in $A$, as a $C^\ast$-algebra. On $M_n(A)$ you can define an involution ...
2
votes
1answer
57 views

The inverse limit of C$^*$-algebras and whether it commutes with taking the minimal tensor product

Suppose we are given a C$^*$-algebra $A$ and a family of C$^*$-ideals $\mathfrak{I}$ that is upwards directed when ordered by reverse inclusion (i.e. for any $I_1,I_2\in\mathfrak{I}$ there exists a ...
1
vote
0answers
33 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 ...
3
votes
0answers
28 views

Semiprimitivity of second dual of semiprime Banach algebras

Let $A$ be a Banach algebra. Then $A^*$ is right Banach $A$-module with product $\langle b,f.a\rangle=\langle ab,f\rangle$ for every $a,b\in A, f\in A^*$. Define $\langle a,F*f\rangle=\langle ...
3
votes
1answer
31 views

Weakly compact operator with different domains

Let $A$ be a Banach algebra. Suppose that $e\in A$ such that $e^2=e$ and $eAe$ is division algebra(i.e., $eAe$ is unital and every element of $eAe$ has inverse in $eAe$). Define $T_e:A\to A$ with ...
2
votes
2answers
53 views

Projections: Orthogonality

Given a unital C*-algebra $1\in\mathcal{A}$. Consider projections: $$P^2=P=P^*\quad P'^2=P'=P'^*$$ Order them by: $$P\perp P':\iff\sigma(\Sigma P)\leq1\quad(\Sigma P:=P+P')$$ Then equivalently: ...
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 ...
0
votes
0answers
38 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 ...
4
votes
1answer
36 views

Relation between tracial states on von Neumann algebras and their GNS representations

Let $M$ be a von Neumann algebra acting on a Hilbert space $H$, and let $\tau$ be a faithful tracial state on $M$. What is the relation between the GNS representation of $(M,\tau)$ and the original ...
0
votes
1answer
37 views

Partial Isometries: Positivity

Given a unital C*-algebra $1\in\mathcal{A}$. Then implication holds: $$J\in\mathcal{A}:\quad JJ^*J=J\implies\sigma(J)\geq0$$ How can I check this? (Operator-algebraically?)
2
votes
0answers
33 views

Weakly compact left multipliers

This is Exercise 3(a) on p. 157 in Takesaki's Operator algebras. Let $A$ be a C*-algebra. Then each opeator $T_a\colon A\to A$ given by $T_ax = ax$ ($a\in A$) is weakly compact if and only if $A$ is ...
2
votes
1answer
44 views

Flip automorphism for a $II_1$ factor is not inner

It is known that for a $II_1$ factor $M$, the flip automorphism defined on $M \overline{\otimes} M$ by $a \otimes b \mapsto b \otimes a$ is not inner. A proof can be found on Vol. IV of the books by ...
2
votes
1answer
71 views

Some questions about Cuntz’s proof of the $ K_{1} $-injectivity of purely infinite simple unital $ C^{*} $-algebras

I have some questions about Joachim Cuntz’s proof of the $ K_{1} $-injectivity of purely infinite simple unital $ C^{*} $-algebras, which is found in this paper. For this post, let us adopt the ...
0
votes
1answer
74 views

Ordering: Identity

Given a unital C*-algebra $1\in\mathcal{A}$. Denote selfadjoints: $$\mathcal{S}(\mathcal{H}):=\{A\in\mathcal{B}(\mathcal{H}):A=A^*\}$$ Introduce an order: $$A\leq A':\iff\sigma(A'-A)\geq0$$ ...
0
votes
1answer
61 views

Projections: Spectrum

Given a unital C*-algebra $1\in\mathcal{A}$. For projection one has: $$P^2=P=P^*\iff\sigma(P)\subseteq\{0,1\}\quad(P=P^*)$$ And all cases can appear: ...
4
votes
2answers
92 views

Projections: Ordering

Given a unital C*-algebra $1\in\mathcal{A}$. Consider projections: $$P^2=P=P^*\quad P'^2=P'=P'^*$$ Order them by: $$P\leq P':\iff\sigma(\Delta P)\geq0\quad(\Delta P:=P'-P)$$ Then equivalently: ...
2
votes
0answers
18 views

Finding minimal projections in subalgebra generated by a given set

Consider the set of complex matrices $\mathbb{C}^{n\times n}$ for some set. Suppose we have a set $\{A_1,\ldots, A_n\}$ of Hermitian matrices. We want to find minimal projections in the subalgebra ...
4
votes
2answers
87 views

If a C*-algebra $A=\overline{\bigcup S}$, where $S$ is a class of prime C*-subalgebras, then $A$ is prime.

This is question 5.6 of Murphy's C$^*$-Algebras and Operator Theory: Let $S$ be a set of C*-subalgebras of a C*-algebra $A$ that is upwards-directed, that is, if $B,C\in S$, then there exists ...
0
votes
2answers
37 views

closed range bounded linear operators

Let $CL(X,Y)$ be the set of all closed range bounded linear operators from Banach space $X$ to Banach space $Y$. Is $CL(X,Y)$ an open set of $B(X,Y)$?