Bounded cochain projection and the commuting diagram

Intuition Beginner

A finite element method needs a way to move continuous fields onto a mesh.

A projection does this by replacing a continuous field with a discrete field in the finite element space. But FEEC needs more than any projection: it needs a projection that respects the derivative chain.

The commuting diagram says that projecting and then differentiating gives the same result as differentiating first and then projecting to the next space.

Boundedness says this projection does not amplify the field by a mesh-dependent amount. Together, commuting and boundedness are the stability bridge between the continuous de Rham complex and the discrete one.

Visual Beginner

Both paths through the diagram give the same discrete derivative.

Worked example Beginner

Suppose a continuous field is projected onto a mesh edge-field space. If we then take its discrete curl, the result should agree with first taking the continuous curl and then projecting that result onto the mesh face-field space.

If these two paths disagree, the numerical method may break a conservation or compatibility law.

What this tells us: the projection is not just about approximation. It is also about preserving the structure of the PDE.

Check your understanding Beginner

Formal definition Intermediate+

Let $$ \Lambda_h^k\subset H\Lambda^k(\Omega) $$ be a finite element subcomplex as in 24.03.04. A cochain projection is a family of maps $$ \pi_h^k\Lambda^k(\Omega)\to \Lambda_h^k $$ such that each ${\pi }_h^k$ is a projection: $$ \pi_h^k\omega=\omega\quad\text{for all }\omega\in\Lambda_h^k, $$ and the maps commute with the exterior derivative: $$ d\pi_h^k=\pi_h^{k+1}d. $$

The commuting square is $$ \begin{CD} H\Lambda^k @>d>> H\Lambda^{k+1}\ @V\pi_h^kVV @VV\pi_h^{k+1}V\ \Lambda_h^k @>d>> \Lambda_h^{k+1}. \end{CD} $$

The projection is bounded if there is a constant $C$, independent of mesh size $h$, such that $$ |\pi_h^k\omega|{H\Lambda^k}\leq C|\omega|{H\Lambda^k} $$ or in the required FEEC estimate, often an $L^2$ or graph-norm version appropriate to the theorem.

Counterexamples to common slips

• A projection onto the finite element space is not enough; it must commute with $d$.
• Interpolation at degrees of freedom may fail for low-regularity Sobolev forms, so smoothed projections are needed.
• Boundedness must be uniform over a shape-regular mesh family, not only true for one fixed mesh.

Key theorem with proof Intermediate+

Theorem (bounded cochain projection gives stable communication between complexes). If ${\pi }_h^{\bullet }$ is a uniformly bounded cochain projection from the continuous de Rham complex onto a finite element subcomplex, then closed, exact, and cohomological structure can be transferred stably between the continuous and discrete complexes.

Proof. The projection property says that discrete forms are fixed by ${\pi }_h$. Thus the map is a genuine projection onto the finite element spaces.

The commuting property gives $$ d\pi_h^k\omega=\pi_h^{k+1}d\omega. $$ If $\omega$ is closed, then $d\omega =0$, so $$ d\pi_h^k\omega=\pi_h^{k+1}0=0. $$ Thus closed forms project to closed discrete forms. If $\omega =d\eta$ is exact, then $$ \pi_h^k\omega=\pi_h^k d\eta=d\pi_h^{k-1}\eta, $$ so exact forms project to exact discrete forms.

Uniform boundedness controls the size of the projected forms independently of mesh refinement. Hence the projection transfers the complex structure without creating mesh-dependent instabilities. $\square$

Bridge. This unit builds on the subcomplex axiom in 24.03.04. The subcomplex says the discrete spaces form a chain; the bounded cochain projection says the continuous and discrete chains are connected by stable commuting maps. Together they are the structural input for the FEEC convergence theorem in 24.03.06.

Exercises Intermediate+

Advanced results Master

Bounded cochain projections are the analytic heart of FEEC. The subcomplex axiom gives algebraic compatibility, but stability estimates require a uniformly bounded way to compare continuous forms with discrete forms.

Classical finite element interpolation is not enough in this setting. Many Sobolev forms do not have enough pointwise regularity for all degrees of freedom to be evaluated directly. Smoothed projections solve this by combining local smoothing, interpolation, and correction steps that preserve the commuting property.

The commuting projection acts like a Fortin operator for Hilbert complexes. In mixed methods, a Fortin operator transfers inf-sup stability from continuous to discrete spaces. In FEEC, the bounded cochain projection transfers Poincare-type inequalities and controls discrete harmonic forms.

The local bounded cochain projection of Falk and Winther gives a construction with locality and mesh-uniform bounds on shape-regular meshes ^{[Falk-Winther]}. Schoberl's earlier work supplied key commuting quasi-interpolation ideas in the Maxwell setting ^[Schoberl].

Once a bounded cochain projection exists, the discrete complex has cohomology isomorphic to the continuous/cochain model under standard assumptions, and discrete stability constants can be bounded independently of mesh size. This is why the projection is a structural axiom rather than a technical accessory.

Synthesis. A bounded cochain projection is the stable translator between smooth PDE fields and mesh fields. Commuting preserves derivative structure; projection preserves the finite element space; boundedness preserves estimates under refinement. These three features make FEEC convergence a theorem about complexes rather than a collection of unrelated element-by-element arguments.

Full proof set Master

Proposition 1 (closed forms project to closed forms). If $d\omega =0$, then $d{\pi }_h^k\omega =0$.

Proof. By the commuting identity, $$ d\pi_h^k\omega=\pi_h^{k+1}d\omega. $$ Since $d\omega =0$, the right side is zero. $\square$

Proposition 2 (exact forms project to exact forms). If $\omega =d\eta$, then ${\pi }_h^k\omega$ is exact in the discrete complex.

Proof. Using the commuting identity, $$ \pi_h^k\omega=\pi_h^k d\eta=d\pi_h^{k-1}\eta. $$ Since ${\pi }_h^{k-1}\eta \in {\Lambda }_h^{k-1}$, the projected form is the discrete exterior derivative of a discrete form. $\square$

Proposition 3 (projection property gives identity on the discrete complex). If ${\omega }_h\in {\Lambda }_h^k$, then ${\pi }_h^k{\omega }_h={\omega }_h$.

Proof. This is part of the definition of a projection onto ${\Lambda }_h^k$. It ensures that applying the projection twice gives the same result as applying it once: $$ (\pi_h^k)^2=\pi_h^k. $$ $\square$

Connections Master

• Sobolev spaces of differential forms 24.01.02. Cochain projections act on Sobolev form spaces such as $H{\Lambda }^k$.

• Polynomial differential form spaces 24.03.03. The target finite element spaces are full or trimmed polynomial form spaces.

• Discrete de Rham complex 24.03.04. The projection connects the continuous and discrete complexes by a commuting diagram.

• Babuška-Brezzi condition 24.01.04. Bounded cochain projections play the FEEC role analogous to Fortin operators in mixed FEM.

• FEEC convergence theorem 24.03.06. The convergence theorem uses bounded cochain projections to prove stability and error estimates.

Historical & philosophical context Master

Arnold, Falk, and Winther identified bounded cochain projections as a central ingredient in FEEC stability theory ^{[Arnold-Falk-Winther]}. The projection condition packages the analytic compatibility that earlier mixed finite element proofs often handled separately.

Schoberl developed commuting quasi-interpolation methods in the context of Maxwell equations and related finite element complexes ^[Schoberl]. Falk and Winther later gave local bounded cochain projections for finite element exterior calculus ^{[Falk-Winther]}.

Philosophically, the bounded projection turns FEEC from a beautiful algebraic classification into a numerical stability theory. It is the map that lets continuous estimates survive discretization.

Bibliography Master

@article{ArnoldFalkWinther2006Projection,
  author = {Arnold, Douglas N. and Falk, Richard S. and Winther, Ragnar},
  title = {Finite element exterior calculus, homological techniques, and applications},
  journal = {Acta Numerica},
  volume = {15},
  pages = {1--155},
  year = {2006}
}

@article{Schoberl2008Projection,
  author = {Schoberl, Joachim},
  title = {A posteriori error estimates for Maxwell equations},
  journal = {Mathematics of Computation},
  volume = {77},
  pages = {633--649},
  year = {2008}
}

@article{FalkWinther2014Projection,
  author = {Falk, Richard S. and Winther, Ragnar},
  title = {Local bounded cochain projections},
  journal = {Mathematics of Computation},
  volume = {83},
  pages = {2631--2656},
  year = {2014}
}

@book{Arnold2018Projection,
  author = {Arnold, Douglas N.},
  title = {Finite Element Exterior Calculus},
  series = {CBMS-NSF Regional Conference Series in Applied Mathematics},
  volume = {93},
  publisher = {SIAM},
  year = {2018}
}