Searcharxiv⌕ Search

arXiv subjects

Mariusz Niwiński

Publications and source records attributed to Mariusz Niwiński.

2 recordsLinked to original sources
arXiv2026

Polish spaces of separable Banach lattices

We study the descriptive complexity of classes of separable Banach lattices. Building on the theory of coding spaces for separable Banach spaces, we introduce two Polish space encodings of separable Banach lattices: one via closed sublattices of the universal lattice $\mathcal{C}=C(Δ;L_1)$, and one via closed order ideals of the free Banach lattice $\operatorname{FBL}[\ell_1]$. We prove that, for every separable Banach lattice $E$, the spaces of closed sublattices and of closed order ideals of $E$ are Polish subspaces of the hyperspace of closed subsets of $E$. We also prove that the Fremlin projective tensor-product operation on ideal codes is $\boldsymbolΣ^0_2$-measurable and has a $G_δ$ graph.

math.FA↗
arXiv2026

Semiprojective Banach lattices

We introduce a norm-controlled notion of semiprojectivity for Banach lattices, requiring liftability of contractive lattice homomorphisms through inductive limits of closed ideals with arbitrarily small loss of norm control. Our main result establishes that, for a compact metric space $X$, the Banach lattice $C(X)$ is semiprojective if and only if $X$ is an absolute neighbourhood retract. Notably, this characterisation is strictly more permissive than its $C^*$-algebraic counterpart: by a theorem of S\orensen and Thiel, $C(X)$ is semiprojective in the category of $C^*$-algebras and $*$-homomorphisms if and only if $X$ is an ANR of dimension at most one. The dimensional obstruction disappears in the Banach-lattice setting because lattice homomorphisms between $C(K)$-spaces are automatically weighted composition operators, and therefore no commutation relations need to be lifted. We also show that uncountable $\ell_1$-sums of $1^+$-projective Banach lattices with topological order units are semiprojective but need not be $1^+$-projective, establishing that the two notions are genuinely distinct. On the negative side, we prove that $\ell_p$ and $L_p([0,1])$ for $p \in (1,\infty)$ as well as Orlicz spaces are not semiprojective.

math.FA↗