7
$\begingroup$

Let $A \to B$ be a proper morphism of $C^*$-algebras. A nondegenerate representation of $B$ induces a nondegenerate representation of $A$. Does the converse hold?

I.e.: let $A \to B$ be a morphism of $C^*$-algebras such that every nondegenerate representation of $B$ induces a nondegenerate representation of $A$. Does the morphism result proper? I guess not.

$\endgroup$
2
  • $\begingroup$ What is a "proper" morphism of C*-algebras in your view? $\endgroup$ Nov 21, 2012 at 3:26
  • $\begingroup$ It is a morphism that maps an approximate unit to an approximate unit (equivalently: it maps every approximate unit to an approximate unit). $\endgroup$ Nov 21, 2012 at 18:16

1 Answer 1

6
$\begingroup$

This is true. Factoring by the kernel of the homomorphism, we may assume that $A$ is a C*-sub-algebra of $B$ and the homomorphism is just the inclusion. So assume that $A\subseteq B$ and

(a) Every non-degenerate representation of $B$ restricted to $A$ is non-degenerate.

Then $A$ cannot be contained in the kernel of a state $\lambda$ of $B$. Otherwise, the GNS construction would give us a representation $\pi_\lambda\colon B\to B(H_\lambda)$ that is non-degenerate but restricted to $A$ is degenerate (since there exists $h\in H$ such that $\lambda(a)=\langle\pi_\lambda(a)h,h\rangle$ for all $a\in B$). So, (a) implies

(b) $A$ is not contained in the kernel of a state of $B$.

This implies that $A$ must generate $B$ as a closed left ideal, by Theorem 3.10.7 of Pedersen's "C*-algebras and their automorphims". Now let $(a_i)$ be an approximate unit for $A$. Then for every element of the form $ab$, with $a\in A$ and $b\in B$, we have $a_iab\to ab$. But the linear span of these elements elements is dense in $B$. So, (b) implies

(c) Any approximate unit of $A$ is also an approximate unit of $B$.

$\endgroup$
1
  • $\begingroup$ I've updated the answer to account for the general case. $\endgroup$ Nov 29, 2012 at 5:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.