Magnitude is a numerical invariant of compact metric spaces, originally inspired by category theory and now known to be related to myriad other geometric quantities. Generalizing earlier results in $\ell _1^n$ and Euclidean space, we prove an upper bound for the magnitude of a convex body in a hypermetric normed space in terms of its Holmes–Thompson intrinsic volumes. As applications of this bound, we give short new proofs of Mahler’s conjecture in the case of a zonoid and Sudakov’s minoration inequality.

The classical Banach space $L_1(L_p)$ consists of measurable scalar functions f on the unit square for which

$$ \begin{align*}\|f\| = \int_0^1\Big(\int_0^1 |f(x,y)|^p dy\Big)^{1/p}dx < \infty.\end{align*} $$

We show that $L_1(L_p) (1 < p < \infty )$ is primary, meaning that whenever $L_1(L_p) = E\oplus F$ , where E and F are closed subspaces of $L_1(L_p)$ , then either E or F is isomorphic to $L_1(L_p)$ . More generally, we show that $L_1(X)$ is primary for a large class of rearrangement-invariant Banach function spaces.

We present and thoroughly study natural Polish spaces of separable Banach spaces. These spaces are defined as spaces of norms, respectively pseudonorms, on the countable infinite-dimensional rational vector space. We provide an exhaustive comparison of these spaces with admissible topologies recently introduced by Godefroy and Saint-Raymond and show that Borel complexities differ little with respect to these two topological approaches.

We investigate generic properties in these spaces and compare them with those in admissible topologies, confirming the suspicion of Godefroy and Saint-Raymond that they depend on the choice of the admissible topology.

Any Lipschitz map $f : M \to N$ between two pointed metric spaces may be extended in a unique way to a bounded linear operator $\widehat {f} : \mathcal {F}(M) \to \mathcal {F}(N)$ between their corresponding Lipschitz-free spaces. In this paper, we give a necessary and sufficient condition for $\widehat {f}$ to be compact in terms of metric conditions on $f$. This extends a result by A. Jiménez-Vargas and M. Villegas-Vallecillos in the case of non-separable and unbounded metric spaces. After studying the behaviour of weakly convergent sequences made of finitely supported elements in Lipschitz-free spaces, we also deduce that $\widehat {f}$ is compact if and only if it is weakly compact.

Let $\{R_{k}\}_{k=1}^{\infty }$ be a sequence of expanding integer matrices in $M_{n}(\mathbb {Z})$ , and let $\{D_{k}\}_{k=1}^{\infty }$ be a sequence of finite digit sets with integer vectors in ${\mathbb Z}^{n}$ . In this paper, we prove that under certain conditions in terms of $(R_{k},D_{k})$ for $k\ge 1$ , the Moran measure

$$ \begin{align*} \mu_{\{R_{k}\},\{D_{k}\}}:=\delta_{R_{1}^{-1}D_{1}}\ast\delta_{R_{1}^{-1}R_{2}^{-1}D_{2}}\ast\cdots \end{align*} $$

$(R,D)$

We prove that, given $2< p<\infty$, the Fourier coefficients of functions in $L_2(\mathbb {T}, |t|^{1-2/p}\,{\rm d}t)$ belong to $\ell _p$, and that, given $1< p<2$, the Fourier series of sequences in $\ell _p$ belong to $L_2(\mathbb {T}, \vert {t}\vert ^{2/p-1}\,{\rm d}t)$. Then, we apply these results to the study of conditional Schauder bases and conditional almost greedy bases in Banach spaces. Specifically, we prove that, for every $1< p<\infty$ and every $0\le \alpha <1$, there is a Schauder basis of $\ell _p$ whose conditionality constants grow as $(m^{\alpha })_{m=1}^{\infty }$, and there is an almost greedy basis of $\ell _p$ whose conditionality constants grow as $((\log m)^{\alpha })_{m=2}^{\infty }$.

The paper deals with the sets of numbers from [0,1] such that their binary representation is almost convergent. The aim of the study is to compute the Hausdorff dimensions of such sets. Previously, the results of this type were proved for a single summation method (e.g. Cesàro, Abel, Toeplitz). This study extends the results to a wide range of matrix summation methods.

We prove a general principle satisfied by weakly precompact sets of Lipschitz-free spaces. By this principle, certain infinite dimensional phenomena in Lipschitz-free spaces over general metric spaces may be reduced to the same phenomena in free spaces over their compact subsets. As easy consequences we derive several new and some known results. The main new results are: $\mathcal {F}(X)$ is weakly sequentially complete for every superreflexive Banach space $X$, and $\mathcal {F}(M)$ has the Schur property and the approximation property for every scattered complete metric space $M$.

Let $\mathcal {M}$ be a semifinite von Nemann algebra equipped with an increasing filtration $(\mathcal {M}_n)_{n\geq 1}$ of (semifinite) von Neumann subalgebras of $\mathcal {M}$ . For $0<p <\infty $ , let $\mathsf {h}_p^c(\mathcal {M})$ denote the noncommutative column conditioned martingale Hardy space and $\mathsf {bmo}^c(\mathcal {M})$ denote the column “little” martingale BMO space associated with the filtration $(\mathcal {M}_n)_{n\geq 1}$ .

We prove the following real interpolation identity: if $0<p <\infty $ and $0<\theta <1$ , then for $1/r=(1-\theta )/p$ ,

$$ \begin{align*} \big(\mathsf{h}_p^c(\mathcal{M}), \mathsf{bmo}^c(\mathcal{M})\big)_{\theta, r}=\mathsf{h}_{r}^c(\mathcal{M}), \end{align*} $$

For the case of complex interpolation, we obtain that if $0<p<q<\infty $ and $0<\theta <1$ , then for $1/r =(1-\theta )/p +\theta /q$ ,

$$ \begin{align*} \big[\mathsf{h}_p^c(\mathcal{M}), \mathsf{h}_q^c(\mathcal{M})\big]_{\theta}=\mathsf{h}_{r}^c(\mathcal{M}) \end{align*} $$

These extend previously known results from $p\geq 1$ to the full range $0<p<\infty $ . Other related spaces such as spaces of adapted sequences and Junge’s noncommutative conditioned $L_p$ -spaces are also shown to form interpolation scale for the full range $0<p<\infty $ when either the real method or the complex method is used. Our method of proof is based on a new algebraic atomic decomposition for Orlicz space version of Junge’s noncommutative conditioned $L_p$ -spaces.

We apply these results to derive various inequalities for martingales in noncommutative symmetric quasi-Banach spaces.

We show that every Lorentz sequence space $d(\textbf {w},p)$ admits a 1-complemented subspace Y distinct from $\ell _p$ and containing no isomorph of $d(\textbf {w},p)$ . In the general case, this is only the second nontrivial complemented subspace in $d(\textbf {w},p)$ yet known. We also give an explicit representation of Y in the special case $\textbf {w}=(n^{-\theta })_{n=1}^\infty $ ( $0<\theta <1$ ) as the $\ell _p$ -sum of finite-dimensional copies of $d(\textbf {w},p)$ . As an application, we find a sixth distinct element in the lattice of closed ideals of $\mathcal {L}(d(\textbf {w},p))$ , of which only five were previously known in the general case.

We expand upon work from many hands on the decomposition of nuclear maps. Such maps can be characterised by their ability to be approximately written as the composition of maps to and from matrices. Under certain conditions (such as quasidiagonality), we can find a decomposition whose maps behave nicely, by preserving multiplication up to an arbitrary degree of accuracy and being constructed from order-zero maps (as in the definition of nuclear dimension). We investigate these conditions and relate them to a W*-analogue.

In this article, we provide necessary and sufficient conditions for the existence of non-norm-attaining operators in $\mathcal {L}(E, F)$ . By using a theorem due to Pfitzner on James boundaries, we show that if there exists a relatively compact set K of $\mathcal {L}(E, F)$ (in the weak operator topology) such that $0$ is an element of its closure (in the weak operator topology) but it is not in its norm-closed convex hull, then we can guarantee the existence of an operator that does not attain its norm. This allows us to provide the following generalisation of results due to Holub and Mujica. If E is a reflexive space, F is an arbitrary Banach space and the pair $(E, F)$ has the (pointwise-)bounded compact approximation property, then the following are equivalent:

1. (i) $\mathcal {K}(E, F) = \mathcal {L}(E, F)$ ;

2. (ii) Every operator from E into F attains its norm;

3. (iii) $(\mathcal {L}(E,F), \tau _c)^* = (\mathcal {L}(E, F), \left \Vert \cdot \right \Vert )^*$ ,

where $\tau _c$ denotes the topology of compact convergence. We conclude the article by presenting a characterisation of the Schur property in terms of norm-attaining operators.

We study super weakly compact operators through a quantitative method. We introduce a semi-norm $\sigma (T)$ of an operator $T:X\to Y$ , where X, Y are Banach spaces, the so-called measure of super weak noncompactness, which measures how far T is from the family of super weakly compact operators. We study the equivalence of the measure $\sigma (T)$ and the super weak essential norm of T. We prove that Y has the super weakly compact approximation property if and and only if these two semi-norms are equivalent. As an application, we construct an example to show that the measures of T and its dual $T^*$ are not always equivalent. In addition we give some sequence spaces as examples of Banach spaces having the super weakly compact approximation property.

We say that a map $f$ from a Banach space $X$ to another Banach space $Y$ is a phase-isometry if the equality

\[ \{\|f(x)+f(y)\|, \|f(x)-f(y)\|\}=\{\|x+y\|, \|x-y\|\} \]

$x,\,y\in X$

$X$

$Y$

$f : X\rightarrow Y$

$\varepsilon : X \rightarrow \{-1,\,1\}$

$\varepsilon \cdot f$

Let $T = (T_1, \ldots , T_n)$ be a commuting tuple of bounded linear operators on a Hilbert space $\mathcal{H}$. The multiplicity of $T$ is the cardinality of a minimal generating set with respect to $T$. In this paper, we establish an additive formula for multiplicities of a class of commuting tuples of operators. A special case of the main result states the following: Let $n \geq 2$, and let $\mathcal{Q}_i$, $i = 1, \ldots , n$, be a proper closed shift co-invariant subspaces of the Dirichlet space or the Hardy space over the unit disc in $\mathbb {C}$. If $\mathcal{Q}_i^{\bot }$, $i = 1, \ldots , n$, is a zero-based shift invariant subspace, then the multiplicity of the joint $M_{\textbf {z}} = (M_{z_1}, \ldots , M_{z_n})$-invariant subspace $(\mathcal{Q}_1 \otimes \cdots \otimes \mathcal{Q}_n)^{\perp }$ of the Dirichlet space or the Hardy space over the unit polydisc in $\mathbb {C}^{n}$ is given by

\[ \mbox{mult}_{M_{\textbf{{z}}}|_{ (\mathcal{Q}_1 \otimes \cdots \otimes \mathcal{Q}_n)^{{\perp}}}} (\mathcal{Q}_1 \otimes \cdots \otimes \mathcal{Q}_n)^{{\perp}} = \sum_{i=1}^{n} (\mbox{mult}_{M_z|_{\mathcal{Q}_i^{{\perp}}}} (\mathcal{Q}_i^{\bot})) = n. \]

We say that a map $f$ from a Banach space $X$ to another Banach space $Y$ is a phase-isometry if the equality

\[ \{\|f(x)+f(y)\|, \|f(x)-f(y)\|\}=\{\|x+y\|, \|x-y\|\} \]

$x,\,y\in X$

$X$

$Y$

$f : X\rightarrow Y$

$\varepsilon : X \rightarrow \{-1,\,1\}$

$\varepsilon \cdot f$

Let X be a real Banach space. The rectangular constant $\mu (X)$ and some generalisations of it, $\mu _p(X)$ for $p \geq 1$ , were introduced by Gastinel and Joly around half a century ago. In this paper we make precise some characterisations of inner product spaces by using $\mu _p(X)$ , correcting some statements appearing in the literature, and extend to $\mu _p(X)$ some characterisations of uniformly nonsquare spaces, known only for $\mu (X)$ . We also give a characterisation of two-dimensional spaces with hexagonal norms. Finally, we indicate some new upper estimates concerning $\mu (l_p)$ and $\mu _p(l_p)$ .

Let $\mathrm {Lip}_0(M)$ be the space of Lipschitz functions on a complete metric space M that vanish at a base point. We prove that every normal functional in ${\mathrm {Lip}_0(M)}^*$ is weak* continuous; that is, in order to verify weak* continuity it suffices to do so for bounded monotone nets of Lipschitz functions. This solves a problem posed by N. Weaver. As an auxiliary result, we show that the series decomposition developed by N. J. Kalton for functionals in the predual of $\mathrm {Lip}_0(M)$ can be partially extended to ${\mathrm {Lip}_0(M)}^*$ .

Galego and Samuel showed that if K, L are metrizable, compact, Hausdorff spaces, then $C(K)\widehat{\otimes}_\pi C(L)$ is c0-saturated if and only if it is subprojective if and only if K and L are both scattered. We remove the hypothesis of metrizability from their result and extend it from the case of the twofold projective tensor product to the general n-fold projective tensor product to show that for any $n\in\mathbb{N}$ and compact, Hausdorff spaces K1, …, Kn, $\widehat{\otimes}_{\pi, i=1}^n C(K_i)$ is c0-saturated if and only if it is subprojective if and only if each Ki is scattered.

This paper presents an approach, based on interpolation theory of operators, to the study of interpolating sequences for interpolation Banach spaces between Hardy spaces. It is shown that the famous Carleson result for H∞ can be lifted to a large class of abstract Hardy spaces. A description is provided of the range of the Carleson operator defined on interpolation spaces between the classical Hardy spaces in terms of uniformly separated sequences. A key role in this description is played by some general interpolation results proved in the paper. As by-products, novel results are obtained which extend the Shapiro–Shields result on the characterisation of interpolation sequences for the classical Hardy spaces Hp. Applications to Hardy–Lorentz, Hardy–Marcinkiewicz and Hardy–Orlicz spaces are presented.