Searcharxiv⌕ Search

arXiv subjects

José L. Ansorena

Publications and source records attributed to José L. Ansorena.

At least 19 recordsLinked to original sources

Isometries without linear shadows: failure of Figiel's theorem beyond local convexity

A classical theorem of Figiel asserts that every isometric embedding $φ\colon X\to Y$ between real Banach spaces, with $φ(0)=0$, admits a linear contractive left inverse on the closed linear span of $φ(X)$. We show that this phenomenon breaks down completely once local convexity is lost. More precisely, for every $0<p<1$ and every nonzero real Banach space $X$, we construct a $p$-Banach space $Y$ and an isometric embedding $φ\colon X\to Y$ such that $φ(0)=0$ and the closed linear span of $φ(X)$ is the entire space $Y$, but there is no linear map, bounded or not, on the linear span of $φ(X)$ which is a left inverse of $φ$. The construction is carried out using the $p$-Banach counterpart of Lipschitz-free spaces. In fact, $Y$ may be chosen isomorphic to the Lipschitz-free $p$-space over $X$. The main ingredient is a quantitative estimate controlling the distance to elementary molecules in Lipschitz-free $p$-spaces, a phenomenon specific to the range $0<p<1$. As a further consequence, we show that a real Banach space has the isometric $p$-lifting property if and only if its dimension is at most one.

math.FA↗

Differentiability of Lipschitz curves in $p$-Banach spaces

The problem of differentiating Lipschitz curves in Banach spaces goes back to Tamarkin in the early 1930s and is one of the origins of the Radon--Nikodým property in classical Banach space theory. In this article we characterize those quasi-Banach spaces $X$ for which every Lipschitz curve $F\to\mathbb{R}\to X$ admits a point of differentiability and prove that this property holds if and only if $X$ is isomorphic to a Banach space with the Radon--Nikodým property, thus substantiating a conjecture of Kalton, communicated personally to the first-named author in 2008. Equivalently, every nonlocally convex quasi-Banach space admits a nowhere differentiable Lipschitz curve. Our result is obtained from a quantitative characterization of local convexity in terms of the infinitesimal oscillation of Lipschitz curves. Motivated by this obstruction, we then investigate positive differentiability phenomena in $\ell_p$, $0<p<1$, and identify natural decoupled-coordinate constructions for which Lipschitz regularity nevertheless implies almost-everywhere differentiability. We also contrast this behavior with metric differentiability for the natural metric and the quasi-metric on $\ell_p$.

math.FA↗

Structural consequences of the Schur $p$-property for Lipschitz-free $p$-spaces

Let $0<p<q\leq 1$. We show that the Schur $p$-property provides a powerful structural principle for Lipschitz-free $p$-spaces. Our main result asserts that $\mathcal{F}_p(M)$ has the Schur $p$-property for every $q$-metric space $M$; when $M$ is compact, it has the strong Schur $p$-property, with a constant depending only on $p$ and $q$. As consequences, $\mathcal{F}_p(M)$ is $\ell_p$-saturated, contains no isomorphic copy of an infinite-dimensional $r$-Banach space for $p<r\leq 1$, and every bounded operator from a $p$-Banach space into $\mathcal{F}_p(M)$ is either compact or fixes a copy of $\ell_p$. These results settle Questions 6.1, 6.2, 6.5, and 6.6 from our recent work [F. Albiac, J. L. Ansorena, J. B\'ıma and M. Cúth, Lipschitz free p-spaces for $0<p<1$ in the light of the Schur $p$-property and the compact reduction, J. Geom. Anal. 36 (2026), Paper No. 54] on the Schur $p$-property, together with several related problems. They also confirm a prediction of Kalton and the first-named author from 2009: no infinite-dimensional $q$-Banach space has the $p$-Lipschitz lifting property. Further applications reveal a sharp contrast between the linear and Lipschitz structures of nonlocally convex spaces.

math.FA↗

Boundedness of the averaging projections in nonlocally convex Lorentz sequence spaces and applications to basis theory

We study the boundedness of averaging projections associated with symmetric Schauder bases in quasi-Banach spaces. Although this property is standard in the Banach setting, it is far from clear in the absence of local convexity and, indeed, fails for a broad class of quasi-Banach spaces with a symmetric basis, including $\ell_p$ for $0<p<1$. Our main result shows that, nevertheless, the canonical basis of an entire class of weighted Lorentz sequence spaces, including the spaces $\ell_{p,q}$ for $0<q<1<p<\infty$, has uniformly bounded averaging projections. Thus, bounded averaging projections do not characterize local convexity among quasi-Banach spaces with symmetric bases. As applications, we obtain new consequences for the structure of special bases. In particular, as a byproduct of our approach, we derive new examples of conditional and almost greedy bases in nonlocally convex spaces.

math.FA↗

Lipschitz extensions into $p$-Banach spaces, and canonical embeddings of Lipschitz-free $p$-spaces for $0<p<1$

We show that inclusions of $p$-metric spaces always produce genuine linear embeddings at the level of Lipschitz-free $p$-spaces. More precisely, for every $0<p<1$ and every inclusion $ \mathit{N}\subset \mathit{M}$ of $p$-metric spaces, the canonical map from $ \mathit{F}_p(\mathit{N})$ into $ \mathit{F}_p( \mathit{M})$ is always an isomorphic embedding, as it plainly happens for $p=1$. Our proof relies on a versatile extension procedure for $p$-Banach-valued Lipschitz maps, allowing us to control the geometry of canonical molecules and uncover a rigidity principle governing the structure of Lipschitz free $p$-spaces. As an application, we prove that, given $0<p<q\le 1$, the natural envelope map from the Lipschitz-free $p$-space $ \mathit{F}_p( \mathit{M})$ to its $q$-Banach envelope $ \mathit{F}_q( \mathit{M})$ is one-to-one. These results give positive answers to two foundational questions that were originally raised by Kalton in [Lipschitz structure of quasi-Banach spaces, Israel J. Math. 170 (2009), 317-335], and provide tools for furthering the understanding of subspace structures, hereditary properties, and geometric invariants in Lipschitz-free $p$-spaces.

math.FA↗

Isometric renormings for greedy bases in Banach spaces, with applications to the Haar System in $L_p[0,1]$, $1<p<\infty$

We investigate the problem of improving the greedy-type constant of a basis by means of an equivalent renorming of the ambient Banach space. Our main result shows that if a Banach space admits an unconditional and bidemocratic basis whose fundamental function satisfies certain regularity properties, then the space can be renormed so that the basis becomes isometrically greedy. The renorming simultaneously ensures lattice $1$-unconditionality, isometric bidemocracy, and allows prescribing the fundamental function up to a suitable regularization. As a principal application, we resolve a long-standing problem posed by Albiac--Wojtaszczyk in 2006 by proving that for each $1<p<\infty$ the $L_p$-normalized Haar system can be made $1$-greedy under an equivalent norm of $L_p$. Further applications include isometric greedy renormings for bases of Besov spaces, mixed-norm direct sums, and for a wide class of subsymmetric and conditional bases, including spreading models and the canonical basis of Schlumprecht space. These results show that isometric greedy renormings arise in far greater generality than previously known.

math.FA↗

Remarks about symmetry-type conditions of conditional bases of Banach spaces

We investigate the existence of equivalent p-norms, 0< p 1, under which conditional symmetric or spreading bases in quasi-Banach spaces become isometric. For spreading bases (which need not be unconditional or even Schauder bases), we develop new techniques involving the geometry of spreading sequences and their associated spreading models. We prove that any spreading basis is automatically seminormalized, M-bounded, and uniformly spreading, which allows the construction of an isometric renorming via its spreading model. For symmetric bases, we show they are necessarily spreading and uniformly symmetric, enabling a direct application of a renorming lemma for uniformly bounded semigroups of operators. Consequently, any quasi-Banach space with a symmetric basis admits a renorming making all permutations isometries, and any spreading basis admits a renorming making all increasing maps isometries. These results extend and unify classical isometric renorming theorems for unconditional, subsymmetric, and symmetric Schauder bases to the conditional, non-Schauder setting.

math.FA↗

On the basic sequence structure of variable exponent Lebesgue spaces

We study the subsymmetric basic sequence structure of variable exponent Lebesgue spaces $L_{P}$ built from index functions $P\colonΩ\to(0,\infty]$ on $σ$-finite measure spaces $(Ω,Σ,μ)$. Specifically, we prove that if $P$ is bounded away from infinity, then any complemented subsymmetric basic sequence of $L_{P}$ is equivalent to the canonical basis of $\ell_r$ for some $r\ge 1$ in the essential range of $P$.

math.FA↗

When Greedy Approximation Breaks: Counterexamples in Quasi-Banach Spaces

We construct two counterexamples that resolve long-standing open problems on greedy approximation theory with respect to bases, posed in [F. Albiac et al., Dissertationes Math. 560 (2021)] and restated in [F. Albiac, J. L. Ansorena, V. Temlyakov, J. Approx. Theory 307 (2025)]. Our first result exhibits a quasi-Banach space $\mathbb{X}$ with an almost greedy basis which, when transported to the Banach envelope of $\mathbb{X}$, ceases to be quasi-greedy. This shows that the passage to the Banach envelope, although it preserves linear and lattice structure, may radically disrupt the performance of the thresholding greedy algorithm, to the extent that in some respects it could perform better in a quasi-Banach space than in its Banach envelope. Our second result constructs an almost greedy Markushevich basis in a nonlocally convex quasi-Banach space $\mathbb{Y}$ which fails to be a Schauder basis under any reordering. Together, these examples highlight that local convexity and the Banach envelope construction play an unexpectedly active role in shaping greedy approximation phenomena, revealing structural differences between Banach and quasi-Banach spaces that go beyond the classical theory of bases.

math.FA↗

Lipschitz free $p$-spaces for $0<p<1$ in the light of the Schur $p$-property and the compact reduction

The geometric analysis of non-locally convex quasi-Banach spaces presents rich and nuanced challenges. In this paper, we introduce the Schur $p$-property and the strong Schur $p$-property for $0 < p \leq 1$, providing new tools to deepen the understanding of these spaces, and the Lipschitz free $p$-spaces in particular. Moreover, by developing an adapted version of the compact reduction principle, we prove that Lipschitz free $p$-spaces over discrete metric spaces possess the approximation property, thereby answering positively a question raised by Albiac et al. in arXiv:2005.06555v2.

math.FA↗

Embeddability of $\ell_p$-spaces into mixed-norm Lebesgue spaces in connection with the validity of vector-valued extensions of the Riesz--Fischer Theorem

The aim of this paper is twofold. On the one hand, we compute, in terms of $r$ and $s$, the indices $p$ for which $\ell_p$ isomorphically embeds into the mixed-norm separable spaces $L_s(L_r)$, $\ell_s(L_r)$, $L_s(\ell_r)$ and $\ell_s(\ell_r)$. On the other hand, we use this information to move forward in the isomorphic classification of mixed-norm spaces. In particular, we tell apart the spaces $L_2(L_r)$ and $\ell_2(L_r)$, $r\not=2$.

math.FA↗

Unconditional basic sequences in function spaces with applications to Orlicz spaces

We find conditions on a function space $\bf{L}$ that ensure that it behaves as an $L_p$-space in the sense that any unconditional basis of a complemented subspace of $\bf{L}$ either is equivalent to the unit vector system of $\ell_2$ or has a subbasis equivalent to a disjointly supported basic sequence. This dichotomy allows us to classify the symmetric basic sequences of $\bf{L}$. Several applications to Orlicz function spaces are provided.

math.FA↗

The structure of greedy-type bases in Tsirelson's space and its convexifications

Tsirelson's space $\mathcal{T}$ made its appearance in Banach space theory in 1974 soon to become one of the most significant counterexamples in the theory. Its structure broke the ideal pattern that analysts had conceived for a generic Banach space, thus giving rise to the era of pathological examples. Since then, many authors have contributed to the study of different aspects of this special space with an eye on better understanding its idiosyncrasies. In this paper we are concerned with the greedy-type basis structure of $\mathcal{T}$, a subject that had not been previously explored in the literature. More specifically, we show that Tsirelson's space and its convexifications $\mathcal{T}^{(p)}$ for $0<p<\infty$ have uncountably many non-equivalent greedy bases. We also investigate the conditional basis structure of spaces $\mathcal{T}^{(p)}$ in the range of $0<p<\infty$ and prove that they have uncountably many non-equivalent conditional almost greedy bases.

math.FA↗

Elton's near unconditionality of bases as a threshold-free form of greediness

Elton's near unconditionality and quasi-greediness for largest coefficients are two properties of bases that made their appearance in functional analysis from very different areas of research. One of our aims in this note is to show that, oddly enough, they are connected to the extent that they are equivalent notions. We take advantage of this new description of the former property to further the study of the threshold function associated with near unconditionality. Finally, we made a contribution to the isometric theory of greedy bases by characterizing those bases that are $1$-quasi-greedy for largest coefficients.

math.FA↗

Existence of almost greedy bases in mixed-norm sequence and matrix spaces, including Besov spaces

We prove that the sequence spaces $\ell_p\oplus\ell_q$ and the spaces of infinite matrices $\ell_p(\ell_q)$, $\ell_q(\ell_p)$ and $(\bigoplus_{n=1}^\infty \ell_p^n)_{\ell_q}$, which are isomorphic to certain Besov spaces, have an almost greedy basis whenever $0<p<1<q<\infty$. More precisely, we custom-build almost greedy bases in such a way that the Lebesgue parameters grow in a prescribed manner. Our arguments critically depend on the extension of the Dilworth-Kalton-Kutzarova method from [S. J. Dilworth, N. J. Kalton, and D. Kutzarova, On the existence of almost greedy bases in Banach spaces, Studia Math. 159 (2003), no. 1, 67-101], which was originally designed for constructing almost greedy bases in Banach spaces, to make it valid for direct sums of mixed-normed spaces with nonlocally convex components. Additionally, we prove that the fundamental functions of all almost greedy bases of these spaces grow as $(m^{1/q})_{m=1}^\infty$.

math.FA↗

Democracy of quasi-greedy bases in $p$-Banach spaces with applications to the efficiency of the TGA in the Hardy spaces $H_p(\mathbb{D}^d)$

We use new methods, specific of non-locally convex quasi-Banach spaces, to investigate when the quasi-greedy bases of a $p$-Banach space for $0<p<1$ are democratic. The novel techniques we obtain permit to show in particular that all quasi-greedy bases of the Hardy space $H_p(\mathbb{D})$ for $0<p<1$ are democratic while, in contrast, no quasi-greedy basis of $H_p(\mathbb{D}^d)$ for $d\ge 2$ is, solving thus a problem that was raised in [F. Albiac, J. L. Ansorena, and P. Wojtaszczyk, \textit{Quasi-greedy bases in $\ell_p$ ($0<p<1$) are democratic}, J. Funct. Anal. \textbf{280} (2021), no. 7, 108871, 21]. Applications of our results to other spaces of interest both in functional analysis and approximation theory are also provided.

math.FA↗