Discrete Morse Theory for Computing Cellular Sheaf Cohomology

  title={Discrete Morse Theory for Computing Cellular Sheaf Cohomology},
  author={Justin Curry and Robert Ghrist and Vidit Nanda},
  journal={Foundations of Computational Mathematics},
Sheaves and sheaf cohomology are powerful tools in computational topology, greatly generalizing persistent homology. We develop an algorithm for simplifying the computation of cellular sheaf cohomology via (discrete) Morse theoretic techniques. As a consequence, we derive efficient techniques for distributed computation of (ordinary) cohomology of a cell complex. 

Cellular sheaves of lattices and the Tarski Laplacian

This paper initiates a discrete Hodge theory for cellular sheaves taking values in a category of lattices and Galois connections. The key development is the Tarski Laplacian, an endomorphism on the

Persistent sheaf cohomology

We expand the toolbox of (co)homological methods in computational topology by applying the concept of persistence to sheaf cohomology. Since sheaves (of modules) combine topological information with

Matroid Filtrations and Computational Persistent Homology

A novel approach to efficient computation in homological algebra over fields, with particular emphasis on computing the persistent homology of a filtered topological cell complex, based on a novel relationship between discrete Morse theory, matroid theory, and classical matrix factorizations.

Graph de Rham Cohomology and the Automorphsim Group

We introduce a graph-theoretical interpretation of an induced action of Aut$(\Gamma)$ in the discrete de Rham cohomology of a finite graph $\Gamma$. This action produces a splitting of Aut$(\Gamma)$

Distributing Persistent Homology via Spectral Sequences

We set up the theory for a distributive algorithm for computing persistent homology. For this purpose we develop linear algebra of persistence modules. We present bases of persistence modules, and

Discrete Morse theory and localization

  • Vidit Nanda
  • Mathematics
    Journal of Pure and Applied Algebra
  • 2019

Weighted sheaves and homology of Artin groups

In this paper we expand the theory of weighted sheaves over posets, and use it to study the local homology of Artin groups. First, we use such theory to relate the homology of classical braid groups


I develop algebraic-topological theories, algorithms and software for the analysis of nonlinear data and complex systems arising in various scientific contexts. In particular, I employ discrete

Continuation Sheaves in Dynamics: Sheaf Cohomology and Bifurcation

Continuation of algebraic structures in families of dynamical systems is described using category theory, sheaves, and lattice algebras. Well-known concepts in dynamics, such as attractors or

Canonical Stratifications Along Bisheaves

A theory of bisheaves has been recently introduced to measure the homological stability of fibers of maps to manifolds. A bisheaf over a topological space is a triple consisting of a sheaf, a



Discrete Morse Theoretic Algorithms for Computing Homology of Complexes and Maps

A new Morse theoretic preprocessing framework for deriving chain maps from set-valued maps is introduced, and hence an effective scheme for computing the morphism induced on homology by the approximated continuous function is provided.

The Nyquist theorem for cellular sheaves

We develop a unified sampling theory based on sheaves and show that the Shannon-Nyquist theorem is a cohomological consequence of an exact sequence of sheaves. Our theory indicates that there are

Morse Theory for Filtrations and Efficient Computation of Persistent Homology

An efficient preprocessing algorithm is introduced to reduce the number of cells in a filtered cell complex while preserving its persistent homology groups through an extension of combinatorial Morse theory from complexes to filtrations.

Morse theory from an algebraic viewpoint

Forman's discrete Morse theory is studied from an algebraic viewpoint, and we show how this theory can be extended to chain complexes of modules over arbitrary rings. As applications we compute the

Elements of algebraic topology

Elements of Algebraic Topology provides the most concrete approach to the subject. With coverage of homology and cohomology theory, universal coefficient theorems, Kunneth theorem, duality in

On the sheaf theory

The“Gel’fand sheaf” of a topological algebra is endowed with auniform structure, this being complete if and only if, the spectrum of the algebra considered is complete. Examples are also provided.

Discrete Morse Theory for free chain complexes

An introduction to homological algebra

Preface 1. Generalities concerning modules 2. Tensor products and groups of homomorphisms 3. Categories and functors 4. Homology functors 5. Projective and injective modules 6. Derived functors 7.

Morse Theory for Cell Complexes

In this paper we will present a very simple discrete Morse theory for CW complexes. In addition to proving analogues of the main theorems of Morse theory, we also present discrete analogues of such

On discrete Morse functions and combinatorial decompositions