相关论文: A Morse Mayer-Vietoris Sequence for Cosheaf Homolo…

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…

Incidence relations among the cells of a regular CW complex produce a poset-enriched category of entrance paths whose classifying space is homotopy-equivalent to that complex. We show here that each acyclic partial matching (in the sense of…

We study the cohomology theory of sheaf complexes for open embeddings of topological spaces and related subjects. The theory is situated in the intersection of the general Cech theory and the theory of derived categories. That is to say, on…

We derive a discrete analogue of Morse-Bott theory on CW complexes and use this discrete Morse-Bott function to do some Conley theory analysis. It turns out that our discrete Morse-Bott theory is indeed a generalization of Forman's discrete…

To every tree we associate a filtered cochain complex. Its cohomology and the corresponding spectral sequence have clear combinatorial description. If a tree is the Dynkin diagram of a simple plane curve singularity, the graded Euler…

We will use the tools developed in [Rie24] to give a Morse-theoretic description of a string topology product on the homology of the space of paths in a manifold Y with endpoints in a submanifold X and a module structure on this homology…

The idea of a space with smooth structure is a generalization of an idea of a manifold. K. T. Chen introduced such a space as a differentiable space in his study of a loop space to employ the idea of iterated path integrals…

We prove standard results of group cohomology -- namely, existence of a long exact sequence, classification of torsors via the first cohomology group, Shapiro's lemma, the Hochschild-Serre spectral sequence, a decomposition of the cochain…

We present a complete acyclic matching of the Hasse diagram associated with the face lattice of a hypersimplex. Since a hypersimplex is a convex polytope, there is a natural way to form a CW complex from its faces. We will then utilize this…

The original de Rham cohomology due to Souriau and the singular cohomology in diffeology are not isomorphic to each other in general. This manuscript introduces a singular de Rham complex endowed with an integration map into the singular…

In this note, we construct invariant and coinvariant Morse chain complexes with integer coefficients for any compact effective orbifold. We show that the homologies of these two chain complexes are invariants of the orbifold. We conjecture…

We study the homotopy theory of diagrams of chain complexes over a field indexed by a finite poset, and show that it can be completely described in terms of appropriate diagrams of graded vector spaces.

We define an integral Borel-Moore homology theory over finite fields, called arithmetic homology, and an integral version of Kato homology. Both types of groups are expected to be finitely generated, and sit in a long exact sequence with…

We provide first a categorical exploration of, and then completion of the mapping of the relationships among, three fundamental perspectives on binary relations: as the incidence matrices of hypergraphs, as the formal contexts of concept…

We consider two categorifications of the cohomology of a topological space X by taking coefficients in the category of differential graded categories. We consider both derived global sections of a constant presheaf and singular cohomology…

In this paper, we define a relative Morse complex for manifold with boundary using the handlebody decomposition of the manifold. We prove that the homology of the relative Morse complex is isomorphic to the relative singular homology.…

Discrete Morse theory emerged as an essential tool for computational geometry and topology. Its core structures are discrete gradient fields, defined as acyclic matchings on a complex $C$, from which topological and geometrical informations…

The dynamics of large complex systems are predominately modeled through pairwise interactions, the principle underlying structure being a network of the form of a digraph or quiver. Significant success has been obtained in applying the…

In this note on coarse geometry we revisit coarse homotopy. We prove that coarse homotopy indeed is an equivalence relation, and this in the most general context of abstract coarse structures. We introduce (in a geometric way) coarse…

In this paper, we give a necessary and sufficient condition that discrete Morse functions on a digraph can be extended to be Morse functions on its transitive closure, from this we can extend the Morse theory to digraphs by using…