---
title: Constructible Differential Forms
url: https://www.emergentmind.com/topics/constructible-differential-forms
type: topic
---

# Constructible Differential Forms

Constructible differential forms are not a single universally standardized object. In the literature surveyed here, the label is used for several closely related ideas: natural operations on smooth differential forms characterized purely by functoriality and finite-order locality; systems of honest forms obtained on the strata of singular varieties from reflexive differentials; differential-form dg models for constructible derived categories on stratified spaces; and locally computable discrete de Rham complexes on simplicial, cubical, and polytopal meshes. Across these settings, the common structural themes are naturality, compatibility with exterior differentiation, and locality in either the geometric or computational sense [1412.0840], [1210.3255], [0811.0191], [2303.11093].

## 1. Naturality and the functorial formulation

In the smooth category, the relevant framework begins with the category \( \mathrm{Man} \) of smooth manifolds and smooth maps, together with the subcategory \( \mathrm{Mann} \) whose morphisms are local diffeomorphisms. For each \(p\ge 0\), differential \(p\)-forms define a contravariant functor
\[
\Omega^p:\mathrm{Man}^{op}\to \mathrm{Set},\qquad X\mapsto \Omega^p(X),\qquad f:X\to Y\mapsto f^*:\Omega^p(Y)\to\Omega^p(X).
\]
A \(k\)-linear natural operation of arity \((p_1,\dots,p_k)\) and target degree \(q\) is a natural transformation
\[
P:\Omega^{p_1}\times\cdots\times \Omega^{p_k}\Rightarrow \Omega^q
\]
such that for every smooth map \(f:X\to Y\),
\[
P_X(f^*\omega_1,\dots,f^*\omega_k)=f^*(P_Y(\omega_1,\dots,\omega_k)).
\]

The smooth theory imposes the Peetre-Slovák regularity condition. Equivalently, when restricted to \( \mathrm{Mann} \), \(P\) must come from a differential operator of finite order on jets. Peetre-Slovák’s theorem then ensures that each \(P_X\) is locally given by a finite-order differential operator on the forms \( \omega_i \). This formulation isolates the precise sense in which an operation is “constructible” from the forms themselves: no auxiliary metric, vector field, connection, or coordinate choice is allowed [1412.0840].

## 2. Classification of natural operations on forms

Navarro–Sancho’s classification theorem states that every regular natural operation between differential forms is obtained from finitely many linear combinations, wedge products, and exterior differentials. More precisely, for \(p_1,\dots,p_k>0\) and \(q\ge 0\), one introduces formal anti-commuting variables
\[
u_i \text{ of degree } |u_i|=p_i,\qquad v_i \text{ of degree } |v_i|=p_i+1,
\]
and the free graded-commutative algebra
\[
\mathbb{R}\langle u_1,v_1,\dots,u_k,v_k\rangle .
\]
A homogeneous polynomial of total degree \(q\) is a finite sum of monomials whose weighted degree is \(q\). The theorem asserts that for any regular natural operation
\[
P:\Omega^{p_1}\times\cdots\times\Omega^{p_k}\Rightarrow \Omega^q
\]
there exists a unique homogeneous polynomial
\[
P(u_1,v_1,\dots,u_k,v_k)\in \mathbb{R}\langle u_1,v_1,\dots,u_k,v_k\rangle_{\deg=q}
\]
such that for every manifold \(M\) and forms \( \omega_i\in\Omega^{p_i}(M)\),
\[
P_M(\omega_1,\dots,\omega_k)=P(\omega_1,d\omega_1,\dots,\omega_k,d\omega_k),
\]
where monomials are evaluated by replacing multiplication with wedge product [1412.0840].

The proof proceeds through three reductions. First, regularity and naturality identify \(P\) with a finite-order differential operator on jets, and hence with a \(GL_n\)-equivariant map on jet fibers over \(0\in\mathbb{R}^n\). Second, invariance under homotheties forces a precise homogeneity relation, and a homogeneous function argument shows that only finitely many monomials can occur. Third, invariant theory for \(GL_n\) implies that the only surviving equivariant linear maps are skew-symmetrizations, producing wedges of either \( \omega_i \) or \( d\omega_i \). Uniqueness is obtained by constructing explicit forms on \( \mathbb{R}^q \) realizing each monomial [1412.0840].

The standard examples are immediate. The wedge product arises from \(P(u_1,u_2)=u_1u_2\), the identity from \(u_1\), and the exterior differential from \(v_1\). Iterated expressions such as \(d(\omega\wedge\eta)\) correspond to the polynomial \(v_1u_2+u_1v_2\). The same theorem excludes additional multilinear diffeomorphism-invariant operations: contraction with a fixed vector and the Lie derivative are not natural in this sense because they require extra data. The result generalises work by Palais and Freed-Hopkins and gives a definitive “no-other-operations” statement for regular natural operations on forms [1412.0840].

## 3. Natural forms associated with connections

The same classification machinery yields a corollary for principal connections. Let \(G\) be a Lie group with Lie algebra \(\mathfrak g\), and let
\[
C:\mathrm{Man}\to \mathrm{Set},\qquad X\mapsto \{\text{isomorphism-classes of pairs }(P\to X,a)\},
\]
where \(a\) is a principal \(G\)-connection on \(P\). A \(q\)-form naturally associated to the connection is a rule
\[
\theta:C\Rightarrow \Omega^q
\]
commuting with base-change and bundle isomorphisms, with \(\theta(P,a)\) horizontal and \(G\)-equivariant on \(P\).

The corollary identifies all such forms. For each \(q\ge 0\), every naturally associated \(2q\)-form is of Chern–Weil type: there exists a unique \(G\)-invariant linear map
\[
T:S^q\mathfrak g\to \mathbb{R}
\]
such that, if \(F_a\in \Omega^2(P;\mathfrak g)\) is the curvature \(2\)-form,
\[
\theta(P,a)=T(F_a\wedge\cdots\wedge F_a).
\]
Moreover, all odd-degree natural forms vanish identically. The same statement holds for horizontal, \(G\)-equivariant \(V\)-valued \(2q\)-forms, with \(T:S^q\mathfrak g\to V\) required to be \(G\)-equivariant [1412.0840].

This recovers a theorem originally due to Kolář. Conceptually, the result says that once one insists on functoriality under base change, bundle isomorphism invariance, horizontality, and \(G\)-equivariance, the curvature and invariant polynomials exhaust the possibilities. No additional odd-degree constructions survive these constraints [1412.0840].

## 4. Reflexive and stratified forms on singular varieties

On singular complex varieties, constructibility appears in a different sense. If \(Y\) is a normal complex variety with smooth locus \(j:Y_{\mathrm{reg}}\hookrightarrow Y\), the sheaf of reflexive \(p\)-forms is
\[
\Omega_Y^{[p]}:= (\Omega_Y^p)^{**}=j_*\bigl(\Omega^p_{Y_{\mathrm{reg}}}\bigr).
\]
A global section of \( \Omega_Y^{[p]} \) is therefore an ordinary holomorphic \(p\)-form on \(Y_{\mathrm{reg}}\) extending across codimension-\(\ge 2\) sets in the double-dual sense.

When \(Y\) is Kawamata log terminal, Kebekus constructs, for every morphism \(f:X\to Y\) of normal varieties, a uniquely determined \( \mathcal O_Y \)-linear sheaf map
\[
d_f:f^*\Omega_Y^{[p]}\to \Omega_X^{[p]}
\]
that is functorial in \(f\) and compatible with ordinary pull-back on the smooth loci. The construction exists even when \(f(X)\subset Y_{\mathrm{sing}}\). Its universal characterization is that it agrees with the usual pull-back wherever the latter is defined on a dense smooth open set, and it satisfies
\[
d_{f\circ g}=d_g\circ g^*d_f
\]
for composable morphisms [1210.3255].

This has an immediate stratified consequence. If
\[
Y=\widehat Y^0\supsetneq \widehat Y^1=\widehat Y^0_{\mathrm{sing}}\supsetneq \widehat Y^2=\widehat Y^1_{\mathrm{sing}}\supsetneq\cdots
\]
is the singularity filtration and \(Y^i:=(\widehat Y^i)_{\mathrm{reg}}\), then each \(Y^i\) is smooth and locally closed. Any reflexive form
\[
\sigma\in H^0(Y,\Omega_Y^{[p]})
\]
induces a genuine holomorphic form
\[
\sigma_i=d_{Y^i\hookrightarrow Y}(\sigma)\in H^0(Y^i,\Omega^p_{Y^i})
\]
on every stratum. The same argument applies to any Whitney stratification \(Y=\bigsqcup_\alpha S_\alpha\), so that a single reflexive form on \(Y\) yields a system of honest forms on all strata [1210.3255].

A concrete example is the cone over a smooth plane conic in \( \mathbb C^3 \), whose singular locus is the vertex \( \{0\} \). A nowhere-zero reflexive \(2\)-form on \(Y_{\mathrm{reg}}\) pulls back under the inclusion \(f:\{0\}\hookrightarrow Y\) to
\[
f^*(\sigma)\in H^0(\{0\},\Omega_{\{0\}}^{[2]})=\{0\},
\]
hence \(f^*(\sigma)=0\). This illustrates how constructible stratified forms behave at a zero-dimensional singular stratum [1210.3255].

## 5. Dg-algebras of constructible forms on stratified spheres

A third usage arises in the constructible derived category of a stratified space. For the sphere \(S^n\) stratified by a point and its complement,
\[
S^n=\{\mathrm{pt}\}\sqcup U,\qquad U=S^n\setminus\{\mathrm{pt}\},
\]
the bounded constructible derived category is generated by the constant sheaf \(K_{S^n}\) and the skyscraper sheaf \(\delta_{\mathrm{pt}}\). Instead of working abstractly with injective resolutions, one can model the resulting endomorphism dg-algebra by differential forms.

Choose a small closed geodesic ball \(D\subset S^n\) containing \(\mathrm{pt}\). With \(i:D\hookrightarrow S^n\) and \(j:\mathrm{Int}(D)\hookrightarrow S^n\), let \(\Omega^\bullet\) be the sheaf of smooth \(K\)-valued de Rham forms. The geometric dg-algebra is the \(2\times 2\) matrix algebra
\[
A_{\mathrm{geom}}=
\begin{pmatrix}
\Omega^\bullet(S^n) & \Gamma(j_!j^*\Omega^\bullet) \\
\Gamma(i_*i^*\Omega^\bullet) & \Gamma(i_*i^*\Omega^\bullet)
\end{pmatrix},
\]
whose product is induced by matrix multiplication together with wedge product, and whose differential is the de Rham differential applied componentwise. Here the upper-right corner consists of forms on \(U\) with compact support in \( \mathrm{Int}(D) \), and the lower entries involve forms on \(D\) [0811.0191].

This dg-algebra is formal. The proof constructs a finite-dimensional dg-subalgebra
\[
U\subset A_{\mathrm{geom}}
\]
spanned by \( \{1,w,T\} \), where \(w\in \Omega^n(S^n)\) is a volume-form generator of \(H^n(S^n)\) and \(T\in \Gamma(i_*i^*\Omega^{n-1})\) satisfies \(dT=w\). Inside \(U\),
\[
d1=0,\qquad dw=0,\qquad dT=w,
\]
and the only nontrivial products are those allowed by degree. The resulting cohomology is
\[
H^\bullet(U)\cong K\cdot[1]\oplus K\cdot[w],
\]
with \(\deg[1]=0\) and \(\deg[w]=n\). Since the inclusion \(U\hookrightarrow A_{\mathrm{geom}}\) and the projection \(U\twoheadrightarrow H^\bullet(U)\) are quasi-isomorphisms, \(A_{\mathrm{geom}}\) is quasi-isomorphic to its cohomology algebra, and the constructible derived category is correspondingly formal [0811.0191].

In this setting, constructible differential forms are not merely local forms on strata; they provide a dg model for a constructible sheaf category. The stratification enters through the matrix decomposition, while the de Rham algebra controls the homotopy-theoretic structure [0811.0191].

## 6. Discrete and finite element exterior-calculus constructions

In numerical exterior calculus, “constructible” refers to discrete form complexes built from local polynomial data, local traces, and commuting interpolation or projection operators. On simplicial meshes, one standard framework introduces polynomial differential-form spaces \(P_r\Lambda^k(T)\) and the “minus” family
\[
P_r^-\Lambda^k(T):=P_{r-1}\Lambda^k(T)+\kappa\bigl(P_{r-1}\Lambda^{k+1}(T)\bigr),
\]
where \(\kappa\) is the Koszul contraction with the radial vector field. The homotopy identity
\[
(\kappa d+d\kappa)\omega=(r+k)\omega
\]
on homogeneous polynomial \(k\)-forms yields exactness of the local polynomial de Rham complex and of the Koszul complex. Global spaces are assembled by face-wise moment degrees of freedom, and the resulting projections commute with \(d\), producing subcomplexes of the de Rham complex suited to finite element exterior calculus [1208.2041].

On cubical meshes, Arnold and Awanou define serendipity spaces
\[
S_r\Lambda^k(\widehat I^n):=P_r\Lambda^k\oplus J_r\Lambda^k\oplus dP_{r+1}\Lambda^{k-1},
\]
prove that this is a direct sum, and show the subcomplex property
\[
d\,S_r\Lambda^k\subset S_{r-1}\Lambda^{k+1}.
\]
The associated face-moment functionals are unisolvent, the assembled sequence is exact,
\[
0\to S_r\Lambda^0 \xrightarrow{d} S_{r-1}\Lambda^1 \xrightarrow{d}\cdots \xrightarrow{d} S_{r-n}\Lambda^n\to 0,
\]
and the local interpolators satisfy
\[
d\,\pi_r^k=\pi_{r-1}^{k+1}d.
\]
In two dimensions these spaces include the serendipity finite elements and rectangular BDM elements, while in three dimensions they include 3-D serendipity, new \(H(\mathrm{curl})\) and \(H(\mathrm{div})\) spaces on cubes, and discontinuous \(P_r\) in top degree [1204.2595].

For general polytopal meshes, the DDR framework constructs discrete \(k\)-form spaces
\[
X_{r,h}^k:=\bigtimes_{d=k}^n\;\bigtimes_{f\in\Delta_d(M)} P_r^-\Lambda^{d-k}(f),
\]
with all degrees of freedom expressed as moments of the Hodge-star of traces. The discrete exterior derivative \(d_h^k\) is defined cellwise by a Stokes-inspired integration-by-parts formula, and one proves
\[
d_h^{k+1}\circ d_h^k=0,\qquad d_h^k\circ \Pi_h^k=\Pi_h^{k+1}\circ d.
\]
The construction also has full polynomial consistency, exactness on a zero-average subcomplex, and cohomology isomorphic to that of the continuous de Rham complex [2303.11093].

A further generalization treats \(\ell\)-form-valued \(k\)-forms on simplices. Hu and Lin define \(P_r\Alt^{k,\ell}\), the “minus” spaces \(P_r^-\Alt^{k,\ell}\), symmetry-reduced kernel spaces associated with the BGG operators \(S\) and \(S_\dagger\), and several conforming trace regimes based on standard pull-back \( \iota_\sigma^* \) and generalized trace \( \jmath_\sigma^* \). Their interpolation operators satisfy
\[
d\circ I_r^- = I_r^-\circ d,
\]
and the resulting discrete BGG diagrams recover, in a unified framework, Whitney forms, Regge finite elements, TDNNS and HHJ-type spaces, MCS elements, and higher-order analogues. The stated applications include strain and stress tensors in continuum mechanics and metric and curvature tensors in differential geometry in any dimension [2503.03243].

These numerical constructions are discrete rather than smooth or sheaf-theoretic. Even so, they retain the characteristic features that motivate the broader terminology: local constructibility, exterior-derivative compatibility, exactness or cohomological control, and a systematic replacement of ad hoc formulas by functorial or diagrammatic structure [1208.2041], [2303.11093], [2503.03243].

Source: https://www.emergentmind.com/topics/constructible-differential-forms