Showing 1–50 of 51 results for author: de Jeu, M

Embedded unbounded order convergent sequences in topologically convergent nets in vector lattices

Authors: Yang Deng, Marcel de Jeu

Abstract: We show that, for a class of locally solid topologies on vector lattices, a topologically convergent net has an embedded sequence that is unbounded order convergent to the same limit. Our result implies, and often improves, many of the known results in this vein in the literature. A study of metrisability and submetrisability of locally solid topologies on vector lattices is included. We show that, for a class of locally solid topologies on vector lattices, a topologically convergent net has an embedded sequence that is unbounded order convergent to the same limit. Our result implies, and often improves, many of the known results in this vein in the literature. A study of metrisability and submetrisability of locally solid topologies on vector lattices is included. △ Less

Submitted 22 January, 2024; v1 submitted 6 September, 2023; originally announced September 2023.

Comments: 25 pages. Proposition 3.7 has been strengthened. Final version, to appear in Banach J. Math. Anal

Journal ref: Banach J. Math. Anal. 18 (2024), no. 2, Paper No. 22

The order bidual of C(X) for a realcompact space

Authors: Marcel de Jeu, Jan Harm van der Walt

Abstract: It is well known that the bidual of $\mathrm C(X)$ for a compact space $X$, supplied with the Arens product, is isometrically isomorphic as a Banach algebra to $\mathrm C(\tilde X)$ for some compact space $\tilde X$. The space $\tilde X$ is unique up to homeomorphism. We establish a similar result for realcompact spaces: The order bidual of $\mathrm C(X)$ for a realcompact space $X$, when supplied… ▽ More It is well known that the bidual of $\mathrm C(X)$ for a compact space $X$, supplied with the Arens product, is isometrically isomorphic as a Banach algebra to $\mathrm C(\tilde X)$ for some compact space $\tilde X$. The space $\tilde X$ is unique up to homeomorphism. We establish a similar result for realcompact spaces: The order bidual of $\mathrm C(X)$ for a realcompact space $X$, when supplied with the Arens product, is isomorphic as an $f$-algebra to $\mathrm C(\tilde X)$ for some realcompact space $\tilde X$. The space $\tilde X$ is unique up to homeomorphism. △ Less

Submitted 7 March, 2023; v1 submitted 19 December, 2022; originally announced December 2022.

MSC Class: 46E05; 46A40; 46M40

Journal ref: Quaest. Math. 47 (2024), 101-119

Direct limits in categories of normed vector lattices and Banach lattices

Authors: Chun Ding, Marcel de Jeu

Abstract: After collecting a number of results on interval and almost interval preserving linear maps and vector lattice homomorphisms, we show that direct systems in various categories of normed vector lattices and Banach lattices have direct limits, and that these coincide with direct limits of the systems in naturally associated other categories. For those categories where the general constructions do no… ▽ More After collecting a number of results on interval and almost interval preserving linear maps and vector lattice homomorphisms, we show that direct systems in various categories of normed vector lattices and Banach lattices have direct limits, and that these coincide with direct limits of the systems in naturally associated other categories. For those categories where the general constructions do not work to establish the existence of general direct limits, we describe the basic structure of those direct limits that do exist. A direct system in the category of Banach lattices and contractive almost interval preserving vector lattice homomorphisms has a direct limit. When the Banach lattices in the system all have order continuous norms, then so does the Banach lattice in a direct limit. This is used to show that a Banach function space over a locally compact Hausdorff space has an order continuous norm when the topologies on all compact subsets are metrisable and (the images of) the continuous compactly supported functions are dense. △ Less

Submitted 27 April, 2023; v1 submitted 29 August, 2022; originally announced August 2022.

Comments: 34 pages; minor corrections; final version; to appear in Positivity

MSC Class: Primary 46M40; Secondary 46A40; 46B40; 46B42

Journal ref: Positivity 27 (2023), no. 3, paper no. 39, 32 p

Riesz representation theorems for positive algebra homomorphisms

Authors: Marcel de Jeu, Xingni Jiang

Abstract: Let $X$ be a locally compact Hausdorff space, let $\mathrm A$ be a partially ordered algebra, and let $T:\mathrm{C}_{\mathrm c}(X)\to \mathrm A$ be a positive algebra homomorphism. Under conditions on $\mathrm A$ that are satisfied in a good number of cases of practical interest, we show that $T$ is represented by a (unique regular) measure $μ$ on the Borel $σ$-algebra of $X$ that takes it values… ▽ More Let $X$ be a locally compact Hausdorff space, let $\mathrm A$ be a partially ordered algebra, and let $T:\mathrm{C}_{\mathrm c}(X)\to \mathrm A$ be a positive algebra homomorphism. Under conditions on $\mathrm A$ that are satisfied in a good number of cases of practical interest, we show that $T$ is represented by a (unique regular) measure $μ$ on the Borel $σ$-algebra of $X$ that takes it values in the positive cone of $\mathrm A$, and with the property that $μ(A_1\cap A_2)=μ(A_1)μ(A_2)$ for Borel subsets $A_1,A_2$ of $X$. The positive algebra homomorphism $T$ can be extended from ${\mathrm C}_{\mathrm c}(X)$ to the accompanying $\mathcal L^1$-space of $μ$. We show that, quite often, this $\mathcal L^1$-space is closed under multiplication, so that it is a Riesz algebra, and that the extended map $T:\mathcal L^1\to\mathrm A$ is not only an algebra homomorphism, but, even when $\mathrm A$ is not a Riesz space, also a vector lattice homomorphism in a sense that is explained in the paper. The latter property enables one to describe images of the extended map in terms of sequential up-downs and down-ups of the image of (the positive cone of ) ${\mathrm C}_{\mathrm c}(X)$ when $\mathrm A$ has the countable sup property. We apply the main results, which are obtained by purely order-theoretical methods, to positive algebra homomorphisms from ${\mathrm C}_0(X)$ into the order continuous operators on a Banach lattice, and to representations of ${\mathrm C}_0(X,\mathbb C)$ on Hilbert spaces. It is thus seen that, for representations on Banach lattices and on Hilbert spaces, although situated in rather different contexts, spectral theorems can be established that are both rooted in the same order-theoretical Riesz representation theorem for positive algebra homomorphisms from ${\mathrm C_\mathrm c}(X)$ into partially ordered algebras. △ Less

Submitted 21 September, 2021; originally announced September 2021.

Comments: 51 pages

MSC Class: Primary 47B99; Secondary 06F25; 28B15

Riesz representation theorems for positive linear operators

Authors: Marcel de Jeu, Xingni Jiang

Abstract: We generalise the Riesz representation theorems for positive linear functionals on $\mathrm{C}_{\mathrm c}(X)$ and $\mathrm{C}_{\mathrm 0}(X)$, where $X$ is a locally compact Hausdorff space, to positive linear operators from these spaces into a partially ordered vector space $E$. The representing measures are defined on the Borel $σ$-algebra of $X$ and take their values in the extended positive c… ▽ More We generalise the Riesz representation theorems for positive linear functionals on $\mathrm{C}_{\mathrm c}(X)$ and $\mathrm{C}_{\mathrm 0}(X)$, where $X$ is a locally compact Hausdorff space, to positive linear operators from these spaces into a partially ordered vector space $E$. The representing measures are defined on the Borel $σ$-algebra of $X$ and take their values in the extended positive cone of $E$; the corresponding integrals are order integrals. We give explicit formulas for the values of the representing measures at open and at compact subsets of $X$. Results are included where the space $E$ need not be a vector lattice, nor a normed space. Representing measures exist for positive linear operators into Banach lattices with order continuous norms, into the regular operators on a KB-space, into the self-adjoint linear operators in a weakly closed complex linear subspace of the bounded linear operators on a complex Hilbert space, and into JBW-algebras. △ Less

Submitted 4 January, 2022; v1 submitted 25 April, 2021; originally announced April 2021.

Comments: This version has 39 pages. Some minor improvements in presentation and notation have been made. It is the final version which will appear in Banach J. Math. Anal

Journal ref: Banach J. Math. Anal. 16 (2022), no.3, Paper No. 44, 40pp

Order Integrals

Authors: Marcel de Jeu, Xingni Jiang

Abstract: We define an integral of real-valued functions with respect to a measure that takes its values in the extended positive cone of a partially ordered vector space $E$. The monotone convergence theorem, Fatou's lemma, and the dominated convergence theorem are established; the analogues of the classical ${\mathcal L}^1$- and ${\mathrm L}^1$-spaces are investigated. The results extend earlier work by W… ▽ More We define an integral of real-valued functions with respect to a measure that takes its values in the extended positive cone of a partially ordered vector space $E$. The monotone convergence theorem, Fatou's lemma, and the dominated convergence theorem are established; the analogues of the classical ${\mathcal L}^1$- and ${\mathrm L}^1$-spaces are investigated. The results extend earlier work by Wright and specialise to those for the Lebesgue integral when $E$ equals the real numbers. The hypothesis on $E$ that is needed for the definition of the integral and for the monotone convergence theorem to hold ($σ$-monotone completeness) is a rather mild one. It is satisfied, for example, by the space of regular operators between a directed partially ordered vector space and a $σ$-monotone complete partially ordered vector space, and by every JBW-algebra. Fatou's lemma and the dominated convergence theorem hold for every $σ$-Dedekind complete space. When $E$ consists of the regular operators on a Banach lattice with an order continuous norm, or when it consists of the self-adjoint elements of a strongly closed complex linear subspace of the bounded operators on a complex Hilbert space, then the finite measures as in the current paper are precisely the strongly $σ$-additive positive operator-valued measures. When $E$ is a partially ordered Banach space with a closed positive cone, then every positive vector measure is a measure in our sense, but not conversely. Even when a measure falls into both categories, the domain of the integral as defined in this paper can properly contain that of any reasonably defined integral with respect to the vector measure using Banach space methods. △ Less

Submitted 9 November, 2021; v1 submitted 18 April, 2021; originally announced April 2021.

Comments: Current version contains 39 pages. Several minor improvements in presentation have been made. Final version, to appear in Positivity

Journal ref: Positivity 26 (2022), no. 2, Paper No. 32, 39 pp

Convergence structures and Hausdorff uo-Lebesgue topologies on vector lattice algebras of operators

Authors: Yang Deng, Marcel de Jeu

Abstract: A vector sublattice of the order bounded operators on a Dedekind complete vector lattice can be supplied with the convergence structures of order convergence, strong order convergence, unbounded order convergence, strong unbounded order convergence, and, when applicable, convergence with respect to a Hausdorff uo-Lebesgue topology and strong convergence with respect to such a topology. We determin… ▽ More A vector sublattice of the order bounded operators on a Dedekind complete vector lattice can be supplied with the convergence structures of order convergence, strong order convergence, unbounded order convergence, strong unbounded order convergence, and, when applicable, convergence with respect to a Hausdorff uo-Lebesgue topology and strong convergence with respect to such a topology. We determine the general validity of the implications between these six convergences on the order bounded operator and on the orthomorphisms. Furthermore, the continuity of left and right multiplications with respect to these convergence structures on the order bounded operators, on the order continuous operators, and on the orthomorphisms is investigated, as is their simultaneous continuity. A number of results are included on the equality of adherences of vector sublattices of the order bounded operators and of the orthomorphisms with respect to these convergence structures. These are consequences of more general results for vector sublattices of arbitrary Dedekind complete vector lattices. The special attention that is paid to vector sublattices of the orthomorphisms is motivated by explaining their relevance for representation theory on vector lattices. △ Less

Submitted 21 February, 2022; v1 submitted 7 November, 2020; originally announced November 2020.

Comments: 33 pages. Some typos corrected. The use of a result on f-algebras has led to stronger versions of Proposition 2.6, Corollary 2.7, and Theorem 6.2. Final version, to appear in Positivity

MSC Class: Primary 47B65; Secondary 06F25; 46A16; 46A19

Journal ref: Positivity 26 (2022), no. 4, paper no. 61, 33 pp

Convergence structures and locally solid topologies on vector lattices of operators

Authors: Yang Deng, Marcel de Jeu

Abstract: For vector lattices $E$ and $F$, where $F$ is Dedekind complete and supplied with a locally solid topology, we introduce the corresponding locally solid absolute strong operator topology on the order bounded operators $\mathcal L_{\mathrm{ob}}(E,F)$ from $E$ into $F$. Using this, it follows that $\mathcal L_{\mathrm{ob}}(E,F)$ admits a Hausdorff uo-Lebesgue topology whenever $F$ does. For each of… ▽ More For vector lattices $E$ and $F$, where $F$ is Dedekind complete and supplied with a locally solid topology, we introduce the corresponding locally solid absolute strong operator topology on the order bounded operators $\mathcal L_{\mathrm{ob}}(E,F)$ from $E$ into $F$. Using this, it follows that $\mathcal L_{\mathrm{ob}}(E,F)$ admits a Hausdorff uo-Lebesgue topology whenever $F$ does. For each of order convergence, unbounded order convergence, and-when applicable-convergence in the Hausdorff uo-Lebesgue topology, there are both a uniform and a strong convergence structure on $\mathcal L_{\mathrm {ob}}(E,F)$. Of the six conceivable inclusions within these three pairs, only one is generally valid. On the orthomorphisms of a Dedekind complete vector lattice, however, five are generally valid, and the sixth is valid for order bounded nets. The latter condition is redundant in the case of sequences of orthomorphisms on a Banach lattice, as a consequence of a uniform order boundedness principle for orthomorphisms that we establish. We also show that, in contrast to general order bounded operators, the orthomorphisms preserve not only order convergence of nets, but unbounded order convergence and -- when applicable -- convergence in the Hausdorff uo-Lebesgue topology as well. △ Less

Submitted 1 April, 2021; v1 submitted 12 August, 2020; originally announced August 2020.

Comments: Minor changes in presentation and some typos corrected; uniform order boundedness principle now established for general vector lattices. Final version, 32 pages, to appear in Banach J. Math. Anal

Journal ref: Banach J. Math. Anal. 15 (2021), no. 3, Paper No. 57, 33 pp

Vector lattices with a Hausdorff uo-Lebesgue topology

Authors: Yang Deng, Marcel de Jeu

Abstract: We investigate the construction of a Hausdorff uo-Lebesgue topology on a vector lattice from a Hausdorff (o)-Lebesgue topology on an order dense ideal, and what the properties of the topologies thus obtained are. When the vector lattice has an order dense ideal with a separating order continuous dual, it is always possible to supply it with such a topology in this fashion, and the restriction of t… ▽ More We investigate the construction of a Hausdorff uo-Lebesgue topology on a vector lattice from a Hausdorff (o)-Lebesgue topology on an order dense ideal, and what the properties of the topologies thus obtained are. When the vector lattice has an order dense ideal with a separating order continuous dual, it is always possible to supply it with such a topology in this fashion, and the restriction of this topology to a regular sublattice is then also a Hausdorff uo-Lebesgue topology. A regular vector sublattice of $\mathrm{L}_0(X,Σ,μ)$ for a semi-finite measure $μ$ falls into this category, and the convergence of nets in its Hausdorff uo-Lebesgue topology is then the convergence in measure on subsets of finite measure. When a vector lattice not only has an order dense ideal with a separating order continuous dual, but also has the countable sup property, we show that every net in a regular vector sublattice that converges in its Hausdorff uo-Lebesgue topology always contains a sequence that is uo-convergent to the same limit. This enables us to give satisfactory answers to various topological questions about uo-convergence in this context. △ Less

Submitted 30 June, 2021; v1 submitted 29 May, 2020; originally announced May 2020.

Comments: 37 pages. Minor changes; a few references added. Final version, to appear in J. Math. Anal. Appl

MSC Class: Primary: 46A40. Secondary: 28A20; 46A16; 46B42

Journal ref: J. Math. Anal. Appl. 505 (2022) 125455

Free vector lattices over vector spaces as function lattices

Authors: Marcel de Jeu

Abstract: We show that a free vector lattice over a real vector space $V$ can be realised canonically as a vector lattice of real-valued positively homogeneous functions on any linear subspace of its dual space that separates the points of $V$. This is used to give intuition for the known fact that the free Banach lattice over a Banach space $E$ can be realised as a Banach lattice of positively homogeneous… ▽ More We show that a free vector lattice over a real vector space $V$ can be realised canonically as a vector lattice of real-valued positively homogeneous functions on any linear subspace of its dual space that separates the points of $V$. This is used to give intuition for the known fact that the free Banach lattice over a Banach space $E$ can be realised as a Banach lattice of positively homogeneous functions on $E^\ast$. It is also applied to improve the well-known result that free vector lattices over non-empty sets can be realised as vector lattices of real-valued functions. For infinite sets, the underlying spaces for such realisations can be chosen to be smaller than the usual ones. △ Less

Submitted 19 February, 2023; v1 submitted 5 May, 2020; originally announced May 2020.

Comments: 10 pages; minor modifications; final version. To appear in Birkhauser's Trends in Mathematics series in `Ordered Structures with Applications in Economics and Finance' (M.A. Ben Amor and B.A. Watson, Eds.); proceedings of the online `Conference on Ordered Structures with Applications in Economy and Finance', May 3--7, 2021

MSC Class: Primary 46A40; Secondary 06B15; 46B42

Free vector lattices and free vector lattice algebras

Authors: Marcel de Jeu

Abstract: We show how the existence of various free vector lattices and free vector lattice algebras can be derived from a theorem on equational classes in universal algebra. A discussion about free $f$-algebras over non-empty sets is given, where the main issues appear to be open. It is indicated how the existence results for free vector lattices and vector lattice algebras can be used for easy proofs of e… ▽ More We show how the existence of various free vector lattices and free vector lattice algebras can be derived from a theorem on equational classes in universal algebra. A discussion about free $f$-algebras over non-empty sets is given, where the main issues appear to be open. It is indicated how the existence results for free vector lattices and vector lattice algebras can be used for easy proofs of existence results for free Banach lattices and free Banach lattice algebras. A detailed exposition of the necessary material from universal algebra is included. △ Less

Submitted 15 May, 2021; v1 submitted 2 May, 2020; originally announced May 2020.

Comments: 37 pages. Some typos corrected. Final version, to be published in 2021 by Birkhäuser in `Positivity and its Applications', Proceedings of the Positivity X conference from 8-12 July 2019 in Pretoria. The paper is dedicated to the memory of Coenraad Labuschagne

MSC Class: Primary 06F25; Secondary 46A40

Journal ref: Positivity and its applications, pp.103-139, Trends Math., Birkhauser/Springer, Cham, 2021

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.

Comments: 43 pages. Minor corrections; mathematically identical to the first version. Final version, to appear in `Positivity and noncommutative analysis. Festschrift in honour of Ben de Pagter on the occasion of his 65th birthday' (Birkhauser, 2019; edited by Gerard Buskes, Marcel de Jeu, Peter Dodds, Anton Schep, Fedor Sukochev, Jan van Neerven, and Anthony Wickstead)

MSC Class: 43A99 (Primary); 28C05; 06F25; 43A10; 43A15; 43A20 (Secondary)

Journal ref: Positivitiy and noncommutative analysis, pp.79-129, Trends Math., Birkhauser/Springer, Cham, 2019

On order continuous duals of vector lattices of continuous functions on resolvable spaces

Authors: Marcel de Jeu, Jan Harm van der Walt

Abstract: A topological space $X$ is called resolvable if it contains a dense subset with dense complement. Using only basic principles, we show that whenever the space $X$ has a resolving subset that can be written as an at most countably infinite union of subsets, in such a way that a given vector lattice of (not necessarily bounded) continuous functions on $X$ separates every point outside the resolving… ▽ More A topological space $X$ is called resolvable if it contains a dense subset with dense complement. Using only basic principles, we show that whenever the space $X$ has a resolving subset that can be written as an at most countably infinite union of subsets, in such a way that a given vector lattice of (not necessarily bounded) continuous functions on $X$ separates every point outside the resolving subset from each of its constituents, then the order continuous dual of this lattice is trivial. In order to apply this result in specific cases, we show that several spaces have resolving subsets that can be written as at most countably infinite unions of closed nowhere dense subsets. An appeal to the main result then yields, for example, that, under appropriate conditions, vector lattices of continuous functions on separable spaces, metric spaces, and topological vector spaces have trivial order continuous duals if they separate points and closed nowhere dense subsets. Our results in this direction extend known results in the literature. We also show that, under reasonably mild separation conditions, vector lattices of continuous functions on locally connected $T_1$ Baire spaces without isolated points have trivial order continuous duals. A discussion of the relation between our results and the non-existence of non-zero normal measures is included. △ Less

Submitted 23 August, 2022; v1 submitted 19 June, 2018; originally announced June 2018.

Comments: Minor changes in presentation; some typos corrected. Final version (28 pages) as has appeared in J. Math. Anal. Appl

MSC Class: 46E05; 47B65; 54D99

Journal ref: J. Math. Anal. Appl. 479 (2019), no.1, 581-607

The structure of doubly non-commuting isometries

Authors: Marcel de Jeu, Paulo R. Pinto

Abstract: Suppose that $n\geq 1$ and that, for all $i$ and $j$ with $1\leq i,j\leq n$ and $i\neq j$, $z_{ij}\in{\mathbb T}$ are given such that $z_{ji}=\overline{z}_{ij}$ for all $i\neq j$. If $V_1,\dotsc, V_n$ are isometries on a Hilbert space such that $V_i^\ast V_j^{\phantom{\ast}}\!=\overline{z}_{ij} V_j^{\phantom{\ast}}\!V_i^\ast$ for all $i\neq j$, then $(V_1,\dotsc,V_n)$ is called an $n$-tuple of dou… ▽ More Suppose that $n\geq 1$ and that, for all $i$ and $j$ with $1\leq i,j\leq n$ and $i\neq j$, $z_{ij}\in{\mathbb T}$ are given such that $z_{ji}=\overline{z}_{ij}$ for all $i\neq j$. If $V_1,\dotsc, V_n$ are isometries on a Hilbert space such that $V_i^\ast V_j^{\phantom{\ast}}\!=\overline{z}_{ij} V_j^{\phantom{\ast}}\!V_i^\ast$ for all $i\neq j$, then $(V_1,\dotsc,V_n)$ is called an $n$-tuple of doubly non-commuting isometries. The generators of non-commutative tori are well-known examples. In this paper, we establish a simultaneous Wold decomposition for $(V_1,\dotsc,V_n)$. This decomposition enables us to classify such $n$-tuples up to unitary equivalence. We show that the joint listing of a unitary equivalence class of a representation of each of the $2^n$ non-commutative tori that are naturally associated with the structure constants is a classifying invariant. A dilation theorem is also established, showing that an $n$-tuple of doubly non-commuting isometries can be extended to an $n$-tuple of doubly non-commuting unitary operators on an envelo** Hilbert space. △ Less

Submitted 31 March, 2020; v1 submitted 29 January, 2018; originally announced January 2018.

Comments: A remark on the relation between the dilation theorem in this paper and other dilation theorems for multiple operators in the literature has been added. Otherwise, there are only a few minor editorial changes compared to the first version; some typos have also been corrected. Final version, to appear in Advances in Mathematics

MSC Class: 47A45; 47A20

Journal ref: Adv. Math. 368 (2020), 107149

Amenable crossed product Banach algebras associated with a class of $\mathrm{C}^\ast$-dynamical systems. II

Authors: Marcel de Jeu, Rachid El Harti, Paulo R. Pinto

Abstract: We prove that the crossed product Banach algebra $\ell^1(G,A;α)$ that is associated with a ${\mathrm C}^\ast$-dynamical system $(A,G,α)$ is amenable if $G$ is a discrete amenable group and $A$ is a strongly amenable ${\mathrm C}^\ast$-algebra. This is a consequence of the combination of a more general result with Paterson's characterisation of strongly amenable unital $\mathrm{C}^\ast$-algebras in… ▽ More We prove that the crossed product Banach algebra $\ell^1(G,A;α)$ that is associated with a ${\mathrm C}^\ast$-dynamical system $(A,G,α)$ is amenable if $G$ is a discrete amenable group and $A$ is a strongly amenable ${\mathrm C}^\ast$-algebra. This is a consequence of the combination of a more general result with Paterson's characterisation of strongly amenable unital $\mathrm{C}^\ast$-algebras in terms of invariant means for their unitary groups. △ Less

Submitted 7 May, 2017; originally announced May 2017.

Comments: 19 pages

Report number: MI 2017-02 MSC Class: Primary 47L65; Secondary 43A07; 46H25; 46L55

The closure of ideals of $\boldsymbol{\ell^1(Σ)}$ in its envelo** $\boldsymbol{\mathrm{C}^\ast}$-algebra

Authors: Marcel de Jeu, Jun Tomiyama

Abstract: If $X$ is a compact Hausdorff space and $σ$ is a homeomorphism of $X$, then an involutive Banach algebra $\ell^1(Σ)$ of crossed product type is naturally associated with the topological dynamical system $Σ=(X,σ)$. We initiate the study of the relation between two-sided ideals of $\ell^1(Σ)$ and ${\mathrm C}^\ast(Σ)$, the envelo** $\mathrm{C}^\ast$-algebra ${\mathrm C}(X)\rtimes_σ\mathbb Z$ of… ▽ More If $X$ is a compact Hausdorff space and $σ$ is a homeomorphism of $X$, then an involutive Banach algebra $\ell^1(Σ)$ of crossed product type is naturally associated with the topological dynamical system $Σ=(X,σ)$. We initiate the study of the relation between two-sided ideals of $\ell^1(Σ)$ and ${\mathrm C}^\ast(Σ)$, the envelo** $\mathrm{C}^\ast$-algebra ${\mathrm C}(X)\rtimes_σ\mathbb Z$ of $\ell^1(Σ)$. Among others, we prove that the closure of a proper two-sided ideal of $\ell^1(Σ)$ in ${\mathrm C}^\ast(Σ)$ is again a proper two-sided ideal of ${\mathrm C}^\ast(Σ)$. △ Less

Submitted 8 March, 2017; v1 submitted 14 February, 2017; originally announced February 2017.

Comments: 9 pages. Minor changes in presentation from the original. Final version; to appear in Adv. Oper. Theory

Report number: MI 2017-01 MSC Class: 46K99 (Primary); 46H10; 47L65; 54H20 (Secondary)

Journal ref: Adv. Oper. Theory 3 (2018), 42--52

Simultaneous power factorization in modules over Banach algebras

Authors: Marcel de Jeu, Xingni Jiang

Abstract: Let $A$ be a Banach algebra with a bounded left approximate identity $\{e_λ\}_{λ\inΛ}$, let $π$ be a continuous representation of $A$ on a Banach space $X$, and let $S$ be a non-empty subset of $X$ such that $\lim_λπ(e_λ)s=s$ uniformly on $S$. If $S$ is bounded, or if $\{e_λ\}_{λ\inΛ}$ is commutative, then we show that there exist $a\in A$ and maps $x_n: S\to X$ for $n\geq 1$ such that… ▽ More Let $A$ be a Banach algebra with a bounded left approximate identity $\{e_λ\}_{λ\inΛ}$, let $π$ be a continuous representation of $A$ on a Banach space $X$, and let $S$ be a non-empty subset of $X$ such that $\lim_λπ(e_λ)s=s$ uniformly on $S$. If $S$ is bounded, or if $\{e_λ\}_{λ\inΛ}$ is commutative, then we show that there exist $a\in A$ and maps $x_n: S\to X$ for $n\geq 1$ such that $s=π(a^n)x_n(s)$ for all $n\geq 1$ and $s\in S$. The properties of $a\in A$ and the maps $x_n$, as produced by the constructive proof, are studied in some detail. The results generalize previous simultaneous factorization theorems as well as Allan and Sinclair's power factorization theorem. In an ordered context, we also consider the existence of a positive factorization for a subset of the positive cone of an ordered Banach space that is a positive module over an ordered Banach algebra with a positive bounded left approximate identity. Such factorizations are not always possible. In certain cases, including those for positive modules over ordered Banach algebras of bounded functions, such positive factorizations exist, but the general picture is still unclear. Furthermore, simultaneous pointwise power factorizations for sets of bounded maps with values in a Banach module (such as sets of bounded convergent nets) are obtained. A worked example for the left regular representation of $\mathrm{C}_0({\mathbb R})$ and unbounded $S$ is included. △ Less

Submitted 22 November, 2016; v1 submitted 6 October, 2016; originally announced October 2016.

Comments: Some minor editorial corrections have been made. Final version, to appear in Positivity

Report number: MI 2016-12 MSC Class: 46H25 (Primary); 46B40; 46B42 (Secondary)

Journal ref: Positivity 21 (2017), 633-672

Amenable crossed product Banach algebras associated with a class of $\mathrm{C}^\ast$-dynamical systems

Authors: Marcel de Jeu, Rachid El Harti, Paulo R. Pinto

Abstract: We prove that the crossed product Banach algebra $\ell^1(A,G,α)$ that is associated with a $\mathrm{C}^\ast$-dynamical system $(A,G,α)$ is amenable if $G$ is a discrete amenable group and $A$ is a commutative or finite dimensional $\mathrm{C}^\ast$-algebra. Perspectives for further developments are indicated. We prove that the crossed product Banach algebra $\ell^1(A,G,α)$ that is associated with a $\mathrm{C}^\ast$-dynamical system $(A,G,α)$ is amenable if $G$ is a discrete amenable group and $A$ is a commutative or finite dimensional $\mathrm{C}^\ast$-algebra. Perspectives for further developments are indicated. △ Less

Submitted 26 January, 2017; v1 submitted 20 June, 2016; originally announced June 2016.

Comments: Improved discussion of the relation with the existing literature and of perspectives for further developments. 8 pages. To appear in Integral Equations and Operator Theory

Report number: MI 2016-06 MSC Class: Primary 47L65; Secondary 43A07; 46H25; 46L55

Journal ref: Integral Equations Operator Theory 87 (2017), 169--178

Nonsimplicity of certain universal $\mathrm{C}^\ast$-algebras

Authors: Marcel de Jeu, Rachid El Harti, Paulo R. Pinto

Abstract: Given $n\geq 2$, $z_{ij}\in\mathbb{T}$ such that $z_{ij}=\overline z_{ji}$ for $1\leq i,j\leq n$ and $z_{ii}=1$ for $1\leq i\leq n$, and integers $p_1,...,p_n\geq 1$, we show that the universal $\mathrm{C}^*$-algebra generated by unitaries $u_1,...,u_n$ such that $u_i^{p_i}u_j^{p_j}=z_{ij}u_j^{p_j}u_i^{p_i}$ for $1\leq i,j \leq n$ is not simple if at least one exponent $p_i$ is at least two. We in… ▽ More Given $n\geq 2$, $z_{ij}\in\mathbb{T}$ such that $z_{ij}=\overline z_{ji}$ for $1\leq i,j\leq n$ and $z_{ii}=1$ for $1\leq i\leq n$, and integers $p_1,...,p_n\geq 1$, we show that the universal $\mathrm{C}^*$-algebra generated by unitaries $u_1,...,u_n$ such that $u_i^{p_i}u_j^{p_j}=z_{ij}u_j^{p_j}u_i^{p_i}$ for $1\leq i,j \leq n$ is not simple if at least one exponent $p_i$ is at least two. We indicate how the method of proof by `working with various quotients' can be used to establish nonsimplicity of universal $\mathrm{C}^*$-algebras in other cases. △ Less

Submitted 23 August, 2016; v1 submitted 15 April, 2016; originally announced April 2016.

Comments: 3 pages. Small improvements from the first version. Final version, to appear in Annals of Functional Analysis

Report number: MI 2016-03 MSC Class: 46L99 (Primary); 22D25 (Secondary)

Journal ref: Ann. Funct. Anal. 8, no. 2 (2017), 211-214

Positive representations of $C_0(X)$. I

Authors: Marcel de Jeu, Frejanne Ruoff

Abstract: We introduce the notion of a positive spectral measure on a $σ$-algebra, taking values in the positive projections on a Banach lattice. Such a measure generates a bounded positive representation of the bounded measurable functions. If $X$ is a locally compact Hausdorff space, and $π$ is a positive representation of $C_0(X)$ on a KB-space, then $π$ is the restriction to $C_0(X)$ of such a represent… ▽ More We introduce the notion of a positive spectral measure on a $σ$-algebra, taking values in the positive projections on a Banach lattice. Such a measure generates a bounded positive representation of the bounded measurable functions. If $X$ is a locally compact Hausdorff space, and $π$ is a positive representation of $C_0(X)$ on a KB-space, then $π$ is the restriction to $C_0(X)$ of such a representation generated by a unique regular positive spectral measure on the Borel $σ$-algebra of $X$. The relation between a positive representation of $C_0(X)$ on a Banach lattice and -- if it exists -- a generating positive spectral measure on the Borel $σ$-algebra is further investigated; here and elsewhere phenomena occur that are specific for the ordered context. △ Less

Submitted 23 October, 2015; v1 submitted 26 April, 2015; originally announced April 2015.

Comments: There is now a direct proof of the existence of a generating regular positive spectral measure in the case of KB-spaces, without resorting to the Banach space theory. References to the existing literature on the Banach space case have been added, and perspectives for future research are now given. 24 pages, to appear in Ann. Funct. Anal

Report number: MI 2015-03 MSC Class: Primary 46H25; Secondary 46B42; 46G10; 47A67

Journal ref: Ann. Funct. Anal. 7, no. 1 (2016), 180-205

Disintegration of positive isometric group representations on $\mathrm{L}^p$-spaces

Authors: Marcel de Jeu, Jan Rozendaal

Abstract: Let $G$ be a Polish locally compact group acting on a Polish space $X$ with a $G$-invariant probability measure $μ$. We factorize the integral with respect to $μ$ in terms of the integrals with respect to the ergodic measures on $X$, and show that $\mathrm{L}^p(X,μ)$ ($1\leq p<\infty$) is $G$-equivariantly isometrically lattice isomorphic to an $\mathrm{L}^p$-direct integral of the spaces… ▽ More Let $G$ be a Polish locally compact group acting on a Polish space $X$ with a $G$-invariant probability measure $μ$. We factorize the integral with respect to $μ$ in terms of the integrals with respect to the ergodic measures on $X$, and show that $\mathrm{L}^p(X,μ)$ ($1\leq p<\infty$) is $G$-equivariantly isometrically lattice isomorphic to an $\mathrm{L}^p$-direct integral of the spaces $\mathrm{L}^{p}(X,λ)$, where $λ$ ranges over the ergodic measures on $X$. This yields a disintegration of the canonical representation of $G$ as isometric lattice automorphisms of $\mathrm{L}^p(X,μ)$ as an $\mathrm{L}^p$-direct integral of order indecomposable representations. If $(X^\prime,μ^\prime)$ is a probability space, and, for some $1\leq q<\infty$, $G$ acts in a strongly continuous manner on $\mathrm{L}^q(X^\prime,μ^\prime)$ as isometric lattice automorphisms that leave the constants fixed, then $G$ acts on $\mathrm{L}^{p}(X^{\prime},μ^{\prime})$ in a similar fashion for all $1\leq p<\infty$. Moreover, there exists an alternative model in which these representations originate from a continuous action of $G$ on a compact Hausdorff space. If $(X^\prime,μ^\prime)$ is separable, the representation of $G$ on $\mathrm{L}^p(X^\prime,μ^\prime)$ can then be disintegrated into order indecomposable representations. The notions of $\mathrm{L}^p$-direct integrals of Banach spaces and representations that are developed extend those in the literature. △ Less

Submitted 27 April, 2017; v1 submitted 3 February, 2015; originally announced February 2015.

Comments: Section on future perspectives added. 35 pages. To appear in Positivity

Report number: MI 2015-02 MSC Class: Primary 22D12; Secondary 37A30; 46B04

Journal ref: Positivity 21 (2017), 673-710

Algebraically irreducible representations and structure space of the Banach algebra associated with a topological dynamical system

Authors: Marcel de Jeu, Jun Tomiyama

Abstract: If $X$ is a compact Hausdorff space and $σ$ is a homeomorphism of $X$, then a Banach algebra $\ell^1(Σ)$ of crossed product type is naturally associated with this topological dynamical system $Σ=(X,σ)$. If $X$ consists of one point, then $\ell^1(Σ)$ is the group algebra of the integers. We study the algebraically irreducible representations of $\ell^1(Σ)$ on complex vector spaces, its primitive… ▽ More If $X$ is a compact Hausdorff space and $σ$ is a homeomorphism of $X$, then a Banach algebra $\ell^1(Σ)$ of crossed product type is naturally associated with this topological dynamical system $Σ=(X,σ)$. If $X$ consists of one point, then $\ell^1(Σ)$ is the group algebra of the integers. We study the algebraically irreducible representations of $\ell^1(Σ)$ on complex vector spaces, its primitive ideals and its structure space. The finite dimensional algebraically irreducible representations are determined up to algebraic equivalence, and a sufficiently rich family of infinite dimensional algebraically irreducible representations is constructed to be able to conclude that $\ell^1(Σ)$ is semisimple. All primitive ideals of $\ell^1(Σ)$ are selfadjoint, and $\ell^1(Σ)$ is Hermitian if there are only periodic points in $X$. If $X$ is metrisable or all points are periodic, then all primitive ideals arise as in our construction. A part of the structure space of $\ell^1(Σ)$ is conditionally shown to be homeomorphic to the product of a space of finite orbits and $\mathbb T$. If $X$ is a finite set, then the structure space is the topological disjoint union of a number of tori, one for each orbit in $X$. If all points of $X$ have the same finite period, then it is the product of the orbit space $X/\mathbb Z$ and $\mathbb T$. For rational rotations of $\mathbb T$, this implies that the structure space is homeomorphic to $\mathbb T^2$. △ Less

Submitted 14 June, 2016; v1 submitted 31 July, 2014; originally announced July 2014.

Comments: 32 pages. Editorial improvements from the first version, and a few remarks added. Final version, to appear in Advances in Mathematics

Report number: MI 2014-04 MSC Class: Primary 46H15; Secondary 46H10; 47L65; 54H20

Journal ref: Adv. Math. 301 (2016), 79--115

Rapid polynomial approximation in $L_2$-spaces with Freud weights on the real line

Authors: Rui Xie, Marcel de Jeu

Abstract: The weights $W_α(x)=\exp{(-|x|^α)}$ $(α>1)$ form a subclass of Freud weights on the real line. Primarily from a functional analytic angle, we investigate the subspace of $L_2(\mathbb R, W_α^2(x)\,dx)$ consisting of those elements that can be rapidly approximated by polynomials. This subspace has a natural Fréchet topology, in which it is isomorphic to the space of rapidly decreasing sequences. We… ▽ More The weights $W_α(x)=\exp{(-|x|^α)}$ $(α>1)$ form a subclass of Freud weights on the real line. Primarily from a functional analytic angle, we investigate the subspace of $L_2(\mathbb R, W_α^2(x)\,dx)$ consisting of those elements that can be rapidly approximated by polynomials. This subspace has a natural Fréchet topology, in which it is isomorphic to the space of rapidly decreasing sequences. We show that it consists of smooth functions and obtain concrete results on its topology. For $α=2$ there is a complete and elementary description of this topological vector space in terms of the Schwartz functions. △ Less

Submitted 13 April, 2014; originally announced April 2014.

Comments: 18 pages

Report number: MI 2014-02 MSC Class: Primary 46E35; Secondary 41A10; 41A25

Journal ref: Banach J. Math. Anal. 9 (2015), 216-234

Crossed products of Banach algebras. III

Authors: Marcel de Jeu, Miek Messerschmidt

Abstract: In earlier work a crossed product of a Banach algebra was constructed from a Banach algebra dynamical system $(A,G,α)$ and a class $\mathcal{R}$ of continuous covariant representations, and its representations were determined. In this paper we adapt the theory to the ordered context. We construct a pre-ordered crossed product of a Banach algebra from a pre-ordered Banach algebra dynamical system… ▽ More In earlier work a crossed product of a Banach algebra was constructed from a Banach algebra dynamical system $(A,G,α)$ and a class $\mathcal{R}$ of continuous covariant representations, and its representations were determined. In this paper we adapt the theory to the ordered context. We construct a pre-ordered crossed product of a Banach algebra from a pre-ordered Banach algebra dynamical system $(A,G,α)$ and a given uniformly bounded class $\mathcal{R}$ of continuous covariant representations of $(A,G,α)$. If $A$ has a positive bounded approximate left identity and $\mathcal{R}$ consists of non-degenerate continuous covariant representations, we establish a bijection between the positive non-degenerate bounded representations of the pre-ordered crossed product on pre-ordered Banach spaces with closed cones and the positive non-degenerate $\mathcal{R}$-continuous covariant representations of $(A,G,α)$ on such spaces. Under mild conditions, we show that this pre-ordered crossed product is the essentially unique pre-ordered Banach algebra for which such a bijection exists. Finally, we study pre-ordered generalized Beurling algebras. We show that they are bipositively topologically isomorphic to pre-ordered crossed products of Banach algebras associated with pre-ordered Banach algebra dynamical systems, and hence the general theory allows us to describe their positive representations on pre-ordered Banach spaces with closed cones. △ Less

Submitted 26 June, 2013; originally announced June 2013.

Report number: MI 2013-18 MSC Class: Primary 47L65; Secondary 22D12; 22D15; 43A20; 46B40; 46L55; 47B65

Crossed products of Banach algebras. II

Authors: Marcel de Jeu, Miek Messerschmidt, Marten Wortel

Abstract: In earlier work a crossed product of a Banach algebra was constructed from a Banach algebra dynamical system $(A,G,α)$ and a class $\mathcal{R}$ of continuous covariant representations, and its representations were determined. In this paper the theory is developed further. We consider the dependence of the crossed product on the class $\mathcal{R}$ and its essential uniqueness. Next we study gener… ▽ More In earlier work a crossed product of a Banach algebra was constructed from a Banach algebra dynamical system $(A,G,α)$ and a class $\mathcal{R}$ of continuous covariant representations, and its representations were determined. In this paper the theory is developed further. We consider the dependence of the crossed product on the class $\mathcal{R}$ and its essential uniqueness. Next we study generalized Beurling algebras: weighted Bochner spaces of $A$-valued functions on $G$ with a continuous multiplication. Though not Banach algebras in general, they are isomorphic to a crossed product of a Banach algebra, and the earlier work therefore predicts the structure of their representations. Classical results for the usual Beurling (Banach) algebras of scalar valued functions are then retrieved as special cases. We also show how, e.g., an anti-covariant pair of anti-representations of $A$ and $G$ can be viewed as a covariant pair for a related Banach algebra dynamical system, so that the earlier work becomes applicable to classes of such other pairs. After including material on the representations of the projective tensor product of Banach algebras, we combine this idea with the results already obtained and describe the two-sided modules over the generalized Beurling algebras, where again specializing to the scalars gives a classical result. △ Less

Submitted 10 May, 2013; originally announced May 2013.

Report number: MI 2013-12 MSC Class: Primary 47L65; Secondary 22D12; 22D15; 43A20; 46H25; 46L55

A strong open map** theorem for surjections from cones onto Banach spaces

Authors: Marcel de Jeu, Miek Messerschmidt

Abstract: We show that a continuous additive positively homogeneous map from a closed not necessarily proper cone in a Banach space onto a Banach space is an open map precisely when it is surjective. This generalization of the usual Open Map** Theorem for Banach spaces is then combined with Michael's Selection Theorem to yield the existence of a continuous bounded positively homogeneous right inverse of s… ▽ More We show that a continuous additive positively homogeneous map from a closed not necessarily proper cone in a Banach space onto a Banach space is an open map precisely when it is surjective. This generalization of the usual Open Map** Theorem for Banach spaces is then combined with Michael's Selection Theorem to yield the existence of a continuous bounded positively homogeneous right inverse of such a surjective map; a strong version of the usual Open Map** Theorem is then a special case. As another consequence, an improved version of the analogue of Andô's Theorem for an ordered Banach space is obtained for a Banach space that is, more generally than in Andô's Theorem, a sum of possibly uncountably many closed not necessarily proper cones. Applications are given for a (pre)-ordered Banach space and for various spaces of continuous functions taking values in such a Banach space or, more generally, taking values in an arbitrary Banach space that is a finite sum of closed not necessarily proper cones. △ Less

Submitted 13 March, 2014; v1 submitted 12 February, 2013; originally announced February 2013.

Comments: To appear in Advances in Mathematics

Report number: MI 2013-1 MSC Class: Primary 47A05; Secondary 46A30; 46B20; 46B40

Journal ref: Adv. Math. 259 (2014) 43-66

Noncommutative spectral synthesis for the involutive Banach algebra associated with a topological dynamical system

Authors: Marcel de Jeu, Jun Tomiyama

Abstract: If X is a compact Hausdorff space, supplied with a homeomorphism, then a crossed product involutive Banach algebra is naturally associated with these data. If X consists of one point, then this algebra is the group algebra of the integers. In this paper, we study spectral synthesis for the closed ideals of this associated algebra in two versions, one modeled after C(X), and one modeled after the g… ▽ More If X is a compact Hausdorff space, supplied with a homeomorphism, then a crossed product involutive Banach algebra is naturally associated with these data. If X consists of one point, then this algebra is the group algebra of the integers. In this paper, we study spectral synthesis for the closed ideals of this associated algebra in two versions, one modeled after C(X), and one modeled after the group algebra of the integers. We identify the closed ideals which are equal to (what is the analogue of) the kernel of their hull, and determine when this holds for all closed ideals, i.e., when spectral synthesis holds. In both models, this is the case precisely when the homeomorphism has no periodic points. △ Less

Submitted 1 June, 2012; originally announced June 2012.

Comments: 28 pages

Report number: MI 2012-07 MSC Class: 46K99 (Primary) 46H10; 47L65 (Secondary)

Journal ref: Banach J. Math. Anal. 7 (2013), 103-135

A characterisation of C*-algebras through positivity of functionals

Authors: Marcel de Jeu, Jun Tomiyama

Abstract: We show that a unital involutive Banach algebra, with identity of norm one and continuous involution, is a C*-algebra, with the given involution and norm, if every continuous linear functional attaining its norm at the identity is positive. We show that a unital involutive Banach algebra, with identity of norm one and continuous involution, is a C*-algebra, with the given involution and norm, if every continuous linear functional attaining its norm at the identity is positive. △ Less

Submitted 22 September, 2012; v1 submitted 27 May, 2012; originally announced May 2012.

Comments: 3 pages. Some typos corrected. Final version, to appear in Ann. Funct. Anal

Report number: MI 2012-06 MSC Class: 46K05 (Primary) 46H05 (Secondary)

Journal ref: Ann. Funct. Anal. 4 (2013), 61-63

Compact groups of positive operators on Banach lattices

Authors: Marcel de Jeu, Marten Wortel

Abstract: In this paper we study groups of positive operators on Banach lattices. If a certain factorization property holds for the elements of such a group, the group has a homomorphic image in the isometric positive operators which has the same invariant ideals as the original group. If the group is compact in the strong operator topology, it equals a group of isometric positive operators conjugated by a… ▽ More In this paper we study groups of positive operators on Banach lattices. If a certain factorization property holds for the elements of such a group, the group has a homomorphic image in the isometric positive operators which has the same invariant ideals as the original group. If the group is compact in the strong operator topology, it equals a group of isometric positive operators conjugated by a single central lattice automorphism, provided an additional technical assumption is satisfied, for which we again have only examples. We obtain a characterization of positive representations of a group with compact image in the strong operator topology, and use this for normalized symmetric Banach sequence spaces to prove an ordered version of the decomposition theorem for unitary representations of compact groups. Applications concerning spaces of continuous functions are also considered. △ Less

Submitted 29 May, 2012; v1 submitted 7 December, 2011; originally announced December 2011.

Comments: 21 pages. To appear in 2013 as an invited contribution to "The Zaanen Centennial Special Issue of Indagationes Mathematicae"

Report number: MI 2011-14 MSC Class: 22D12 (Primary) 22C05; 46B42 (Secondary)

Journal ref: Indag. Math. 25 (2014), 186 -- 205

Positive representations of finite groups in Riesz spaces

Authors: Marcel de Jeu, Marten Wortel

Abstract: In this paper, which is part of a study of positive representations of locally compact groups in Banach lattices, we initiate the theory of positive representations of finite groups in Riesz spaces. If such a representation has only the zero subspace and possibly the space itself as invariant principal bands, then the space is Archimedean and finite dimensional. Various notions of irreducibility o… ▽ More In this paper, which is part of a study of positive representations of locally compact groups in Banach lattices, we initiate the theory of positive representations of finite groups in Riesz spaces. If such a representation has only the zero subspace and possibly the space itself as invariant principal bands, then the space is Archimedean and finite dimensional. Various notions of irreducibility of a positive representation are introduced and, for a finite group acting positively in a space with sufficiently many projections, these are shown to be equal. We describe the finite dimensional positive Archimedean representations of a finite group and establish that, up to order equivalence, these are order direct sums, with unique multiplicities, of the order indecomposable positive representations naturally associated with transitive $G$-spaces. Character theory is shown to break down for positive representations. Induction and systems of imprimitivity are introduced in an ordered context, where the multiplicity formulation of Frobenius reciprocity turns out not to hold. △ Less

Submitted 17 February, 2012; v1 submitted 21 September, 2011; originally announced September 2011.

Comments: 23 pages. To appear in International Journal of Mathematics

Report number: MI 2011-09 MSC Class: 20C05 (Primary) 22D12; 46A40 (Secondary)

Journal ref: Internat. J. Math. 23 (2012), no. 7, 1250076

Maximal abelian subalgebras and projections in two Banach algebras associated with a topological dynamical system

Authors: Marcel de Jeu, Jun Tomiyama

Abstract: If $Σ=(X,σ)$ is a topological dynamical system, where $X$ is a compact Hausdorff space and $σ$ is a homeomorphism of $X$, then a crossed product Banach $\sp{*}$-algebra $\ell^1(Σ)$ is naturally associated with these data. If $X$ consists of one point, then $\ell^1(Σ)$ is the group algebra of the integers. The commutant $C(X)'_1$ of $C(X)$ in $\ell^1(Σ)$ is known to be a maximal abelian subalgebra… ▽ More If $Σ=(X,σ)$ is a topological dynamical system, where $X$ is a compact Hausdorff space and $σ$ is a homeomorphism of $X$, then a crossed product Banach $\sp{*}$-algebra $\ell^1(Σ)$ is naturally associated with these data. If $X$ consists of one point, then $\ell^1(Σ)$ is the group algebra of the integers. The commutant $C(X)'_1$ of $C(X)$ in $\ell^1(Σ)$ is known to be a maximal abelian subalgebra which has non-zero intersection with each non-zero closed ideal, and the same holds for the commutant $C(X)'_*$ of $C(X)$ in $C^*(Σ)$, the envelo** $C^*$-algebra of $\ell^1(Σ)$. This intersection property has proven to be a valuable tool in investigating these algebras. Motivated by this pivotal role, we study $C(X)'_1$ and $C(X)'_*$ in detail in the present paper. The maximal ideal space of $C(X)'_1$ is described explicitly, and is seen to coincide with its pure state space and to be a topological quotient of $X\times\mathbb{T}$. We show that $C(X)'_1$ is hermitian and semisimple, and that its envelo** $C^*$-algebra is $C(X)'_*$. Furthermore, we establish necessary and sufficient conditions for projections onto $C(X)'_1$ and $C(X)'_*$ to exist, and give explicit formulas for such projections, which we show to be unique. In the appendix, topological results for the periodic points of a homeomorphism of a locally compact Hausdorff space are given. △ Less

Submitted 2 January, 2012; v1 submitted 7 June, 2011; originally announced June 2011.

Comments: Some typos corrected. Final version, 23 pages, to appear in Studia Mathematica

Report number: MI 2011-06 MSC Class: 46K05 (Primary) 47L65; 46L55 (Secondary)

Journal ref: Studia Math. 208 (2012), 47-75

Crossed products of Banach algebras. I

Authors: Sjoerd Dirksen, Marcel de Jeu, Marten Wortel

Abstract: We construct a crossed product Banach algebra from a Banach algebra dynamical system $(A,G,α)$ and a given uniformly bounded class $R$ of continuous covariant Banach space representations of that system. If $A$ has a bounded left approximate identity, and $R$ consists of non-degenerate continuous covariant representations only, then the non-degenerate bounded representations of the crossed product… ▽ More We construct a crossed product Banach algebra from a Banach algebra dynamical system $(A,G,α)$ and a given uniformly bounded class $R$ of continuous covariant Banach space representations of that system. If $A$ has a bounded left approximate identity, and $R$ consists of non-degenerate continuous covariant representations only, then the non-degenerate bounded representations of the crossed product are in bijection with the non-degenerate $R$-continuous covariant representations of the system. This bijection, which is the main result of the paper, is also established for involutive Banach algebra dynamical systems and then yields the well-known representation theoretical correspondence for the crossed product $C^*$-algebra as commonly associated with a $C^*$-algebra dynamical system as a special case. Taking the algebra $A$ to be the base field, the crossed product construction provides, for a given non-empty class of Banach spaces, a Banach algebra with a relatively simple structure and with the property that its non-degenerate contractive representations in the spaces from that class are in bijection with the isometric strongly continuous representations of $G$ in those spaces. This generalizes the notion of a group $C^*$-algebra, and may likewise be used to translate issues concerning group representations in a class of Banach spaces to the context of a Banach algebra, simpler than $L^1(G)$, where more functional analytic structure is present. △ Less

Submitted 15 August, 2011; v1 submitted 27 April, 2011; originally announced April 2011.

Comments: 55 pages, 2 figures. To appear in Dissertationes Mathematicae

Report number: MI 2011-04 MSC Class: Primary 47L65; Secondary 46H25; 22D12; 22D15; 46L55

Local spectral radius formulas for a class of unbounded operators on Banach spaces

Authors: Nils Byrial Andersen, Marcel de Jeu

Abstract: We exhibit a general class of unbounded operators in Banach spaces which can be shown to have the single-valued extension property, and for which the local spectrum at suitable points can be determined. We show that a local spectral radius formula holds, analogous to that for a globally defined bounded operator on a Banach space with the single-valued extension property. An operator of the class u… ▽ More We exhibit a general class of unbounded operators in Banach spaces which can be shown to have the single-valued extension property, and for which the local spectrum at suitable points can be determined. We show that a local spectral radius formula holds, analogous to that for a globally defined bounded operator on a Banach space with the single-valued extension property. An operator of the class under consideration can occur in practice as (an extension of) a differential operator which, roughly speaking, can be diagonalised on its domain of smooth test functions via a discrete transform, such that the diagonalising transform establishes an isomorphism of topological vector spaces between the domain of the differential operator, in its own topology, and a sequence space. We give concrete examples of (extensions of) such operators (constant coefficient differential operators on the d-torus, Jacobi operators, the Hermite operator, Laguerre operators) and indicate further perspectives. △ Less

Submitted 18 September, 2011; v1 submitted 28 November, 2010; originally announced November 2010.

Comments: Minor changes in presentation. 23 pages, final version, to appear in Journal of Operator Theory

Report number: MI 2010-20

Journal ref: J. Operator Theory 69 (2013), 435-461

Extending representations of normed algebras in Banach spaces

Authors: Sjoerd Dirksen, Marcel de Jeu, Marten Wortel

Abstract: Let X be a non-degenerate left Banach module over a normed algebra A having a bounded approximate left identity. We show that, if A is a left ideal of a larger algebra, then this representation can be extended to a representation of the larger algebra. Based on this result, we study in detail the existence and properties of representations of the various centralizer algebras of A which are compa… ▽ More Let X be a non-degenerate left Banach module over a normed algebra A having a bounded approximate left identity. We show that, if A is a left ideal of a larger algebra, then this representation can be extended to a representation of the larger algebra. Based on this result, we study in detail the existence and properties of representations of the various centralizer algebras of A which are compatible with the original representation of A. As a special case we obtain that, if A embeds as a topological algebra into the bounded operators on X, then the left centralizer algebra of $A$ embeds as a topological algebra as the left normalizer of the image, and the double centralizer algebra of A embeds as a topological algebra as the normalizer of the image. We also consider ordered and involutive contexts, and cover the right-sided cases, which are not always the obvious analogues of the left-sided cases, in detail as well. △ Less

Submitted 22 May, 2009; v1 submitted 21 April, 2009; originally announced April 2009.

Comments: 22 pages. Minor changes in presentation. To appear in the proceedings (Contemporary Mathematics) of "Operator Structures and Dynamical Systems" (Lorentz Center, Leiden, Netherlands, July 21 - 25, 2008)

Report number: MI 2009-06 MSC Class: 46H25 (Primary) 46H10; 46H15 (Secondary)

Journal ref: In "Operator Structures and Dynamical Systems'' (M. de Jeu, S. Silvestrov, C. Skau, J. Tomiyama (Eds.)), Contemporary Mathematics 503, AMS, 2009, pp. 53-72

On the Banach $*$-algebra crossed product associated with a topological dynamical system

Authors: Marcel de Jeu, Christian Svensson, Jun Tomiyama

Abstract: Given a topological dynamical system $Σ= (X, σ)$, where $X$ is a compact Hausdorff space and $σ$ a homeomorphism of $X$, we introduce the associated Banach $^*$-algebra crossed product $\ell^1 (Σ)$ and analyse its ideal structure. This algebra is the Banach algebra most naturally associated with the dynamical system, and it has a richer structure than its well studied $C^*$-envelope, as becomes ev… ▽ More Given a topological dynamical system $Σ= (X, σ)$, where $X$ is a compact Hausdorff space and $σ$ a homeomorphism of $X$, we introduce the associated Banach $^*$-algebra crossed product $\ell^1 (Σ)$ and analyse its ideal structure. This algebra is the Banach algebra most naturally associated with the dynamical system, and it has a richer structure than its well studied $C^*$-envelope, as becomes evident from the possible existence of non-self-adjoint closed ideals. This paper initiates the study of these algebras and links their ideal structure to the topological dynamics. It is determined when exactly the algebra is simple, or prime, and when there exists a non-self-adjoint closed ideal. In addition, a structure theorem is obtained for the case when $X$ consists of one finite orbit, and the algebra is shown to be Hermitian if $X$ is finite. The key to these results lies in analysing the commutant of $C(X)$ in the algebra, which can be shown to be a maximal abelian subalgebra with non-zero intersection with each non-zero closed ideal. △ Less

Submitted 1 March, 2012; v1 submitted 4 February, 2009; originally announced February 2009.

Comments: 19 pages. Some typos corrected and minor changes in presentation. Final version, to appear in Journal of Functional Analysis

Report number: MI 2009-03 MSC Class: 47L65; 46H10; 37B05; 54H20

Journal ref: J. Funct. Anal. 262 (2012) 4746-4765

Local spectral radius formulas on compact Lie groups

Authors: Nils Byrial Andersen, Marcel de Jeu

Abstract: We determine the local spectrum of a central element of the complexified universal envelo** algebra of a compact connected Lie group at a smooth function as an element of L^p(G). Based on this result we establish a corresponding local spectral radius formula. We determine the local spectrum of a central element of the complexified universal envelo** algebra of a compact connected Lie group at a smooth function as an element of L^p(G). Based on this result we establish a corresponding local spectral radius formula. △ Less

Submitted 29 May, 2009; v1 submitted 26 May, 2008; originally announced May 2008.

Comments: 7 pages, no figures. Reference updated. Final version, to appear in J. Lie Theory.

Report number: MI 2008-3 MSC Class: 22E30; 47A11

Journal ref: J. Lie Theory 19 (2009), 223--230.

Real Paley-Wiener theorems and local spectral radius formulas

Authors: Nils Byrial Andersen, Marcel de Jeu

Abstract: We systematically develop real Paley-Wiener theory for the Fourier transform on R^d for Schwartz functions, L^p-functions and distributions, in an elementary treatment based on the inversion theorem. As an application, we show how versions of classical Paley-Wiener theorems can be derived from the real ones via an approach which does not involve domain shifting and which may be put to good use f… ▽ More We systematically develop real Paley-Wiener theory for the Fourier transform on R^d for Schwartz functions, L^p-functions and distributions, in an elementary treatment based on the inversion theorem. As an application, we show how versions of classical Paley-Wiener theorems can be derived from the real ones via an approach which does not involve domain shifting and which may be put to good use for other transforms of Fourier type as well. An explanation is also given why the easily applied classical Paley-Wiener theorems are unlikely to be able to yield information about the support of a function or distribution which is more precise than giving its convex hull, whereas real Paley-Wiener theorems can be used to reconstruct the support precisely, albeit at the cost of combinatorial complexity. We indicate a possible application of real Paley-Wiener theory to partial differential equations in this vein and furthermore we give evidence that a number of real Paley-Wiener results can be expected to have an interpretation as local spectral radius formulas. A comprehensive overview of the literature on real Paley-Wiener theory is included. △ Less

Submitted 29 May, 2009; v1 submitted 18 April, 2008; originally announced April 2008.

Comments: 27 pages, no figures. Reference updated. Final version, to appear in Trans. Amer. Math. Soc

Report number: MI 2008-2 MSC Class: 42B10; 47A11

Journal ref: Trans. Amer. Math. Soc. 362 (2010), 3613-3640

Algebraic dependence of commuting elements in algebras

Authors: Sergei Silvestrov, Christian Svensson, Marcel de Jeu

Abstract: The aim of this paper to draw attention to several aspects of the algebraic dependence in algebras. The article starts with discussions of the algebraic dependence problem in commutative algebras. Then the Burchnall-Chaundy construction for proving algebraic dependence and obtaining the corresponding algebraic curves for commuting differential operators in the Heisenberg algebra is reviewed. Nex… ▽ More The aim of this paper to draw attention to several aspects of the algebraic dependence in algebras. The article starts with discussions of the algebraic dependence problem in commutative algebras. Then the Burchnall-Chaundy construction for proving algebraic dependence and obtaining the corresponding algebraic curves for commuting differential operators in the Heisenberg algebra is reviewed. Next some old and new results on algebraic dependence of commuting q-difference operators and elements in q-deformed Heisenberg algebras are reviewed. The main ideas and essence of two proofs of this are reviewed and compared. One is the algorithmic dimension growth existence proof. The other is the recent proof extending the Burchnall-Chaundy approach from differential operators and the Heisenberg algebra to the q-deformed Heisenberg algebra, showing that the Burchnall-Chaundy eliminant construction indeed provides annihilating curves for commuting elements in the q-deformed Heisenberg algebras for q not a root of unity. △ Less

Submitted 17 October, 2007; originally announced October 2007.

Comments: LaTeX, 14 pages, no figures

Report number: MI 2007-28 MSC Class: 16S99; 81S05; 39A13

Journal ref: Generalized lie theory in mathematics, physics and beyond, pp.265-280, Springer, Berlin, 2009

Algebraic curves for commuting elements in the q-deformed Heisenberg algebra

Authors: Marcel de Jeu, Christian Svensson, Sergei Silvestrov

Abstract: In this paper we extend the eliminant construction of Burchnall and Chaundy for commuting differential operators in the Heisenberg algebra to the q-deformed Heisenberg algebra and show that it again provides annihilating curves for commuting elements, provided q satisfies a natural condition. As a side result we obtain estimates on the dimensions of the eigenspaces of elements of this algebra in… ▽ More In this paper we extend the eliminant construction of Burchnall and Chaundy for commuting differential operators in the Heisenberg algebra to the q-deformed Heisenberg algebra and show that it again provides annihilating curves for commuting elements, provided q satisfies a natural condition. As a side result we obtain estimates on the dimensions of the eigenspaces of elements of this algebra in its faithful module of Laurent series. △ Less

Submitted 18 November, 2008; v1 submitted 15 October, 2007; originally announced October 2007.

Comments: 18 pages, 2 figures, LaTeX. Final version with some improvements in presentation. To appear in Journal of Algebra.

Report number: MI 2007-21 MSC Class: 16S99 (Primary) 81S05; 39A13 (Secondary)

Journal ref: Journal of Algebra 321 (2009), pp. 1239-1255

Dynamical systems associated with crossed products

Authors: Christian Svensson, Sergei Silvestrov, Marcel de Jeu

Abstract: In this paper, we consider both algebraic crossed products of commutative complex algebras A with the integers under an automorphism of A, and Banach algebra crossed products of commutative C^*-algebras A with the integers under an automorphism of A. We investigate, in particular, connections between algebraic properties of these crossed products and topological properties of naturally associated… ▽ More In this paper, we consider both algebraic crossed products of commutative complex algebras A with the integers under an automorphism of A, and Banach algebra crossed products of commutative C^*-algebras A with the integers under an automorphism of A. We investigate, in particular, connections between algebraic properties of these crossed products and topological properties of naturally associated dynamical systems. For example, we draw conclusions about the ideal structure of the crossed product by investigating the dynamics of such a system. To begin with, we recall results in this direction in the context of an algebraic crossed product and give simplified proofs of generalizations of some of these results. We also investigate new questions, for example about ideal intersection properties of algebras properly between the coefficient algebra A and its commutant A'. Furthermore, we introduce a Banach algebra crossed product and study the relation between the structure of this algebra and the topological dynamics of a naturally associated system. △ Less

Submitted 18 November, 2011; v1 submitted 12 July, 2007; originally announced July 2007.

Comments: 13 pages. 2 references addes and minor text improvements made

Report number: MI 2007-30 MSC Class: 47L65; 16S35; 37B05; 54H20

Journal ref: Acta Appl. Math. 108 (2009), 547-559

Connections between dynamical systems and crossed products of Banach algebras by $\mathbb{Z}$

Authors: Christian Svensson, Sergei Silvestrov, Marcel de Jeu

Abstract: Starting with a complex commutative semi-simple regular Banach algebra $A$ and an automorphism $σ$ of $A$, we form the crossed product of $A$ with the integers, where the latter act on $A$ via iterations of $σ$. The automorphism induces a topological dynamical system on the character space $Δ(A)$ of $A$ in a natural way. We prove an equivalence between the property that every non-zero ideal in the… ▽ More Starting with a complex commutative semi-simple regular Banach algebra $A$ and an automorphism $σ$ of $A$, we form the crossed product of $A$ with the integers, where the latter act on $A$ via iterations of $σ$. The automorphism induces a topological dynamical system on the character space $Δ(A)$ of $A$ in a natural way. We prove an equivalence between the property that every non-zero ideal in the crossed product has non-zero intersection with the subalgebra $A$, maximal commutativity of $A$ in the crossed product, and density of the non-periodic points of the induced system on the character space. We also prove that every non-trivial ideal in the crossed product always intersects the commutant of $A$ non-trivially. Furthermore, under the assumption that $A$ is unital and such that $Δ(A)$ consists of infinitely many points, we show equivalence between simplicity of the crossed product and minimality of the induced system, and between primeness of the crossed product and topological transitivity of the system. △ Less

Submitted 18 November, 2011; v1 submitted 5 February, 2007; originally announced February 2007.

Comments: 10 pages. Final version

Report number: MI 2007-02 MSC Class: 47L65; 16S35; 37B05; 54H20

Journal ref: Methods of spectral analysis in mathematical physics, 391-401, Oper. Theory Adv. Appl. 186, Birkhauser Verlag, Basel, 2009

Dynamical Systems and Commutants in Crossed Products

Authors: Christian Svensson, Sergei Silvestrov, Marcel de Jeu

Abstract: In this paper we describe the commutant of an arbitrary subalgebra $A$ of the algebra of functions on a set $X$ in a crossed product of $A$ with the integers, where the latter act on $A$ by a composition automorphism defined via a bijection of $X$. The resulting conditions which are necessary and sufficient for $A$ to be maximal abelian in the crossed product are subsequently applied to situatio… ▽ More In this paper we describe the commutant of an arbitrary subalgebra $A$ of the algebra of functions on a set $X$ in a crossed product of $A$ with the integers, where the latter act on $A$ by a composition automorphism defined via a bijection of $X$. The resulting conditions which are necessary and sufficient for $A$ to be maximal abelian in the crossed product are subsequently applied to situations where these conditions can be shown to be equivalent to a condition in topological dynamics. As a further step, using the Gelfand transform we obtain for a commutative completely regular semi-simple Banach algebra a topological dynamical condition on its character space which is equivalent to the algebra being maximal abelian in a crossed product with the integers. △ Less

Submitted 22 October, 2007; v1 submitted 26 April, 2006; originally announced April 2006.

Comments: 14 pages. Minor misprints corrected and text improvements made

Report number: MI 2006-06 MSC Class: 37B05

Journal ref: Internat. J. Math. 18 (2007), 455--471

Elementary proofs of Paley-Wiener theorems for the Dunkl transform on the real line

Authors: Nils Byrial Andersen, Marcel de Jeu

Abstract: We give an elementary proof of the Paley-Wiener theorem for smooth functions for the Dunkl transforms on the real line, establish a similar theorem for L^2-functions and prove identities in the spirit of Bang for L^p-functions. The proofs seem to be new also in the special case of the Fourier transform. We give an elementary proof of the Paley-Wiener theorem for smooth functions for the Dunkl transforms on the real line, establish a similar theorem for L^2-functions and prove identities in the spirit of Bang for L^p-functions. The proofs seem to be new also in the special case of the Fourier transform. △ Less

Submitted 17 June, 2005; originally announced June 2005.

Comments: 9 pp., LaTeX, no figures; final version, to appear in Int. Math. Res. Not

Report number: MI 2005-06 MSC Class: Primary 44A15; Secondary 42A38; 33C52

Journal ref: Int. Math. Res. Not. 2005, 1817--1831

Some remarks on another proof of geometrical Paley-Wiener theorems for the Dunkl transform

Authors: Marcel de Jeu

Abstract: We argue that another proof by Trimeche of the geometrical form of the Paley-Wiener theorems for the Dunkl transform is not correct. We argue that another proof by Trimeche of the geometrical form of the Paley-Wiener theorems for the Dunkl transform is not correct. △ Less

Submitted 2 June, 2004; originally announced June 2004.

Comments: LaTeX, 2 pages

MSC Class: 33C52; 33C67

Paley-Wiener theorems for the Dunkl transform

Authors: Marcel de Jeu

Abstract: We conjecture a geometrical form of the Paley-Wiener theorem for the Dunkl transform and prove three instances thereof, one of which involves a limit transition from Opdam's results for the graded Hecke algebra. Furthermore, the connection between Dunkl operators and the Cartan motion group is established. It is shown how the algebra of radial parts of invariant differential operators can be des… ▽ More We conjecture a geometrical form of the Paley-Wiener theorem for the Dunkl transform and prove three instances thereof, one of which involves a limit transition from Opdam's results for the graded Hecke algebra. Furthermore, the connection between Dunkl operators and the Cartan motion group is established. It is shown how the algebra of radial parts of invariant differential operators can be described explicitly in terms of Dunkl operators, which implies that the generalized Bessel functions coincide with the spherical functions. In this context, the restriction of Dunkl's intertwining operator to the invariants can be interpreted in terms of the Abel transform. Using shift operators we also show that, for certain values of the multiplicities of the restricted roots, the Abel transform is essentially inverted by a differential operator. △ Less

Submitted 24 June, 2005; v1 submitted 23 April, 2004; originally announced April 2004.

Comments: LaTeX, 26 pages, no figures. References updated and minor changes, mathematically identical to the first version. To appear in Trans. Amer. Math. Soc

Report number: MI 2004-09 MSC Class: 33C52; 43A32; 33C80; 22E30

Journal ref: Trans. Amer. Math. Soc. 358 (2006), 4225--4250

Some remarks on a proof of geometrical Paley-Wiener theorems for the Dunkl transform

Authors: Marcel de Jeu

Abstract: We argue that a proof of the geometrical form of the Paley-Wiener theorems for the Dunkl transform in the literature is not correct. We argue that a proof of the geometrical form of the Paley-Wiener theorems for the Dunkl transform in the literature is not correct. △ Less

Submitted 21 October, 2004; v1 submitted 16 April, 2004; originally announced April 2004.

Comments: LaTeX, 3 pages. Concrete description of the technical mistake in Trimeche's proof has been added (also applicable to (5.14) in math.CA/0405050 v1)

Report number: MI 2004-08 MSC Class: 33C52; 33C67

Journal ref: Integral Transforms Spec. Funct. 18 (2007), 383--385

Commutative $C^*$-algebras and $σ$-normal morphisms

Authors: Marcel de Jeu

Abstract: We prove in an elementary fashion that the image of a commutative monotone $σ$-complete $C^*$-algebra under a $σ$-normal morphism is again monotone $σ$-complete and give an application of this result in spectral theory. We prove in an elementary fashion that the image of a commutative monotone $σ$-complete $C^*$-algebra under a $σ$-normal morphism is again monotone $σ$-complete and give an application of this result in spectral theory. △ Less

Submitted 15 October, 2007; v1 submitted 7 November, 2003; originally announced November 2003.

Comments: LaTeX, 5 pages, 1 figure. Relation with existing literature clarified

Report number: MI 2003-16 MSC Class: 46L05; 46L10

Asymptotic analysis for the Dunkl kernel

Authors: Margit Rösler, Marcel de Jeu

Abstract: This paper studies the asymptotic behavior of the integral kernel of the Dunkl transform, the so-called Dunkl kernel, when one of its arguments is fixed and the other tends to infinity either within a Weyl chamber of the associated reflection group, or within a suitable complex domain. The obtained results are based on the asymptotic analysis of an associated system of ordinary differential equa… ▽ More This paper studies the asymptotic behavior of the integral kernel of the Dunkl transform, the so-called Dunkl kernel, when one of its arguments is fixed and the other tends to infinity either within a Weyl chamber of the associated reflection group, or within a suitable complex domain. The obtained results are based on the asymptotic analysis of an associated system of ordinary differential equations. They generalize the well-known asymptotics of the confluent hypergeometric function $\phantom{}_1F_1$ to the higher-dimensional setting and include a complete short-time asymptotics for the Dunkl-type heat kernel. As an application, it is shown that the representing measures of Dunkl's intertwining operator are generically continuous. △ Less

Submitted 10 June, 2002; v1 submitted 9 February, 2002; originally announced February 2002.

Comments: LaTeX2e, 16 pages, 1 figure. Second and final version, with minor corrections. Mathematically identical to first version. Accepted by Journal of Approximation Theory

MSC Class: 33C52 (Primary) 33C67 (Secondary)

Journal ref: J. Approx. Theory 119 (2002), 110--126

Determinate multidimensional measures, the extended Carleman theorem and quasi-analytic weights

Authors: Marcel de Jeu

Abstract: We prove in a direct fashion that a multidimensional probability measure is determinate if the higher dimensional analogue of Carleman's condition is satisfied. In that case, the polynomials, as well as certain proper subspaces of the trigonometric functions, are dense in the associated L_p spaces for all finite p. In particular these three statements hold if the reciprocal of a quasi-analytic w… ▽ More We prove in a direct fashion that a multidimensional probability measure is determinate if the higher dimensional analogue of Carleman's condition is satisfied. In that case, the polynomials, as well as certain proper subspaces of the trigonometric functions, are dense in the associated L_p spaces for all finite p. In particular these three statements hold if the reciprocal of a quasi-analytic weight has finite integral under the measure. We give practical examples of such weights, based on their classification. As in the one dimensional case, the results on determinacy of measures supported on R^n lead to sufficient conditions for determinacy of measures supported in a positive convex cone, i.e. the higher dimensional analogue of determinacy in the sense of Stieltjes. △ Less

Submitted 17 June, 2002; v1 submitted 2 November, 2001; originally announced November 2001.

Comments: 20 pages, LaTeX 2e, no figures. Second and final version, with minor corrections and an additional section on Stieltjes determinacy in arbitrary dimension. Accepted by The Annals of Probability

MSC Class: 44A60 (Primary) 41A63; 41A10; 42A10; 46E30; 26E10 (Secondary)

Journal ref: Ann. Probab. 31 (2003), 1205--1227

Subspaces with equal closure

Authors: Marcel de Jeu

Abstract: We take a unifying and new approach toward polynomial and trigonometric approximation in an arbitrary number of variables, resulting in a precise and general ready-to-use tool that anyone can easily apply in new situations of interest. The key idea is to show, in considerable generality, that a module, which is generated over the polynomials or trigonometric functions by some set, necessarily ha… ▽ More We take a unifying and new approach toward polynomial and trigonometric approximation in an arbitrary number of variables, resulting in a precise and general ready-to-use tool that anyone can easily apply in new situations of interest. The key idea is to show, in considerable generality, that a module, which is generated over the polynomials or trigonometric functions by some set, necessarily has the same closure as the module which is generated by this same set, but now over the compactly supported smooth functions. The particular properties of the ambient space or generating set are to a large degree irrelevant. This translation -- which goes in fact beyond modules -- allows us, by what is now essentially a straightforward check of a few properties, to replace many classical results by more general and stronger statements of a hitherto unknown type. As a side result, we also obtain a new integral criterion for multidimensional measures to be determinate. At the technical level, we use quasi-analytic classes in several variables and we show that two well-known families of one-dimensional weights are essentially equal. The method can be formulated for Lie groups and this interpretation shows that many classical approximation theorems are "actually" theorems on the unitary dual of n-dimensional real space. Polynomials then correspond to the universal envelo** algebra. △ Less

Submitted 14 January, 2003; v1 submitted 1 November, 2001; originally announced November 2001.

Comments: 61 pages, LaTeX 2e, no figures. Second and final version, with minor changes in presentation. Mathematically identical to the first version. Accepted by Constructive Approximation

MSC Class: 41A63; 41-01 (Primary) 41A10; 42A10; 44A60; 46F05; 46E10; 46E15; 46E20; 46E27; 46E30; 26E10; 22E30; 22E45 (Secondary)

Journal ref: Constr. Approx. 20 (2004), 93--157