-
L-functional analysis
Authors:
Eder Kikianty,
Miek Messerschmidt,
Luan Naude,
Mark Roelands,
Christopher Schwanke,
Walt van Amstel,
Jan Harm van der Walt,
Marten Wortel
Abstract:
Inspired by the theories of Kaplansky-Hilbert modules and probability theory in vector lattices, we generalise functional analysis by replacing the scalars $\mathbb{R}$ or $\mathbb{C}$ by a real or complex Dedekind complete unital $f$-algebra $\mathbb{L}$; such an algebra can be represented as a suitable space of continuous functions. We set up the basic theory of $\mathbb{L}$-normed and…
▽ More
Inspired by the theories of Kaplansky-Hilbert modules and probability theory in vector lattices, we generalise functional analysis by replacing the scalars $\mathbb{R}$ or $\mathbb{C}$ by a real or complex Dedekind complete unital $f$-algebra $\mathbb{L}$; such an algebra can be represented as a suitable space of continuous functions. We set up the basic theory of $\mathbb{L}$-normed and $\mathbb{L}$-Banach spaces and bounded operators between them, we discuss the $\mathbb{L}$-valued analogues of the classical $\ell^p$-spaces, and we prove the analogue of the Hahn-Banach theorem. We also discuss the basics of the theory of $\mathbb{L}$-Hilbert spaces, including projections onto convex subsets and the Riesz Representation theorem.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
Order theoretical structures in atomic JBW-algebras: disjointness, bands, and centres
Authors:
Onno van Gaans,
Anke Kalauch,
Mark Roelands
Abstract:
Every atomic JBW-algebra is known to be a direct sum of JBW-algebra factors of type I. Extending Kadison's anti-lattice theorem, we show that each of these factors is a disjointness free anti-lattice. We characterise disjointness, bands, and disjointness preserving bijections with disjointness preserving inverses in direct sums of disjointness free anti-lattices and, therefore, in atomic JBW-algeb…
▽ More
Every atomic JBW-algebra is known to be a direct sum of JBW-algebra factors of type I. Extending Kadison's anti-lattice theorem, we show that each of these factors is a disjointness free anti-lattice. We characterise disjointness, bands, and disjointness preserving bijections with disjointness preserving inverses in direct sums of disjointness free anti-lattices and, therefore, in atomic JBW-algebras. We show that in unital JB-algebras the algebraic centre and the order theoretical centre are isomorphic. Moreover, the order theoretical centre is a Riesz space of multiplication operators. A survey of JBW-algebra factors of type I is included.
△ Less
Submitted 30 May, 2023;
originally announced May 2023.
-
Differentiable, Holomorphic, and Analytic Functions on Complex $Φ$-Algebras
Authors:
Mark Roelands,
Christopher Michael Schwanke
Abstract:
Using the notion of order convergent nets, we develop an order-theoretic approach to differentiable functions on Archimedean complex $Φ$-algebras. Most notably, we improve the Cauchy-Hadamard formulas for universally complete complex vector lattices given by both authors in a previous paper in order to prove that analytic functions are holomorphic in this abstract setting.
Using the notion of order convergent nets, we develop an order-theoretic approach to differentiable functions on Archimedean complex $Φ$-algebras. Most notably, we improve the Cauchy-Hadamard formulas for universally complete complex vector lattices given by both authors in a previous paper in order to prove that analytic functions are holomorphic in this abstract setting.
△ Less
Submitted 25 November, 2022;
originally announced November 2022.
-
Prime ideals and Noetherian properties in vector lattices
Authors:
Marko Kandić,
Mark Roelands
Abstract:
In this paper we study the set of prime ideals in vector lattices and how the properties of the prime ideals structure the vector lattice in question. The different properties that will be considered are firstly, that all or none of the prime ideals are order dense, secondly, that there are only finitely many prime ideals, thirdly, that every prime ideal is principal, and lastly, that every ascend…
▽ More
In this paper we study the set of prime ideals in vector lattices and how the properties of the prime ideals structure the vector lattice in question. The different properties that will be considered are firstly, that all or none of the prime ideals are order dense, secondly, that there are only finitely many prime ideals, thirdly, that every prime ideal is principal, and lastly, that every ascending chain of prime ideals is stationary (a property that we refer to as prime Noetherian). We also completely characterize the prime ideals in vector lattices of piecewise polynomials, which turns out to be an interesting class of vector lattices for studying principal prime ideals and ascending chains of prime ideals.
△ Less
Submitted 22 April, 2021; v1 submitted 7 April, 2021;
originally announced April 2021.
-
Order isomorphisms on order intervals of atomic JBW-algebras
Authors:
Mark Roelands,
Marten Wortel
Abstract:
In this paper a full description of order isomorphisms between effect algebras of atomic JBW-algebras is given. We will derive a closed formula for the order isomorphisms on the effect algebra of type I factors by proving that the invertible part of the effect algebra of a type I factor is left invariant. This yields an order isomorphism on the whole cone, for which a characterisation exists. Furt…
▽ More
In this paper a full description of order isomorphisms between effect algebras of atomic JBW-algebras is given. We will derive a closed formula for the order isomorphisms on the effect algebra of type I factors by proving that the invertible part of the effect algebra of a type I factor is left invariant. This yields an order isomorphism on the whole cone, for which a characterisation exists. Furthermore, we will show that the obtained formula for the order isomorphism on the invertible part can be extended to the whole effect algebra again. As atomic JBW-algebras are direct sums of type I factors and order isomorphisms factor through the direct sum decomposition, this yields the desired description.
△ Less
Submitted 13 April, 2021; v1 submitted 9 November, 2019;
originally announced November 2019.
-
Order isomorphisms between cones of JB-algebras
Authors:
Hendrik van Imhoff,
Mark Roelands
Abstract:
In this paper we completely describe the order isomorphisms between cones of atomic JBW-algebras. Moreover, we can write an atomic JBW-algebra as an algebraic direct summand of the so-called engaged and disengaged part. On the cone of the engaged part every order isomorphism is linear and the disengaged part consists only of copies of $\mathbb{R}$. Furthermore, in the setting of general JB-algebra…
▽ More
In this paper we completely describe the order isomorphisms between cones of atomic JBW-algebras. Moreover, we can write an atomic JBW-algebra as an algebraic direct summand of the so-called engaged and disengaged part. On the cone of the engaged part every order isomorphism is linear and the disengaged part consists only of copies of $\mathbb{R}$. Furthermore, in the setting of general JB-algebras we prove the following. If either algebra does not contain an ideal of codimension one, then every order isomorphism between their cones is linear if and only if it extends to a homeomorphism, between the cones of the atomic part of their biduals, for a suitable weak topology.
△ Less
Submitted 22 April, 2019; v1 submitted 16 April, 2019;
originally announced April 2019.
-
Equivalence after extension and Schur coupling do not coincide, on essentially incomparable Banach spaces
Authors:
Sanne ter Horst,
Miek Messerschmidt,
Andre C. M. Ran,
Mark Roelands
Abstract:
In 1994 H. Bart and V.É. Tsekanovskii posed the question whether the Banach space operator relations matricial coupling (MC), equivalence after extension (EAE) and Schur coupling (SC) coincide, leaving only the implication EAE/MC $\Rightarrow$ SC open. Despite several affirmative results, in this paper we show that the answer in general is no. This follows from a complete description of EAE and SC…
▽ More
In 1994 H. Bart and V.É. Tsekanovskii posed the question whether the Banach space operator relations matricial coupling (MC), equivalence after extension (EAE) and Schur coupling (SC) coincide, leaving only the implication EAE/MC $\Rightarrow$ SC open. Despite several affirmative results, in this paper we show that the answer in general is no. This follows from a complete description of EAE and SC for the case that the operators act on essentially incomparable Banach spaces, which also leads to a new characterization of the notion of essential incomparability. Concretely, the forward shift operators $U$ on $\ell^p$ and $V$ on $\ell^q$, for $1\leq p,q\leq \infty$, $p\neq q$, are EAE but not SC. As a corollary, SC is not transitive. Under mild assumptions, given $U$ and $V$ that are Atkinson or generalized invertible and EAE, we give a concrete operator $W$ that is SC to both $U$ and $V$, even if $U$ and $V$ are not SC themselves. Some further affirmative results for the case where the Banach spaces are isomorphic are also obtained.
△ Less
Submitted 26 January, 2019;
originally announced January 2019.
-
Series and power series on universally complete complex vector lattices
Authors:
Mark Roelands,
Christopher Schwanke
Abstract:
In this paper we prove an $n$th root test for series as well as a Cauchy-Hadamard type formula and Abel's' theorem for power series on universally complete Archimedean complex vector lattices. These results are aimed at develo** an alternative approach to the classical theory of complex series and power series using the notion of order convergence.
In this paper we prove an $n$th root test for series as well as a Cauchy-Hadamard type formula and Abel's' theorem for power series on universally complete Archimedean complex vector lattices. These results are aimed at develo** an alternative approach to the classical theory of complex series and power series using the notion of order convergence.
△ Less
Submitted 29 March, 2018; v1 submitted 21 March, 2018;
originally announced March 2018.
-
Hilbert isometries and maximal deviation preserving maps on JB-algebras
Authors:
Mark Roelands,
Marten Wortel
Abstract:
In this paper we characterize the surjective linear variation norm isometries on JB-algebras. Variation norm isometries are precisely the maps that preserve the maximal deviation, the quantum analogue of the standard deviation, which plays an important role in quantum statistics. Consequently, we characterize the Hilbert's metric isometries on cones in JB-algebras.
In this paper we characterize the surjective linear variation norm isometries on JB-algebras. Variation norm isometries are precisely the maps that preserve the maximal deviation, the quantum analogue of the standard deviation, which plays an important role in quantum statistics. Consequently, we characterize the Hilbert's metric isometries on cones in JB-algebras.
△ Less
Submitted 20 June, 2019; v1 submitted 30 June, 2017;
originally announced June 2017.
-
Equivalence after extension and Schur coupling coincide for inessential operators
Authors:
S. ter Horst,
M. Messerschmidt,
A. C. M. Ran,
M. Roelands,
M. Wortel
Abstract:
In recent years the coincidence of the operator relations equivalence after extension (EAE) and Schur coupling (SC) was settled for the Hilbert space case. For Banach space operators, it is known that SC implies EAE, but the converse implication is only known for special classes of operators, such as Fredholm operators with index zero and operators that can in norm be approximated by invertible op…
▽ More
In recent years the coincidence of the operator relations equivalence after extension (EAE) and Schur coupling (SC) was settled for the Hilbert space case. For Banach space operators, it is known that SC implies EAE, but the converse implication is only known for special classes of operators, such as Fredholm operators with index zero and operators that can in norm be approximated by invertible operators. In this paper we prove that the implication EAE $\Rightarrow$ SC also holds for inessential Banach space operators. The inessential operators were introduced as a generalization of the compact operators, and include, besides the compact operators, also the strictly singular and strictly co-singular operators; in fact they form the largest ideal such that the invertible elements in the associated quotient algebra coincide with (the equivalence classes of) the Fredholm operators.
△ Less
Submitted 28 June, 2017;
originally announced June 2017.
-
An order theoretic characterization of spin factors
Authors:
Bas Lemmens,
Mark Roelands,
Hent van Imhoff
Abstract:
The famous Koecher-Vinberg theorem characterizes the Euclidean Jordan algebras among the finite dimensional order unit spaces as the ones that have a symmetric cone. Recently Walsh gave an alternative characterization of the Euclidean Jordan algebras. He showed that the Euclidean Jordan algebras correspond to the finite dimensional order unit spaces $(V,C,u)$ for which there exists a bijective map…
▽ More
The famous Koecher-Vinberg theorem characterizes the Euclidean Jordan algebras among the finite dimensional order unit spaces as the ones that have a symmetric cone. Recently Walsh gave an alternative characterization of the Euclidean Jordan algebras. He showed that the Euclidean Jordan algebras correspond to the finite dimensional order unit spaces $(V,C,u)$ for which there exists a bijective map $g\colon C^\circ\to C^\circ$ with the property that $g$ is antihomogeneous, i.e., $g(λx) =λ^{-1}g(x)$ for all $λ>0$ and $x\in C^\circ$, and $g$ is an order-antimorphism, i.e., $x\leq_C y$ if and only if $g(y)\leq_C g(x)$. In this paper we make a first step towards extending this order theoretic characterization to infinite dimensional JB-algebras. We show that if $(V,C,u)$ is a complete order unit space with a strictly convex cone and $\dim V\geq 3$, then there exists a bijective antihomogeneous order-antimorphism $g\colon C^\circ\to C^\circ$ if and only if $(V,C,u)$ is a spin factor.
△ Less
Submitted 4 February, 2017; v1 submitted 27 September, 2016;
originally announced September 2016.
-
Hilbert and Thompson isometries on cones in JB-algebras
Authors:
Bas Lemmens,
Mark Roelands,
Marten Wortel
Abstract:
Hilbert's and Thompson's metric spaces on the interior of cones in JB-algebras are important examples of symmetric Finsler spaces. In this paper we characterize the Hilbert's metric isometries on the interiors of cones in JBW-algebras, and the Thompson's metric isometries on the interiors of cones in JB-algebras. These characterizations generalize work by Bosché on the Hilbert and Thompson isometr…
▽ More
Hilbert's and Thompson's metric spaces on the interior of cones in JB-algebras are important examples of symmetric Finsler spaces. In this paper we characterize the Hilbert's metric isometries on the interiors of cones in JBW-algebras, and the Thompson's metric isometries on the interiors of cones in JB-algebras. These characterizations generalize work by Bosché on the Hilbert and Thompson isometries on symmetric cones, and work by Hatori and Molnár on the Thompson isometries on the cone of positive self-adjoint elements in a unital $C^*$-algebra. To obtain the results we develop a variety of new geometric and Jordan algebraic techniques.
△ Less
Submitted 30 June, 2017; v1 submitted 12 September, 2016;
originally announced September 2016.
-
Midpoints for Thompson's metric on symmetric cones
Authors:
Bas Lemmens,
Mark Roelands
Abstract:
We characterise the affine span of the midpoints sets for Thompson's metric on symmetric cones in terms of a translation of the zero-component of the Peirce decomposition of an idempotent. As a consequence we derive an explicit formula for the dimension of the affine span of the midpoints sets in case the associated Euclidean Jordan algebra is simple.
We characterise the affine span of the midpoints sets for Thompson's metric on symmetric cones in terms of a translation of the zero-component of the Peirce decomposition of an idempotent. As a consequence we derive an explicit formula for the dimension of the affine span of the midpoints sets in case the associated Euclidean Jordan algebra is simple.
△ Less
Submitted 11 July, 2015;
originally announced July 2015.
-
Isometries of infinite dimensional Hilbert geometries
Authors:
Bas Lemmens,
Mark Roelands,
Marten Wortel
Abstract:
In this paper we extend results by De la Harpe concerning the isometries of strictly convex Hilbert geometries, and the characterisation of the isometry groups of Hilbert geometries on finite dimensional simplices, to infinite dimensions. The proofs rely on a mix of geometric and functional analytic methods.
In this paper we extend results by De la Harpe concerning the isometries of strictly convex Hilbert geometries, and the characterisation of the isometry groups of Hilbert geometries on finite dimensional simplices, to infinite dimensions. The proofs rely on a mix of geometric and functional analytic methods.
△ Less
Submitted 1 March, 2017; v1 submitted 16 May, 2014;
originally announced May 2014.
-
Unique geodesics for Thompson's metric
Authors:
Bas Lemmens,
Mark Roelands
Abstract:
In this paper a geometric characterization of the unique geodesics in Thompson's metric spaces is presented. This characterization is used to prove a variety of other geometric results. Firstly, it will be shown that there exists a unique Thompson's metric geodesic connecting $x$ and $y$ in the cone of positive self-adjoint elements in a unital $C^*$-algebra if, and only if, the spectrum of…
▽ More
In this paper a geometric characterization of the unique geodesics in Thompson's metric spaces is presented. This characterization is used to prove a variety of other geometric results. Firstly, it will be shown that there exists a unique Thompson's metric geodesic connecting $x$ and $y$ in the cone of positive self-adjoint elements in a unital $C^*$-algebra if, and only if, the spectrum of $x^{-1/2}yx^{-1/2}$ is contained in $\{1/β,β\}$ for some $β\geq 1$. A similar result will be established for symmetric cones. Secondly, it will be shown that if $C^\circ$ is the interior of a finite-dimensional closed cone $C$, then the Thompson's metric space $(C^\circ,d_C)$ can be quasi-isometrically embedded into a finite-dimensional normed space if, and only if, $C$ is a polyhedral cone. Moreover, $(C^\circ,d_C)$ is isometric to a finite-dimensional normed space if, and only if, $C$ is a simplicial cone. It will also be shown that if $C^\circ$ is the interior of a strictly convex cone $C$ with $3\leq \dim C<\infty$, then every Thompson's metric isometry is projectively linear.
△ Less
Submitted 28 May, 2013;
originally announced May 2013.
