Table of Contents
Fetching ...

Many facets of cohomology: Differential complexes and structure-aware formulations

Kaibo Hu

TL;DR

The paper articulates a unifying framework where differential complexes organize the relationships among physical observables across disciplines. By detailing De Rham and BGG complexes, twisted and conformal variants, and their analytic consequences via Hodge theory, it shows how exactness and finite-dimensional cohomology govern existence, stability, and rigidity of solutions. It then connects these ideas to solid mechanics, fluids, general relativity, and graphs, illustrating how structure-aware formulations yield robust, physics-faithful models and discretizations. The work emphasizes that preserving cohomology in discretizations (e.g., FEEC and related BGG constructions) is key to well-posed, stable computations, and it highlights cross-domain insights such as elasticity from Cosserat models, MHD helicity preservation, and discrete topological data analysis. Overall, the differential-complex perspective provides a cohesive toolkit for modelling, analysis, and numerics in a wide range of scientific contexts.

Abstract

Complexes and cohomology, traditionally central to topology, have emerged as fundamental tools across applied mathematics and the sciences. This survey explores their roles in diverse areas, from partial differential equations and continuum mechanics to reformulations of the Einstein equations and network theory. Motivated by advances in compatible and structure-preserving discretisation such as Finite Element Exterior Calculus (FEEC), we examine how differential complexes encode critical properties such as existence, uniqueness, stability and rigidity of solutions to differential equations. We demonstrate that various fundamental concepts and models in solid and fluid mechanics are essentially formulated in terms of differential complexes.

Many facets of cohomology: Differential complexes and structure-aware formulations

TL;DR

The paper articulates a unifying framework where differential complexes organize the relationships among physical observables across disciplines. By detailing De Rham and BGG complexes, twisted and conformal variants, and their analytic consequences via Hodge theory, it shows how exactness and finite-dimensional cohomology govern existence, stability, and rigidity of solutions. It then connects these ideas to solid mechanics, fluids, general relativity, and graphs, illustrating how structure-aware formulations yield robust, physics-faithful models and discretizations. The work emphasizes that preserving cohomology in discretizations (e.g., FEEC and related BGG constructions) is key to well-posed, stable computations, and it highlights cross-domain insights such as elasticity from Cosserat models, MHD helicity preservation, and discrete topological data analysis. Overall, the differential-complex perspective provides a cohesive toolkit for modelling, analysis, and numerics in a wide range of scientific contexts.

Abstract

Complexes and cohomology, traditionally central to topology, have emerged as fundamental tools across applied mathematics and the sciences. This survey explores their roles in diverse areas, from partial differential equations and continuum mechanics to reformulations of the Einstein equations and network theory. Motivated by advances in compatible and structure-preserving discretisation such as Finite Element Exterior Calculus (FEEC), we examine how differential complexes encode critical properties such as existence, uniqueness, stability and rigidity of solutions to differential equations. We demonstrate that various fundamental concepts and models in solid and fluid mechanics are essentially formulated in terms of differential complexes.

Paper Structure

This paper contains 24 sections, 6 theorems, 155 equations, 20 figures.

Key Result

Theorem 1

Boundary of boundary vanishes, i.e., $\partial_{k-1}\circ \partial_{k}=0$.

Figures (20)

  • Figure 1: Hat function on a triangulation $\mathcal{T}_{h}$.
  • Figure 2: Poisson problem on unit square with $f=1$. Left: plot of $u_{h}$, Lagrange elements of second order. Right: plot of the magnitude of $\nabla u_{h}$.
  • Figure 3: Mixed Poisson problem on unit square with $f=1$. Finite element pair: $u_{h}\in \mathrm{RT}_{1}$, the first order Raviart-Thomas element; $\vectorsym \sigma_{h}\in \mathrm{DG}_{0}$, piecewise constants. Left: plot of $u_{h}$. Right: plot of the magnitude of $\vectorsym \sigma_{h}$. Error $u$: 0.0038, error $\vectorsym\sigma$: 0.0017. Mesh size = 0.1.
  • Figure 4: Mixed Poisson problem on unit square with $f=1$. Finite element pair: $u_{h}\in \mathrm{RT}_{1}$, the first order Raviart--Thomas element; $\vectorsym\sigma_{h}\in \mathrm{DG}_{0}$, piecewise constants. Left: plot of $u_{h}$. Right: plot of the magnitude of $\vectorsym\sigma_{h}$. Error $u$: 0.0019, error $\vectorsym\sigma$: 0.0005. Mesh size = 0.05.
  • Figure 5: Mixed Poisson problem on unit square with $f=1$. Finite element pair: $u_{h}\in C^{0}\mathcal{P}^{1}$, the vector version of the Lagrange spaces; $\vectorsym\sigma_{h}\in \mathrm{DG}_{0}$, piecewise constants. Left: plot of $u_{h}$. Right: plot of the magnitude of $\vectorsym\sigma_{h}$. Mesh size = 0.05.
  • ...and 15 more figures

Theorems & Definitions (29)

  • Example 1: compatible discretisation of multi-fields
  • Example 2: incompressible flows
  • Example 3: long-term evolution
  • Definition 1: Simplex
  • Definition 2: Simplicial complex
  • Definition 3: Oriented simplex
  • Definition 4: $k$-chain
  • Definition 5: Chain groups
  • Definition 6: Boundary operator $\partial_{k}$
  • Theorem 1
  • ...and 19 more