Search arXiv⌕ Search

arXiv · 2609.38396

The Lotz Property in Weakly Compactly Generated Spaces

Abstract

We study whether every infinite-dimensional weakly compactly generated (WCG) Banach space fails the Lotz property. The answer is affirmative in the nonseparable case: a classical decomposition theorem for WCG spaces provides a Schauder decomposition, and an explicit diagonal $C_0$-semigroup has an unbounded generator. The unrestricted assertion is false. Our main abstract result is a Calkin-algebra criterion: if $X$ fails the bounded compact approximation property and, for some fixed $m$, every noninvertible element of $\Cal(X)=\Lop(X)/\Kop(X)$ has $m$th power zero, then $X$ has the Lotz property. In particular, this applies when every operator is scalar-plus-strictly-singular and one fixed power of every strictly singular operator is compact. Combining this criterion with the Maurey--Pisier--Szankowski extraction theorem and constructions of Argyros and Motakis yields separable hereditarily indecomposable Lotz spaces over both scalar fields: reflexive examples, and, over the complex field, an example containing no infinite-dimensional reflexive subspace. Moreover, the ambient Argyros--Motakis spaces considered here are Lotz-saturated, although they themselves are non-Lotz. Thus every nonseparable WCG space is non-Lotz, while the separable WCG class contains both Lotz and non-Lotz spaces.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Gustavo Araújo, Mateus Azevedo, Flank Bezerra, Anderson Barbosa. 2026-09-29. The Lotz Property in Weakly Compactly Generated Spaces. https://arxiv.org/abs/2609.38396

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A reverse Riesz estimate combined with a spectral gap implies a Poincaré inequality

Working at the level of a sectorial operator $A$ on a Banach space $X$ and an unbounded operator $\partial$ defined on a subspace of $X$ in another Banach space $Y$, we show that a single reverse Riesz estimate $\|A^αx\|_X \lesssim \|\partial x\|_Y$ for some $0 < α< 1$, combined with the condition $0 \in ρ(A_0)$, where $A_0$ is the part of $A$ on the closure of the range of $A$, implies the Poincaré inequality $\|x - P(x)\|_X \lesssim \|\partial x\|_Y$, where $P$ is the Abel-ergodic projection onto the kernel of $A$. The condition $0 \in ρ(A_0)$ is the natural abstract substitute for a spectral gap, and is sharp already in the Hilbertian case. We also obtain a companion divergence inequality. The arguments are remarkably short, yet the principle is genuinely unifying: it covers commutative and noncommutative situations on the same footing and can be used with arbitrary Banach spaces. As a consequence, we recover Poincaré inequalities associated with hypercontractive semigroups and extend their validity to semigroups satisfying only a reduced spectral gap and a reverse Riesz estimate. We then illustrate the flexibility of the method across a wide spectrum of geometries, ranging from Riemannian manifolds, Lie groups, metric measure spaces, spin manifolds to genuinely noncommutative settings such as group von Neumann algebras, semigroups of Schur multipliers, $q$-Ornstein-Uhlenbeck semigroups and quantum tori, where we sometimes establish new inequalities and otherwise recover classical ones from a single principle.

math.FA↗

Linear maps preserving families of C-symmetric operators

Let $\cH$ be a separable complex Hilbert space with $\dim\cH\ge3$. We characterize the bounded bijective complex-linear maps $T$ on $\BH$ for which there exists a bijection $ψ$ of the set of conjugations,preserving commutativity in both directions, such that $T$ maps the space of $C$-symmetric operators onto the space of $ψ(C)$-symmetric operators for every conjugation $C$. We show that this condition is equivalent to the existence of a bijection $φ$ of the set of all orthonormal bases such that $T$ maps the set of all $(e_n)$-diagonal operators onto the set of all $φ((e_n))$-diagonal operators. We also characterize the corresponding preservers in dimension two using Pauli coordinates, without assuming the commutativity condition on $ψ$.

math.FA↗

Sharp embeddings between quasi-Banach Besov spaces and shallow ReLU variation spaces

Let $\mathbb{D}$ be the ridge dictionary generated by $\operatorname{ReLU}^k$ on a bounded Lipschitz domain $Ω\subset\mathbb{R}^d$. We establish sharp embeddings between Besov spaces and the associated variation space $\mathcal L_1(\mathbb{D})$ in the quasi-Banach range $0 k+d/p$ for $1<q\le\infty$. A rescaled-bump construction shows that this smoothness threshold is sharp. Conversely, for $0<p<1$, \[ \mathcal L_1(\mathbb{D})\hookrightarrow B^{k+1}_{p,2}(Ω), \] and both the smoothness $k+1$ and the fine index $2$ are optimal. The forward embedding converts Besov regularity of functions and solutions of partial differential equations into quantitative finite-width approximation bounds and greedy-algorithm convergence guarantees for shallow $\operatorname{ReLU}^k$ networks. The proofs use Littlewood-Paley localization, Fourier-Radon representations, measure-valued derivatives, and vector-valued singular integrals.

math.FA↗