BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Tomasz Kania

Tomasz Kania contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.FAmath.CTmath.MGmath.NAmath.OAmath.OCmath.PRmath.SPNumerical Analysis

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2026arXiv

Amenability constants for unconditional sums of Banach algebras

We study Johnson amenability for unconditional direct sums of Banach algebras. Given a family $(A_i)_{i\in I}$ of Banach algebras and a Banach sequence lattice $E$ on~$I$, the $E$-sum $\bigl(\bigoplus_{i\in I} A_i\bigr)_{\!E}$ carries a natural Banach algebra structure via coordinatewise multiplication. Under the hypothesis that $C_E := \sup\{\|χ_F\|_E : F \subseteq I \text{ finite}\} < \infty$, we prove that this $E$-sum is amenable if and only if the amenability constants of the summands are uniformly bounded, and we establish the two-sided estimate \[ \sup_{i\in I}\operatorname{AM}(A_i) \;\le\; \operatorname{AM}\Bigl(\bigl(\textstyle\bigoplus_{i\in I} A_i\bigr)_{\!E}\Bigr) \;\le\; C_E^2 \sup_{i\in I}\operatorname{AM}(A_i). \] We show that the factor $C_E^2$ is sharp by exhibiting finite-dimensional examples where equality holds. We further prove that finiteness of $C_E$ is necessary whenever infinitely many summands are non-zero and the sum admits a bounded approximate identity. Finally, we investigate weak amenability of $E$-sums. We prove that weak amenability passes to summands, that $E$-sums of commutative weakly amenable algebras are weakly amenable, and contrasting sharply with the Johnson amenability picture that for $1 < p < \infty$, the $\ell_p$-sum of infinitely many copies of a non-commutative weakly amenable algebra fails to be weakly amenable. In the $c_0$-type regime ($C_E < \infty$), we establish a two-sided estimate for weak amenability constants analogous to that for Johnson amenability.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

$(1+)$-complemented, $(1+)$-isomorphic copies of $L_{1}$ in dual Banach spaces

The present paper contributes to the ongoing programme of quantification of isomorphic Banach space theory focusing on Pełczyński&#39;s classical work on dual Banach spaces containing $L_{1}$ ($=L_{1}[0,1]$) and the Hagler--Stegall characterisation of dual spaces containing complemented copies of $L_{1}$. We prove the following quantitative version of the Hagler--Stegall theorem asserting that for a Banach space $X$ the following statements are equivalent: $\bullet$ $X$ contains almost isometric copies of $(\bigoplus_{n=1}^{\infty} \ell_{\infty}^{n})_{\ell_1}$, $\bullet$ for all $\varepsilon>0$, $X^{*}$ contains a $(1+\varepsilon)$-complemented, $(1+\varepsilon)$-isomorphic copy of $L_{1}$, $\bullet$ for all $\varepsilon>0$, $X^{*}$ contains a $(1+\varepsilon)$-complemented, $(1+\varepsilon)$-isomorphic copy of $C[0,1]^{*}$. Moreover, if $X$ is separable, one may add the following assertion: $\bullet$ for all $\varepsilon>0$, there exists a $(1+\varepsilon)$-quotient map $T\colon X\rightarrow C(Δ)$ so that $T^{*}[C(Δ)^{*}]$ is $(1+\varepsilon)$-complemented in $X^{*}$, where $Δ$ is the Cantor set.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A forgotten theorem of Pełczyński: $(λ+)$-injective spaces need not be $λ$-injective -- the case $λ\in (1,2]$

Isbell and Semadeni [Trans. Amer. Math. Soc. 107 (1963)] proved that every infinite-dimensional $1$-injective Banach space contains a hyperplane that is $(2+\varepsilon)$-injective for every $\varepsilon > 0$, yet is is \emph{not} $2$-injective and remarked in a footnote that Pełczyński had proved for every $λ> 1$ the existence of a $(λ+ \varepsilon)$-injective space ($\varepsilon > 0$) that is not $λ$-injective. Unfortunately, no trace of the proof of Pełczyński&#39;s result has been preserved. In the present paper, we establish the said theorem for $λ\in (1,2]$ by constructing an appropriate renorming of $\ell_\infty$. This contrasts (at least for real scalars) with the case $λ= 1$ for which Lindenstrauss [Mem. Amer. Math. Soc. 48 (1964)] proved the contrary statement.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Continuity of coordinate functionals of filter bases in Banach spaces

We prove that the coordinate functionals associated with filter bases in Banach spaces are continuous as long as the underlying filter is analytic. This removes the large-cardinal hypothesis from the result established by the two last-named authors ([Bull. Lond. Math. Soc. 53 (2021)]) at the expense of reducing the generality from projective to analytic. In particular, we obtain a ZFC solution to Kadets&#39; problem of continuity of coordinate functionals associated with bases with respect to the filter of statistical convergence. Even though the automatic continuity of coordinate functionals beyond the projective class remains a mystery, we prove that a basis with respect to an arbitrary filter that has continuous coordinate functionals is also a basis with respect to a filter that is analytic.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Factorisation in stopping-time Banach spaces: identifying unique maximal ideals

Stopping-time Banach spaces is a collective term for the class of spaces of eventually null integrable processes that are defined in terms of the behaviour of the stopping times with respect to some fixed filtration. From the point of view of Banach space theory, these spaces in many regards resemble the classical spaces such as $L^1$ or $C(Δ)$, but unlike these, they do have unconditional bases. In the present paper we study the canonical bases in the stopping-time spaces in relation to factorising the identity operator thereon. Since we work exclusively with the dyadic-tree filtration, this set-up enables us to work with tree-indexed bases rather than directly with stochastic processes. \emph{En route} to the factorisation results, we develop general criteria that allow one to deduce the uniqueness of the maximal ideal in the algebra of operators on a Banach space. These criteria are applicable to many classical Banach spaces such as (mixed-norm) $L^p$-spaces, BMO, $\mathrm{SL^\infty}$ and others.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The existence of UFO implies projectively universal morphisms

Let $\mathcal C$ be a concrete category. We prove that if $\mathcal{C}$ admits a universally free object $\mathsf F$, then there is a projectively universal morphism $u\colon \mathsf F\to \mathsf F$, i.e., a morphism $u$ such that for any $B\in \mathcal{C}$ and $τ\in {\rm Mor}(B)$ there exists an epimorphism $π\in {\rm Mor}(\mathsf F, B)$ such that $πτ= u π$. This builds upon and extends various ideas by Darji and Matheron (Proc. Am. Math. Soc. 145 (2017)) who proved such a result for the category of separable Banach spaces with contractive operators as well as certain classes of dynamical systems on compact metric spaces. Specialising from our abstract setting, we conclude that the result applies to various categories of Banach spaces/lattices/algebras, C*-algebras, etc.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Invariant means on Abelian groups capture complementability of Banach spaces in their second duals

Let $X$ be a Banach space. Then $X$ is complemented in the bidual $X^{**}$ if and only if there exists an invariant mean $\ell_\infty(G, X)\to X$ with respect to a free Abelian group $G$ of rank equal to the cardinality of $X^{**}$, and this happens if and only if there exists an invariant mean with respect to the additive group of $X^{**}$. This improves upon previous results due to Bustos Domecq =and the second-named author, where certain idempotent semigroups of cardinality equal to the cardinality of $X^{**}$ were considered, and answers a question of J.M.F. Castillo (private communication). En route to the proof of the main result, we endow the family of all finite-dimensional subspaces of an infinite-dimensional vector space with a structure of a free commutative monoid with the property that the product of two subspaces contains the respective subspaces, which is possibly of interest in itself.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Quantifying properties ($K$) and ($μ^{s}$)

A Banach space $X$ has \textit{property $(K)$}, whenever every weak* null sequence in the dual space admits a convex block subsequence $(f_{n})_{n=1}^\infty$ so that $\langle f_{n},x_{n}\rangle\to 0$ as $n\to \infty$ for every weakly null sequence $(x_{n})_{n=1}^\infty$ in $X$; $X$ has \textit{property $(μ^{s})$} if every weak$^{*}$ null sequence in $X^{*}$ admits a subsequence so that all of its subsequences are Cesàro convergent to $0$ with respect to the Mackey topology. Both property $(μ^{s})$ and reflexivity (or even the Grothendieck property) imply property $(K)$. In the present paper we propose natural ways for quantifying the aforementioned properties in the spirit of recent results concerning other familiar properties of Banach spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Approximate modularity: Kalton&#39;s constant is not smaller than 3

Kalton and Roberts [Trans. Amer. Math. Soc., 278 (1983), 803--816] proved that there exists a universal constant $K\leqslant 44.5$ such that for every set algebra $\mathcal{F}$ and every 1-additive function $f\colon \mathcal{F}\to \mathbb R$ there exists a finitely-additive signed measure $μ$ defined on $\mathcal{F}$ such that $|f(A)-μ(A)|\leqslant K$ for any $A\in \mathcal{F}$. The only known lower bound for the optimal value of $K$ was found by Pawlik [Colloq. Math., 54 (1987), 163--164], who proved that this constant is not smaller than $1.5$; we improve this bound to $3$ already on a non-negative 1-additive function.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Closed ideals of operators on the Tsirelson and Schreier spaces

Let $\mathscr{B}(X)$ denote the Banach algebra of bounded operators on $X$, where~$X$ is either Tsirelson&#39;s Banach space or the Schreier space of order $n$ for some $n\in\mathbb N$. We show that the lattice of closed ideals of~$\mathscr{B}(X)$ has a very rich structure; in particular $\mathscr{B}(X)$ contains at least continuum many maximal ideals. Our approach is to study the closed ideals generated by the basis projections. Indeed, the unit vector basis is an unconditional basis for each of the above spaces, so there is a basis projection $P_N\in\mathscr{B}(X)$ corresponding to each non-empty subset $N$ of $\mathbb N$. A closed ideal of $\mathscr{B}(X)$ is spatial if it is generated by $P_N$ for some $N$. We can now state our main conclusions as follows: i) the family of spatial ideals lying strictly between the ideal of compact operators and $\mathscr{B}(X)$ is non-empty and has no minimal or maximal elements; ii) for each pair $\mathscr{I}\subsetneqq\mathscr{J}$ of spatial ideals, there is a family $\{Γ_L\colon L\in Δ\}$, where the index set $Δ$ has the cardinality of the continuum, such that $Γ_L$ is an uncountable chain of spatial ideals, $\bigcupΓ_L$ is a closed ideal that is not spatial, and $$ \mathscr{I}\subsetneqq\mathscr{L}\subsetneqq\mathscr{J}\qquad\text{and}\qquad \overline{\mathscr{L}+\mathscr{M}} = \mathscr{J}$$ whenever $L,M\inΔ$ are distinct and $\mathscr{L}\inΓ_L$, $\mathscr{M}\inΓ_M$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Inverse problems for symmetric doubly stochastic matrices whose Suleĭmanova spectra are bounded below by 1/2

A new sufficient condition for a list of real numbers to be the spectrum of a symmetric doubly stochastic matrix is presented; this is a contribution to the classical spectral inverse problem for symmetric doubly stochastic matrices that is still open in its full generality. It is proved that whenever $λ_2, \ldots, λ_n$ are non-positive real numbers with $1 + λ_2 + \ldots + λ_n \geqslant 1/2$, then there exists a symmetric, doubly stochastic matrix whose spectrum is precisely $(1, λ_2, \ldots, λ_n)$. We point out that this criterion is incomparable to the classical sufficient conditions due to Perfect-Mirsky, Soules, and their modern refinements due to Nader et al. We also provide some examples and applications of our results.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Separated sets and Auerbach systems in Banach spaces

The paper elucidates the relationship between the density of a Banach space and possible sizes of well-separated subsets of its unit sphere. For example, it is proved that for a large enough space $X$, the unit sphere $S_X$ always contains an uncountable $(1+)$-separated subset. In order to achieve this, new results concerning the existence of large Auerbach systems are established that happen to be sharp for the class of WLD spaces. In fact, we offer the first consistent example of a non-separable WLD Banach space that contains no uncountable Auerbach system, as witnessed by a renorming of $c_0(ω_1)$. Moreover, the following optimal results for the classes of, respectively, reflexive and super-reflexive spaces are established: the unit sphere of an infinite-dimensional reflexive space contains a symmetrically $(1+\varepsilon)$-separated subset of any regular cardinality not exceeding the density of $X$; should the space $X$ be super-reflexive, the unit sphere of $X$ contains such a subset of cardinality equal to the density of $X$. The said problem is studied for other classes of spaces too, including the RNP spaces or strictly convex ones.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Symmetrically separated sequences in the unit sphere of a Banach space

We prove the symmetric version of Kottman&#39;s theorem, that is to say, we demonstrate that the unit sphere of an infinite-dimensional Banach space contains an infinite subset $A$ with the property that $\|x\pm y\| > 1$ for distinct elements $x,y\in A$, thereby answering a question of J. M. F. Castillo. In the case where $X$ contains an infinite-dimensional separable dual space or an unconditional basic sequence, the set $A$ may be chosen in a way that $\|x\pm y\| \geqslant 1+\varepsilon$ for some $\varepsilon > 0$ and distinct $x,y\in A$. Under additional structural properties of $X$, such as non-trivial cotype, we obtain quantitative estimates for the said $\varepsilon$. Certain renorming results are also presented.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The isomorphic Kottman constant of a Banach space

We show that the Kottman constant $K(\cdot)$, together with its symmetric and finite variations, is continuous with respect to the Kadets metric, and they are log-convex, hence continuous, with respect to the interpolation parameter in a complex interpolation schema. Moreover, we show that $K(X)\cdot K(X^*)\geqslant 2$ for every infinite-dimensional Banach space $X$. We also consider the isomorphic Kottman constant (defined as the infimum of the Kottman constants taken over all renormings of the space) and solve the main problem left open in [CaGoPa17], namely that the isomorphic Kottman constant of a twisted-sum space is the maximum of the constants of the respective summands. Consequently, the Kalton--Peck space may be renormed to have Kottman&#39;s constant arbitrarily close to $\sqrt{2}$. For other classical parameters, such as the Whitley and the James constants, we prove the continuity with respect to the Kadets metric.

0 citations0 reviewsNo code linkedOpen access