The double covering of the quantum group
The author uses the concept of the first principal prolongation of an arbitrary principal filter bundle to develop an alternative procedure for constructing the prolongations of a class of the first-order -structures. The motivation comes from the almost Hermitian structures, which can be defined either as standard first-order structures, or higher-order structures, but if they do not admit a torsion-free connection, the classical constructions fail in general.
[For the entire collection see Zbl 0699.00032.] A fibration is called totally noncohomologuous to zero (TNCZ) with respect to the coefficient field k, if is surjective. This is equivalent to saying that acts trivially on and the Serre spectral sequence collapses at . S. Halperin conjectured that for and F a 1-connected rationally elliptic space (i.e., both and are finite dimensional) such that vanishes in odd degrees, every fibration is TNCZ. The author proves this being the case...
For the entire collection see Zbl 0699.00032.