Related papers: The Dowker theorem via discrete Morse theory

We describe an explicit chain map from the standard resolution to the minimal resolution for the finite cyclic group Z_k of order k. We then demonstrate how such a chain map induces a "Z_k-combinatorial Stokes theorem", which in turn…

Let $M$ be a closed manifold and $\mathcal{A} \subseteq H^1_{\mathrm{dR}}(M)$ a polytope. For each $a \in \mathcal{A}$ we define a Novikov chain complex with a multiple finiteness condition encoded by the polytope $\mathcal{A}$. The…

In this paper we use the theory of barcodes as a new tool for studying dynamics of area-preserving homeomorphisms. We will show that the barcode of a Hamiltonian diffeomorphism of a surface depends continuously on the diffeomorphism, and…

Using Morse theory and a new relative homological linking of pairs, we prove a ``homological linking principle'', thereby generalizing many well known results in critical point theory.

We prove a general version of the homological perturbation lemma which works in the presence of curvature, and without the restriction to strong deformation retracts, building on work of Markl. A key observation is that the notion of strong…

This paper investigates sufficient and necessary conditions for the existence of a homotopy equivalence between two finite simplicial complexes from an algorithmic point of view. As a result, the conditions are formulated in terms of the…

We establish an isomorphism between the 0-degree \"uberhomology and the double homology of finite simplicial complexes, using a Mayer-Vietoris spectral sequence argument. We clarify the correspondence between these theories by providing…

We adapt the definition of the Vietoris map to the framework of finite topological spaces and we prove some coincidence theorems. From them, we deduce a Lefschetz fixed point theorem for multivalued maps that improves recent results in the…

We investigate the homology of cosheaves over finite simplicial complexes. After constructing the Mayer-Vietoris short exact sequence for this homology theory, we apply discrete Morse theory to this setting, defining the associated Morse…

We address the homotopy theory of 2-crossed modules of commutative algebras, which are equivalent to simplicial commutative algebras with Moore complex of length two. In particular, we construct for maps of 2-crossed modules a homotopy…

We construct the moduli space of index 2 flowlines of a discrete Morse function, giving a new proof that the Morse differential squares to zero in discrete Morse homology.

We investigate Tukey morphisms between binary relations, establishing several fundamental lemmas. We then specialize to finite binary relations, using computational methods to classify all binary relations with at most $6$ points in the…

A duality theorem for the category of locally compact Hausdorff spaces and continuous maps which generalizes the well-known Duality Theorem of de Vries is proved.

Given a finite set of points in $\mathbb R^n$ and a radius parameter, we study the \v{C}ech, Delaunay-\v{C}ech, Delaunay (or Alpha), and Wrap complexes in the light of generalized discrete Morse theory. Establishing the \v{C}ech and…

The dual complex of a singularity is defined, up-to homotopy, using resolutions of singularities. In many cases, for instance for isolated singularities, we identify and study a "minimal" representative of the homotopy class that is well…

Using ideas of the Dowker duality we prove that the Rips complex at scale $r$ is homotopy equivalent to the nerve of a cover consisting of sets of prescribed diameter. We then develop a functorial version of the Nerve theorem coupled with…

Framed combinatorial topology is a novel theory describing combinatorial phenomena arising at the intersection of stratified topology, singularity theory, and higher algebra. The theory synthesizes elements of classical combinatorial…

We show that the main theorem of Morse theory holds for a large class of functions on singular spaces. The function must satisfy certain conditions extending the usual requirements on a manifold that Condition C holds and the gradient flow…

There is a longstanding conjecture, due to Gregory Cherlin and Boris Zilber, that all simple groups of finite Morley rank are simple algebraic groups. One of the major theorems in the area is Borovik's trichotomy theorem. The "trichotomy"…

We show how to construct homology bases for certain CW complexes in terms of discrete Morse theory and cellular homology. We apply this technique to study certain subcomplexes of the half cube polytope studied in previous works. This…