Abstract
This is a list of open problems posed at the workshop on Ordered Banach Algebras held at the Lorentz Center, Leiden, during the week 21–25 July, 2014.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
We call A a Banach lattice algebra if it is both a Banach lattice and a Banach algebra and furthermore the product of two positive elements is positive.
Characterize those Banach lattice algebras A for which the left regular representation \(a\mapsto L_a\), where \(L_a(x)=a x\), into the space of regular operators \({\mathcal L}^r(A)\) preserves finite suprema and infima, as well as being an algebra homomorphism. Even an answer for Dedekind complete Banach lattice algebras would be of interest, when we are asking about it being a lattice homomorphism. In addition, consider when such representations are either faithful or isometric. The natural norm to take on \({\mathcal L}^r(A)\) would be the regular norm, but it is conceivable that the question might be of interest for the operator norm as well.
FormalPara Problem 2Characterize those Banach lattice algebras A for which there exists any faithful algebra homomorphism, preserving finite suprema and infima, into some space of regular operators, \({\mathcal L}^r(E)\). Note that the existence of such a representation does not imply that the left regular representation possesses these properties, see [20]. In particular it seems to be open as to whether or not every Banach lattice algebra can be represented in this manner. If such a representation exists, when can it be taken to be isometric, either for the regular or operator norm on \({\mathcal L}^r(E)\)?
FormalPara Problem 3If there is such a representation of A in \({\mathcal L}^r(E)\), as asked in Problem 2, then it would be tempting to compose it with the map \(T\mapsto T^{**}:{\mathcal L}^r(E)\rightarrow {\mathcal L}^r(E^{**})\) to obtain a representation of A as a space of regular operators on a Dedekind complete Banach lattice. However, the map \(T\mapsto T^{**}\) need not be a lattice homomorphism, so this process will fail. Therefore it is a separate question to characterize those A which can be represented in this way in \({\mathcal L}^r(E)\), with E being Dedekind complete.
FormalPara Problem 4In the absence of complete solutions to Problems 1, 2 and 3, identify relatively simple sufficient conditions for a Banach lattice algebra to have such representations.
FormalPara Problem 5Given that Problem 3 is an analogue of the Gelfand–Naimark theorem, for which the Gelfand–Naimark–Segal construction is a key ingredient, we ask if there is a positive Gelfand–Naimark–Segal construction for lattice algebra homomorphisms from a Banach lattice algebra (in a suitable class) into the Banach lattice algebra of regular operators on a Dedekind complete Banach lattice?
FormalPara Problem 6Arendt, [2, 3], has given an indirect proof using deep results of Brainerd and Edwards that if G is a locally compact group then the left regular representation of \(L^1(G)\) in \({\mathcal L}^r\big (L^1(G)\big )\) is a lattice homomorphism. He also proves that if \(1<p<\infty \) and G is amenable then the action of \(L^1(G)\) on \(L^p(G)\) gives a lattice homomorphism of \(L^1(G)\) into \({\mathcal L}^r\big (L^p(G)\big )\). Give a direct proof.
Update: This has been solved in [11], where the amenability condition on G in the case \(1<p<\infty \) is removed. This is ongoing research and will be published in due course.
FormalPara Problem 7It also follows from [2, 3] that there is an isometric Banach lattice and algebra isomorphism of M(G) into \({\mathcal L}^r\big (L^p(G)\big )\) for any \(p\in [1,\infty )\) if either \(p=1\) or G is amenable. It does not seem to be so clear that the left regular representation of M(G) in \({\mathcal L}^r\big (M(G)\big )\) possesses these properties.
Update: In view of [11], is the amenability of G necessary for the representation of M(G) in \({\mathcal L}^r\big (L^p(G)\big )\) to be a lattice homomorphism in the case \(p>1\)?
FormalPara Problem 8When there is a faithful or isometric representation of a Banach lattice algebra A in \({\mathcal L}^r(E)\), what extra conditions on A are needed for the representation to be chosen so that the image of A can be a band (resp. \(\sigma \)-ideal or ideal) in \({\mathcal L}^r(E)\)? In particular, is this always possible? Of course, the definitions of band etc. will need to be modified when \({\mathcal L}^r(E)\) is not a lattice.
FormalPara Problem 9If a Banach lattice algebra has an approximate identity \((e_\gamma )\) with all \(\Vert e_\gamma \Vert \le 1\), must it have an approximate identity composed of positive elements?
FormalPara Problem 10Suppose that A is a non-unital Banach lattice algebra. Let \(B_1\) and \(B_2\) be unital Banach lattice algebras, containing A as a sublattice and subalgebra, such that the smallest unital sublattice and subalgebra of \(B_k\) containing A is the whole of \(B_k\) (\(k=1,2\)). Is it true that for all \(x\in A\), \(\sigma _{B_1}(x)=\sigma _{B_2}(x)\)? The same question is of interest if \(B_1\) and \(B_2\) are restricted to be Banach lattice algebras with identities of norm 1.
FormalPara Problem 11Find conditions on a unital Banach lattice algebra A such that if A is a sublattice and unital subalgebra of a larger Banach lattice algebra B then \(\sigma _A(x)=\sigma _B(x)\) for all \(x\in A\). It would be of particular interest if some familiar order theoretic property of A, such as Dedekind completeness, were sufficient.
FormalPara Problem 12If A is a Banach lattice algebra that is not Dedekind complete, can it be embedded in a Dedekind complete Banach lattice superalgebra B in such a way that every lattice algebra homomorphism from A into a Dedekind complete Banach lattice algebra C extends uniquely to a lattice algebra homomorphism from B into C? A candidate construction for such B might consist of the Dedekind completion of A with a judicious choice of extensions of the norm and multiplication on A, but it is not even clear whether this can always be done so as to make B a Banach lattice algebra.
FormalPara Problem 13There is a theory of free Banach lattices, [15]. Is there a sensible notion of a free Banach lattice algebra? If so, what can be said about its representations?
FormalPara Problem 14Develop a categorically satisfying theory of Banach lattice algebra tensor products. Presumably the Fremlin tensor product of Banach lattices would be a starting point, but this is not entirely clear.
FormalPara Problem 15If A is a non-unital Banach lattice algebra, can it be embedded in a unital Banach lattice superalgebra B in such a way that every lattice algebra homomorphism from A into a unital Banach lattice algebra C extends uniquely to a unital lattice and algebra homomorphism from B into C? If we restrict C to lie in the class of unital Banach lattice algebras with positive identities, can we make B have a positive identity?
FormalPara Problem 16If the Banach lattice algebra A has a positive algebra identity e and also has a faithful lattice and algebra representation in \({\mathcal L}^r(E)\), is the ideal generated by the image of e necessarily an f-algebra? If \(E=A\) and the representation is the left regular representation then the image of e is the identity operator on A and this ideal is precisely Z(A) which is certainly an f-algebra.
FormalPara Problem 17Is there a “positive” Cohen factorization for Banach lattice algebras?
Update: As pointed out in [10], Rudin has given a negative answer to the general question in [19], but there are some algebras for which the answer is positive. The picture as a whole is not clear yet.
FormalPara Problem 18A unital \(C^*\)-algebra is generated, in fact spanned, by its unitaries. Is there an interesting class of Banach lattice algebras that is generated (or even spanned) as a Banach lattice algebra by its positive invertible norm one elements that have a positive norm one inverse?
FormalPara Problem 19Certain specific well-known (and lesser known) Banach algebras still need to be investigated in order to determine if they are, in fact, ordered Banach algebras and, if so, what properties their algebra cones possess. This list includes \(L^1(G)\) (with G a locally compact commutative group) and, in particular, \(L^1({\mathbb Z}) = \ell ^1\) (the Wiener algebra); the disc algebra both as an ordered subalgebra of the corresponding algebra of continuous functions and with the positive elements being the functions such that all coefficients in their Taylor series expansion are positive; the order bounded operators on a complex Banach lattice E (note that they are the same as the regular operators on E if E is Dedekind complete) and the multi-bounded operators on a complex Banach lattice.
FormalPara Problem 20Given a two-sided (algebraic) ideal, or a multiplicative ideal, or an order ideal (how should the latter be defined?) I in an ordered Banach algebra A, and \(a, b \in A\) with \(0 \le a \le b\), under what conditions does it follow from \(b \in I\) that \(a^n \in I\) for some natural number n? This constitutes a more general form of the well-known domination problem (see [14], Sect. 4.2).
FormalPara Problem 21We know (see [18]) that the algebra cone \(\pi C\) in the quotient algebra A / I of an ordered Banach algebra A modulo a closed ideal I (with \(\pi : A \rightarrow A/I\) the canonical homomorphism) is proper if and only if it follows from \(a, b\in A, \ 0 \le a \le b\) and \(b\in I\) that \(a \in I\). Would it be possible to characterize some property of the algebra cone in A / I in terms of the property [\(a,b\in A\) with \(0 \le a \le b\) and \(b \in I\)] \(\Rightarrow \) [\(a^n\in I\) for some \(n \in {\mathbb N}\)] mentioned in Problem 20?
FormalPara Problem 22Let A be an ordered Banach algebra and let \(a, b\in A\) such that \(0 \le a \le b\). Given a spectral property (P), provide conditions which will ensure that if a satisfies (P), then \(b^n\) satisfies (P) for some natural number n. This constitutes a “converse” domination problem.
FormalPara Problem 23Can any of the existing domination results currently relying on weak monotonicity of the spectral radius in the quotient algebra (see Sect. 4.2 in [14]) be proved without this condition? Maybe if the algebra cone in the original Banach algebra is assumed to be normal and/or generating? (This could allow these results to apply to other cases than the regular operators.)
FormalPara Problem 24Can the ergodic domination theorem (see Theorem 5.5 in [13]) be extended by replacing the condition “\(0 \le a\le b\)” with the weaker condition “\(\pm a \le b\)”?
FormalPara Problem 25Can any of the relevant Gelfand-Hille/Huijsmans-De Pagter results (see Sect. 4.3 in [14]) be improved if the algebra cone is assumed to be normal and/or generating? In particular, in Theorem 4.3.8 in [14] where 1 is assumed to be a pole of the resolvent of a, can the result be proved for orders higher than 2?
FormalPara Problem 26The concept of irreducible elements in ordered Banach algebras was established in [1]. Several aspects of these elements, in particular the peripheral spectrum, still have to be investigated.
FormalPara Problem 27Investigate the possibility of generalizing order continuity results from operators on Banach lattices to ordered Banach algebras.
The reader is referred to [9] for the primary definitions concerning multi-norms and to [5,6,7] for further material.
In [9] Theorem 6.33, the space of multi-bounded operators between two Banach lattices, taken with their Banach lattice multi-norm, is identified in some cases. Often they are just the space of regular operators between the Banach lattices. What are they in other cases?
FormalPara Problem 29The theory of decompositions of Banach spaces in relation to multi-norms involves orthogonal and small decompositions, using the language of §7.1 of [9]. Each small decomposition is orthogonal. It would be nice if the converse were true.
FormalPara Problem 30In [7] and [5], the authors attempted to determine when two (p, q)-multi-norms (for \(1\le p\le q\)) based on the spaces \(\ell ^r\), where \(r\ge 1\), are equivalent. They have a full solution when \(r=1\) and when \(r\ge 2\), but less than a full solution when \(1<r<2\). There is a strong connection between this question and the calculation of absolutely summing norms. One method of showing that two points \((p_1,q_1)\) and \((p_2,q_2)\) do not give equivalent multi-norms would be to show that there is no constant \(C>0\) such that
for all \(n\in {\mathbb N}\), where \(\pi _{q,p}\) denotes the (q, p)-summing norm. A good step towards the resolution of the remaining case would be to calculate an asymptotic formula for \(\pi _{2,1}(I_n:\ell _n^{r'}\rightarrow \ell _n^r)\). This seems to be an interesting question in its own right: its is surprising that there is apparently no answer in the classical literature.
It is possible to define the notion of a “multi-Banach algebra”. Indeed, let A be a Banach algebra and \((\Vert \cdot \Vert _n)\) be a multi-norm based on the Banach space A. Then \((A,\Vert \cdot \Vert _n)\) is a multi-Banach algebra if
for all \(n\in {\mathbb N}\) and all \(a_1,\dots ,a_n, b_1,\dots ,b_n\in A\).
Is there any useful general theory of multi-Banach algebras?
FormalPara Problem 32Several multi-norms on the group algebra \(L^1(G)\) of a locally compact group give a multi-Banach algebra. Does this lead to any interesting information about \(L^1(G)\)? Which multi-norms work here?
FormalPara Problem 33The multi-bounded operators \({\mathcal M}(E)\) based on a fixed multi-normed space E give a multi-Banach algebra. This generalizes the Banach algebra \({\mathcal L}^r(E)\) of all regular operators on a (suitable) Banach lattice E. Is this interesting? What are the Banach algebras that we obtain in cases where \({\mathcal M}(E)\) is not equal to \({\mathcal L}^r(E)\)?
FormalPara Problem 34Both \(L^1(G)\) and \({\mathcal M}(E)\) (the multi-bounded operators on a Banach lattice) are often examples of Banach lattice algebras and of multi-Banach algebras. Is there a useful resonance between the theories of Banach lattice algebras and of multi-Banach algebras?
The notion of a p-multi-norm was first given in [17], under the name “type-p multi-norm”. They are mentioned in [9], whilst [8] is a memoir on this topic. The canonical p-multi-norm, \((\Vert \cdot \Vert _n^{L,P})\), on a Banach lattice E, for \(p\in [1,\infty )\), is defined by
for \(n\in {\mathbb N}\) and \({\mathbf x}=(x_1,\dots ,x_n)\in E^n\).
In at least some cases, the p-multi-bounded operators from a Banach lattice into itself form a Banach lattice algebra. How does this tie in with order theoretically defined spaces of operators on a Banach lattice?
FormalPara Problem 36In [9], there is a duality theory for multi-norms that gives a multi-norm (not a dual multi-norm). Is there a similar duality theory for p-multi-norms that gives a p-multi-norm (not a \(p'\)-multi-norm)?
FormalPara Problem 37A 2-convex 2-multi-norm is just an operator sequence space in the sense of [12]. Do any results of [12] generalize to suitable p-multi-norms?
FormalPara Problem 38A p-multi-norm is a special case of a power-norm, as defined in [8] and studied in [4]. An example of a power-norm \((\Vert \cdot \Vert _n)\) based on a Banach space E is given by
where \((r_k)\) is the sequence of Rademacher functions. Does this example fit into a version of the p-multi-norm theory? Does it relate to Rademacher-bounded sequences of operators, rather extensively studied in the last decade?
References
Alekhno, E.A.: The irreducibility in ordered Banach algebras. Positivity 16(1), 143–176 (2012). doi:10.1007/s11117-011-0117-9
Arendt, W.: Über das Spektrum regulärer Operatoren, Dissertation, University of Tübingen (1979)
Arendt, W.: On the o-spectrum of regular operators and the spectrum of measures. Math. Z. 178(2), 271–287 (1981). doi:10.1007/BF01262044
Blasco, O.: Power-normed spaces. Positivity (2016). doi:10.1007/s11117-016-0404-6
Blasco, O., Dales, H.G., Pham, H.L.: Equivalences involving (p, q)-multi-norms. Studia Math. 225(1), 29–59 (2014). doi:10.4064/sm225-1-3
Dales, H.G., Daws, M., Pham, H.L., Ramsden, P.: Multi-norms and the injectivity of Lp (G). J. Lond. Math. Soc. (2) 86(3), 779–809 (2012). doi:10.1112/jlms/jds026
Dales, H.G., Daws, M., Pham, H.L., Ramsden, P.: Equivalence of multi-norms. Dissertationes Math. (Rozprawy Mat.) 498, 53 (2014). doi:10.4064/dm498-0-1
Dales, H.G., Laustsen, N.J., Oikhberg, T., Troitsky, V.: Multi-norms and Banach lattices, Dissertationes Math. (Rozprawy Mat.) (to appear)
Dales, H.G., Polyakov, M.E.: Multi-normed spaces. Dissertationes Math. (Rozprawy Mat.) 488, 165 (2012). doi:10.4064/dm488-0-1
de Jeu, M., Jiang, X.: Simultaneous power factorization in modules over Banach algebras. Positivity (2016). doi:10.1007/s11117-016-0457-6
Kok, D.: Lattice Algebra Representations of L1 (G) on Translation Invariant Banach Function Spaces. Leiden University, advisor M. de Jeu, Leiden (2016)
Lambert, A., Neufang, M., Runde, V.: Operator space structure and amenability for Figà-Talamanca-Herz algebras. J. Funct. Anal. 211(1), 245–269 (2004). doi:10.1016/j.jfa.2003.08.009
Mouton, S., Muzundu, K.: Domination by ergodic elements in ordered Banach algebras. Positivity 18(1), 119–130 (2014). doi:10.1007/s11117-013-0234-8
Mouton, S., Raubenheimer, H.: Spectral theory in ordered Banach algebras. Positivity (2016). doi:10.1007/s11117-016-0440-2
de Pagter, B., Wickstead, A.W.: Free and projective Banach lattices. Proc. R. Soc. Edinb. Sect. A 145(1), 105–143 (2015). doi:10.1017/S0308210512001709
Pisier, G.: Complex interpolation between Hilbert, Banach and operator spaces. Mem. Amer. Math. Soc. 208(978), vi+78 (2010). doi:10.1090/S0065-9266-10-00601-0
Ramsden, P.: Homological properties of semigroup algebras. Thesis, University of Leeds, (2009)
Raubenheimer, H., Rode, S.: Cones in Banach algebras. Indag. Math. (N.S.) 7(4), 489–502 (1996)
Rudin, W.: Factorization in the group algebra of the real line. Proc. Nat. Acad. Sci. U.S.A 43, 339–340 (1957)
Wickstead, A.W.: Banach lattice algebras: some questions but very few answers, Positivity (this issue)
Author information
Authors and Affiliations
Corresponding author
Additional information
This list of problems is based on three preliminary reports produced by Gerard Buskes, Garth Dales and Sonja Mouton. The author would like to extend thanks to them for their work in preparing the original list and to them, Marcel de Jeu and Vladimir Troitsky for further input into this final list.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Wickstead, A.W. Ordered Banach algebras and multi-norms: some open problems. Positivity 21, 817–823 (2017). https://doi.org/10.1007/s11117-017-0488-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11117-017-0488-7