SearcharxivSearch

arXiv subjects

Silvia Lassalle

Publications and source records attributed to Silvia Lassalle.

17 recordsLinked to original sources

Fibers and Gleason parts for the maximal ideal space of $\mathcal A_u(B_{\ell_p})$

In the early nineties, R. M. Aron, B. Cole, T. Gamelin and W.B. Johnson initiated the study of the maximal ideal space (spectrum) of Banach algebras of holomorphic functions defined on the open unit ball of an infinite dimensional complex Banach space. Within this framework, we investigate the fibers and Gleason parts of the spectrum of the algebra of holomorphic and uniformly continuous functions on the unit ball of $\ell_p$ ($1\le p<\infty$). We show that the inherent geometry of these spaces provides a fundamental ingredient for our results. We prove that whenever $p\in\mathbb N$ ($p\ge 2$), the fiber of every $z\in B_{\ell_p}$ contains a set of cardinal $2^{\mathfrak c}$ such that any two elements of this set belong to different Gleason parts. For the case $p=1$, we complete the known description of the fibers, showing that, for each $z\in\overline B_{\ell_1''}\setminus S_{\ell_1}$, the fiber over $z$ is not a singleton. Also, we establish that different fibers over elements in $S_{\ell_1''}$ cannot share Gleason parts.

math.FA

The fundamental functions of the canonical basis of Hardy spaces of Dirichlet series

Given a frequency $λ=(λ_n)$, we consider the Hardy spaces $ \mathcal{H}_p^λ$ of $λ$-Dirichlet series $ D = \sum_n a_n e^{-λ_n s}$ and study the asymptotic behavior of the upper and lower democracy functions of its canonical basis $\mathcal B=\{e^{-λ_ns}\}$. For the ordinary case, $\mathcal B=\{n^{-s}\}$, we give the correct asymptotic behavior of all such functions, while in the general case we give sharp lower and upper bounds for all possible behaviors. Moreover, for $p>2$ we present examples showing that any intermediate behavior (between the extreme bounds) can occur. We also study how different properties of the frequency $λ$ lead to particular behaviors of the corresponding fundamental functions. Finally, we apply our results to analyze greedy-type properties of $\mathcal B=\{e^{-λ_ns}\}$ for some particular $λ$'s.

math.FA

Weak weight-semi-greedy Markushevich bases

We introduce and study the notion of weak weight-semi-greedy Markushevich bases - which extends the concepts of weight semi-greedy and weak semi-greedy Markushevich bases. In particular, we study conditions under which such bases are weight almost greedy. We also define the notion of weak weight almost greedy bases, and prove that this formally weaker concept is equivalent to that concept of weight almost greedy bases. Finally, we study some parameters involving the weak thresholding and Chebyshevian greedy algorithms.

math.FA

Weak greedy algorithms and the equivalence between semi-greedy and almost greedy Markushevich bases

We introduce and study the notion of weak semi-greedy systems -which is inspired in the concepts of semi-greedy and Branch semi-greedy systems and weak thresholding sets-, and prove that in the context Markushevich bases in infinite dimensional Banach spaces, the notions of \textit{ semi-greedy, branch semi-greedy, weak semi-greedy, and almost greedy} Markushevich bases are all equivalent. This completes and extends some results from \cite{Berna2019}, \cite{Dilworth2003b}, and \cite{Dilworth2012}. We also exhibit an example of a semi-greedy system that is neither almost greedy nor a Markushevich basis, showing that the Markushevich condition cannot be dropped from the equivalence result. In some cases, we obtain improved upper bounds for the corresponding constants of the systems.

math.FA

Weaker forms of unconditionality of bases in greedy approximation

In this paper we study a new class of bases, weaker than quasi-greedy bases, which retain their unconditionality properties and can provide the same optimality for the thresholding greedy algorithm. We measure how far these bases are from being unconditional and use this concept to give a new characterization of nearly unconditional bases.

math.FA

Bidemocratic bases and their connections with other greedy-type bases

In nonlinear greedy approximation theory, bidemocratic bases have traditionally played the role of dualizing democratic, greedy, quasi-greedy, or almost greedy bases. In this article we shift the viewpoint and study them for their own sake, just as we would with any other kind of greedy-type bases. In particular we show that bidemocratic bases need not be quasi-greedy, despite the fact that they retain a strong unconditionality flavor which brings them very close to being quasi-greedy. Our constructive approach gives that for each $1<p<\infty$ the space $\ell_p$ has a bidemocratic basis which is not quasi-greedy. We also present a novel method for constructing conditional quasi-greedy bases which are bidemocratic, and provide a characterization of bidemocratic bases in terms of the new concepts of truncation quasi-greediness and partially democratic bases.

math.FA

Strong partially greedy bases and Lebesgue-type inequalities

In this paper we continue the study of Lebesgue-type inequalities for greedy algorithms. We introduce the notion of strong partially greedy Markushevich bases and study the Lebesgue-type parameters associated with them. We prove that this property is equivalent to that of being conservative and quasi-greedy, extending a similar result given in [9] for Schauder bases. We also give a characterization of 1-strong partial greediness, following the study started in [1,3].

math.FA

Gleason parts for algebras of holomorphic functions on the ball of $\mathbf{c_0}$

For a complex Banach space $X$ with open unit ball $B_X,$ consider the Banach algebras $\mathcal H^\infty(B_X)$ of bounded scalar-valued holomorphic functions and the subalgebra $\mathcal A_u(B_X)$ of uniformly continuous functions on $B_X.$ Denoting either algebra by $\mathcal A,$ we study the Gleason parts of the set of scalar-valued homomorphisms $\mathcal M(\mathcal A)$ on $\mathcal A.$ Following remarks on the general situation, we focus on the case $X = c_0.$

math.FA

Ideal structures in vector-valued polynomial spaces

This paper is concerned with the study of geometric structures in spaces of polynomials. More precisely, we discuss for $E$ and $F$ Banach spaces, whether the class of weakly continuous on bounded sets $n$-homogeneous polynomials, $\mathcal P_w(^n E, F)$, is an HB-subspace or an $M(1,C)$-ideal in the space of continuous $n$-homogeneous polynomials, $\mathcal P(^n E, F)$. We establish sufficient conditions under which the problem can be positively solved. Some examples are given. We also study when some ideal structures pass from $\mathcal P_w(^n E, F)$ as an ideal in $\mathcal P(^n E, F)$ to the range space $F$ as an ideal in its bidual $F^{**}$.

math.FA

Weaker relatives of the bounded approximation property for a Banach operator ideal

Fixed a Banach operator ideal $\mathcal A$, we introduce and investigate two new approximation properties, which are strictly weaker than the bounded approximation property (BAP) for $\mathcal A$ of Lima, Lima and Oja (2010). We call them the weak BAP for $\mathcal A$ and the local BAP for $\mathcal A$, showing that the latter is in turn strictly weaker than the former. Under this framework, we address the question of approximation properties passing from dual spaces to underlying spaces. We relate the weak and local BAPs for $\mathcal A$ with approximation properties given by tensor norms and show that the Saphar BAP of order $p$ is the weak BAP for the ideal of absolutely $p^*$-summing operators, $1\leq p\leq\infty$, $1/p + 1/{p^*}=1$.

math.FA

Operators ideals and approximation properties

We use the notion of $\A$-compact sets, which are determined by a Banach operator ideal $\A$, to show that most classic results of certain approximation properties and several Banach operator ideals can be systematically studied under this framework. We say that a Banach space enjoys the $\A$-approximation property if the identity map is uniformly approximable on $\A$-compact sets by finite rank operators. The Grothendieck's classic approximation property is the $\K$-approximation property for $\K$ the ideal of compact operators and the $p$-approximation property is obtained as the $\mathcal N^p$-approximation property for $\mathcal N^p$ the ideal of right $p$-nuclear operators. We introduce a way to measure the size of $\A$-compact sets and use it to give a norm on $\K_\A$, the ideal of $\A$-compact operators. Most of our results concerning the operator Banach ideal $\K_\A$ are obtained for right-accessible ideals $\A$. For instance, we prove that $\K_\A$ is a dual ideal, it is regular and we characterize its maximal hull. A strong concept of approximation property, which makes use of the norm defined on $\K_\A$, is also addressed. Finally, we obtain a generalization of Schwartz theorem with a revisited $ε$-product.

math.FA

On the polynomial Lindenstrauss theorem

Under certain hypotheses on the Banach space $X$, we show that the set of $N$-homogeneous polynomials from $X$ to any dual space, whose Aron-Berner extensions are norm attaining, is dense in the space of all continuous $N$-homogeneous polynomials. To this end we prove an integral formula for the duality between tensor products and polynomials. We also exhibit examples of Lorentz sequence spaces for which there is no polynomial Bishop-Phelps theorem, but our results apply. Finally we address quantitative versions, in the sense of Bollobás, of these results.

math.FA

The ideal of p-compact operators: a tensor product approach

We study the space of $p$-compact operators $\mathcal K_p$, using the theory of tensor norms and operator ideals. We prove that $\mathcal K_p$ is associated to $/d_p$, the left injective associate of the Chevet-Saphar tensor norm $d_p$ (which is equal to $g_{p'}'$). This allows us to relate the theory of $p$-summing operators with that of $p$-compact operators. With the results known for the former class and appropriate hypothesis on $E$ and $F$ we prove that $\mathcal K_p(E;F)$ is equal to $\mathcal K_q(E;F)$ for a wide range of values of $p$ and $q$, and show that our results are sharp. We also exhibit several structural properties of $\mathcal K_p$. For instance, we obtain that $\mathcal K_p$ is regular, surjective, totally accessible and characterize its maximal hull $\mathcal K_p^{max}$ as the dual ideal of the $p$-summing operators, $Π_p^{dual}$. Furthermore, we prove that $\mathcal K_p$ coincides isometrically with $\mathcal {QN}_p^{dual}$, the dual ideal of the quasi $p$-nuclear operators.

math.FA

On p-Compact mappings and p-approximation

The notion of $p$-compact sets arises naturally from Grothendieck's characterization of compact sets as those contained in the convex hull of a norm null sequence. The definition, due to Sinha and Karn (2002), leads to the concepts of $p$-approximation property and $p$-compact operators, which form a ideal with its ideal norm $κ_p$. This paper examines the interaction between the $p$-approximation property and the space of holomorphic functions. Here, the $p$-compact analytic functions play a crucial role. In order to understand this type of functions we define a $p$-compact radius of convergence which allow us to give a characterization of the functions in the class. We show that $p$-compact holomorphic functions behave more like nuclear than compact maps. We use the $ε$-product, defined by Schwartz, to characterize the $p$-approximation property of a Banach space in terms of $p$-compact homogeneous polynomials and also in terms of $p$-compact holomorphic functions with range on the space. Finally, we show that $p$-compact holomorphic functions fit in the framework of holomorphy types which allows us to inspect the $κ_p$-approximation property. Along these notes we solve several questions posed by Aron, Maestre and Rueda in [2].

math.FA

$M$-structures in vector-valued polynomial spaces

This paper is concerned with the study of $M$-structures in spaces of polynomials. More precisely, we discuss for $E$ and $F$ Banach spaces, whether the class of weakly continuous on bounded sets $n$-homogeneous polynomials, $\mathcal P_w(^n E, F)$, is an $M$-ideal in the space of continuous $n$-homogeneous polynomials $\mathcal P(^n E, F)$. We show that there is some hope for this to happen only for a finite range of values of $n$. We establish sufficient conditions under which the problem has positive and negative answers and use the obtained results to study the particular cases when $E=\ell_p$ and $F=\ell_q$ or $F$ is a Lorentz sequence space $d(w,q)$. We extend to our setting the notion of property $(M)$ introduced by Kalton which allows us to lift $M$-structures from the linear to the vector-valued polynomial context. Also, when $\mathcal P_w(^n E, F)$ is an $M$-ideal in $\mathcal P(^n E, F)$ we prove a Bishop-Phelps type result for vector-valued polynomials and relate norm-attaining polynomials with farthest points and remotal sets.

math.FA

The reconstruction formula for Banach frames and duality

We study conditions on a Banach frame that ensures the validity of a reconstruction formula. In particular, we show that any Banach frames for (a subspace of) $L_p$ or $L_{p,q}$ ($1\le p < \infty$) with respect to a solid sequence space always satisfies an unconditional reconstruction formula. The existence of reconstruction formulae allows us to prove some James-type results for atomic decompositions: an unconditional atomic decomposition (or unconditional Schauder frame) for $X$ is shrinking (respectively, boundedly complete) if and only if $X$ does not contain an isomorphic copy of $\ell_1$ (respectively, $c_0$).

math.FA

Orthogonally additive holomorphic functions of bounded type over $C(K)$

It is known that all $k$-homogeneous orthogonally additive polynomials $P$ over $C(K)$ are of the form $$ P(x)=\int_K x^k dμ. $$ Thus $x\mapsto x^k$ factors all orthogonally additive polynomials through some linear form $μ$. We show that no such linearization is possible without homogeneity. However, we also show that every orthogonally additive holomorphic functions of bounded type $f$ over $C(K)$ is of the form $$ f(x)=\int_K h(x) dμ$$ for some $μ$ and holomorphic $h\colon C(K) \to L^1(μ)$ of bounded type.

math.FA