We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: (Looking For) The Heart of Abelian Polish Groups

Abstract: We prove that the category $\mathcal{M}$ of abelian groups with a Polish cover introduced in collaboration with Bergfalk and Panagiotopoulos is the left heart of (the derived category of) the quasi-abelian category $\mathcal{A}$ of abelian Polish groups in the sense of Beilinson--Bernstein--Deligne and Schneiders. Thus, $\mathcal{M}$ is an abelian category containing $\mathcal{A}$ as a full subcategory such that the inclusion functor $\mathcal{A}\rightarrow \mathcal{M}$ is exact and finitely continuous. Furthermore, $\mathcal{M}$ is uniquely characterized up to equivalence by the following universal property: for every abelian category $\mathcal{B}$, a functor $\mathcal{A}\rightarrow \mathcal{B}$ is exact and finitely continuous if and only if it extends to an exact and finitely continuous functor $\mathcal{M}\rightarrow \mathcal{B}$. We provide similar descriptions of the left heart of the following categories: non-Archimedean abelian Polish groups; locally compact abelian Polish groups; totally disconnected locally compact abelian Polish groups; Polish $G$-modules, for a given Polish group or Polish ring $G$; Fr\'{e}chet spaces over $K$, for a given separable complete non-Archimedean valued field $K$.
Comments: 28 pages. Added a section about locally compact groups. This paper included material that has been taken and removed from arXiv:2102.03477
Subjects: Logic (math.LO); Category Theory (math.CT); Functional Analysis (math.FA); Group Theory (math.GR)
MSC classes: 54H05, 20K45, 18F60 (Primary), 26E30, 18G10, 46M15 (Secondary)
Cite as: arXiv:2202.13439 [math.LO]
  (or arXiv:2202.13439v2 [math.LO] for this version)

Submission history

From: Martino Lupini [view email]
[v1] Sun, 27 Feb 2022 19:50:43 GMT (32kb)
[v2] Sun, 29 May 2022 14:13:26 GMT (824kb)

Link back to: arXiv, form interface, contact.