Further operator and index reading

Bott and Euclidean index reduction

The kernel and quotient maps in formula MG5 show exactly how right composition by the interior factor preserves compact supports, kernels and range quotients. This is the factorization input to a Euclidean index reduction. The separate analytic finiteness and Fredholm arguments are beyond the matrix theorem.

Closed-manifold symbols and indices

Closed-manifold symbols and indices develops the operator context. Elliptic boundary reduction provides the related boundary-system lesson and its supporting readings.