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)

3
votes
1answer
122 views

Cap product between K-Theory and K-Homology

In Exercise 9.8.9 of the book "Analytic K-Homology" by Higson and Roe one has to construct a cap product $K_p(A) \otimes K^q(A) \to K^{q-p}(A)$, if A is commutative. Is the commutativity ...
3
votes
1answer
65 views

Block Matrices of Operators

I'm trying to prove the following: Consider the vector space of matrices of size $n\times n$ whose entries in $\mathcal B(H)$. Denote this vector space by $M_{n,n}(\mathcal{B(H)})$. We can define ...
3
votes
1answer
67 views

What is $\sigma_{\mathfrak{M}_{p}}(p\cdot a\cdot p)$ when $p=\chi_{S}(a)$ for closed $S\subseteq \sigma(a)$?

Let $\mathfrak{M}$ be a von-Neumann algebra and $a\in\mathfrak{M}$ a self-adjoint element. Let $S\subseteq\sigma(a)$ be a non-empty, closed subset. Let $p=\chi_{S}(a)$, which is a non-zero, ...
3
votes
1answer
60 views

Why should we use inverse homemorphism here?

I am a brand-new comer in dynamical system. I find it interesting that when defining ergodicity of classical dynamical system $(X,\sigma)$, they use $\mu(\sigma^{-1}(E))$ there. Since $\sigma$ is a ...
3
votes
1answer
142 views

Entirely “Bare-hands” proof that completely additive states are ultraweakly continuous

Originally I had asked this question: Positive Linear Functionals on Von Neumann Algebras I got some responses that directed me to a variety of resources, some of which I could not understand because ...
3
votes
1answer
248 views

reduced crossed products

Given a discrete group $G$ and a $G$-$C^*$-algebra $A$ we can form the reduced crossed product $A\rtimes_r G$. I want to define it by the closure of $C_c(G,A)$ in $\mathcal{B}(\ell^2(G,A)$ where this ...
3
votes
1answer
407 views

Spatial tensor product of algebras and normed spaces

Let $A_1$ and $A_2$ be two $C^*$-algebras considered as closed $*$-subspaces of some $\mathcal{B}(H_1)$ and $\mathcal{B}(H_2)$. More preciesly there exist faithfull $*$-representations ...
3
votes
0answers
18 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
0answers
56 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 ...
3
votes
0answers
37 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. ...
3
votes
0answers
63 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 ...
3
votes
0answers
43 views

Existence of state on a C*-algebra satisfying $|\tau(ab)|=\|ab\|$ [closed]

Let $a,b$ be elements of a unital C*-algebra $A$ with $0\leq a,b\leq 1$ (e.g., $a,b$ are projections). Is it the case there is a state $\tau$ on $A$ such that $|\tau(ab)|=\|ab\|$? If $ab$ is normal ...
3
votes
0answers
76 views

understanding a theorem in c*algebra

I want to understand the following theorem: Theorem: Let A and B $C^*$-algebras with A unital, and let $\varphi:A\to B$ a bounded linear selfadjoint map such that: for every self-adjoint elements ...
3
votes
0answers
51 views

Creating Bratteli diagrams for Riesz groups

The Effros-Handelman-Shen-theorem tells you that Riesz groups are the same as dimension groups -- i.e. any ordered, unperforated abelian group with the Riesz interpolation property can be realised as ...
3
votes
0answers
75 views

Maximal abelian subalgebras of SAW*-algebras

Pedersen distilled the following class of C*-algebras which he termed SAW*-algebras: A C*-algebra $A$ is an SAW*-algebra if for each pair of orthogonal, positive elements $x,y\in A$, there exists a ...
3
votes
0answers
63 views

Commuting nets for commuting projections

Let $A$ be a $C$*-algebra and $p,q\in A^{**}$ be commuting projections. Then there exist self-adjoint nets $(x_i)_i$ and $(y_j)_j$ in $A$ with $x_i\to p$ and $y_j\to q$ in the weak *-topology. Can ...
3
votes
0answers
46 views

Topologizing $\mathcal{L}(\mathcal{H}) / \mathcal{S}^p(\mathcal{H})$

Given a separable Hilbert space $\mathcal{H}$ I would like to know how one could topologize the quotient algebra $\mathcal{L}(\mathcal{H}) / \mathcal{S}^p(\mathcal{H})$? Here ...
3
votes
0answers
51 views

Understanding minimal projections

This might be very easy but it is not quite clear for me. Detailed explanation appreciated! I went through the commutative case but beyond that I lack intuition. Let $A$ be a C*-algebra and let ...
3
votes
1answer
58 views

Lifting a unitary to a partial isometry

What is an example of a unital $C^*$-algebra $A$ and an ideal $I$ such that some unitary element in $A/I$ cannot be lifted to a partial isometry in $A$? Or can it be shown using general properties of ...
3
votes
0answers
97 views

Short exact sequence involving mapping cone, cone, suspension of $C^*$-algebras

This is part of exercise 6.N in Wegge-Olsen's book '$K$-theory and $C^*$-algebras'. In the following, $A$ and $B$ are $C^*$-algebras, $\alpha:A\rightarrow B$ is a surjective $C^*$ morphism with kernel ...
3
votes
0answers
30 views

A question on the completely positive maps and manifold structure

I was reading a paper in which the curvature and Euler characteristic of a completely positive map (in finite dimensions). Let \begin{equation} \Phi(X)=\sum_{j=1}^nV_jXV_j^* \end{equation} be a ...
3
votes
2answers
65 views

Why $ \|x^* x \| = \|x\|\|x^*\|$ is equivalent to $\|xx^*\| = \|x\|^2$ in the definition of $C^*$ algebra?

I read the definition of $C^*$ algebra in Wikipedia where it says $\|x^* x \| = \|x\|\|x^*\|$ is equivalent to $\|xx^*\| = \|x\|^2$ but I do not know why. Can you show me how to derive $\|xx^*\| = ...
3
votes
0answers
75 views

Motivations for and connections between the topologies of Vietoris, Fell and Chabauty

My main interest is in the Chabauty topology on the space of closed subgroups of a locally compact topological group, merely out of curiosity. Wikipedia states "it is an adaptation of the Fell ...
3
votes
0answers
142 views

Projections in group $C^*$-algebras

Let $G$ be an amenable, discrete and infinite group. Cosinder its group C*-algebra $C^*(G)$ canonically represented on $B(\ell_2(G))$ by the left-regular representation $x\mapsto \delta_x$. Take the ...
3
votes
0answers
176 views

C* algebra of bounded Borel functions

Let $T\in B(H)$ is normal, and $B(\sigma(T))$ denote the $C^*$ algebra of all bounded Borel functions on $\sigma(T)$. Then is it true that $B(\sigma(T))$ is a closed $C^*$ algebra under the sup. norm ...
3
votes
2answers
86 views

ideals in $C^*$ algebra

Let $A$ be a $C^*$ algebra and $I$ be a closed ideal in $A$. Prove that for all $a\in A$, $a\in I$ iff $a^*a\in I$. I want to prove that if $a^*a\in I$, then $a\in I$, and I know the following fact ...
3
votes
0answers
152 views

Unitary operators - convergence problem

Let $\mathcal{U}:=\left\{ U(t) \colon t \geq 0\right\}$ be a family of unitary operators on a Hilbert space $\mathcal{H}$ where $U(0)=I$. Assume that $\left| \left<\left( \frac{U(t)-I}{t} - A ...
3
votes
0answers
77 views

maps from a convex set to itself

Suppose $S\subset \mathbb{R}^n$ be a closed convex set under Euclidean topology (but not necessarily bounded, example a closed cone). Let $\mathcal{E}(S)=\{L:\mathbb{R}^n\rightarrow \mathbb{R}^n\text{ ...
3
votes
0answers
62 views

Given $\theta(p)\neq p$ does there exist $q\leq p$, so that $\theta(q)q=0$?

Let $\mathfrak{M}$ be a vN-Alg. Let $\theta\in \text{Aut}(\mathfrak{M})$. Let $p\in\mathfrak{M}$ be a projection, so that $\theta(p)\neq p$. Is there a projection $q\in\mathfrak{M}$ with $0\neq q\leq ...
3
votes
0answers
174 views

Must-read papers in Operator Theory

I have basically finished my grad school applications and have some time at hand. I want to start reading some classic papers in Operator Theory so as to breathe more culture here. I have read some ...
3
votes
0answers
115 views

Defining entanglement in subspaces of tensor product

Let $\mathcal{H}=\mathbb{C}^n$ be a Hilbert space. A state $\rho\in\mathcal{B(H)}$ is a positive semi-definite operator with unit trace. $\rho\in \mathcal{B(H)}$, where ...
3
votes
0answers
142 views

Two questions about ultraweak and ultrastrong topology from Dixmier

You could reference Dixmier's book on Von Neumann Algebras p.42 Theorem 1 and its proof to know the entirety of the context. Otherwise, the most relevant things are below: Let $M$ be an ultraweakly ...
3
votes
0answers
161 views

Basis for completely bounded maps.

The set of completely bounded (CB) maps forms can be considered as a complex span of the set of completely positive (CP) maps. Can we find a basis for this complex linear space of CB maps such that ...
3
votes
0answers
72 views

Dropping homomorphisms to quotients of C$^*$-algebras

Let $A$ be a C$^*$-algebra, let $\Delta:A\rightarrow A \otimes_{\min} A$ be a $*$-homomorphism, and let $\phi$ be a state on $A$. Let $(H,\pi,\xi_0)$ be the GNS construction for $\phi$; let $B=\pi(A) ...
3
votes
0answers
309 views

When does Stinespring dilation yield a faithful representation?

Let $A$ be a $C^*$-algebra, $H$ a Hilbert space, $\phi: A \to B(H)$ a completely positive map. The Stinespring construction yields a triple $(K, V, \pi)$ where $K$ is a Hilbert space, $V: H \to K$ a ...
2
votes
3answers
512 views

Eigenvalues of operators

I have a linear operator $T$ which acts on the vector space of square $N\times N$ matrices in this way: $T(A)=0.5(A-A^\mathrm{t})$ ($A^\mathrm{t}$: the transpose of a matrix $A$). I need to prove ...
2
votes
3answers
302 views

universal C* algebras

Is there a standard reference which has a discussion on universal $C^*$-algebras ? (definition, properties, examples, etc) Searching on the internet has led me to tidbits of information but I would ...
2
votes
3answers
65 views

Gel'fand representation of a non-unital Banach space: what's wrong with this argument

My argument below is hacked together from pages 5-6 of Davidson's "$C^*$ algebras by example". Theorem: The multiplicative linear functionals on a unital abelian Banach algebra are continuous of ...
2
votes
2answers
108 views

Spectrum of projection

I have a question concerning the spectrum of a projection in an abstract $C^*-$algebra. Let $A$ be $C^*-$algebra, $p\in A$ a projection (i.e. a selfadjoint idempotent). Can we say what is the spectrum ...
2
votes
2answers
197 views

Hahn-Banach Theorem in the C*-algebra

What is the Hahn-Banach Theorem in the C*-algebra(or W*-algebra maybe)? If B is an nondense subalgebra of C*-algebra(or W*-algebra maybe), can we get an state f of A which is always zero at the ...
2
votes
2answers
192 views

Why Strongly Continuous Representations?

When working with not-necessarily-finite-dimensional representations, the topology on $GL(V)$ makes a difference. My experience has been that usually people require that the representation $\pi ...
2
votes
2answers
77 views

Positive elements of a $C^*$-algbera form a poset

My knowledge of $C^*$-algebras is very little. We call an element positive if $a=b^*b$ for some $b$ and make a relation on all positive elements by saying $$ b \geqslant a \iff b-a \text{ is ...
2
votes
1answer
70 views

An exercise (about positive elements) in C*-algebra

Let $A$ be a C*-algebra, $a\in A$ be a positive element and $b\in A$ be an arbitary element in $A$. Can we verify that $$b^{*}ab\leq \|b\|^{2}a~~?$$
2
votes
2answers
55 views

Strong closure of a C*-algebra of operators.

In Arveson's book, the Kaplansky density theorem is proved in order to have this corollary: "Let $A$ be a self-adjoint algebra of operators on a separable Hilbert space $H$. Then for every operator ...
2
votes
2answers
52 views

A definition of discrete group

Definition: A discrete group $\Gamma$ is called residually finite if there exist subgroups $\Gamma\supset\Gamma_{1}\supset\Gamma_{2}\supset...$ such that each $\Gamma_{i}$ is a finite-index, normal ...
2
votes
2answers
198 views

Problem with spectral theorem and spectral measure.

There is a passage in a book that is not very clear to me: A is a C*Algebra and $a$ is selfadjoint. Then "Indeed identifying A with an algebra of operators on a Hilbert space $\mathcal{H}$, by the ...
2
votes
1answer
55 views

A question about compact Hausdorff space

Let $X$ be a compact Hausdorff space and $C(X)$ be the set of continuous functions on $X$. And $F$ is a closed subspace of $X$. If the $f\in C(X)$ such that $f|_{F}=0$ is only zero function( i.e. ...
2
votes
1answer
52 views

Normal states are dense in $B(H)$

Can someone explain/sketch the proof of the fact stated in the title : The set of normal states (in some $B(H)$) is weakly dense in $B(H)$ ? Or, if possible, some reference. Thank you very much.
2
votes
1answer
122 views

Irreducible representations and commutative C*Algebras.

If $A$ is a commutative C*-Algebra then also its representation $\pi(A)$ is commutative, and it's an operator C*-algebra. A representation is said to be irreducible if $\pi(A)$ does not commute with ...
2
votes
2answers
63 views

Why is the Gelfand transform injective?

There is a theorem that proves that if $A$ is a commutative C*-Algebra, the Gelfand map is an isometric *-isomorphism of $A$ onto $\hat{A}$ i.e. the spectrum of $A$. (Theorem 1.1 in Averson's "An ...