Adelic C*-correspondences and parabolic induction

In analogy with the construction of representations of adelic groups as restricted products of representations of local groups, we study restricted tensor products of Hilbert C*-modules and of C*-correspondences. The construction produces global C*-correspondences from compatible collections of local C*-correspondences. When applied to the collection of C*-correspondences capturing local parabolic induction, the construction produces a global C*-correspondence that captures adelic parabolic induction.