A CONSTRUCTION OF SPACES OF COMPATIBLE DIFFERENTIAL FORMS ON CELLULAR COMPLEXES

Given a cellular complex, we construct spaces of differential forms which form a complex under the exterior derivative, which is isomorphic to the cochain complex of the cellular complex. The construction applies in particular to subsets of Euclidean space divided into polyhedra, for which it provides, for each k, a space of k-forms with a basis indexed by the set of k-dimensional cells. In the framework of mimetic finite differences, the construction provides a conforming reconstruction operator. The construction requires auxiliary spaces of differential forms on each cell, for which we provide two examples. When the cells are simplexes, the construction can be used to recover the standard mixed finite element spaces also called Whitney forms. We can also recover the dual finite elements previously constructed by A. Buffa and the author on the barycentric refinement of a two-dimensional mesh.