Vector-valued invariant means revisited once again

Banach spaces that are complemented in the second dual are characterised precisely as those spaces $X$ which enjoy the property that for every amenable semigroup $S$ there exists an $X$-valued analogue of an invariant mean defined on the Banach space of all bounded $X$-valued functions on $S$. This was first observed by Bustos Domecq (J. Math. Anal. Appl., 2002), however the original proof was slightly flawed as remarked by Lipecki. The primary aim of this note is to present a corrected version of the proof. We also demonstrate that universally separably injective spaces always admit invariant means with respect to countable amenable semigroups, thus such semigroups are not rich enough to capture complementation in the second dual as spaces falling into this class need not be complemented in the second dual

Uncountable sets of unit vectors that are separated by more than 1

Let $X$ be a Banach space. We study the circumstances under which there exists an uncountable set $\mathcal A\subset X$ of unit vectors such that $\|x-y\|>1$ for distinct $x,y\in \mathcal A$. We prove that such a set exists if $X$ is quasi-reflexive and non-separable; if $X$ is additionally super-reflexive then one can have $\|x-y\|\geqslant 1+\varepsilon$ for some $\varepsilon>0$ that depends only on $X$. If $K$ is a non-metrisable compact, Hausdorff space, then the unit sphere of $X=C(K)$ also contains such a subset; if moreover $K$ is perfectly normal, then one can find such a set with cardinality equal to the density of $X$; this solves a problem left open by S. K. Mercourakis and G. Vassiliadis.Comment: to appear in Studia Mat

A short proof of the fact that the matrix trace is the expectation of the numerical values

Using the fact that the normalised matrix trace is the unique linear functional $f$ on the algebra of $n\times n$ matrices which satisfies $f(I)=1$ and $f(AB)=f(BA)$ for all $n\times n$ matrices $A$ and $B$, we derive a well-known formula expressing the normalised trace of a complex matrix $A$ as the expectation of the numerical values of $A$; that is the function $\langle Ax,x\rangle$, where $x$ ranges the unit sphere of $\mathbb{C}^n$

The ideal of weakly compactly generated operators acting on a Banach space

We call a bounded linear operator acting between Banach spaces weakly compactly generated ($\mathsf{WCG}$ for short) if its range is contained in a weakly compactly generated subspace of its codomain. This notion simultaneously generalises being weakly compact and having separable range. In a comprehensive study of the class of $\mathsf{WCG}$ operators, we prove that it forms a closed surjective operator ideal and investigate its relations to other classical operator ideals. By considering the $p$th long James space $\mathcal{J}_p(\omega_1)$, we show how properties of the ideal of $\mathsf{WCG}$ operators (such as being the unique maximal ideal) may be used to derive results outside ideal theory. For instance, we identify the $K_0$-group of $\mathscr{B}(\mathcal{J}_p(\omega_1))$ as the additive group of integers

A reflexive Banach space whose algebra of operators is not a Grothendieck space

By a result of Johnson, the Banach space $F=(\bigoplus_{n=1}^\infty \ell_1^n)_{\ell_\infty}$ contains a complemented copy of $\ell_1$. We identify $F$ with a complemented subspace of the space of (bounded, linear) operators on the reflexive space $(\bigoplus_{n=1}^\infty \ell_1^n)_{\ell_p}$ ($p\in (1,\infty))$, thus giving a negative answer to the problem posed in the monograph of Diestel and Uhl which asks whether the space of operators on a reflexive Banach space is Grothendieck

Restricting uniformly open surjections

We employ the theory of elementary submodels to improve a recent result by Aron, Jaramillo and Le Donne (Ann. Acad. Sci. Fenn. Math., to appear) concerning restricting uniformly open, continuous surjections to smaller subspaces where they remain surjective. To wit, suppose that $X$ and $Y$ are metric spaces and let $f\colon X\to Y$ be a continuous surjection. If $X$ is complete and $f$ is uniformly open, then $X$ contains a~closed subspace $Z$ with the same density as $Y$ such that $f$ restricted to $Z$ is still uniformly open and surjective. Moreover, if $X$ is a Banach space, then $Z$ may be taken to be a closed linear subspace. A counterpart of this theorem for uniform spaces is also established.Comment: 5 p

When is multiplication in a Banach algebra open?

We develop the theory of Banach algebras whose multiplication (regarded as a bilinear map) is open. We demonstrate that such algebras must have topological stable rank 1, however the latter condition is strictly weaker and implies only that products of non-empty open sets have non-empty interior. We then investigate openness of convolution in semigroup algebras resolving in the negative a problem of whether convolution in $\ell_1(\mathbb{N}_0)$ is open. By appealing to ultraproduct techniques, we demonstrate that neither in $\ell_1(\mathbb{Z})$ nor in $\ell_1(\mathbb Q)$ convolution is uniformly open. The problem of openness of multiplication in Banach algebras of bounded operators on Banach spaces and their Calkin algebras is also discussed.Comment: 15 p

Large cardinals and continuity of coordinate functionals of filter bases in Banach spaces

Assuming the existence of certain large cardinal numbers, we prove that for every projective filter $\mathscr F$ over the set of natural numbers, $\mathscr{F}$-bases in Banach spaces have continuous coordinate functionals. In particular, this applies to the filter of statistical convergence, thereby we solve a problem by V. Kadets (at least under the presence of certain large cardinals). In this setting, we recover also a result of Kochanek who proved continuity of coordinate functionals for countably generated filters (Studia Math., 2012).Comment: 10 p