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)

5
votes
3answers
44 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 ...
2
votes
1answer
68 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 ...
1
vote
2answers
138 views

Analytic Vectors (Nelson's Theorem)

Is there a (simple) proof for Nelson's theorem that a symmetric operator is essentially selfadjoint if it contains a dense subset of analytic vectors?
0
votes
0answers
56 views

Matrix column-wise multiplication operator

I'm trying to find the proper operator for a column wise multiplication. Consider $v=[v_1, v_2, ..., v_n]^T$ and $$A=\begin{bmatrix} a_{1,1} & a_{1,2} & a_{1,3} \\a_{2,1} & a_{2,2} & ...
2
votes
3answers
108 views

Characterisation of a Commutative C* Algebra which is an Integral Domain

Let $X$ be a compact hausdorff topological space with more than one element.Then prove that the ring $C(X)$ of complex valued continuous functions on $X$ is not an integral domain. Thanks for any ...
6
votes
2answers
93 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 ...
0
votes
1answer
25 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
74 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}) \; ...
1
vote
2answers
285 views

Composition of Fredholm Operators

If $ST$ is a Fredholm operator, then show that $T$ is Fredholm if and only if $S$ is Fredholm.
3
votes
1answer
46 views

Strict positiveness on a C*-algebra given by generators and relations.

Let $A$ be a C*-algebra with generators $a_1,a_2,\ldots,a_n$ and some (non-important) relations (the relations imply that $\|a_i\|\leq 1$, so that $A$ exists). Among the given relations we have that ...
1
vote
0answers
30 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 ...
1
vote
1answer
78 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 ...
0
votes
1answer
74 views

Partial Isometries: Characterization

Given a C*-algebra $\mathcal{A}$ Consider an element: $$J\in\mathcal{A}:\quad P:=J^*J$$ Then the equivalence holds: $$JJ^*J=J\iff P^2=P=P^*$$ How can I prove this?
2
votes
1answer
25 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
votes
1answer
70 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$$ ...
1
vote
1answer
44 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 ...
0
votes
0answers
28 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 ...
0
votes
2answers
41 views

Question about trace class operators

Let $\cal{H}$ be a Hilbert space, $T$ a bounded linear operator on $\cal{H}$, $S$ a trace class operator, then can one verify that $$|Tr(TS)|\leq\|T\|\cdot|Tr(S)|?$$
2
votes
1answer
37 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 ...
2
votes
0answers
20 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 ...
2
votes
1answer
59 views

What's the difference between a Banach Algebra and a C*-algebra?

I'm currently looking at going into a PhD program in mathematics and need to decide on a specialization. In meeting with my advisor he pushed me into looking at C*-algebras based on my interests. ...
0
votes
0answers
27 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 ...
1
vote
1answer
30 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} ...
0
votes
1answer
59 views

Proof of operator norm with the equality of involution

Given the equality $$\|A^*A\| = \sup_{\| x \| = \| y \| = 1} | (Ax, (A^*)^*y) | $$ How do show that it is equal to $\|A\|^2$ Is it by using Cauchy-Schwarz inequality such that $(x, y) \leq ...
1
vote
1answer
31 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 ...
1
vote
1answer
25 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
0answers
23 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 ...
3
votes
0answers
23 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 ...
1
vote
1answer
41 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
18 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
1answer
23 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
48 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
2answers
119 views

Example of a net in $\mathcal{B}(\ell_2)$ that converges in the weak operator topology but not in the strong operator topology?

I need to show that the Strong Operator topology is strictly stronger in $\ell_2$ (space of complex sequences that are square summable). I can show that convergence in the strong operator topology ...
0
votes
1answer
53 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
81 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: ...
1
vote
0answers
29 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
32 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 ...
0
votes
1answer
35 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?)
-1
votes
2answers
49 views

Two-sided closed ideals of $C(X,M_2(\mathbb C))$

Let $X$ be compact and Hausdorff space. I know all closed ideals of $C(X)$. I want to substitute $\mathbb C$ by $M_2(\mathbb C)$. What can we say about two-sided closed ideals of $C(X,M_2(\mathbb ...
3
votes
2answers
59 views

Projective (or inverse) limit of C*-algebras

(I think that the term "inverse limit" is used when the index set is directed) To begin with, I'd like to know if projective limits of C*-algebras (in the category of C*-algebras) always exist, and ...
2
votes
1answer
37 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 ...
4
votes
1answer
25 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 ...
4
votes
1answer
103 views

K-Theory of $C(X)$ for $X$ totally disconnected

I am studying K-Theory for C*-algebras by the following book: Rordam, Larsen and Laustsen. I am having a problem with the the Exercise 3.4, which is: Let $X$ be any compact Housdorff space. In the ...
2
votes
1answer
54 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 ...
2
votes
0answers
32 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 ...
4
votes
2answers
78 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 ...
2
votes
0answers
12 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 ...
0
votes
2answers
30 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)$?
0
votes
1answer
49 views

When the Multiplier algebra of a Banach algebra is exactly equal to the operator algebra?

Let A be a Banach algebra. B(A) and M(A) be the operator algebra and the multiplier algebra of A, respectively. When we have M(A)=B(A)?
4
votes
2answers
36 views

amenable groups versus amenable graphs

In operator algebras, one is often concerned with amenable groups, defined by one of many equivalent conditions. http://en.wikipedia.org/wiki/Amenable_group#Equivalent_conditions_for_amenability In ...