### Current browse context:

math.LO

### Change to browse by:

### References & Citations

# Mathematics > Logic

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

(Submitted on 27 Feb 2022 (v1), last revised 29 May 2022 (this version, v2))

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$.

## 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.