arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.08196

A cubical approach to homology theories for hypergraphs

Syed Hadi Ali Zaidi·Samira Sahar Jamil
View original source ↗Read source document ↗Export metadata ↓

Abstract

We introduce three homology theories for hypergraphs, namely $Γ$-homology, $\Box$-homology, and $\times$-homology, and show that they are pairwise non-isomorphic and distinct from the embedded homology of hypergraphs. We further introduce a notion of homotopy for hypergraphs that extends the discrete homotopy theory of graphs. Among the homology theories considered, we prove that $\Box$-homology is invariant under this homotopy, whereas $Γ$-homology and $\times$-homology fail to satisfy homotopy invariance. Based on excision, we also identify a distinctive structural behavior exhibited by $Γ$-homology that further differentiates it from $\Box$-homology.

Explore related subjects

math.ATmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Syed Hadi Ali Zaidi, Samira Sahar Jamil. 2026-10-06. A cubical approach to homology theories for hypergraphs. https://arxiv.org/abs/2610.08196

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Second homotopy classes associated with non-cancellative monoids

We develop a method for constructing certain second homotopy classes in a topological space from NC-twins in the monoid associated with a semi-positive presentation of its fundamental group. The construction is achieved by lifting the algebraic defining relations to geometric relations. To each NC-twin we associate a set of second homotopy classes, called the $Π$-class, which forms a single coset of a subgroup of $π_2$, called the inertia group. We apply the construction to Yoshinaga's positive presentations for line-arrangement complements and show that, for the generic three-line arrangement, the resulting classes recover Hattori's second homotopy class. We also associate with each NC-twin of an abstract monoid a canonical second homotopy class in its classifying space, and formulate its comparison problems with the $Π$-class and the inertia group.

math.AT↗
arXiv2026

$K$-Theoretic Obstructions to Linearizing QCA Representations

Projective representations arise naturally in physics and representation theory, and determining whether they can be linearized has been a fundamental problem. In this work, we study the analogous problem for quantum cellular automata (QCA) representations, which incorporate locality constraints imposed by a metric space $X$. Over an arbitrary field $\mathbb{F}$, we develop an obstruction theory for the linearization of QCA representations, using the algebraic $K$-theory spectrum of QCA constructed in previous work of the authors. The resulting obstructions are governed by the homotopy type of the QCA spaces, from which we extract universal obstruction classes to linearization. In the complex algebraic and unitary case, we also fully compute the homotopy types of the QCA spaces over a point, a line, and a plane.

math.AT↗
arXiv2026

Profinite completions and cohomology jump loci

Let $X$ be a connected finite-type CW-complex with fundamental group $G$. We show that the profinite completion $\widehat{G}$ determines the cohomology jump loci $\mathcal{V}^q_s(X,\mathbb{C})$ under two hypotheses: that the loci are finite unions of torsion-translated subtori, as for smooth quasi-projective varieties, and that $\widehat{G}$ determines the Betti numbers of the finite cyclic covers of $X$ in degrees $\le q$, which holds unconditionally for $q=1$, and in all degrees when $X$ is aspherical and $G$ is good in the sense of Serre. When the isomorphism of completions is compatible with an identification of the abelianizations, the loci correspond exactly; in general, they correspond up to an isogeny. Applied to finite covers, this shows that the tropical bounds for the Bieri--Neumann--Strebel--Renz invariants are profinite invariants, and recovers the profinite invariance of the BNS invariant of Kähler groups due to Hughes, Llosa Isenrich, Py, Stover, and Vidussi. We also show that $\widehat{G}$ determines the graded abelian groups $\mathrm{gr}_r(G/W(G))$, torsion included, for every verbal subgroup $W(G)$; the cases $W(G)=1$ and $W(G)=G''$ give the lower central series quotients and the Chen groups. For hyperplane arrangements, it follows that no arithmetic Zariski pair is distinguished by any of these invariants, while two known lattice-isomorphic pairs show, respectively, that the profinite completion of an arrangement group is not combinatorially determined, and that it does not determine the group.

math.AT↗