Logo image
The Dowker theorem via discrete Morse theory
Preprint   Open access

The Dowker theorem via discrete Morse theory

Morten Brun and Darij Grinberg
ArXiv.org
22 Jul 2024
url
https://arxiv.org/abs/2407.15454View
Preprint (Author's original)arXiv.org - Non-exclusive license to distribute Open

Abstract

Mathematics - Algebraic Topology Mathematics - Combinatorics
The Dowker theorem is a classical result in the topology of finite spaces, claiming that any binary relation between two finite spaces defines two homotopy-equivalent complexes (the Dowker complexes). Recently, Barmak strengthened this to a simple-homotopy-equivalence. We reprove Barmak's result using a combinatorial argument that constructs an explicit acyclic matching in the sense of discrete Morse theory.

Metrics

15 Record Views

Details

Logo image