Arens–Michael envelope conjecture for invertible bimodules

Let AA be an algebra and let MM be an invertible AA-bimodule, with inverse M1M^{-1}. Write 4A^44\widehat{A}4, 4M^44\widehat{M}4, and 4M1^44\widehat{M^{-1}}4 for their Arens–Michael envelopes, and let iAi_A, iMi_M, and iM1i_{M^{-1}} denote the canonical maps. There should exist topological AA-^\hat{\otimes}-bimodule isomorphisms

i^1:M^^A^M1^A^,i^2:M1^^A^M^A^\hat{i}_1:\widehat{M}\hat{\otimes}_{\widehat{A}}\widehat{M^{-1}}\longrightarrow\widehat{A},\qquad \hat{i}_2:\widehat{M^{-1}}\hat{\otimes}_{\widehat{A}}\widehat{M}\longrightarrow\widehat{A}

such that the following hold. Arens–Michael envelope conjecture. The bimodule M^\widehat{M} is a topologically invertible A^\widehat{A}-^\hat{\otimes}-bimodule with respect to i^1\hat{i}_1 and i^2\hat{i}_2, and the canonical maps make the multiplication diagrams commute: the map induced by iMiM1i_M\otimes i_{M^{-1}} intertwines i1i_1 with i^1\hat{i}_1, while the map induced by iM1iMi_{M^{-1}}\otimes i_M intertwines i2i_2 with i^2\hat{i}_2. This conjecture asks whether the Arens–Michael envelope of every invertible bimodule is topologically invertible, extending the preceding topological construction for automorphism bimodules. The source gives no resolution of the question.

Sources & referencesView supporting material

Primary source

Petr Kosenko, “The Arens-Michael envelopes of Laurent Ore extensions”, arXiv:1712.06178 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.