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)

6
votes
1answer
425 views

Matrices with entries in $C^*$-algebra

Let $\mathcal{A}$ be a $C^*$-algebra. Consider vector space of matrices of size $n\times n$ whose entries in $\mathcal{A}$. Denote this vector space $M_{n,n}(\mathcal{A})$. We can define involution on ...
6
votes
2answers
666 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?
6
votes
1answer
325 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 $\...
6
votes
1answer
298 views

Visualize operator algebras?

It seems to me that to study mathematics is to convert the abstract language into diagrams, graphs and images. It does depend on the subject how much this technique can ease the struggle yet most of ...
6
votes
1answer
327 views

Weak* operator topology and finite rank operators

We will say that ${T_i}\subset B(X,Y^*)$ converges to $T$ in W*-operator topology if $T_i(x)\rightarrow T(x)$ in W*-topology of $Y^*$( $\forall y\in Y \langle T_i(x),y\rangle \rightarrow \langle T(x),...
6
votes
1answer
306 views

Relation between noncommutative geometry and functional analysis

Recently I came across the subject of noncommutative geometry via my interest in functional analysis. My very little exposure to this subject gives me a sense that part of it is built on the theory of ...
6
votes
1answer
276 views

Homomorphic conditional expectations?

To clarify, I mean "conditional expectation" in the sense of $C^*$-algebras (a completely positive projection of norm 1, equivalently, a completely positive linear map onto a $C^*$-subalgebra which is ...
6
votes
1answer
119 views

Can $xy$ and $yx$ lie in different connected components of the group of invertible elements of an algebra?

What is an example of a Banach or $C^{*}$ algebra $A$ which has two invertible elements $x, y$ such that $xy$ can not be connected to $yx$ in $G(A)$, the space of invertible elements of $A$. A ...
6
votes
1answer
119 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 ...
6
votes
2answers
172 views

Are self-inverse operators normal?

Let $\mathcal{H}$ be an Hilbert space. Consider a bounded Operator $T:\mathcal{H}\to \mathcal{H}$. Suppose $TT=1$, does it hold, that $T^{*}T=TT^{*}$? If so, how does one show this? If not, what kind ...
6
votes
1answer
162 views

Question on irreducible representation of a Banach algebra

Let $\mathcal A$ be a Banach algebra over $\mathbb{C}$, $\mathcal X$ a irreducible left $\mathcal A$-module. If $x,y \in \mathcal X$ are linearly independent, there exists an element $a\in\mathcal A$ ...
6
votes
1answer
230 views

$\mathcal{K}(L^2(\mathbb{R}^m \times \mathbb{R}^n)) = \mathcal{K}(L^2(\mathbb{R}^m)) \otimes \mathcal{K}(L^2(\mathbb{R}^n))$?

QUESTION: Is it true that for the algebra of compact operators: $\mathcal{K}(L^2(\mathbb{R}^m \times \mathbb{R}^n))$ is as a $C^{\ast}$-algebra isomorphic to $\mathcal{K}(L^2(\mathbb{R}^m)) \otimes \...
6
votes
1answer
86 views

Most natural equivalence between $C^*$-algebras

I have listen or read that, in the context of noncommutative geometry, Morita equivalence is a more natural equivalence for $C^*$-algebras than $*$-isomorphism. Can someone explain this sentence or ...
6
votes
2answers
640 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 ...
6
votes
0answers
156 views

How to prove this element is strictly positive? [duplicate]

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 ...
6
votes
0answers
96 views

Products in $C^*$-algebra $K$-theory

Let $A_1$ and $A_2$ be unital $C^*$-algebras. If $p_1 \in M_{n_1}(A_1)$ and $p_2 \in M_{n_2}(A_2)$ are projections then $p_1 \otimes p_2 \in M_{n_1 n_2}(A_1 \otimes A_2)$ is also a projection, ...
5
votes
1answer
281 views

Is the centre of a C*-algebra a sub-C*-algebra?

I believe that the answer is affirmative and I would be grateful to any comments on my attempt (see below) of proving this. Let $A$ be a C*-algebra and denote by $Z(A)$ the centre of $A$. First of ...
5
votes
3answers
1k 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) \...
5
votes
2answers
495 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} \phi_n:M_n(\mathcal{A})&...
5
votes
2answers
179 views

Duals via a Bilinear map

Let $E$ and $F$ be normed vector spaces. Then if $B$ is a bounded bilinear form on $E \times F$ then every $y \in F$ defines a bounded linear functional $f_y$ where $f_y(x)=B(x, y) \forall x \in E$. ...
5
votes
1answer
1k views

Trace of an operator

Suppose $\rho$ is a positve trace-class operator and $x$ is positve bounded operator on a Hilbert space $\mathcal{H}$, I am unable to prove that trace of $\rho x$ is positive, where trace($x$):= $\sum ...
5
votes
1answer
169 views

Spectrum of normal elements in C*-algebras

Let $\mathcal{A}$ be a C*-algebra and $x \in \mathcal{A}$ a normal element. Can you show that $\left\{ \phi(x) : \phi \text{ is a state on } \mathcal{A} \right\}$ is the closed convex hull of the ...
5
votes
1answer
303 views

A theorem about operator theory

Define $$\operatorname{Ref}\mathcal{S}=\{T\in B(\mathcal{H}):Th\in[\mathcal{S}h], \forall h \in \mathcal{H}\},$$where $\mathcal{H}$ is a Hilbert space and $\mathcal{S}$ is a linear manifold of $B(\...
5
votes
1answer
123 views

Definite states on C*-algebras

A state $\omega$ on a unital $C^*$ algebra $A$ is called definite at $a\in A$ self-adjoint if $\omega(a^2)=\omega(a)^2$. I proved that if we have such a definite state at $a$, then for all $b\in A$ ...
5
votes
1answer
223 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
1answer
310 views

Does category theory help in operator algebras?

I'm currently studying the basics of Banach and $C^*$-algebras. Almost all the proofs i've seen so far are very simple but some of them are extremely tricky (in my opinion). This tricky interplay ...
5
votes
1answer
282 views

Where does the double commutant theorem fails for $AW^*$-algebras?

Commutative $AW^*$-algebra are characterized as those $C^*$-algebras such that their space of projections is a complete boolean algebra (see http://en.wikipedia.org/wiki/AW*-algebra). Von Neumann ...
5
votes
1answer
108 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
153 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
1answer
257 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 ...
5
votes
2answers
574 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
137 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 ...
5
votes
1answer
152 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, ...
5
votes
1answer
404 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
231 views

Does an irreducible operator generate an exact $C^{*}$-algebra?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Definition : An operator $T \in B(H)$ is irreducible if $W^{*}(T)=B(H)$. Definition : A $C^{*}...
5
votes
1answer
109 views

What's the application of C*-algebra in topology?

C*-algebras are thought be be non-commutative topological spaces because of Gelfand's theorem that any commutative C*-algebra are isomorphic to C(X) for some locally compact Hausdorff space X. I've ...
5
votes
1answer
383 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 ...
5
votes
1answer
43 views

Is $\mathbb{C}^n$ a C*-algebra?

Hi I am new in learning C*-algebra. I know that under the usual $\mathbb{C}^n$-norm, $\mathbb{C}^n$ is a Banach Space. However, what will be an intuitive multiplication on $\mathbb{C}^n$ so that the ...
5
votes
2answers
93 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 $D\...
5
votes
1answer
160 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 ...
5
votes
2answers
212 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 $E(K)=\...
5
votes
1answer
79 views

Is there a cyclic vector for $-\frac{d^{2}}{dx^{2}}$ on $L^{2}[0,2\pi]$ with periodic conditions?

Let $\mathcal{H}=L^{2}[0,2\pi]$, and let $L=-\frac{d^{2}}{dx^{2}}$ on the domain $\mathcal{D}(L)$ consisting of twice absolutely continuous functions $f$ on $[0,2\pi]$ with $f''\in\mathcal{H}$ and $f(...
5
votes
1answer
83 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 $...
5
votes
1answer
131 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 A^{...
5
votes
1answer
208 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
58 views

Compactum of Banach algebra

I need an example of Banach algebra $A$ and a left non-trivial closed ideal $I$ with all of following properties: There exists a bounded approximate identity in $I$ for $I$ i.e., a net $\{e_\alpha\}\...
5
votes
0answers
65 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. $\mathcal{M}_{n}$...
5
votes
0answers
242 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
93 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
284 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: $$A\...