# Arens regularity

A normed algebra $A$ is said to be Arens regular if the pair of intrinsically defined Arens products (introduced by R. Arens in [a1] and [a2]; cf. Arens multiplication) on the double dual space $A ^ {* * }$ are identical. Since both Arens products extend the product on $A$( relative to the natural embedding mapping $\kappa : A \rightarrow {A ^ {* * } }$), a Banach algebra on a reflexive Banach space (cf. also Reflexive space) is Arens regular. S. Sherman has shown [a10] that the double dual of a $C ^ {*}$- algebra $A$ has a natural interpretation as the von Neumann algebra generated by the universal $*$- representation of $A$. Hence $C ^ {*}$- algebras are always Arens regular.

It is easy to show that if $A ^ {* * }$ is commutative under either Arens product, then $A$ is Arens regular. The following fundamental result is due to J. Hennefeld [a5], based on work of J.S. Pym [a8] making use of Grothendieck's criterion for weak compactness.

The following conditions are equivalent for a Banach algebra $A$:

a) $A$ is Arens regular;

b) for each $a \in A$ the adjoint ${L _ {a} ^ {*} } : {A ^ {*} } \rightarrow {A ^ {*} }$ of the left regular representation is weakly compact;

c) for each $a \in A$ the adjoint ${R _ {a} ^ {*} } : {A ^ {*} } \rightarrow {A ^ {*} }$ of the right regular representation is weakly compact;

d) for any bounded sequences $\{ a _ {n} \} _ {n \in \mathbf N }$ and $\{ b _ {n} \} _ {n \in \mathbf N }$ in $A$ and any $\omega \in A ^ {*}$, the iterated limits

$${\lim\limits } _ { n } {\lim\limits } _ { m } \omega ( a _ {n} b _ {n} ) , \quad {\lim\limits } _ { m } {\lim\limits } _ { n } \omega ( a _ {n} b _ {n} )$$

are equal when they both exist.

This theorem easily implies that subalgebras and quotient algebras (with respect to closed ideals) of Arens-regular algebras are Arens regular, as first noted in [a3].

Arens regularity is rare among general Banach algebras. N.J. Young [a11] has shown that for a locally compact group (cf. also Compact group; Locally compact skew-field) $G$, $L ^ {1} ( G )$( or $M ( G )$) is Arens regular if and only if $G$ is finite. P. Civin and B. Yood had proved this for Abelian groups in [a3]. In [a12] it is shown that the measure algebra (cf. Algebra of measures) $M ( S )$ of a locally compact semi-group $S$ in which multiplication is at least singly continuous is Arens regular if and only if ${\mathcal l} ^ {1} ( S )$ is. These are, in turn, equivalent to either:

there do not exist sequences $\{ u _ {n} \}$ and $\{ v _ {m} \}$ in $S$ such that the sets $\{ {u _ {n} v _ {m} } : {m > n } \}$ and $\{ {u _ {n} v _ {m} } : {m < n } \}$ are disjoint;

the semi-group operation can be extended to the Stone–Čech compactification $\beta S$ of $S$ as a discrete space.

In [a13], Young has proved that the algebra $B _ {A} ( X )$ of approximable operators (i.e., those uniformly approximable by finite-rank operators) on a Banach space $X$ is regular if and only if $X$ is reflexive (cf. Reflexive space). Hence, if the Banach algebra $B ( X )$ of all bounded linear operators on a Banach space $X$ is Arens regular, then $X$ must be reflexive. He also shows that there are reflexive Banach spaces $X$ with $B ( X )$ not Arens regular.

Á. Rodriguez-Palacios [a9] has shown that any (even non-associative) continuous multiplication on a Banach space $A$ is Arens regular if and only if every bounded linear mapping from $A$ into $A ^ {*}$ is weakly compact (cf. Weak topology). $C ^ {*}$- algebras satisfy this criterion.

A weaker version of Arens regularity was introduced by M. Grosser [a4]. An approximately unital Banach algebra $A$ is said to be semi-regular if it satisfies $R ^ {* * } ( e ) = L ^ {* * } ( e )$ for all mixed identities $e$. (An element $e \in A ^ {* * }$ is called a mixed identity if it is simultaneously a right identity for the first Arens product and a left identity for the second Arens product, see Arens multiplication.) He shows that an Arens-regular algebra is semi-regular and that any commutative approximately unital Banach algebra is semi-regular.

The most comprehensive recent (1996) exposition is [a7], which contains numerous further references.

How to Cite This Entry:
Arens regularity. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Arens_regularity&oldid=45217
This article was adapted from an original article by T.W. Palmer (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article