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)

2
votes
1answer
25 views

A representation of a $ C^{*} $-algebra.

I have a quick question about the representation theory of $ C^{*} $-algebras. A representation of a $ C^{*} $-algebra $ A $ is a $ * $-homomorphism $ \pi: A \to B(\mathcal{H}) $, where $ \mathcal{H} ...
2
votes
0answers
26 views

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

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

Gelfand representation of the algebra $C^1([0,1])$

In Murphy's book about C* algebras, exercise question 1.10 asks the reader to show that the Gelfand representation of the algebra $C^1([0,1])$ is not surjective. Just before the reader is asked to ...
0
votes
0answers
17 views

C* Algebra, f(x,z)

Let $A$ be a $C^*$ algebra, $x\in A$ and $||x|| < 1$. Let $f(x,z) = (1-x x^*)^{-\frac{1}{2}}(1+zx)$, $|z|=1, z\in \mathbb{C}$, $\mathbb{C}$ is the complex field. How to prove: $$ f(x,z)^* f(x,z) ...
1
vote
0answers
18 views

Lifting invertible elements in a $C^*$-algebra connected to the identity

Let $A$ and $B$ be unital $C^*$-algebras and suppose that there is a surjective *-homomorphism $f:A\rightarrow B$. Then any invertible element in $B$ that is connected to $1_B$ can be lifted to an ...
0
votes
0answers
15 views

Is an ultrapower of the hyperfinite factor still hyperfinite?

Let $\mathcal{R}$ be the hyperfinite type $II_{1}$ factor and let $\mathcal{U}$ be a free ultrafilter on $\mathbb{N}$. Is it true that $\mathcal{R}^{\mathcal{U}}$ is never hyperfinite ? How can I see ...
1
vote
0answers
26 views

A Lemma about the operator space

The following lemma comes from the book "C*-algebras Finite-Dimensional Approximations" by N.P. Brown and N. Ozawa P379 Lemma 13.2.3 Let $X_{i}\in B(H_{i})$ (i=1,2) be unital operator subspaces ...
0
votes
0answers
8 views

Determining spectral bounds variationally.

I'm learning C0-semigroup theory (mainly from Arendt et al. (vector-valued Laplace-transforms and Cauchy problems), Engel & Nagel (One par. semigroups for linear evolution eq.),Evans (partial ...
0
votes
0answers
10 views

Tensor norm for matrix algebra over an $L^p$ operator algebra

This is a question about whether a certain tensor norm has a certain property. The setting is that of $L^p$ operator algebras (i.e. norm-closed subalgebras of $L^p(X,\mu)$ for some measure space ...
-1
votes
0answers
13 views

What are endomorphism, automorphism of an operator algebra (or C*-algebra)?

Are these definitions true? Let $A$ be an operator algebra. Thus: 1) $f:A \to A$ belong to $End(A)\ $ if $\ f\ $ is homomorphism $ \ $i.e. $\ $ $f(ab)=f(a)f(b)\ $ for each $a,b \in A$. 2) $f:A ...
1
vote
1answer
20 views

Arveson spectrum for a unitary representation of a group on a Hilbert space

Let $G = \mathbb{R}$. By Stone's theorem, $U(t)\in\mathcal{B}(\mathcal{H})$ is generated by a self-adjoint operator $H$ (for which there is a resolution of the identity P(p), by the spectral theorem) ...
0
votes
0answers
28 views

Why does one only consider one-parameter groups in Borchers-Arveson theorem?

The theorem (Operator algebras and Quantum statistical mechanics vol. 1, Bratteli, Robinson, Thm. 3.2.46 p.261) roughly says that if one has a one parameter automorphism group $t \rightarrow\alpha_t$ ...
1
vote
0answers
10 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 ...
1
vote
1answer
37 views

A question about $n$-dimensional operator space

Let $F_{n-1}$ be the free group of rank $n-1$ and $C^{*}(F_{n-1})$ be the universal group C*-algebra of $F_{n-1}$. And if $E_{n}$ is the $n$-dimensional operator space in $C^{*}(F_{n-1})$ spanned by ...
0
votes
0answers
15 views

States: Density

Problem Given a Hilbert space $\mathcal{H}$. Regard the CAR-algebra: $$\{a(\eta),a(\zeta)\}=0\quad\{a(\eta),a(\zeta)^*\}=\langle\eta,\zeta\rangle$$ Consider a density: ...
1
vote
1answer
34 views

spectral theory expandable to arbitrary polynomials?

Given a Banach space $X$ and closed operators $A_i$ ($i \in \left\{0,...,n\right\}$) which have a common domain $D$ that is dense in $X$. An obvious candidate for the title of "generalised resolvent ...
2
votes
1answer
74 views

Morita equivalence and KK-theory

Let $A,B,C$ be $C^\ast$-algebras. Suppose $B$ and $C$ to be strongly morita equivalent. Then $KK(A,B)\cong KK(A,C)$. Could someone provide a reference or proof of this fact? I guess the ...
1
vote
0answers
20 views

Commutant of algebra of multiplication operators

Let $L^2(X)$ be the set of Lebesgue square-integrable functions on a locally compact Hausdorff space $X$. Define $\mathfrak{A}:=\{M_f:f\in L^{\infty}(X), f=\overline{f}\}$, where $M_f$ is the the ...
0
votes
1answer
35 views

almost unital Banach algebra's

Let $A$ be an "almost unital Banach algebra", in the sense that it satisfies all the usual axioms but not necessarily that $\|1\|=1$. From the product inequality $\forall x,y \in A$ \begin{equation} ...
3
votes
1answer
45 views

Existence of central cover for a representation of a C*-algebra

I've been trying to learn the basics about the representation theory of C*-algebras and came across the following in Pedersen's C*-algebras and their Automorphism Groups: With each ...
0
votes
0answers
22 views

Is $\|a^2\|≤\|\Gamma(a)\|\|a\|$right?

For any $a$ in a commutative Banach Algebra with Gelfand representation $\Gamma$, is this inequality $\|a^2\|≤\|\Gamma(a)\|*\|a\|$right? If so, how to prove it? I'm exhausted for many hours' attempt ...
3
votes
0answers
65 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 ...
0
votes
0answers
35 views

Existence of certain subalgebras of $C(X)$

Suppose $A$ is a commutative Banach algebra.Knowing that the Gelfand transform is not surjective but injective does it imply that $A$ is not isomorphic to $C(X)$ ? by $M$ we mean the maximal ideal ...
1
vote
1answer
89 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 ...
1
vote
0answers
33 views

Interpreting the lingo of a definition

The Terms I grew up with: A bounded linear operator $U$ on a Hilbert space $H$ is a partial isometry if there exists a subspace $M$ of $H$ such that $\|Ux\| = \|x\|$ for all $x\in M$, and $Ux = ...
0
votes
1answer
27 views

Involution on the Disc Algebra

We know that the disc algebra $A(D)$={$f$ in $C(DUBd(D))$: f is analytic on $D$} wher $D$ is the open unit disc in the complex plane is a Banach algebra under the usual sup norm.Is it possible to ...
4
votes
1answer
53 views

Counterexample for an isometric homomorphism of algebras which is not involutive.

I am finding difficulties in finding a counterexample that if $f:A\to B$ is a homomorphism of $C^*$algebras A and B (which means: f is linear and multiplicative) and let f be isometric, this implies ...
1
vote
0answers
18 views

Herz-Schur multiplier bounded if corresponding functional is bounded

I want to prove the following statement: Let $\Gamma$ be a discrete group and $\phi:\Gamma\rightarrow\mathbb{C}$ a function and ...
0
votes
0answers
36 views

Tensor product of $C^*$- algebras

We know from the paper of Douglas and Howe (enter link description here) that the commutator ideal $\mathcal{I}$ of $\mathcal{A}(C(T^2))$, the $C^*$-algebra generated by Toeplitz operators with ...
2
votes
1answer
31 views

Order zero maps in matrix algebra

Let $a$ and $b$ are two elements in a $C^*$algebra $A$. We say $a\perp b$ if $ab=ba=a^*b=ab^*=0$. We say a completely positive map $\phi: A \rightarrow B$ is of order zero if for any positive elements ...
3
votes
1answer
99 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 ...
4
votes
1answer
65 views

Existence of idempotents versus existence of projections in a C*-algebra

Let $\mathcal{A}$ be any C*-algebra. Suppose $x\in\mathcal{A}$ is idempotent, with $x\neq 0$ and $x\neq 1$. Does it follow that $\mathcal{A}$ admits nontrivial projections? Clearly, when $x$ is ...
1
vote
3answers
48 views

Non-closed ideals in $C^*$-algebras

What is an example of an ideal in a commutative $C^*$-algebra that is not closed? If by chance every ideal in a commutative $C^*$-algebra is closed, how about in non-commutative $C^*$-algebras? ...
2
votes
1answer
39 views

Norms on unitization of nonunital Banach algebra

Let $A$ be a nonunital Banach algebra and denote by $A^+$ the unitization of $A$. One commonly used Banach algebra norm on $A^+$ is given by $||(a,\lambda)||=||a||+|\lambda|$ (where $a\in ...
1
vote
0answers
18 views

C^* algebra generated by a C^* algebra and a group

In this article: http://ac.els-cdn.com/S0022123606001856/1-s2.0-S0022123606001856-main.pdf?_tid=ddbd529e-b857-11e4-9f30-00000aab0f27&acdnat=1424365005_7c9a5ac14284f6258613e8a6cb8a9482 "Spectral ...
2
votes
1answer
46 views

when a crossed product group is inner amenable

Denote $K, H$ to be countable discrete groups, then I am interested whether the crossed product group $G=H\rtimes_{\alpha} K$ is inner amenable or not. For example, when $\alpha$ is trivial, ...
0
votes
0answers
84 views

Hilbert space structure on $C^{*}$ algebras

What is an example of an infinite dimensional $C^{*}$ algebra with a Hilbert space structure (not merely pre-hilbert structure) such that the orthogonal complement of each closed left ideal ...
2
votes
1answer
26 views

Are ideals generated by separable subspaces separable?

Suppose that $X$ is a compact Hausdorff space and take a sequence $(f_n)$ in $C(X)$ such that the ideal generated by $(f_n)$ is proper. Must this ideal be separable as a Banach space? It looks to me ...
1
vote
1answer
35 views

C* Algebra Positivity

STATEMENT: This is a proof from one of Qiaochu's notes on $C^*$ algebras. Proof: Let A be a $C^*$ algebra.We now want to show that for any $c\in A$ we have $c^*c\geq 0$. Suppose otherwise.We know ...
4
votes
0answers
34 views

Infinite dimensional C*-algebra contains infinite dimensional commutitive subalgebra

I was reading a paper which mentioned without proof that every infinite-dimensional $C$* algebra has an infinite-dimensional commutative $C$* subalgebra. Thinking about it for 10 minutes, I didn't ...
1
vote
0answers
26 views

Spatial tensor product of operator spaces

If $X$ and $Y$ are Banach spaces and $\otimes_\varepsilon$ denotes the injective tensor product, then in general $\otimes_\varepsilon$ does not respect quotients unless we map into ...
0
votes
1answer
47 views

A question about induced $C^\ast$-algebra

Recently, I read the book Crossed Products of C*-algebras, and meat a question. The question is how to prove $\mathrm{Ind}_c(A,\alpha)$ is dence in $\mathrm{Ind}(A,\alpha)$. On the page 102, the ...
1
vote
0answers
32 views

Group $C^*$-algebra elements as limit of self-adjoint integrable functions

Assume $G$ is a locally compact abelian group and let $C^*(G)$ denote its group $C^*$-algebra. I am reading a proof that uses the 'fact' that some $f\in C^*(G)$ is a limit of self-adjoint functions ...
0
votes
1answer
55 views

Partial Isometries: Characterization

Given a C*-algebra. Any partial isometry satisfies: $$WW^*W=W$$ From this, one derives projections: $$W^*W,WW^*$$ Conversely, given projections: $$W^*W,WW^*$$ One derives a partial isometry: ...
2
votes
1answer
33 views

Extending isomorphisms between $*$-algebras to $C^*$-algebras

I'm quite sure I am correct about this but at the moment I can't think for the life of me why. Suppose $A$ and $B$ are $*$-algebras and there are $*$-homomorphisms $\pi_1 \colon A \to ...
1
vote
1answer
20 views

A symmetric algebra that is not a C* algebra

Recall that a commutative Banach $*$-algebra $A$ is called symmetric if the Gelfand transform replaces involution in $A$ by complex conjugation in $\mathbb{C}$. Moreover, any commutative C* algebra is ...
-1
votes
1answer
42 views

Dynamics: Continuity

Disclaimer: This is a record of results. Given a C*-algebra $\mathcal{A}\subseteq\mathcal{B}(\mathcal{H})$. Consider a Hamiltonian dynamics: ...
1
vote
1answer
24 views

States: KMS-Condition

Given a C*-algebra $\mathcal{A}$ with dynamics $\tau$. Consider a state $\omega$. Does it suffice to have on a dense set the KMS-condition: ...
1
vote
0answers
30 views

Commutators of Schur polynomials of Lie algebra elements

Question: Is there a well-known formula for computing the commutators of Schur polynomials when the variables are Lie algebra elements? If the algebra has a particularly simple commutation relation, ...
0
votes
0answers
233 views

Homotopy classes of $*$-morphisms and unital $*$-morphisms

Let $A$ and $B$ be C*-algebras (non necessarily unital). A homotopy between two $*$-morphisms $\phi,\psi:A \to B$ is a $*$-morphism $A \to C([0,1],B)$ such that you can recover $\phi$ and $\psi$ from ...