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

Question about Hahn-Banach theorem

Let $(X,\|\cdot\|_1)$ and $(Y,\|\cdot\|_2)$ be normed spaces, and $X\subset Y$. If each $f\in (X,\|\cdot\|_1)^\ast$ extends to a bounded linear functional in $(Y,\|\cdot\|_2)^\ast$ with same norm, ...
5
votes
1answer
181 views

Nonamenable subgroups of the unitary group of the hyperfinite II_1 factor

The hyperfinite $II_1$ factor arises as the group von Neumann algebra of any infinite amenable group such that every conjugacy class but that of the identity has infinite cardinality. The unitary ...
5
votes
2answers
448 views

Regarding Ladder Operators and Quantum Harmonic Oscillators

When dealing with the Quantum Harmonic Oscillator Operator $H=-\frac{d^{2}}{dx^{2}}+x^{2}$, there is the approach of using the Ladder Operator: Suppose that are two operators $L^{+}$ and $L^{-}$ and ...
5
votes
1answer
168 views

What is the relationship between spectral resolution and spectral measure?

In Kadison and Ringrose's book "FUNDAMENTALS OF THE THEORY OF OPERATOR ALGEBRAS", the author gives the following theorem. Theorem: If $A$ is a self-adjoint operator acting on a Hilbert space ...
5
votes
1answer
205 views

Physical interpretation of $q$-deformation

I am currently reading the paper Quantum Group Particles and Non-Archimedean Geometry by Volovich and Aref'eva. Here they discuss the difference between $q$-deformation and $\hslash$-deformation. In a ...
5
votes
1answer
87 views

characters of a $C^*$-algebra

I have read that a state $\rho$ on a unital $C^*$-algebra $A$ is a character (i.e. multiplicative) if and only if, for all unitary $u\in A$, $|\rho(u)| = 1$. Is there an easy proof, or can someone ...
5
votes
2answers
176 views

Spectral measures

Let $E:\Sigma\to\mathcal{L}(\mathcal{H})$ be a spectral measure on the Borel $\sigma$-algebra $\Sigma$ of $\mathbb{C}$. Assume also that $E$ is compactly supported in the sense that ...
5
votes
1answer
191 views

Separating vectors for $C^*$-algebras

Let $A$ be a C$^*$-algebra, concretely acting on a Hilbert space $H$. Suppose that $\xi_0\in H$ is cyclic and separating for $A$ (that is, the map $A\rightarrow H, a\mapsto a(\xi_0)$ is injective ...
5
votes
0answers
201 views

Is the left regular representation of an algebra, always faithful?

Let $\mathcal{A}$ be a unital associative algebra with a countable basis $\mathcal{b}$ over $\mathbb{C}$. Let $H=l^2(b)$ be the Hilbert space generated by $\mathcal{b}$. Let $H_0 = \{v \in H \ \vert \ ...
5
votes
0answers
53 views

Conditional expectation onto maximal abelian subalgebras

If you take a von Neumann algebra $M$ and any its maximal abelian subalgebra (masa) $D$, then there is a norm-one projection from $M$ onto $D$ (conditional expectation). The same is true if you take ...
5
votes
1answer
144 views

Positive Operators: Definition?

Definitions Given an operator algebra $\mathcal{A}\subseteq\mathcal{B}(\mathcal{H})$ with $1\in\mathcal{A}$ Consider selfadjoint operators $A=A^*\in\mathcal{A}$. Define positive elements by: ...
5
votes
1answer
194 views

application of c*algebras to PDEs

I am preparing an introductory talk about c* algebras and I'd like to motivate C*algebras or show an application of them and I'd prefer an application in the field of partial differential equations. ...
5
votes
0answers
56 views

Masas in quotients

Let $A$ be a von Neumann algebra and let $B$ be a norm-closed ideal of $A$ (but not necessarily WOT-closed). What one has to assume about $A$ and $B$ to ensure that if $M\subset A$ is a maximal ...
5
votes
0answers
141 views

How to prove this element is strictly positive?

Let $A$ be a $C^*\text{-algebra}$ and $A_+$ denote the positive elements. An element $a\in A_+$ is called strictly positive if $\overline{aAa}=A$. Want to prove: if $(e_n)$ is an approximate identity ...
4
votes
4answers
382 views

Applications of Operator Algebras to modern physics

I think that recently I've started to lean in my interest more towards operator algebras and away from differential geometry, the latter having many applications to physics. But while taking physics ...
4
votes
3answers
169 views

Lower bound for $\|A-B\|$ when $\operatorname{rank}(A)\neq \operatorname{rank}(B)$, both $A$ and $B$ are idempotent

Let's first focus on $k$-by-$k$ matrices. We know that rank is a continuous function for idempotent matrices, so when we have, say, $\operatorname{rank}(A)>\operatorname{rank}(B)+1$, the two ...
4
votes
2answers
343 views

Examples of not completely bounded maps

Let $\phi:\mathcal{A}\longrightarrow\mathcal{B}$ be a bounded map between $C^*$ algebras. $\phi$ is said to be completely bounded if the natural extension map \begin{eqnarray} ...
4
votes
1answer
227 views

The set of all continuous functions on a locally compact Hausdorff space.

I am reading a book about C*-algebra. There is a example that i could not understand. Let $X$ be a locally compact Hausdorff space and $C_{0}(X)$ be the set of all continuous functions vanishing at ...
4
votes
2answers
135 views

Commutative unital Banach algebra with nilpotent elements

What would be a concrete example of a commutative unital Banach algebra that contains nilpotent elements?
4
votes
2answers
210 views

How generalize the bicommutant theorem?

Let $H$ be an infinite dimensional separable Hilbert space. Bicommutant theorem : Let $\mathcal{S}$ be $*$-subset of $B(H)$, then $\mathcal{S}''$ is the strong closure $\overline{\langle ...
4
votes
3answers
371 views

Sufficient condition for a *-homomorphism between C*-algebras being isometric

Let $\mathcal{A},\mathcal{B}$ be two unital C*-algebras and consider a *-homomorphism $\pi: \mathcal{A} \rightarrow \mathcal{B}$. I know that in general $\pi$ is contractive, i.e. $\vert\vert \pi(A) ...
4
votes
1answer
742 views

Formula for trace of compact operators on $L^2(\mathbb{R})$ given by integral kernels?

Given an appropriate function $K: \mathbb{R}^2 \to \mathbb{C}$, say continuous of compact support, we obtain a compact operator $T$ on the Hilbert space $L^2(\mathbb{R})$ by the formula $$ (T h)(t) = ...
4
votes
1answer
70 views

$\sigma$-weak topology versus weak operator topology

The reference text for this question is: Pedersen, Analysis Now, GTM 118. The $\sigma$-weak topology on $B(H)$ (the bounded linear operators on a Hilbert space $H$) is the weak$^*$-topology on ...
4
votes
2answers
208 views

a trace class operator problem

Could someone help me with this Prove that If $A$ and $B$ are positive trace class operators on a Hilbert space, then so is $A^zB^{(1-z)}$ for a complex number $z$ such that $0 <Re(z)< 1$. An ...
4
votes
2answers
128 views

example of positive but not completely positive operator

I was looking for some example of a positive operator which is not completely positive on a banach algebra. if I consider my banach algebra to be $\text{M}_n(\mathbb{C})$ of matrices over complex ...
4
votes
1answer
155 views

Strong continuity of the Borel functional calculus

I have sometimes heard that the Borel functional calculus maps bounded pointwise convergent sequences of Borel functions to strongly convergent sequences of operators. I gather "sequence" is ...
4
votes
2answers
542 views

An application of Artin Wedderburn and Schur's Lemma

In an operator algebras class, the professor said the following. Let $G$ be a finite group, and consider the complex group algebra it generates. Using the following 3 facts, we're supposed to see ...
4
votes
1answer
29 views

C*-algebra generated by the symmetric on 3 elements

I want compute $C^*(S_3)$ where $S_3$ is the symmetric group on $\{1,2,3\}$ and $C^*(S_3)$ is the (full) C*-algebra generated by $S_3$. My attempt: Since $S_3$ is a finite group, $C^*(S_3)=C_c(S_3)$ ...
4
votes
1answer
80 views

“Refinement” of the existence of faithful representations of C*-algebras?

Conway, in a course in operator theory, brings the statement 1. below as a theorem and statement 2. below as an exercise. Still, he states that 2. refines 1., but I can't see it. Every C*-algebra ...
4
votes
1answer
238 views

Self-adjoint projections of a C*-algebra as complete lattices?

In Blackadar's Operator Algebras, there is the following remark after the proposition II.3.3.1 : The projections in a C*-algebra do not form a lattice in general In the answer of this question, ...
4
votes
1answer
183 views

Quotients of C*-algebras

It is known that every unital separable C*-algebra is a quotient of the full group C*-algebra $C^*(F_I)$, where $F_I$ is the free group generated by some index set $I$. Can we drop the ...
4
votes
1answer
186 views

States and positive elements in $C^*$-algebras

Let $A$ be a unital $C^*$-algebra and $w$ be a state (i.e a positive linear functional such that $\|w\|=w(1_A)=1$. I'm trying to prove the following:a) if $a$ is selfadjoint and $w(a^2)=w(a)^2$ then ...
4
votes
1answer
50 views

Is C(E)a dual of any linear norm space?

Let $E$ is a closed bounded set of $\mathbb{R}$. Is $C(E$ a dual of any linear norm space?
4
votes
1answer
93 views

MASAs of C* algebras

While studying the $C^*$-algebraic formulation of the recently solved Kadison-Singer problem, I was wondering about maximal abelian subalgebras: Let $\mathcal{A}$ be a unital C* algebra. There seems ...
4
votes
1answer
177 views

Cyclic vectors of an irreducible representation of a C*-algebra

Let $\mathcal{A}$ be a C*-algebra and $(H,\pi)$ an irreducible representation of $\mathcal{A}$. I want to prove the statement: all $\xi \in H$ are cyclic or $\pi(\mathcal{A})=\{0\}$ and ...
4
votes
2answers
132 views

How to prove compactness of matrix convex sets?

I am reading a paper - "the Krein Milman theorem in Operator Convexity"; and the third section there deals with compact matrix convex sets. The first example there states that the matrix interval ...
4
votes
1answer
75 views

Construction of noncommutative torus

In short, how do we get the formula for the NC torus? I find the equations in many places (including here) but I still have no idea for how this comes from the torus. If my understanding is correct, ...
4
votes
1answer
80 views

A question about essential representation in C*-algebra

There is a quotation of a book "C*-algebras Finite-Dimensional Approximations" below: Definition 1.7.4. A representation $\pi: A \rightarrow B(H)$ is called essential if $\pi(A)$ contains no nonzero ...
4
votes
1answer
59 views

Norms arising from all representations of *-algebras

It is common that in order to obtain a $C^*$-algebra from a $^*$-algebra $A$ one defines a norm on $A$ by $$\|x\|=\sup\{\|\pi(x)\|\,|\,\pi\ \text{is a }^*\text{-representation of }A\}.$$ However, I ...
4
votes
1answer
71 views

Smallness/ Rigidity of $\kappa(\mathcal{H})$ without using minimal projections?

Let $\mathcal{H}$ be a Hilbert space and $\kappa(\mathcal{H})$ the $C^*$-algebra of compact operators on $\mathcal{H}$. By smallness/ rigidity of $\kappa(\mathcal{H})$ I am referring to the following ...
4
votes
1answer
421 views

Double dual of the space $C[0,1]$

The second dual or double dual of the space of all continuous functions on $[0,1]$, $C[0,1]$ is von Neumann algebra. Can anyone help me identifying this space?
4
votes
1answer
90 views

Integral with Dirac Delta

I've to compute this expression $$ \hat{H} = \frac{1}{4}g_2\int d^3R\int d^3r\ \bar{\Psi}(\vec{R}+\frac{\vec{r}}{2})\bar{\Psi}(\vec{R}-\frac{\vec{r}}{2})\left[ \delta(\vec{r})\nabla_{\vec{r}}^2 ...
4
votes
1answer
51 views

*-representations of dense subalgebras

Let $H$ be a separable Hilbert space and let $K(H)$ be the C*-algebra of compact operators on $H$. Suppose that $A$ is a *-subalgebra of $K(H)$ which contains all the finite-rank operators. Given a ...
4
votes
1answer
48 views

continuous depence of the spectrum on elements

Suppose $a_n \to a$ in a unital $C^*$-algebra $A$. If $\lambda_n \in \sigma(a_n)$ converges to $\lambda \in \mathbb{C}$, then $\lambda \in \sigma(a)$. Does the converse hold? So if $\lambda \in ...
4
votes
3answers
141 views

Proof: $C(X×Y)=C(X)⊗C(Y)$

Where I can find the proof of the following theorem: Let $X$ and $Y$ be compact Hausdorff spaces, $C(X)$ and $C(Y)$ the space of continuous functions on $X$ and $Y$ respectively, then we have ...
4
votes
1answer
58 views

Show this representation is irreducible and faithful

Let A be a prime $C^{*}$ algebra and $e= \alpha^{-1} c^{*}c$ for some $c \in A$ which satisfies $(c^{*}c)^{2}=\alpha c^{*}c$. Then $e^{2}=e=e^{*}$ and $eAe=\mathbb Ce$ so $eAe$ may be identified with ...
4
votes
1answer
91 views

Two question on a lemma about C*-algebra

I am reading Lin Hua xin's book "An introduction to the classification of amenable C*-algebras" and i am confused with the lemma 1.7.12 in this book. Lemma 1.7.12 Let $A$ be a C*-algebra and $f\in ...
4
votes
1answer
67 views

When is the image of a GNS representation WOT-dense?

Given a $C^*$-algebra $A$ and a state $\rho$ on $A$, let $\pi_\rho$ be the corresponding GNS representation on the Hilbert space $H_\rho$. I would like know when the image of $\pi_\rho$ is WOT-dense ...
4
votes
1answer
118 views

Seek results in group theory obtained by applping algebraic topology tools

After studying the first section, especially the section 1.3 (covering spaces) in Hatcher's book, it is obvious that many classical topics in group theory, especially in infinite group theory, have ...
4
votes
0answers
51 views

On the exponential form of a unitary matrix

A unitary matrix $U \in \large C_{n,n}$ can always be written in the exponential form: $U = e ^{iA}$ (1) where $A$ is Hermitian. My goal is to find the Hermitian matrix $A$, given the unitary ...