F{\o}lner sequences in operator theory and operator algebras

TL;DR

This review explores F{46}lner sequences in operator theory and algebras, providing new proofs, analyzing finite operators, and characterizing F{46}lner C*-algebras through approximation and representation techniques.

Contribution

It offers a new direct proof for essentially normal operators' F{46}lner sequences and characterizes F{46}lner C*-algebras via unital completely positive maps.

Findings

Every essentially normal operator has an increasing F{46}lner sequence of finite rank projections.

F{46}lner sequences can approximate amenable traces on C*-algebras.

F{46}lner C*-algebras are characterized by unital completely positive maps.

Abstract

The present article is a review of recent developments concerning the notion of F{\o}lner sequences both in operator theory and operator algebras. We also give a new direct proof that any essentially normal operator has an increasing F{\o}lner sequence $\{P_n\}$ of non-zero finite rank projections that strongly converges to 1. The proof is based on Brown-Douglas-Fillmore theory. We use F{\o}lner sequences to analyze the class of finite operators introduced by Williams in 1970. In the second part of this article we examine a procedure of approximating any amenable trace on a unital and separable C*-algebra by tracial states $\mathrm{Tr}(\cdot P_n)/\mathrm{Tr}(P_n)$ corresponding to a F{\o}lner sequence and apply this method to improve spectral approximation results due to Arveson and B\'edos. The article concludes with the analysis of C*-algebras admitting a non-degenerate representation which has a F{\o}lner sequence or, equivalently, an amenable trace. We give an abstract characterization of these algebras in terms of unital completely positive maps and define F{\o}lner C*-algebras as those unital separable C*-algebras that satisfy these equivalent conditions. This is analogous to Voiculescu's abstract characterization of quasidiagonal C*-algebras.