For each ideal of multilinear mappings $\cal M$ we explicitly construct a corresponding ideal $^{a}{\cal M}$ such that multilinear forms in $^{a}{\cal M}$ are exactly those which can be approximated, in the uniform norm, by multilinear forms in ${\cal M}$. This construction is then applied to finite type, compact, weakly compact and absolutely summing multilinear mappings. It is also proved that the correspondence ${\cal M} \mapsto ^{a}{\cal M}$ is Aron-Berner stability preserving.
In the nonlinear field of multilinear operators and homogeneous polynomials between Banach spaces, we develop a technique, based on the transformation of vector-valued sequences, to create new examples of hyper-ideals of multilinear operators, polynomial hyper-ideals and polynomial two-sided ideals. Several well studied ideals are shown to be actually hyper-ideals or two-sided ideals.
In view of the fact that some classical methods to construct multi-ideals fail in constructing hyper-ideals, in this paper we develop two new methods to construct hyper-ideals of multilinear operators between Banach spaces. These methods generate new classes of multilinear operators and show that some important well studied classes are Banach or p-Banach hyper-ideals.
We introduce and develop the notion of hyper-ideals of multilinear operators between Banach spaces. While the well studied notion of ideals of multilinear operators (multi-ideals) relies on the composition with linear operators, the notion we propose, by considering the composition with multilinear operators, explores more deeply the nonlinear feature of the subject. The results we prove show that, although more restrictive a priori, hyper-ideals enjoy nice general properties and its theory is rich enough to provide distinguished examples in every situation where the corresponding multi-ideal …
We develop the duality theory between ideals of multilinear operators and tensor norms that arises from the geometric approach of $Σ$-operators. To this end, we introduce and develop the notions of $Σ$-ideals of multilinear operators and $Σ$-tensor norms. We establish the foundations of this theory by proving a representation theorem for maximal $Σ$-ideals of multilinear operators by finitely generated $Σ$-tensor norms and a duality theorem for $Σ$-tensor norms. For these notions we also develop basic theory and present concrete examples.
A standard technique in infinite dimensional holomorphy, which produced several useful results, uses the Borel transform to represent linear functionals on certain spaces of multilinear operators between Banach spaces as multilinear operators. In this paper we develop a technique to represent linear functionals, as linear operators, on spaces of multilinear operators that are beyond the scope of the standard technique. Concrete applications to some well studied classes of multilinear operators, including the class of compact multilinear operators, and to one new class are provided. We can see,…
We analyze the interplay between maximal/minimal/adjoint ideals of multilinear operators (between sequence spaces) and their associated Köthe sequence spaces. We establish relationships with spaces of multipliers and apply these results to describe diagonal multilinear operators from Lorentz sequence spaces. We also define and study some properties of the ideal of $(E;p)$-summing multilinear mappings, a natural extension of the linear ideal of absolutely $(E;p)$-summing operators.
The aim of this paper is to start the study of multilinear generalizations of the classical ideals of linear operators of type $p$ and cotype $q$. As a first step in a theory we believe will be long and fruitful, we propose a notion of type and cotype of multilinear operators and the resulting classes of such mappings are studied in the setting of the theory of Banach/quasi-Banach ideals of multilinear operators. Distinctions between the linear and the multilinear theories are pointed out, typical multilinear features of the theory are emphasized and many illustrative examples are provided. Th…
We study tensor norms that destroy unconditionality in the following sense: for every Banach space $E$ with unconditional basis, the $n$-fold tensor product of $E$ (with the corresponding tensor norm) does not have unconditional basis. We establish an easy criterion to check weather a tensor norm destroys unconditionality or not. Using this test we get that all injective and projective tensor norms different from $\varepsilon$ and $π$ destroy unconditionality, both in full and symmetric tensor products. We present applications to polynomial ideals: we show that many usual polynomial ideals nev…
Under some natural hypotheses, we show that if a multilinear mapping belongs to some Banach multlinear ideal, then it can be approximated by multilinear mappings belonging to the same ideal whose Arens extensions simultaneously attain their norms. We also consider the class of symmetric multilinear mappings.
Considering the successful theory of multiple summing multilinear operators as a prototype, we introduce the classes of multiple Cohen strongly p-summing multilinear operators and polynomials. The adequacy of these classes under the viewpoint of the theory of multilinear and polynomial ideals and holomorphy types is discussed in detail. Some abstract results are also proved in the abstract setting of the full general Pietsch Domination Theorem due to Pellegrino, Santos and Seoane-Sepúlveda.
We construct a general framework that generates classes of multilinear operators between Banach spaces which encompasses, as particular cases, the several classes of summing type multilinear operators that have been studied individually in the literature. Summing operators by blocks in the isotropic and anisotropic cases are taken into account. The classes we create are shown to be Banach ideals of multilinear operators and applications to coherence and coincidence theorems are provided.
We prove that any pair of reasonable cross norms defined on the tensor product of $n$ Banach spaces induce $(2k)^{n-1}$-Lipschitz equivalent metrics (and thus, a unique topology) on the set $S^k_{X_1,\ldots, X_n}$ of vectors of rank $\leq k$. With this, we define the Segre cone of Banach spaces, $Σ_{X_1,\ldots, X_n},$ and state when $S^k_{X_1,\ldots, X_n}$ is closed. We introduce an auxiliary mapping (a $Σ$-operator) that allows us to study multilinear mappings with a geometrical point of view. We use the isometric correspondence between multilinear mappings and Lipschitz $Σ$-operators, to hav…
We provide coincidence results for vector-valued ideals of multilinear operators. More precisely, if $\mathfrak A$ is an ideal of $n$-linear mappings we give conditions for which the following equality $\mathfrak A(E_1,\dots,E_n;F) = {\mathfrak A}^{min}(E_1,\dots,E_n;F)$ holds isometrically. As an application, we obtain in many cases that the monomials form a Schauder basis on the space $\mathfrak A(E_1,\dots,E_n;F)$. Several structural and geometric properties are also derived using this equality. We apply our results to the particular case where $\mathfrak A$ is the classical ideal of extend…
Ideals of polynomials and multilinear operators between Banach spaces have been exhaustively investigated in the last decades. In this paper, we introduce a unified (and more general) approach and propose some lines of investigation in this new framework. Among other results, we prove a Bohnenblust--Hille inequality in this more general setting.
In the last decades many authors have become interested in the study of multilinear and polynomial generalizations of families of operator ideals (such as, for instance, the ideal of absolutely summing operators). However, these generalizations must keep the essence of the given operator ideal and there seems not to be a universal method to achieve this. The main task of this paper is to discuss, study, and introduce multilinear and polynomial extensions of the aforementioned operator ideals taking into account the already existing methods of evaluating the adequacy of such generalizations. Be…
In this paper, we construct the abstract ideal of polynomials. We show this is an ideal of Banach and, in a second moment, we explore the question of the coherence and compatibility of the pair composed by the abstract ideals of polynomials and multilinear applications.
The paper is concerned with compact bilinear operators on asymmetric normed spaces. The study of multilinear operators on asymmetric normed spaces was initiated by Latreche and Dahia, Colloq. Math. (2020). We go further in this direction and prove a Schauder type theorem on the compactness of the adjoint of a compact bilinear operator and study the ideal properties of spaces of compact bilinear operators. These extend some results of Ramanujan and Schock, Linear and Multilinear Algebra (1985), and Ruch, ibid. (1989), on compact bilinear operators on Banach spaces. On the space of bilinear form…
We provide a short characterization of $p$-asymptotic uniform smoothability and asymptotic uniform flatenability of operators and of Banach spaces. We use these characterizations to show that many asymptotic uniform smoothness properties pass to injective tensor products of operators and of Banach spaces. In particular, we prove that the injective tensor product of two asymptotically uniformly smooth Banach spaces is asymptotically uniformly smooth. We prove that for $1<p<\infty$, the class of $p$-asymptotically uniformly smoothable operators can be endowed with an ideal norm making this class…
In this paper, we study the rigidity of uniform Roe algebras via the ideal structures. We showed that for given metric spaces X and Y with bounded geometry, if their uniform Roe algebras are isomorphic, then they are coarse equivalent.
We strengthen, in various directions, the theorem of Garnett that every $σ$-compact, completely regular space $X$ occurs as a Gleason part for some uniform algebra. In particular, we show that the uniform algebra can always be chosen so that its maximal ideal space contains no analytic discs. We show that when the space $X$ is metrizable, the uniform algebra can be chosen so that its maximal ideal space is metrizable as well. We also show that for every locally compact subspace $X$ of a Euclidean space, there is a compact set $K$ in some ${\mathbb C}^N$ so that $\hat K \setminus K$ contains a …
