The modular Gromov–Hausdorff propinquity is a distance on classes of modules endowed with quantum metric information, in the form of a metric form of a connection and a left Hilbert module structure. This paper proves that the family of Heisenberg modules over quantum two tori, when endowed with their canonical connections, form a family of metrized quantum vector bundles, as a first step in proving that Heisenberg modules form a continuous family for the modular Gromov–Hausdorff propinquity.

Suppose that B is a G-Banach algebra over = ℝ or ℂ X is a finite dimensional compact metric space, ζ : P → X is a standard principal G-bundle, and Aζ = Γ(X,P ×GB) is the associated algebra of sections. We produce a spectral sequence which converges to π*(GLoAζ) with

A related spectral sequence converging to K*+1(Aζ) (the real or complex topological K-theory) allows us to conclude that if B is Bott-stable, (i.e., if π*(GLoB) → K*+1(B) is an isomorphism for all * > 0) then so is Aζ.

In this paper, we describe the sheaves of 1-homotopy groups of a simply-connected Chevalley group G; these sheaves can be identified with the sheafification of certain unstable Karoubi-Villamayor K-groups.