-
Lattice homomorphisms in harmonic analysis
Authors:
H. Garth Dales,
Marcel de Jeu
Abstract:
Let $S$ be a non-empty, closed subspace of a locally compact group $G$ that is a subsemigroup of $G$. Suppose that $X, Y$, and $Z$ are Banach lattices that are vector sublattices of the order dual $\mathrm{C}_{\mathrm{c}}(S,\mathbb R)^\sim$ of the real-valued, continuous functions with compact support on $S$, and where $Z$ is Dedekind complete. Suppose that $\ast: X\times Y\to Z$ is a positive bil…
▽ More
Let $S$ be a non-empty, closed subspace of a locally compact group $G$ that is a subsemigroup of $G$. Suppose that $X, Y$, and $Z$ are Banach lattices that are vector sublattices of the order dual $\mathrm{C}_{\mathrm{c}}(S,\mathbb R)^\sim$ of the real-valued, continuous functions with compact support on $S$, and where $Z$ is Dedekind complete. Suppose that $\ast: X\times Y\to Z$ is a positive bilinear map such that $\mathrm{supp}\,{(x \ast y)}\subseteq\mathrm{supp}\,{x}\,\cdot\,\mathrm{supp}\,{y}$ for all $x\in X^+$ and $y\in Y^+$ with compact support. We show that, under mild conditions, the canonically associated map from $X$ into the vector lattice of regular operators from $Y$ into $Z$ is then a lattice homomorphism. Applications of this result are given in the context of convolutions, answering questions previously posed in the literature. As a preparation, we show that the order dual of the continuous, compactly supported functions on a closed subspace of a locally compact space can be canonically viewed as an order ideal of the order dual of the continuous, compactly supported functions on the larger space. As another preparation, we show that $\mathrm{L}^p$-spaces and Banach lattices of measures on a locally compact space can be embedded as vector sublattices of the order dual of the continuous, compactly supported functions on that space.
△ Less
Submitted 12 February, 2019; v1 submitted 31 December, 2018;
originally announced December 2018.
-
Normed algebras of differentiable functions on compact plane sets
Authors:
J. F. Feinstein,
H. G. Dales
Abstract:
We investigate the completeness and completions of the normed algebras $D^{(1)}(X)$ for perfect, compact plane sets $X$. In particular, we construct a radially self-absorbing, compact plane set $X$ such that the normed algebra $D^{(1)}(X)$ is not complete. This solves a question of Bland and Feinstein. We also prove that there are several classes of connected, compact plane sets $X$ for which the…
▽ More
We investigate the completeness and completions of the normed algebras $D^{(1)}(X)$ for perfect, compact plane sets $X$. In particular, we construct a radially self-absorbing, compact plane set $X$ such that the normed algebra $D^{(1)}(X)$ is not complete. This solves a question of Bland and Feinstein. We also prove that there are several classes of connected, compact plane sets $X$ for which the completeness of $D^{(1)}(X)$ is equivalent to the pointwise regularity of $X$. For example, this is true for all rectifiably connected, polynomially convex, compact plane sets with empty interior, for all star-shaped, compact plane sets, and for all Jordan arcs in $\mathbb{C}$.
In an earlier paper of Bland and Feinstein, the notion of an $\mathcal{F}$-derivative of a function was introduced, where $\mathcal{F}$ is a suitable set of rectifiable paths, and with it a new family of Banach algebras $D_{\mathcal{F}}^{(1)}(X)$ corresponding to the normed algebras $D^{(1)}(X)$. In the present paper, we obtain stronger results concerning the questions when $D^{(1)}(X)$ and $D_{\mathcal{F}}^{(1)}(X)$ are equal, and when the former is dense in the latter. In particular, we show that equality holds whenever $X$ is '$\mathcal{F}$-regular'.
An example of Bishop shows that the completion of $D^{(1)}(X)$ need not be semisimple. We show that the completion of $D^{(1)}(X)$ is semisimple whenever the union of all the rectifiable Jordan arcs in $X$ is dense in $X$.
We prove that the character space of $D^{(1)}(X)$ is equal to $X$ for all perfect, compact plane sets $X$, whether or not $D^{(1)}(X)$ is complete. In particular, characters on the normed algebras $D^{(1)}(X)$ are automatically continuous.
△ Less
Submitted 16 January, 2015;
originally announced January 2015.
-
Maximal ideals in commutative Banach algebras
Authors:
H. Garth Dales
Abstract:
We show that each maximal ideal in a commutative Banach algebra has codimension 1.
We show that each maximal ideal in a commutative Banach algebra has codimension 1.
△ Less
Submitted 17 August, 2014;
originally announced August 2014.
-
Equivalence of multi-norms
Authors:
H. Garth Dales,
Matthew Daws,
Hung Le Pham,
Paul Ramsden
Abstract:
The theory of multi-norms was developed by H.\ G.\ Dales and M.\ E.\ Polyakov in a memoir that was published in \emph{Dissertationes Mathematicae}. In that memoir, the notion of `equivalence' of multi-norms was defined. In the present memoir, we make a systematic study of when various pairs of multi-norms are mutually equivalent.
The theory of multi-norms was developed by H.\ G.\ Dales and M.\ E.\ Polyakov in a memoir that was published in \emph{Dissertationes Mathematicae}. In that memoir, the notion of `equivalence' of multi-norms was defined. In the present memoir, we make a systematic study of when various pairs of multi-norms are mutually equivalent.
△ Less
Submitted 8 April, 2013;
originally announced April 2013.
-
Radicals of some semigroup algebras
Authors:
H. G. Dales,
D. Strauss,
Y. Zelenyuk,
Yu. Zelenyuk
Abstract:
In this paper we seek to determine the Jacobson radical of certain algebras based on semigroups, and in particular on the semigroups $(βS, \Box)$, where $S$ is a cancellative, countable, abelian semigroup and $βS$ is its Stone--Čech semigroup compactification. In particular, we wish to determine the radical of $\ell^{ 1}(β\N)$.
In this paper we seek to determine the Jacobson radical of certain algebras based on semigroups, and in particular on the semigroups $(βS, \Box)$, where $S$ is a cancellative, countable, abelian semigroup and $βS$ is its Stone--Čech semigroup compactification. In particular, we wish to determine the radical of $\ell^{ 1}(β\N)$.
△ Less
Submitted 16 September, 2012;
originally announced September 2012.
-
Generators of maximal left ideals in Banach algebras
Authors:
H. G. Dales,
W. Żelazko
Abstract:
In 1971, Grauert and Remmert proved that a commutative, complex, Noetherian Banach algebra is necessarily finite-dimensional. More precisely, they proved that a commutative, complex Banach algebra has finite dimension over $\C$ whenever all the closed ideals in the algebra are (algebraically) finitely generated. In 1974, Sinclair and Tullo obtained a non-commutative version of this result. In 1978…
▽ More
In 1971, Grauert and Remmert proved that a commutative, complex, Noetherian Banach algebra is necessarily finite-dimensional. More precisely, they proved that a commutative, complex Banach algebra has finite dimension over $\C$ whenever all the closed ideals in the algebra are (algebraically) finitely generated. In 1974, Sinclair and Tullo obtained a non-commutative version of this result. In 1978, Ferreira and Tomassini improved the result of Grauert and Remmert by showing that the statement is also true if one replaces `closed ideals' by `maximal ideals in the Šilov boundary of $A$'. We shall give a shorter proof of this latter result, together with some extensions and related examples.
△ Less
Submitted 16 September, 2012;
originally announced September 2012.
-
Maximal left ideals of the Banach algebra of bounded operators on a Banach space
Authors:
H. G. Dales,
Tomasz Kania,
Tomasz Kochanek,
Piotr Koszmider,
Niels Jakob Laustsen
Abstract:
We address the following two questions regarding the maximal left ideals of the Banach algebra $\mathscr{B}(E)$ of bounded operators acting on an infinite-dimensional Banach pace $E$:
(Q1) Does $\mathscr{B}(E)$ always contain a maximal left ideal which is not finitely generated? (Q2) Is every finitely-generated, maximal left ideal of $\mathscr{B}(E)$ necessarily of the form \{T\in\mathscr{B}(E):…
▽ More
We address the following two questions regarding the maximal left ideals of the Banach algebra $\mathscr{B}(E)$ of bounded operators acting on an infinite-dimensional Banach pace $E$:
(Q1) Does $\mathscr{B}(E)$ always contain a maximal left ideal which is not finitely generated? (Q2) Is every finitely-generated, maximal left ideal of $\mathscr{B}(E)$ necessarily of the form \{T\in\mathscr{B}(E): Tx = 0\} (*) for some non-zero $x\in E$?
Since the two-sided ideal $\mathscr{F}(E)$ of finite-rank operators is not contained in any of the maximal left ideals given by (*), a positive answer to the second question would imply a positive answer to the first. Our main results are: (i) Question (Q1) has a positive answer for most (possibly all) infinite-dimensional Banach spaces; (ii) Question (Q2) has a positive answer if and only if no finitely-generated, maximal left ideal of $\mathscr{B}(E)$ contains $\mathscr{F}(E)$; (iii) the answer to Question (Q2) is positive for many, but not all, Banach spaces.
△ Less
Submitted 11 September, 2013; v1 submitted 23 August, 2012;
originally announced August 2012.
-
Multi-normed spaces
Authors:
H. G. Dales,
M. E. Polyakov
Abstract:
We modify the very well known theory of normed spaces $(E, \norm)$ within functional analysis by considering a sequence $(\norm_n : n\in\N)$ of norms, where $\norm_n$ is defined on the product space $E^n$ for each $n\in\N$.
Our theory is analogous to, but distinct from, an existing theory of `operator spaces'; it is designed to relate to general spaces $L^p$ for $p\in [1,\infty]$, and in particu…
▽ More
We modify the very well known theory of normed spaces $(E, \norm)$ within functional analysis by considering a sequence $(\norm_n : n\in\N)$ of norms, where $\norm_n$ is defined on the product space $E^n$ for each $n\in\N$.
Our theory is analogous to, but distinct from, an existing theory of `operator spaces'; it is designed to relate to general spaces $L^p$ for $p\in [1,\infty]$, and in particular to $L^1$-spaces, rather than to $L^2$-spaces.
After recalling in Chapter 1 some results in functional analysis, especially in Banach space, Hilbert space, Banach algebra, and Banach lattice theory that we shall use, we shall present in Chapter 2 our axiomatic definition of a `multi-normed space' $((E^n, \norm_n) : n\in \N)$, where $(E, \norm)$ is a normed space. Several different, equivalent, characterizations of multi-normed spaces are given, some involving the theory of tensor products; key examples of multi-norms are the minimum and maximum multi-norm based on a given space. Multi-norms measure `geometrical features' of normed spaces, in particular by considering their `rate of growth'. There is a strong connection between multi-normed spaces and the theory of absolutely summing operators.
A substantial number of examples of multi-norms will be presented.
Following the pattern of standard presentations of the foundations of functional analysis, we consider generalizations to `multi-topological linear spaces' through `multi-null sequences', and to `multi-bounded' linear operators, which are exactly the `multi-continuous' operators. We define a new Banach space ${\mathcal M}(E,F)$ of multi-bounded operators, and show that it generalizes well-known spaces, especially in the theory of Banach lattices.
We conclude with a theory of `orthogonal decompositions' of a normed space with respect to a multi-norm, and apply this to construct a `multi-dual' space.
△ Less
Submitted 16 March, 2012; v1 submitted 21 December, 2011;
originally announced December 2011.
-
Multi-norms and the injectivity of $L^p(G)$
Authors:
H. Garth Dales,
Matthew Daws,
Hung Le Pham,
Paul Ramsden
Abstract:
Let $G$ be a locally compact group, and take $p\in(1,\infty)$. We prove that the Banach left $L^1(G)$-module $L^p(G)$ is injective (if and) only if the group $G$ is amenable. Our proof uses the notion of multi-norms. We also develop the theory of multi-normed spaces.
Let $G$ be a locally compact group, and take $p\in(1,\infty)$. We prove that the Banach left $L^1(G)$-module $L^p(G)$ is injective (if and) only if the group $G$ is amenable. Our proof uses the notion of multi-norms. We also develop the theory of multi-normed spaces.
△ Less
Submitted 27 February, 2012; v1 submitted 22 January, 2011;
originally announced January 2011.
-
Banach function algebras with dense invertible group
Authors:
H. G. Dales,
J. F. Feinstein
Abstract:
In an earlier paper, Dawson and the second author asked whether or not a Banach function algebra with dense invertible group can have a proper Shilov boundary. We give an example of a uniform algebra showing that this can happen, and investigate the properties of such algebras.
In an earlier paper, Dawson and the second author asked whether or not a Banach function algebra with dense invertible group can have a proper Shilov boundary. We give an example of a uniform algebra showing that this can happen, and investigate the properties of such algebras.
△ Less
Submitted 3 November, 2004;
originally announced November 2004.
