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.

We introduce the fundamental group $\mathcal{F}\left( A \right)$ of a simple $\sigma $-unital ${{C}^{*}}$–algebra $A$ with unique (up to scalar multiple) densely defined lower semicontinuous trace. This is a generalization of Fundamental Group of Simple${{C}^{*}}$-algebras with Unique Trace I and II by Nawata and Watatani. Our definition in this paper makes sense for stably projectionless ${{C}^{*}}$-algebras. We show that there exist separable stably projectionless ${{C}^{*}}$-algebras such that their fundamental groups are equal to $\mathbb{R}_{+}^{\times }$ by using the classification theorem of Razak and Tsang. This is a contrast to the unital case in Nawata and Watatani. This study is motivated by the work of Kishimoto and Kumjian.

We present an operator algebraic approach to Wigner's unitary-antiunitary theorem using some classical results from ring theory. To show how effective this approach is, we prove a generalization of this celebrated theorem for Hilbert modules over matrix algebras. We also present a Wigner-type result for maps on prime C*-algebras.