  The pairings between the cyclic cohomologies and the K-theories of separable
$C^\ast$-algebras supply topological invariants that often relate to physical
response coefficients of materials. Using three numerical simulations, we
exemplify how some of these invariants survive throughout the full Sobolev
domains of the cocycles. These interesting phenomena, which can be explained by
index theorems derived from Alain Connes' quantized calculus, are now well
understood in the independent electron picture. Here, we review recent
developments addressing the dynamics of correlated many-fermions systems,
obtained in collaboration with Bram Mesland. They supply a complete
characterization of an algebra of relevant derivations over the
$C^\ast$-algebra of canonical anti-commutation relations indexed by a generic
discrete Delone lattice. It is argued here that these results already supply
the means to generate interesting and relevant states over this algebra of
derivations and to identify the cyclic cocycles corresponding to the transport
coefficients of the many-fermion systems. The existing index theorems for the
pairings of these cocycles, in the restrictive single fermion setting, are
reviewed and updated with an emphasis on pushing the analysis on Sobolev
domains. An assessment of possible generalizations to the many-body setting is
given.
