## Abstract

We survey the notion of the spectral shift function of two operators and recent progress on its connection with the Witten index. We begin with classical definitions of the spectral shift function ξ(・;H_{2},H_{1}) under various assumptions on the pair of operators (H_{2},H_{1}) in a fixed Hilbert space and then discuss some of its properties. We then present a new approach to defining the spectral shift function and discuss Krein’s Trace Theorem. In particular, we describe a proof that does not use complex analysis [53] and develop its extension to general σ-finite von Neumann algebras M of type II and unbounded perturbations from the predual of M. We also discuss the connection between the theory of the spectral shift function and index theory for certain model operators. We start by introducing various definitions of the Witten index, (an extension of the notion of Fredholm index to non-Fredholm operators). Then we study the model operator D_{A} = (d/dt)+A in L^{2}(ℝ;H) associated with the operator path {A(t)}^{∞}_{t}=−∞, where (Af)(t) = A(t)f(t) for a.e. t ∈ ℝ, and appropriate f ∈ L^{2}(ℝ;H) (with H being a separable, complex Hilbert space). The setup permits the operator family A(t) on H to be an unbounded relatively trace class perturbation of the unbounded self-adjoint operator A_{−}, and no discrete spectrum assumptions are made on the asymptotes A_{±}. When there is a spectral gap for the operators A_{±} at zero, it is shown that the operator D_{A} is Fredholm and the Fredholm index can be computed as ind(D_{A}) = ξ(0_{+}; |D^{∗}_{A} |^{2}, |D_{A} |^{2}) = ξ(0;A_{+},A_{−}). When 0 ∈ σ(A_{+}) (or 0 ∈ σ(A_{−})), the operator DA ceases to be Fredholm. However, under the additional assumption that 0 is a right and a left Lebesgue point of ξ(・;A_{+}, A_{−}), it is proved that 0 is also a right Lebesgue point of ξ(・; |D^{∗}_{A} |^{2}, |D_{A} |^{2}). For the resolvent (resp., semigroup) regularized Witten index W_{r}(D_{A}) (resp., W_{s}(D_{A})) the following equality holds, W_{r}(D_{A}) = W_{s}(D_{A}) = ξ(0+; |D^{∗}_{A} |^{2}, |D_{A} |^{2}) = [ξ(0_{+};A_{+},A_{−}) + ξ(0_{−};A_{+},A_{−})]/2. We also study a special example, when the perturbation of the unbounded self-adjoint operator A_{−} is not assumed to be relatively trace class. In this example [Formula presented] is the differentiation operator on L^{2}(ℝ) and the perturbation is given by the multiplication operator by a (bounded) realvalued function f on R. Under certain assumptions on f it is proved that [Formula presented].

Original language | English |
---|---|

Pages (from-to) | 71-105 |

Number of pages | 35 |

Journal | Operator Theory: Advances and Applications |

Volume | 254 |

DOIs | |

Publication status | Published - 2016 |