The Serre spectral sequence of a noncommutative fibration for de Rham cohomology (Q856797)

A differential calculus on a noncommutative algebra \(A\) is a differential graded algebra \((d,\Omega^{*}A)\) such that \(\Omega^0 = A\). The associated cohomology is referred to as a de Rham cohomology for \(A\). Differential calculi over different algebras are connected by means of differential bimodules which generalize the differentiable algebra maps. This point of view is systematized in Section~\(2\) by organizing these differential bimodules in a bicategory. The differential bimodules will then encode some functors between the categories of connections over the differential calculi. In Section~\(4\), some differentiable algebra maps are interpreted as (noncommutative) fibrations, and a notion of differentiable fibration is introduced in Section~\(5\). A spectral sequence converging to the de~Rham cohomogy of the `total algebra' is constructed. The theory is illustrated by means of differential calculi on Hopf algebras in Section~\(7\). An explicit example of a noncommutative differential fibration in this setting (the quantum Hopf fibration involving the quantum special linear group in dimension~\(2\)) is fully developed.