Structure on the top homology and related algorithms

DOI10.1016/J.TOPOL.2020.107397zbMATH Open1469.57031arXiv1203.5288OpenAlexW3088796972MaRDI QIDQ2219282FDOQ2219282

Authors: Nissim Ranade, Chandrika Sadanand, Dennis Sullivan 

Publication date: 19 January 2021

Published in: Topology and its Applications (Search for Journal in Brave)

Abstract: We explore the special structure of the top-dimensional homology of any compact triangulable space $X$ of dimension $d$. Since there are no $(d+1)$-dimensional cells, the top homology equals the top cycles and is thus a free abelian group. There is no obvious basis, but we show that there is a canonical embedding of the top homology into a canonical free abelian group which has a natural basis up to signs. This embedding structure is an invariant of $X$ up to homeomorphism. This circumstance gives the top homology the structure of an (orientable) matroid, where cycles in the sense of matroids correspond to the cycles in the sense of homology. This adds a novel topological invariant to the topological literature. We apply this matroid structure on the top homology to give a polynomial-time algorithm for the construction of a basis of the top homology (over $mathbbZ$ coefficients).

Full work available at URL: https://arxiv.org/abs/1203.5288

Recommendations

• scientific article; zbMATH DE number 440064
• Algorithms in algebraic topology and homological algebra: the problem of complexity
• Computations of relative topological coHochschild homology
• scientific article; zbMATH DE number 5206858
• Algebraic topology. A structural introduction
• Simplicial and operad methods in algebraic topology
• scientific article; zbMATH DE number 1904840
• Topological methods in algebraic geometry
• scientific article; zbMATH DE number 3225125
• An application of computer algebra to algebraic topology

zbMATH Keywords

decomposition of finite simplicial complexes

Mathematics Subject Classification ID

Discrete Morse theory and related ideas in manifold topology (57Q70)

Cites Work

• Maximal Flow Through a Network
• Title not available (Why is that?)
• Oriented Matroids
• Title not available (Why is that?)
• Title not available (Why is that?)
• Combinatorial homotopy. II
• Oriented matroids
• New Finite Pivoting Rules for the Simplex Method
• Title not available (Why is that?)
• Combinatorial geometries, convex polyhedra, and Schubert cells
• On the Abstract Properties of Linear Dependence
• Greedy optimal homotopy and homology generators
• Orientability of matroids
• On simply connected, 4-dimensional polyhedra
• Measuring and computing natural generators for homology groups
• Title not available (Why is that?)
• Homology computations via acyclic subspace
• Efficient algorithms for computing a minimal homology basis

Cited In (6)

• Phylogenetic analysis and homology
• Algorithmic canonical stratifications of simplicial complexes
• Efficient construction of 2-chains representing a basis of \(H_{2}(\overline {\Omega }, \partial {\Omega }; \mathbb {Z})\)
• Annotating simplices with a homology basis and its applications
• Filtered simplicial homology, graph dissimilarity and überhomology
• Tri-partitions and bases of an ordered complex

This page was built for publication: Structure on the top homology and related algorithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2219282)