The Arens regularity of certain Banach algebras related to compactly cancellative foundation semigroups (Q2389165)

The main object of study in this paper is the space \(L_0^{\infty}(S, M_a(S))\) of all \(\mu\)-measurable functions vanishing at infinity, where \(S\) is a locally compact semigroup, \(\mu\in M_a(S)\) and \(M_a(S)\) denotes the algebra of all measures with continuous translations. It is shown that \(L_0^{\infty}(S, M_a(S))\) is a Banach \(M_a(S)\)-bimodule. If \(S\) is unital, then \(L_0^{\infty}(S, M_a(S))\) is also a left introverted subspace of the space \(L^{\infty}(S, M_a(S))\) of all \(\mu\)-measurable functions. As a main result, it is shown that if \(S\) is a compactly cancellative foundation semigroup with identity, then the dual space \(L_0^{\infty}(S, M_a(S))^*\) of \(L_0^{\infty}(S, M_a(S))\) is Arens regular if and only if \(S\) is finite. A similar result holds also for \(M_a(S)\), which is shown to be a two-sided closed ideal in \(L_0^{\infty}(S, M_a(S))^*\), coinciding with \(L_0^{\infty}(S, M_a(S))^*\) if and only if \(S\) is discrete.