The existence of UFO implies projectively universal morphisms

DOI10.1090/PROC/16422MaRDI QIDQ6106041zbMATH OpenOpenAlexFDO

Authors M. Balcerzak, Tomasz Kania

Publication date 27 June 2023

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2208.03579

zbMATH Keywords

concrete categoryprojective universalityUFOuniversal free object

Mathematics Subject Classification ID

Free lattices, projective lattices, word problems (06B25) Free algebras (08B20) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Free semigroups, generators and relations, word problems (20M05) Operators on Banach spaces (47B01)

Abstract: Let $mathcalC$ be a concrete category. We prove that if $mathcalC$ admits a universally free object $mathsfF$, then there is a projectively universal morphism $ucolonmathsfFomathsfF$, i.e., a morphism $u$ such that for any $BinmathcalC$ and $auinmMor(B)$ there exists an epimorphism $piinmMor(mathsfF,B)$ such that $piau=upi$. 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.

Recommendations

• A note on universal operators between separable Banach spaces
• Nonexistence of certain universal polynomials between Banach spaces
• The existence of a factorized unbounded operator between Fréchet spaces
• scientific article; zbMATH DE number 5954612
• Properties of Banach spaces related to projectivity

Cites work

• Classical Banach spaces
• Hebbare lokalkonvexe Räume
• On extending and lifting continuous linear mappings in topological vector spaces
• Some universality results for dynamical systems
• The free Banach lattice generated by a Banach space
• Three-space problems in Banach space theory
• Unital Banach algebras not isomorphic to Calkin algebras of separable Banach spaces

Cited in

(1)

• Universal monoid actions: the power of freedom

This page was built for publication: The existence of UFO implies projectively universal morphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6106041)