Arens–Michael envelope conjecture for invertible bimodules

About 9 years old · traced to

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

i^1:M^⊗^A^M−1^⟶A^,i^2:M−1^⊗^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 iM⊗iM−1i_M\otimes i_{M^{-1}} intertwines i1i_1 with i^1\hat{i}_1, while the map induced by iM−1⊗iMi_{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.

References

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.