Current browse context:
math.AT
Change to browse by:
References & Citations
Mathematics > Algebraic Topology
Title: Definable Eilenberg--Mac Lane Universal Coefficient Theorems
(Submitted on 22 Sep 2020 (v1), last revised 10 Oct 2020 (this version, v3))
Abstract: We prove definable versions of the Universal Coefficient Theorems of Eilenberg--Mac Lane expressing the (Steenrod) homology groups of a compact metrizable space in terms of its integral cohomology groups, and the (\v{C}ech) cohomology groups of a polyhedron in terms of its integral homology groups. Precisely, we show that, given a compact metrizable space $X$, a (not necessarily compact) polyhedron $Y$, and an abelian Polish group $G$ with the division closure property, there are natural definable exact sequences \begin{equation*} 0\rightarrow \mathrm{Ext}\left( H^{n+1}(X),G\right) \rightarrow H_{n}(X;G)\rightarrow \mathrm{Hom}\left( H^{n}(X),G\right) \rightarrow 0 \end{equation*} and \begin{equation*} 0\rightarrow \mathrm{Ext}\left( H_{n-1}(Y),G\right) \rightarrow H^{n}(Y;G)\rightarrow \mathrm{Hom}\left( H_{n}(Y),G\right) \rightarrow 0 \end{equation*} which definably split, where $H_{n}(X;G)$ is the $n$-dimensional definable homology group of $X$ with coefficients in $G$ and $H^{n}(Y;G)$ is the $n$ -dimensional definable cohomology group of $Y$ with coefficients in $G$.
Both of these results are obtained as corollaries of a general algebraic Universal Coefficient Theorem relating the cohomology of a cochain complex of countable free abelian groups to the definable homology of its $G$-dual chain complex of Polish groups.
Submission history
From: Martino Lupini [view email][v1] Tue, 22 Sep 2020 20:45:09 GMT (35kb)
[v2] Sat, 26 Sep 2020 03:04:58 GMT (34kb)
[v3] Sat, 10 Oct 2020 01:43:49 GMT (39kb)
Link back to: arXiv, form interface, contact.