Finite-Dimensional Cokernel (FC) in PDEs

• Finite-dimensional cokernel (FC) is a condition requiring that the principal symbol of differential operators attains full rank for every non-zero complex covector, thereby strengthening classical ellipticity.
• It is equivalent to recovery on curves (RC) and the finite-dimensionality of the formal cokernel for constant-coefficient operators, linking symbolic criteria to integral representations.
• The FC framework enables the construction of curve-supported Green kernels and inverse operators with optimal regularization, bridging local algebraic conditions to global analytic estimates.

The finite-dimensional cokernel condition, abbreviated FC, is an algebraic condition on the principal symbol of a linear differential operator that was introduced to control the formal cokernel and to enable the construction of integral solution operators with prescribed kernel support properties. In the framework of underdetermined and overdetermined PDEs, FC requires that the principal symbol have full rank for every non-zero complex covector, not merely for real covectors as in classical ellipticity. For operators with constant-coefficient principal part, FC is equivalent to recovery on curves (RC) and to finite-dimensionality of the formal cokernel without boundary conditions; this equivalence underlies a unified treatment of right-inverses and left-inverses up to finite rank, curve-supported Green kernels, and Poincaré-, Friedrich-, and Korn-type inequalities (Isett et al., 4 Sep 2025).

1. Definition and formal setting

Let $P$ be a linear differential operator of order $m$ acting between sections of vector bundles over an open set $U \subset \mathbb{R}^n$, or in coordinates between spaces $E \to F$ of fixed finite dimensions $r_0, s_0$. Writing $u=(u^K)\in C^\infty(U;\mathbb{C}^{s_0})$, the operator has the form

$$(Pu)^J(x)=\sum_{K=1}^{s_0}\sum_{|\alpha|\le m_K} c[P]^{(\alpha,J)}_K(x)\,\partial_x^\alpha u^K,$$

where the component orders $m_K$ allow matrix operators with differing orders. Its principal symbol is

$$p^J_K(x,\xi)=\sum_{|\alpha|=m_K} c[P]^{(\alpha,J)}_K(x)\,(i\xi)^\alpha,$$

for $x\in U$ and $m$0 (Isett et al., 4 Sep 2025).

The adjoint $m$1 is taken with respect to the $m$2 inner product on $m$3, and its principal symbol satisfies $m$4 at the principal level. In this terminology, $m$5 is underdetermined if $m$6 and $m$7 is surjective of full rank $m$8, while $m$9 is overdetermined if $U \subset \mathbb{R}^n$0 and $U \subset \mathbb{R}^n$1 is injective of full rank $U \subset \mathbb{R}^n$2 (Isett et al., 4 Sep 2025).

The formal cokernel of $U \subset \mathbb{R}^n$3 over $U \subset \mathbb{R}^n$4, without boundary conditions, is

$U \subset \mathbb{R}^n$5

The phrase “finite-dimensional” means $U \subset \mathbb{R}^n$6. FC is then defined symbolically: for all $U \subset \mathbb{R}^n$7 and all non-zero complex covectors $U \subset \mathbb{R}^n$8, the principal symbol has full rank,

$U \subset \mathbb{R}^n$9

or equivalently

$E \to F$0

For a matrix-valued operator this means $E \to F$1 for all $E \to F$2 when $E \to F$3, or $E \to F$4 for all $E \to F$5 when $E \to F$6 (Isett et al., 4 Sep 2025).

A central point is that FC strengthens standard ellipticity. Classical ellipticity typically asks for full rank or invertibility only for real covectors $E \to F$7, whereas FC imposes the condition for complex covectors. In the terminology of the paper, this stronger requirement eliminates complex characteristic directions and suppresses oscillatory obstructions encoded by complex zeros of the principal symbol; for constant-coefficient principal symbols, that is precisely what ensures that the formal cokernel is finite-dimensional (Isett et al., 4 Sep 2025).

2. Equivalence with recovery on curves and finite-dimensional formal cokernel

The paper’s main structural result identifies the exact scope of FC when the principal part has constant coefficients. If $E \to F$8 denotes the principal part with constant coefficients, then the following are equivalent: FC, recovery on curves (RC) for any admissible family of curves, and finite-dimensionality of the formal cokernel of $E \to F$9 on $r_0, s_0$0 (Isett et al., 4 Sep 2025).

More precisely, Theorem 1.7 states that if $r_0, s_0$1 is connected, $r_0, s_0$2 has smooth coefficients, and $r_0, s_0$3 satisfies FC, then there exists a maximal graded augmented system of variables $r_0, s_0$4, indexed by all partial derivatives of the data up to a fixed order $r_0, s_0$5, together with a first-order PDE system whose ODE reduction along curves yields RC. When $r_0, s_0$6 is independent of $r_0, s_0$7, the equivalence

$r_0, s_0$8

holds (Isett et al., 4 Sep 2025).

The proof mechanism is algebraic as well as analytic. For constant coefficients, Hilbert’s Nullstellensatz is used to produce polynomial identities of the form

$r_0, s_0$9

which generate an augmented system with variables $u=(u^K)\in C^\infty(U;\mathbb{C}^{s_0})$0. Along any admissible curve $u=(u^K)\in C^\infty(U;\mathbb{C}^{s_0})$1, this augmented system becomes an ODE whose fundamental matrix is explicitly controlled. Duhamel’s principle then recovers $u=(u^K)\in C^\infty(U;\mathbb{C}^{s_0})$2 from the jet of $u=(u^K)\in C^\infty(U;\mathbb{C}^{s_0})$3 along the curve and endpoint values. Conversely, if $u=(u^K)\in C^\infty(U;\mathbb{C}^{s_0})$4 fails to have full rank at some complex $u=(u^K)\in C^\infty(U;\mathbb{C}^{s_0})$5, one can construct infinite families of solutions to $u=(u^K)\in C^\infty(U;\mathbb{C}^{s_0})$6, for instance plane waves, and the formal cokernel is then infinite-dimensional (Isett et al., 4 Sep 2025).

This equivalence is significant because it translates a symbolic rank condition into both a geometric recovery principle and a functional-analytic statement about cokernel size. A plausible implication is that FC serves as the decisive bridge between local symbol algebra and global integral representation formulas in the class of operators considered in the paper.

3. Recovery on curves, curve-supported kernels, and inverse operators

Recovery on curves is the starting point for the integral constructions. For any admissible curve $u=(u^K)\in C^\infty(U;\mathbb{C}^{s_0})$7, $u=(u^K)\in C^\infty(U;\mathbb{C}^{s_0})$8, RC asserts the existence of linear functionals such that for all $u=(u^K)\in C^\infty(U;\mathbb{C}^{s_0})$9,

$$(Pu)^J(x)=\sum_{K=1}^{s_0}\sum_{|\alpha|\le m_K} c[P]^{(\alpha,J)}_K(x)\,\partial_x^\alpha u^K,$$0

where $$(Pu)^J(x)=\sum_{K=1}^{s_0}\sum_{|\alpha|\le m_K} c[P]^{(\alpha,J)}_K(x)\,\partial_x^\alpha u^K,$$1 is a point-supported distribution at $$(Pu)^J(x)=\sum_{K=1}^{s_0}\sum_{|\alpha|\le m_K} c[P]^{(\alpha,J)}_K(x)\,\partial_x^\alpha u^K,$$2 and the coefficients $$(Pu)^J(x)=\sum_{K=1}^{s_0}\sum_{|\alpha|\le m_K} c[P]^{(\alpha,J)}_K(x)\,\partial_x^\alpha u^K,$$3 are smooth with appropriate graded bounds. Thus $$(Pu)^J(x)=\sum_{K=1}^{s_0}\sum_{|\alpha|\le m_K} c[P]^{(\alpha,J)}_K(x)\,\partial_x^\alpha u^K,$$4 is recovered from the jet of $$(Pu)^J(x)=\sum_{K=1}^{s_0}\sum_{|\alpha|\le m_K} c[P]^{(\alpha,J)}_K(x)\,\partial_x^\alpha u^K,$$5 along the curve together with an endpoint contribution (Isett et al., 4 Sep 2025).

This recovery formula yields Green kernels supported on prescribed curves. For each $$(Pu)^J(x)=\sum_{K=1}^{s_0}\sum_{|\alpha|\le m_K} c[P]^{(\alpha,J)}_K(x)\,\partial_x^\alpha u^K,$$6, one defines a distributional kernel $$(Pu)^J(x)=\sum_{K=1}^{s_0}\sum_{|\alpha|\le m_K} c[P]^{(\alpha,J)}_K(x)\,\partial_x^\alpha u^K,$$7 supported on the image of the curve and satisfying

$$(Pu)^J(x)=\sum_{K=1}^{s_0}\sum_{|\alpha|\le m_K} c[P]^{(\alpha,J)}_K(x)\,\partial_x^\alpha u^K,$$8

in $$(Pu)^J(x)=\sum_{K=1}^{s_0}\sum_{|\alpha|\le m_K} c[P]^{(\alpha,J)}_K(x)\,\partial_x^\alpha u^K,$$9, with

$m_K$0

Averaging over $m_K$1 against a smooth weight $m_K$2 of unit mass produces a smoother kernel

$m_K$3

whose support is constrained by the support of $m_K$4:

$m_K$5

This is the support-prescription mechanism (Isett et al., 4 Sep 2025).

The resulting integral operator

$m_K$6

satisfies

$m_K$7

Under nontrapping and admissibility hypotheses, it has optimal regularization:

$m_K$8

and in bounded star-shaped domains one has

$m_K$9

The paper also states that the resulting $$p^J_K(x,\xi)=\sum_{|\alpha|=m_K} c[P]^{(\alpha,J)}_K(x)\,(i\xi)^\alpha,$$0 is a pseudodifferential operator of order $$p^J_K(x,\xi)=\sum_{|\alpha|=m_K} c[P]^{(\alpha,J)}_K(x)\,(i\xi)^\alpha,$$1 (Isett et al., 4 Sep 2025).

By duality, the same construction gives left-inverses up to finite rank for overdetermined operators:

$$p^J_K(x,\xi)=\sum_{|\alpha|=m_K} c[P]^{(\alpha,J)}_K(x)\,(i\xi)^\alpha,$$2

This yields inequalities of Friedrich, Poincaré, and Korn type. A typical estimate is

$$p^J_K(x,\xi)=\sum_{|\alpha|=m_K} c[P]^{(\alpha,J)}_K(x)\,(i\xi)^\alpha,$$3

and in bounded star-shaped domains, after orthogonality to the cokernel,

$$p^J_K(x,\xi)=\sum_{|\alpha|=m_K} c[P]^{(\alpha,J)}_K(x)\,(i\xi)^\alpha,$$4

For bounded Lipschitz star-shaped domains, the paper also records optimal Sobolev-scale estimates such as

$$p^J_K(x,\xi)=\sum_{|\alpha|=m_K} c[P]^{(\alpha,J)}_K(x)\,(i\xi)^\alpha,$$5

and

$$p^J_K(x,\xi)=\sum_{|\alpha|=m_K} c[P]^{(\alpha,J)}_K(x)\,(i\xi)^\alpha,$$6

These statements are the principal analytic consequences of FC via RC (Isett et al., 4 Sep 2025).

4. Operators known to satisfy FC

The paper verifies FC by direct symbol-rank arguments for a broad class of operators. The common pattern is injectivity of $$p^J_K(x,\xi)=\sum_{|\alpha|=m_K} c[P]^{(\alpha,J)}_K(x)\,(i\xi)^\alpha,$$7 over every $$p^J_K(x,\xi)=\sum_{|\alpha|=m_K} c[P]^{(\alpha,J)}_K(x)\,(i\xi)^\alpha,$$8, which is the overdetermined formulation of FC (Isett et al., 4 Sep 2025).

For divergence and gradient, with $$p^J_K(x,\xi)=\sum_{|\alpha|=m_K} c[P]^{(\alpha,J)}_K(x)\,(i\xi)^\alpha,$$9 and $x\in U$0 the scalar gradient, the principal symbol is

$x\in U$1

If $x\in U$2 for all $x\in U$3, then $x\in U$4 for all $x\in U$5; since some $x\in U$6, one gets $x\in U$7. FC therefore holds (Isett et al., 4 Sep 2025).

For the Hessian and the double divergence, which is the principal part of the linearized scalar curvature operator, one has

$x\in U$8

If all components vanish, choosing an index with $x\in U$9 gives $m$00, hence $m$01. FC follows (Isett et al., 4 Sep 2025).

For the trace-free Hessian,

$m$02

with principal symbol

$m$03

The paper’s argument contracts with $m$04 and shows that for $m$05 one gets $m$06, then $m$07, so $m$08. FC holds for $m$09 (Isett et al., 4 Sep 2025).

For the Killing operator, the adjoint of symmetric divergence,

$m$10

and

$m$11

From $m$12 one gets $m$13 for all $m$14, hence $m$15 and then $m$16; choosing $m$17 forces $m$18. FC holds for all $m$19 (Isett et al., 4 Sep 2025).

For the conformal Killing operator,

$m$20

with

$m$21

Setting $m$22, the paper deduces first a relation $m$23, then $m$24, then $m$25 for $m$26, and finally $m$27. FC therefore holds for $m$28 (Isett et al., 4 Sep 2025).

The linearized Einstein vacuum constraint operator is handled by a block decomposition. Its principal symbol is block diagonal, with a Hessian block for the scalar constraint and a Killing block for the momentum constraint; since each block satisfies FC, the full operator does as well. In constant mean curvature gauge, the momentum block is conformal Killing, which requires $m$29 (Isett et al., 4 Sep 2025).

These verifications establish FC for divergence, gradient, Hessian, trace-free Hessian, Killing, conformal Killing, and linearized Einstein constraint operators. This list is central because it shows that FC is not confined to a single model problem but applies to several operators already associated with Bogovskii-, Reshetnyak-, and geometric-constraint constructions (Isett et al., 4 Sep 2025).

5. Analytic and geometric consequences

FC has two immediate consequences in the paper’s framework: it implies RC, and RC yields curve-supported Green kernels. Through smooth averaging, one then obtains integral operators with prescribed support and optimal regularization. This support control is not incidental; it is one of the main motivations for imposing FC rather than a weaker real-symbol condition (Isett et al., 4 Sep 2025).

The support prescription is flexible. By choosing the averaging weight $m$30 to be supported outside $m$31, or within cones or star-shaped sets, one prescribes the support of $m$32 and hence of $m$33. The paper states explicitly that this generalizes Bogovskii’s construction based on line segments to a star center and the conic operators built from rays over directions on the sphere (Isett et al., 4 Sep 2025).

The method is also presented as a unification of several earlier constructions. For divergence, straight-segment curve families recover the classical Bogovskii operator. For divergence with rays in prescribed directions, conic-type averaging reproduces the Oh–Tataru construction. For overdetermined operators such as Killing and conformal Killing, the framework recovers and extends Reshetnyak’s integral representation formulas with kernels supported on line segments. The paper further states that the new augmented-system and RC formalism extends these constructions to variable-coefficient backgrounds and derives Poincaré- and Korn-type inequalities in a unified way (Isett et al., 4 Sep 2025).

The geometric scope includes Riemannian manifolds, where the adjoint is taken with respect to the Riemannian volume form $m$34. The examples include linearized scalar curvature and Einstein constraints on constant-curvature backgrounds, for which the paper states that the augmented systems are completely integrable and that explicit kernels can be computed (Isett et al., 4 Sep 2025).

At the level of functional analysis, the method is notable for avoiding Fredholm theory while treating non-Fredholm operators. In the underdetermined case, it yields right-inverses up to finite rank; in the overdetermined case, left-inverses up to finite rank and coercive inequalities arise dually. Boundary conditions enter through the function-space choice and through geometric hypotheses such as star-shapedness or nontrapping, rather than through an abstract Fredholm boundary-value framework (Isett et al., 4 Sep 2025).

6. Scope, limitations, and terminological overlap

The paper distinguishes sharply between constant- and variable-coefficient settings. For constant coefficients, one has the three-way equivalence

$m$35

For variable coefficients, FC still implies RC, and it implies finite-dimensional cokernel in Sobolev dual scales $m$36 together with invariance of dimension under restriction and orthogonality conditions, but the full equivalence is only asserted for constant-coefficient principal symbols (Isett et al., 4 Sep 2025).

The construction also requires admissible curve families and coefficient bounds sufficient to control the ODE fundamental matrix in the graded augmented system. The paper lists star-shaped geometry for Bogovskii-type operators, nontrapping assumptions for conic-type operators, and boundedness of coefficients as part of the analytic framework. These are limitations of the integral construction, not of the symbolic definition of FC itself (Isett et al., 4 Sep 2025).

A separate source of ambiguity is terminological. The acronym “FC” is not uniform across the arXiv literature. In commutative algebra, the paper "“(FC)-Sequences, Mixed Multiplicities and Reductions of Modules”" uses “(FC)-element” and “(FC)-sequence” as labels for elements satisfying the formal conditions (FC1), (FC2), and (FC3); the authors explicitly do not expand the acronym in the text, and it is unrelated to finite-dimensional formal cokernels of differential operators (Callejas-Bedregal et al., 2011). In operator algebras, the paper "“C*-algebras of endomorphisms of groups with finite cokernel and partial actions”" uses the “finite cokernel” condition for an injective group endomorphism $m$37, namely $m$38 (Vieira, 2017). In random-matrix theory over $m$39, the paper "“Generalizations of results of Friedman and Washington on cokernels of random $m$40-adic matrices”" uses FC to denote finiteness of $m$41, equivalent there to $m$42 and hence holding almost surely for Haar-random $m$43 under the paper’s assumptions (Cheong et al., 2022).

Within PDE theory, however, the finite-dimensional cokernel condition has a specific meaning: full-rank principal symbol on all non-zero complex covectors, with constant-coefficient equivalence to recovery on curves and to finite-dimensionality of the formal cokernel. In that sense, FC is a symbolic criterion with geometric, analytic, and integral-representation consequences rather than a generic label for cokernel finiteness in unrelated settings (Isett et al., 4 Sep 2025).