Arens–Michael envelope conjecture for invertible bimodules
Let AAA be an algebra and let MMM be an invertible AAA-bimodule, with inverse M−1M^{-1}M−1. Write 4A^44\widehat{A}44A4, 4M^44\widehat{M}44M4, and 4M−1^44\widehat{M^{-1}}44M−14 for their Arens–Michael env…