Universal Coefficients and Mayer-Vietoris for Moore Homology of Ample Groupoids

• URL: http://arxiv.org/abs/2603.20861v1
• Date: Sat, 21 Mar 2026 15:42:51 GMT
• Title: Universal Coefficients and Mayer-Vietoris for Moore Homology of Ample Groupoids
• Abstract summary: We prove a universal coefficient theorem relating the homology groups $H_n(mathcalG;A)$ to the integral Moore homology of $mathcalG$.<n>For a decomposition of the unit space into clopen saturated subsets, we prove a Mayer-Vietoris long exact sequence in Moore homology.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: 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.

Related papers

• Non-Invertible Symmetries Mixing with Witt Non-Trivial Quantum Cellular Automata [0.0]
  Self-dualities and the stacking of symmetry-protected topological phases are basic operations on quantum many-body systems.<n>We realize this entire structure microscopically as quantum cellular automata acting on a certain local operator algebra.
  arXiv  Detail & Related papers  (2026-07-23T18:00:00Z)
• Two-Tower Quantum Matrix Chain Multiplication: Trading Qubits for Depth [73.08853228981701]
  Matrix chain multiplication is a problem in scientific computing, machine learning, and graph analysis.<n>We present emphTwo-Tower Matrix, a quantum subroutine that encodes the product $mathcalW$ of the $K$ matrices into a quantum state in circuit depth.
  arXiv  Detail & Related papers  (2026-07-14T18:42:40Z)
• Transversal Difference Numbers in Finite Abelian Quotients [0.0]
  Given (Hleq G) finite abelian groups, a (Tsubseteq G) for (G/H) has fixed size (|G/H|), but its ambient difference support (D(T)=T-T) can vary with the embedding of (H) in (G)
  arXiv  Detail & Related papers  (2026-06-26T11:03:47Z)
• The Geometry Underlying the Quantum Harmonic Oscillator [51.56484100374058]
  We show that the eigenfunctions $_n$ of the quantum Hamiltonian correspond to complex radial coordinates in the reduced phase space $mathbb C2/mathbb Z_nsubsetmathbb C2$.<n>We show that in the Kepler/hydrogen atom problem there is a similar correspondence between classical and quantum states.
  arXiv  Detail & Related papers  (2026-04-23T07:38:35Z)
• Universal Coefficients and Mayer-Vietoris Sequence for Groupoid Homology [0.0]
  We study ample groupoids via the compactly supported Moore complex of the nerve.<n>The theory is functorial for continuous étale homomorphisms.<n>For a locally compact totally disconnected Hausdorff space $X with a basis of compact open sets, the image of $_X:C_c(X,mathbb Z)otimes_mathbb ZAto C_c(X,A)$ is exactly the compactly supported functions with finite image.
  arXiv  Detail & Related papers  (2026-02-09T18:43:31Z)
• Discrete symmetries in classical and quantum oscillators [51.56484100374058]
  We show the eigenfunctions $_n=zn$ of the quantum Hamiltonian in the complex Bargmann-Fock-Segal representation.<n>The superposition $=sum_n c_n_n$ arises only with incomplete knowledge of the initial data for solving the Schrdinger equation.
  arXiv  Detail & Related papers  (2026-01-05T10:04:39Z)
• Near-Optimal Clustering in Mixture of Markov Chains [74.3828414695655]
  We study the problem of clustering $T$ trajectories of length $H$, each generated by one of $K$ unknown ergodic Markov chains over a finite state space of size $S$.<n>We derive an instance-dependent, high-probability lower bound on the clustering error rate, governed by the weighted KL divergence between the transition kernels of the chains.<n>We then present a novel two-stage clustering algorithm.
  arXiv  Detail & Related papers  (2025-06-02T05:10:40Z)
• Antiparticles in non-relativistic quantum mechanics [55.2480439325792]
  Non-relativistic quantum mechanics was originally formulated to describe particles.<n>We show how the concept of antiparticles can and should be introduced in the non-relativistic case without appealing to quantum field theory.
  arXiv  Detail & Related papers  (2024-04-02T09:16:18Z)
• A Unified Framework for Uniform Signal Recovery in Nonlinear Generative Compressed Sensing [68.80803866919123]
  Under nonlinear measurements, most prior results are non-uniform, i.e., they hold with high probability for a fixed $mathbfx*$ rather than for all $mathbfx*$ simultaneously. Our framework accommodates GCS with 1-bit/uniformly quantized observations and single index models as canonical examples. We also develop a concentration inequality that produces tighter bounds for product processes whose index sets have low metric entropy.
  arXiv  Detail & Related papers  (2023-09-25T17:54:19Z)
• DHR bimodules of quasi-local algebras and symmetric quantum cellular automata [0.0]
  We show that for the double spin flip action $mathbbZ/2mathbbZtimes mathbbZ/2mathbbZZcurvearrowright mathbbC2otimes mathbbC2$, the group of symmetric QCA modulo symmetric finite depth circuits in 1D contains a copy of $S_3$, hence is non-abelian.
  arXiv  Detail & Related papers  (2023-03-31T18:33:07Z)
• Learning a Single Neuron with Adversarial Label Noise via Gradient Descent [50.659479930171585]
  We study a function of the form $mathbfxmapstosigma(mathbfwcdotmathbfx)$ for monotone activations. The goal of the learner is to output a hypothesis vector $mathbfw$ that $F(mathbbw)=C, epsilon$ with high probability.
  arXiv  Detail & Related papers  (2022-06-17T17:55:43Z)
• Markovian Repeated Interaction Quantum Systems [0.0]
  We study a class of dynamical semigroups $(mathbbLn)_ninmathbbN$ that emerge, by a Feynman--Kac type formalism, from a random quantum dynamical system. As a physical application, we consider the case where the $mathcalL_omega$'s are the reduced dynamical maps describing the repeated interactions of a system with thermal probes.
  arXiv  Detail & Related papers  (2022-02-10T20:52:40Z)
• Stochastic behavior of outcome of Schur-Weyl duality measurement [45.41082277680607]
  We focus on the measurement defined by the decomposition based on Schur-Weyl duality on $n$ qubits. We derive various types of distribution including a kind of central limit when $n$ goes to infinity.
  arXiv  Detail & Related papers  (2021-04-26T15:03:08Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.