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)

0
votes
0answers
43 views

Research in Non Commutative geometry [on hold]

I am currently doing my Masters' in Mathematics and I wish to pursue Ph.D. . I have taken courses in Differential Geometry of Manifolds and C* Algebras, and some introduction to Riemannian geometry. I ...
0
votes
1answer
22 views

External operation: binary and unary perhaps???

Consider the following examples from which some definitions are derived: Let us take an element from the set R of real numbers (say, the number 8) and another from the set L of lengths (say, 4m). ...
0
votes
0answers
4 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
0answers
34 views
+50

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
23 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)$?
3
votes
1answer
37 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 ...
3
votes
1answer
58 views

Is the supremum norm the only $ C^{*} $-norm on $ {C_{c}}(X) $, equipped with the usual pointwise operations?

Let $ X $ be a locally compact Hausdorff space. Then $ {C_{c}}(X) $ is a commutative $ * $-algebra with respect to addition, multiplication, scalar multiplication and conjugation (all pointwise ...
0
votes
1answer
33 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)?
2
votes
1answer
12 views

Can a sequence of von Neumann algebras determine a maximal directed set of subalgebras?

Can a von Neumann algebra $A$ have an infinite sequence $A_0 \subset A_1 \subset A_2 \subset ...$ of sub-vN-algebras such that every other sub-vN-algebra $B \subseteq A$ satisfies, for some $n \geq 0$ ...
1
vote
0answers
23 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
1answer
17 views

Matrix factorization inequality

How does one show that the following matrix factorization inequality holds in $M_{n} (\mathcal{A})^{+}$, $$(a_{i}^{*}a^{*}aa_{j}) \leq ||a^{*}a|| \cdot (a_{i}^{*}a_{j})$$ Notation. Let $M_{n} ...
1
vote
0answers
29 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 ...
-3
votes
1answer
37 views

Describe the GNS construction [closed]

Question: Describe the GNS construction for the C$^*$-algebra $ C[0, 1]$ and for the positive linear functional $\phi $ given by $\phi(f) = f (0)$. What should i do? Should I describe Hilbert space ...
3
votes
1answer
39 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 ...
-1
votes
1answer
32 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
48 views

Let $A$ be a $C^*$-algebra, $a \in A$ self adjoint

Question:Let $A$ be a $C^*$-algebra, $a \in A$ self adjoint. Suppose that the spectrum $\sigma(a)$ is an infinite set. Show that $A$ is infinite-dimensional. How can i prove it? I guess: Let $A$ be ...
0
votes
1answer
25 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
0answers
51 views

Pureness of Vector States

How does one show that irreducibility is equivalent to a vector state being pure? In what follows I will fill in the details of the question: Let $\mathcal{H}$ denote a Hilbert space and let ...
1
vote
1answer
33 views

Noncommutative torus with $\theta = 0$.

According to Wikipedia, one can construct noncommutative tori as follows: Letting $\theta \in \mathbb{R}$ be a parameter, consider the hilbert space $H = L^2(\mathbb{T})$, where $\mathbb{T}$ is the ...
4
votes
1answer
46 views

Prove that the map $f: \alpha I + \beta A^*A \mapsto \alpha + \beta ||A||^2 $ is unital

Fix $A \in {\mathcal{A}}$, where $({\mathcal{A}},||\cdot||,*)$ is a $C^*$-algebra with unit $I$. Prove that the linear form $$ f(D_{\alpha,\beta}) = \alpha + \beta ||A||^2,~~D_{\alpha,\beta} \in ...
3
votes
1answer
28 views

Questions about Stinespring's theorem for completely positive maps

I have a question about Stinespring's Theorem: Let $A$ be a $C^*$-algebra, $H$ be a complex Hilbert space and $L(H)$ the set of bounded linear operators on H. Let $\Phi: A\to L(H)$ be a completely ...
3
votes
0answers
36 views

Calculating Norms for the Transpose

How does one show that the transpose mapping $T: \mathcal{M}_{n} \to \mathcal{M}_{n}$, given by $T(a)=a^{t}$, has norm $||T||=1$ but completely bounded norm $||T||_{CB}=n$? Notation. ...
1
vote
1answer
74 views

Weakly Closed Set

Let $\phi$ be a normal linear functional on a von Neumann algebra $M$. Define $L=\{x\in M:\phi(x^*x)=0\}$.Show that $L$ is $WOT$ closed in $M$. I have been trying to show that $L$ is $SOT$ closed and ...
1
vote
0answers
63 views

A particular decomposition of a CPTP map

Let $\mathfrak{D}$ denote the set of $n\times n$, trace-one, positive semi-definite matrices (known as density matrices in quantum information theory). Consider a Completely Positive Trace Preserving ...
2
votes
1answer
24 views

Commutative multiplier algebra

In my course of spectral theory and operator algebras I came across the following exercise: Let $\mathcal{A}=C_0(X)$ where $X$ is a locally compact Hausdorff space. Describe the multiplier algebra ...
1
vote
0answers
50 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
1answer
22 views

Connection between Stinespring's factorization theorem and the spectral theorem for bounded operators

I know at least 2 versions of a Spectral theorem for operators, one of them is the following Theorem: Let H be a separable complex Hilbert space, $A\in L(H)$ self-adjoint ($L(H)$ are the bounded ...
-1
votes
1answer
84 views

State of a $ C^{*} $-algebra.

Let $ (\pi,\mathcal{H}) $ be a non-degenerate $ * $-representation of a $ C^{*} $-algebra $ A $, and let $ h \in \mathcal{H} $ with $ \| h \| = 1 $. Define $ f_{h}: A \to \Bbb{C} $ by $ {f_{h}}(a) ...
1
vote
3answers
93 views

looking for help with a trace/norm inequality

I'm trying to understand a derivation that seems to claim that $\left\vert\text{Tr}\left[\rho U^\dagger\left[U,O\right]\right]\right\vert\leq\|\left[U,O\right]\|$, where $\rho$ is Hermitian and has ...
1
vote
1answer
35 views

Completely positive maps

Let $B$ be a commutative C$^*$-algebra and let $M_n$ denote the algebra of $n\times n$ complex matrices. Let $f$ be a state on the tensor product of $B$ and $M_n$, $B\otimes M_n$. How can I show that ...
9
votes
1answer
92 views

Epimorphisms of locally compact spaces

Let $LCH$ be the category of locally compact Hausdorff spaces with proper continuous maps. Question. What are the epimorphisms in $LCH$? I suspect them to be surjective, but I haven't been able to ...
4
votes
1answer
53 views

A necessary and sufficient criterion for an element of a multiplier $ C^{*} $-algebra to be positive.

I am trying to find a reference for the following assertion: Let $ A $ be a $ C^{*} $-algebra, and let $ M(A) $ denote its multiplier algebra. Then $ m $ is a positive element of $ M(A) $ if and ...
0
votes
1answer
64 views

norms of row matrices

Let $x_1,\ldots,x_m,y_1,\ldots,y_m$ be $k\times k$ sqaure matrices and assume $\|x_j\|\leqslant\|y_j\|$ for all $j=1,\ldots,m$ (the norm in $B(\ell_2^k)$). Now define the block matrices $x,y\in ...
0
votes
1answer
33 views

continuous functional calculus for nonunital $c^*$-algebras

In lecture we had the continuous functional calculus for unital $c^*$-algebras: Let $A$ be an unital $c^*$-algebra, $a\in A$ normal and let $$alg(a,a^*)=\overline{ \{ ...
0
votes
0answers
34 views

Choice of a dense subset of a separable Banach space

I recently came across the following statement, and still can't prove it: Statement: Suppose $X$ is a separable,closed subspace of $L^1(G)$, where $G$ is a locally compact group. Since $X$ is ...
0
votes
1answer
31 views

Operator - Exponential form

It is well known that for every unitary operator $\hat U$ an exponential of the form $$ \hat U = e^{i\hat H} $$ exists ($\hat H$ is hermitian). But I can only prove it the other way round: $$ ...
0
votes
1answer
21 views

How a trace of an ideal act on an element of the whole algebra? [closed]

Let A be a C* algebra with an ideal I. Suppose $\tau$ is a trace on I. Let $x\in I$. Then how to understand $\tau(range(x))$? i.e. how $\tau$ acts on the range projection of x?
4
votes
0answers
45 views

Equivalence of categories ($c^*$ algebras <-> topological spaces)

I try to use a littlebit category theory to have a better overview of the results in the theory of $c^*$-algebras, but I really have to read an introduction to category theory because I know almost ...
3
votes
0answers
60 views

Theorem about irreducible representation of $C^*$-algebra

I have been told, that there is a theorem about irreducible representation of $C^*$-algebras, but I have troubles finding it. It is also possible, that this theorem is consequence of some theorem I've ...
1
vote
1answer
49 views

What $\mathbb{C}I$ means?

I've come across this expression $$ \mathbb{C}I $$ while studying operators algebras. $C^*$-algebras and AF-algebras, concretely. In Kenneth R. Davidson's book $\boldsymbol{C^*}$**-algebras by ...
0
votes
0answers
27 views

“+” operator placed as index

What is the meaning of $(a-b)_+$? In other words, what is meant by the "+" operator when it is placed as an index. If I am comparing for example two variables $a$ and $b$. So what is the value of ...
2
votes
0answers
86 views

Examples of $C^*$-algebras in Noncommutative Geometry from A. Connes

Question I am working on $C^*$-algebras and I've been given Alain Connes's book Noncommutative Geometry. I am having troubles with understanding the examples on pages 91-93 (86-88 in the printed ...
2
votes
0answers
51 views

Noncommutative manifold: Spectral triples on noncommutative quotients

I'm interested in taking the noncommutative quotient of a manifold, and endowing it with a kind of noncommutative smooth structure. More formally I'm interested in the question: is there a canonical ...
1
vote
0answers
19 views

Question about Noncommutative quotients

I want to understand noncommutative quotients. Now the book Basic Noncommutative Geometry by M. Khalkhali gives two different constructions of the noncommutative quotient and claims they are ...
0
votes
0answers
18 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
1answer
35 views

Projection matrix (C* algebra.. but linear algebra question) [closed]

The subject is $C^*$-algebra, but I think my question might be linear algebra related type. I have a question from the book Operator Algebras Theory of C*-Algebra by Blackadar. On page 351, in the ...
0
votes
1answer
34 views

question about a proof on Murphy's book about $C^*$-algebras

I'm reading Murphys book "$C^*-$algebras and operator theory" and I have a question about a proof in chapter 3. The statement is (Theorem 3.1.8): Let I be a closed ideal in a $C^*$-algebra A. Then ...
4
votes
1answer
76 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
0answers
30 views

Primitive ideal space of C*(Z2*Z2)

Find the primitive ideal space, the center, a continuous field of $C^*(Z_2*Z_2)$. Here, $C^*(Z_2*Z_2)$ is the full group $C^*$-algebra. I know the definitions of all of them, but I'm having hard ...
1
vote
2answers
55 views

Universal properties of certain crossed products

So I was wondering if there are any nice universal properties that the crossed product $C^*$ algebra, $C(\mathbb{T})\times_\alpha \mathbb{Z}_2$ satisfies, where $\alpha$ is the action of conjugation. ...