Centre-valued Index for Toeplitz Operators with Noncommuting Symbols
AbstractWe formulate and prove a “winding number” index theorem for certain “Toeplitz” operators in the same spirit as Gohberg–Krein, Lesch and others. The “number” is replaced by a self-adjoint operator in a subalgebra Z ⊆ Z(A) of a unital C*-algebra, A. We assume a faithful Z-valued trace τ on A left invariant under an action α:R → Aut(A) leaving Z pointwise fixed. If δ is the infinitesimal generator of α and u is invertible in dom(δ), then the “winding operator” of u is . By a careful choice of representations we extend (A, Z, τ, α) to a von Neumann setting where and . Then , the von Neumann crossed product, and there is a faithful, dual -trace on . If P is the projection in corresponding to the non-negative spectrum of the generator of R inside and is the embedding, then we define and show it is Fredholm in an appropriate sense and the -valued index of Tu is the negative of the winding operator. In outline the proof follows that of the scalar case done previously by the authors. The main difficulty is making sense of the constructions with the scalars replaced by in the von Neumann setting. The construction of the dual -trace on requires the nontrivial development of a -Hilbert algebra theory. We show that certain of these Fredholm operators fiber as a “section” of Fredholm operators with scalar-valued index and the centre-valued index fibers as a section of the scalar-valued indices.
