Spectral flow is the integral of one forms on the Banach manifold of self adjoint Fredholm operators

TL;DR

This paper provides analytic formulas for spectral flow of self-adjoint Fredholm operators in semi-finite von Neumann algebras, linking it to integrals of one forms on Banach submanifolds, extending classical ideas.

Contribution

It introduces a family of Banach submanifolds and defines global one forms whose integrals compute spectral flow, generalizing Singer's 1974 idea and extending to unbounded operators.

Findings

Derived explicit formulas for spectral flow in semi-finite von Neumann algebras.

Established geometric interpretation via Banach submanifolds and one forms.

Extended formulas to unbounded self-adjoint Fredholm operators.

Abstract

One may trace the idea that spectral flow should be given as the integral of a one form back to the 1974 Vancouver ICM address of I.M. Singer. Our main theorem gives analytic formulae for the spectral flow along a norm differentiable path of self-adjoint bounded Breuer-Fredholm operators in a semi-finite von Neumann algebra. These formulae have a geometric interpretation which derives from the proof. Namely we define a family of Banach submanifolds of all bounded self-adjoint Breuer-Fredholm operators and on each submanifold define global one forms whose integral on a norm differentiable path contained in the submanifold calculates the spectral flow along this path. We emphasise that our methods do not give a single globally defined one form on the self adjoint Breuer- Fredholms whose integral along all paths is spectral flow rather, as the choice of the plural `forms' in the title suggests, we need a family of such one forms in order to confirm Singer's idea. The original context for this result concerned paths of unbounded self-adjoint Fredholm operators. We therefore prove analogous formulae for spectral flow in the unbounded case as well. The proof is a synthesis of key contributions by previous authors, whom we acknowledge in detail in the introduction, combined with an additional important recent advance in the differential calculus of functions of non-commuting operators.