2022/05/06 by Li, Thomas J. X., Reidys, Christian M.
#05E45 #55N35 #55U10 #Algebraic Topology (math.AT) #Combinatorics (math.CO) #FOS: Mathematics #General Topology (math.GN) #K-Theory and Homology (math.KT)
paper · doi:10.48550/arxiv.2205.03435
We develop a framework for computing the homology of weighted simplicial complexes with coefficients in a discrete valuation ring. A weighted simplicial complex, (X,v), introduced by Dawson [Cah. Topol. Géom. Différ. Catég. 31 (1990), pp. 229--243], is a simplicial complex, X, together with an integer-valued function, v, assigning weights to simplices, such that the weight of any of faces are monotonously increasing. In addition, weighted homology, Hnv(X), features a new boundary operator, ∂nv. In difference to Dawson, our approach is centered at a natural homomorphism θ of weighted chain complexes. The key object is Hvn(X/θ), the weighted homology of a quotient of chain complexes induced by θ, appearing in a long exact sequence linking weighted homologies with different weights. We shall construct bases for the kernel and image of the weighted boundary map, identifying n-simplices as either κn- or μn-vertices. Long exact sequences of weighted homology groups and the bases, allow us to prove a structure theorem for the weighted simplicial homology with coefficients in a ring of formal power series R=\mathbbF[[π]], where \mathbbF is a field. Relative to simplicial homology new torsion arises and we shall show that the torsion modules are connected to a pairing between distinguished κn and μn+1 simplices.