Table of Contents
Fetching ...

Normalizers and Approximate Units for Inclusions of C*-Algebras

David R. Pitts

Abstract

For an inclusion of C*-algebras $D\subseteq A$ with $D$ abelian, we show that when $n\in A$ normalizes $D$, $n^*n$ and $nn^*$ commute with $D$. As a corollary, when $D$ is a regular MASA in $A$, every approximate unit for $D$ is also an approximate unit for $A$. This permits removal of the non-degeneracy hypothesis from the definition of a Cartan MASA in the non-unital case. We give examples of singular MASA inclusions: for some, every approximate unit for $D$ is an approximate unit for $A$, while for others, no approximate unit for $D$ is an approximate unit for $A$. Our results imply that if the unitization of an inclusion $D\subseteq A$ is a C*-diagonal, then $D$ is regular in $A$. In contrast, we give an example of a non-regular inclusion whose unitization is a Cartan inclusion. If $D$ is a MASA in $A$, we ask when $A$ is a subalgebra of $B$ with $D$ a regular MASA in $B$. When $D$ is a MASA in $\mathcal B(\ell^2(\mathbb N))$, no such $B$ exists.

Normalizers and Approximate Units for Inclusions of C*-Algebras

Abstract

For an inclusion of C*-algebras with abelian, we show that when normalizes , and commute with . As a corollary, when is a regular MASA in , every approximate unit for is also an approximate unit for . This permits removal of the non-degeneracy hypothesis from the definition of a Cartan MASA in the non-unital case. We give examples of singular MASA inclusions: for some, every approximate unit for is an approximate unit for , while for others, no approximate unit for is an approximate unit for . Our results imply that if the unitization of an inclusion is a C*-diagonal, then is regular in . In contrast, we give an example of a non-regular inclusion whose unitization is a Cartan inclusion. If is a MASA in , we ask when is a subalgebra of with a regular MASA in . When is a MASA in , no such exists.

Paper Structure

This paper contains 3 sections, 10 theorems, 39 equations.

Key Result

Proposition 2.1

Let $(A,D)$ be an inclusion. For $n\in N(A,D)$ and $d\in D$, Furthermore, if $\rho_1$ and $\rho_2$ are states on $A$ such that $\rho_1|_D=\rho_2|_D\in \hat{D}$, then $\rho_1(n^*n)=\rho_2(n^*n)$ and $\rho_1(nn^*)=\rho_2(nn^*)$.

Theorems & Definitions (28)

  • Definition 1.1
  • proof
  • proof
  • Proposition 2.1
  • proof
  • Corollary 2.3
  • Corollary 2.4
  • proof
  • Corollary 2.5
  • proof
  • ...and 18 more