Universal Coefficients and Mayer-Vietoris for Moore Homology of Ample Groupoids
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866917356424396800 |
|---|---|
| author | Melodia, Luciano |
| author_facet | Melodia, Luciano |
| contents | We establish two structural results for Moore homology of ample groupoids. First, for every ample groupoid $\mathcal{G}$ and every discrete abelian coefficient group $A$, we prove a universal coefficient theorem relating the homology groups $H_n(\mathcal{G};A)$ to the integral Moore homology of $\mathcal{G}$. More precisely, we obtain a natural short exact sequence $$ 0 \longrightarrow H_n(\mathcal{G};\mathbb{Z})\otimes_{\mathbb{Z}} A \xrightarrow{κ_n^{\mathcal{G}}} H_n(\mathcal{G};A) \xrightarrow{ι_n^{\mathcal{G}}} \operatorname{Tor}_1^{\mathbb{Z}}\bigl(H_{n-1}(\mathcal{G};\mathbb{Z}),A\bigr) \longrightarrow 0. $$ Second, for a decomposition of the unit space into clopen saturated subsets, we prove a Mayer-Vietoris long exact sequence in Moore homology. The proof is carried out at the chain level and is based on a short exact sequence of Moore chain complexes associated to the corresponding restricted groupoids. These results provide effective tools for the computation of Moore homology. We also explain why the discreteness of the coefficient group is essential for the universal coefficient theorem. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_20861 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Universal Coefficients and Mayer-Vietoris for Moore Homology of Ample Groupoids Melodia, Luciano Algebraic Topology Machine Learning K-Theory and Homology Operator Algebras 22A22, 55N35, 18G60, 46L85, 37B10 We establish two structural results for Moore homology of ample groupoids. First, for every ample groupoid $\mathcal{G}$ and every discrete abelian coefficient group $A$, we prove a universal coefficient theorem relating the homology groups $H_n(\mathcal{G};A)$ to the integral Moore homology of $\mathcal{G}$. More precisely, we obtain a natural short exact sequence $$ 0 \longrightarrow H_n(\mathcal{G};\mathbb{Z})\otimes_{\mathbb{Z}} A \xrightarrow{κ_n^{\mathcal{G}}} H_n(\mathcal{G};A) \xrightarrow{ι_n^{\mathcal{G}}} \operatorname{Tor}_1^{\mathbb{Z}}\bigl(H_{n-1}(\mathcal{G};\mathbb{Z}),A\bigr) \longrightarrow 0. $$ Second, for a decomposition of the unit space into clopen saturated subsets, we prove a Mayer-Vietoris long exact sequence in Moore homology. The proof is carried out at the chain level and is based on a short exact sequence of Moore chain complexes associated to the corresponding restricted groupoids. These results provide effective tools for the computation of Moore homology. We also explain why the discreteness of the coefficient group is essential for the universal coefficient theorem. |
| title | Universal Coefficients and Mayer-Vietoris for Moore Homology of Ample Groupoids |
| topic | Algebraic Topology Machine Learning K-Theory and Homology Operator Algebras 22A22, 55N35, 18G60, 46L85, 37B10 |
| url | https://arxiv.org/abs/2603.20861 |