arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.25557

Signed GLMY Homology of Signed Graphs via Double Covers

Shuliang Bai·Jingyan Li·Shing-Tung Yau
View original source ↗Read source document ↗Export metadata ↓

Abstract

We define a signed GLMY chain complex over $\mathbb{R}$ for signed digraphs using sheet-labelled regular paths. The complex is naturally isomorphic to the deck anti-invariant subcomplex of the ordinary GLMY complex on the signed double cover. The double-cover realization yields switching invariance and recovers ordinary GLMY homology for switching-balanced signings. Bidirected completion gives an orientation-independent homology theory for signed graphs. For a signed graph, the zero-dimensional homology identifies with the kernel of the signed Laplacian and has dimension equal to the number of balanced connected components. Signed GLMY homology is functorial under signed weak morphisms, which combine vertex maps with switching functions and allow compatible arrow contractions. For signed digraphs, the all-positive reduction retains the orientation sensitivity of ordinary GLMY homology, while explicit computations show additional sensitivity to the arrow signs. For a fixed digraph with five vertices and nine arrows, we classify all 512 arrow signings and obtain exactly four signed Betti vectors. Precisely 16 signings have nonzero second signed GLMY homology.

Explore related subjects

math.ATmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Shuliang Bai, Jingyan Li, Shing-Tung Yau. 2026-09-22. Signed GLMY Homology of Signed Graphs via Double Covers. https://arxiv.org/abs/2609.25557

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

KEEP EXPLORING

Related papers

arXiv2026

Persistent Simple-homotopy invariants via discrete Morse theory

Persistent homology records the evolution of homological features along a filtration, but does not retain finer information related to simple-homotopy theory. In this paper, we develop two approaches to capturing such information for filtered simplicial complexes. We first introduce the Morse complexity profile, which records the minimal number of critical simplices at each filtration level. We study its invariance and stability properties and develop computable approximations using several discrete Morse matchings. We then introduce a persistent version of Whitehead torsion and show that it is invariant under both levelwise homotopy equivalence and interleaving equivalence of filtrations.

math.AT↗
arXiv2026

Gabriel Spectrum of Persistence Categories

We determine the Gabriel spectrum of a category of sheaves of vector spaces in purely topological terms. For every topological space $X$, we prove that the Gabriel spectrum of ${\mathbf{Sh}}(X)$ is homeomorphic to ${\mathrm{Sk}}({\mathrm{Sob}}(X))$, where ${\mathrm{Sob}}(X)$ denotes the sobrification of $X$ and ${\mathrm{Sk}}$ indicates passage to the Skula topology. The proof is based on a classification of indecomposable injective sheaves and a characterization of localizing subcategories in terms of Skula-open subsets. We show that the Gabriel spectrum is always Hausdorff, zero-dimensional, and totally disconnected, and that it is compact if and only if $X$ is Noetherian. This leads to computations of Gabriel spectra arising in persistence theory. In particular, the Gabriel spectrum of the category of persistence modules over ${\mathbb R}^n$ is homeomorphic to the space of ideals of ${\mathbb R}^n$ with a natural topology.

math.AT↗
arXiv2026

Homotopy groups and quantitative Sperner-type lemma

We prove quantitative forms of Sperner's lemma in which the boundary homotopy class controls the number of fully labeled simplices. Let a convex $(m+1)$-ball have a geometric triangulation labeled by $n+2$ colors, with $m\ge n\ge1$ and no fully labeled $(n+1)$-simplex on the boundary. The labeling induces a boundary class $a\inπ_m(S^n)$. We prove that the number $C$ of fully labeled $(n+1)$-simplices satisfies $C\geμ(m,n,a)$ when $m=n$, when $m=n+1$, or whenever $C\le2(n+2)$. Here $μ$ is the least number of source $n$-simplices over a target facet among representatives of $a$ on smoothly triangulated spheres. We compute this minimum: it is the absolute degree in equal dimensions and nine for every nonzero class in consecutive dimensions. This yields the degree bound and a sharp uniform bound of nine in consecutive dimensions. A nonzero boundary class in $π_4(S^2)$ also forces at least nine fully labeled tetrahedra in a convex five-ball. For that class we prove $9\leμ(4,2,a)\le63$ and conjecture equality with nine. In contrast, for boundaries of convex simplicial polytopes the Hopf minimum grows as the square root of the absolute Hopf invariant. The proofs use framed fibres, their color cycles, and localization on vertex links.

math.AT↗