Hodge Theory for Linearized Boundary-Value Problems on General Geometric Structures

Roee Leder

REVIEW 3 major objections 4 minor 24 references

Hodge Theory for Linearized Boundary-Value Problems on General Geometric Structures

T0 review · 3 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every elliptic pre-complex can be lifted to a genuine cochain complex, and the cohomology of the lift is computed from the original operators alone, so solvability of many linearized geometric boundary-value problems reduces to a…

desk verdict A serious framework that relaxes the cochain condition, but the Riemann example carries an unproved condition that needs to be supplied before the headline application is convincing. read the letter →

arxiv 2504.18494 v6 pith:27XOUUYV submitted 2025-04-25 math.DG math-phmath.APmath.MP

Roee Leder This is my paper · ORCID

classification math.DGmath-phmath.APmath.MP MSC 58J1035N2553C2058A1435S1553C2131C12

keywords ellipticpre-complexHodgetheoryoverdeterminedboundary-valueproblemsDouglas-Nirenbergsystemsorder-reductionpropertyliftedcomplexKillingequationRiemanncurvatureequations

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper develops a generalized Hodge theory for linearized boundary-value problems that do not form a cochain complex. Its central object is an elliptic pre-complex: a sequence of Douglas–Nirenberg systems tied together by Green's formulas, where the composition of consecutive operators is allowed to be nonzero as long as its order and class drop. The main theorem shows that every such pre-complex can be lifted to a genuine complex of adapted Green systems, and that the cohomology of the lifted complex is exactly the kernel of an overdetermined boundary-value problem written only in terms of the original operators. If the theorem is right, the solvability and uniqueness conditions for the original linearized problem—Killing, Hessian, or linearized Riemann curvature equations on a general compact manifold with boundary—reduce to a compatibility condition and an explicit orthogonality condition to a finite-dimensional space.

What carries the argument

The load-bearing objects are elliptic pre-complexes and their lifted complexes. An elliptic pre-complex is a diagram of adapted Green systems—Douglas–Nirenberg pseudodifferential boundary systems—interacting through a generalized Green formula, with two extra conditions: the combined systems $A_\alpha\oplus A^*_{\alpha-1}\oplus B^*_{\alpha-1}$ (Neumann) or $A_\alpha\oplus A^*_{\alpha-1}\oplus B_\alpha$ (Dirichlet) are overdetermined elliptic, and the order-reduction property holds, meaning consecutive compositions have lower order and class than nominally expected. The order-reduction property replaces the strict cochain condition $A_{\alpha+1}A_\alpha=0$, and typically arises from linearizing geometric symmetries and constraints. The lifting construction uses auxiliary decompositions, built inductively, whose projections lie in the Boutet de Monvel calculus and are of order and class zero; these corrections preserve overdetermined ellipticity and give the explicit cohomology formulas.

What would settle it

Take a compact Riemannian manifold with boundary and any connection $\nabla$ whose curvature $R^\nabla$ is nonzero. If $d^\nabla\oplus\delta^\nabla\oplus P_t$ is overdetermined elliptic, the paper's Theorem 1.11 predicts that the problem $d^\nabla\psi=\omega$, $\delta^\nabla\psi=0$, $P_t\psi=0$ is solvable iff $d^\nabla\omega=0$, $P_t\omega=0$, and $\omega$ is $L^2$-orthogonal to $H_D^{\alpha+1}=\mathrm{Ker}(d^\nabla,\delta^\nabla,P_t)$. Producing one smooth $\omega$ satisfying those three conditions for which no solution $\psi$ exists would refute the central claim; equally, checking the claimed equality $H_D^{\alpha+1}=\mathrm{Ker}(A_{\alpha+1},A^*_\alpha,B_{\alpha+1})$ on a small finite-element example would settle it.

Watch

Extended reading notes

Core claim

The paper claims, in Theorems 1.7 and 3.14, that every elliptic pre-complex $(A_\bullet)$ induces a uniquely characterized lifted complex $(D_\bullet)$ of adapted Green systems with $R(D_\alpha)\subseteq N(D_{\alpha+1})$ in the Neumann case or $R(D_\alpha;B_\alpha)\subseteq N(D_{\alpha+1})$ in the Dirichlet case, and that $D_\alpha$ differs from $A_\alpha$ by a zero-order, zero-class Green operator. The cohomology spaces of the lifted complex coincide with kernels of the original systems: $H_N^{\alpha+1}=\mathrm{Ker}(A_{\alpha+1},A^*_\alpha,B^*_\alpha)$ and $H_D^{\alpha+1}=\mathrm{Ker}(A_{\alpha+1},A^*_\alpha,B_{\alpha+1})$. Consequently, for $\eta$ in the appropriate section space, the system $A_\alpha\psi=\eta$ with homogeneous gauge and boundary conditions is solvable exactly when the next compatibility operator annihilates $\eta$ and $\eta$ is $L^2$-orthogonal to the relevant cohomology space; the solution is unique modulo the cohomology at the previous level.

Load-bearing premise

The load-bearing premise is that, for each segment, the combined systems $A_\alpha\oplus A^*_{\alpha-1}\oplus B^*_{\alpha-1}$ (Neumann) or $A_\alpha\oplus A^*_{\alpha-1}\oplus B_\alpha$ (Dirichlet) are overdetermined elliptic with respect to the chosen sharp order data, and that the order-reduction property holds at operator level, not merely at the symbol level.

Editorial extensions

If this is right

For the Killing equation on a compact Riemannian manifold with boundary, a symmetric tensor $\sigma$ arises as $\tfrac{1}{2}L_Yg$ exactly when $H_g\sigma=0$ and $\sigma$ is $L^2$-orthogonal to $\mathrm{Ker}(H_g,\delta_g,P_n^g)$, with uniqueness modulo Killing fields.
For the Hessian equation, $\sigma=H_gf$ is solvable exactly when $d_g\sigma=0$ and $\sigma\perp\mathrm{Ker}(d_g,H^*_g,B^*_H)$, up to the affine kernel of $H_g$.
For the linearized Riemann curvature equations with Dirichlet Cauchy data, the obstruction space is $B^2_D(M,g,\Gamma)=\mathrm{Ker}((D_\Gamma\mathrm{Rm}_g)^*,d_g,P_t)$, so solvability is $d_gT=0$, $P_tT=0$, $T\perp B^2_D(M,g,\Gamma)$.
Finite families of elliptic pre-complexes have constant Neumann and Dirichlet Euler characteristics, computed directly from the original operator kernels, and Sobolev versions of the Hodge decompositions hold for all $1<p<\infty$ and $s\in\mathbb{N}_0$.
The theory applies without assumptions on the underlying geometric structure at the background point: analyticity, flatness, or $F\gamma=0$ are not required for the linearized analysis.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The paper leaves implicit a general recipe: any linearized overdetermined geometric equation becomes accessible once one finds compatible boundary operators and verifies order-reduction, suggesting applications to other curvature or gauge problems where no Calabi complex was previously known.
Because the cohomology spaces are expressed through elliptic boundary-value problems, the theorems imply a stability statement under continuous variation: finite-dimensionality and dimension jumps should be controlled by the Fredholm index of those systems, a connection the paper only begins to explore through Euler characteristics.
The disrupted Ricci case hints that a formal weakening of overdetermined ellipticity, controlled at a single segment, can still yield uniqueness and solvability formulas; a testable extension would identify exactly how much ellipticity loss the cohomology reduction can tolerate.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Dear X,

This is a serious paper. The central idea—replacing the cochain condition A_{α+1}A_α = 0 with the order-reduction property, that the composition has order no larger than A_α's—is a genuine relaxation, and the lifting theorem is a real step beyond elliptic quasicomplexes. The cohomology identification H_N^{α+1} = Ker(A_{α+1}, A*_α, B*_α) is clean and is new relative to [KL25]; the Dirichlet version is genuinely new. The overall construction via adapted Green systems and Douglas–Nirenberg weights is careful, not hand-wavy.

The geometric examples give credit: exterior covariant derivatives for arbitrary connections, the Killing/Hessian complexes on arbitrary backgrounds, and the Riemann curvature linearization are the right test cases. The paper is honest about what is deferred: the Ricci theorem is outsourced to [Led25], and several Lopatinskii–Shapiro computations are announced rather than shown.

The soft spot is the Riemann example, and it is load-bearing. For the Dirichlet pre-complex (1.4.23), the order-reduction step at α=1 needs B_2A_1 = P_t DΓRm_g to vanish on Ker B_1. Equation (1.4.26) gives that only when Γ=0. For a nonzero connection term, the text imposes (1.4.27): P_tΓ = 0 on Ker(P_tt, DA_g), and says this holds trivially for tame connections. That is not trivial. The kernel of (P_tt, DA_g) contains all infinitesimal diffeomorphisms fixing the boundary, and P_tΓ is a bundle map; there is no evident reason it annihilates that infinite-dimensional space. No proof is supplied. Until this is verified, Theorem 1.15's solvability criterion for the linearized Riemann problem is unsupported, and that is one of the two headline applications. The gap doesn't kill the abstract framework, but it is a concrete hole in the advertised scope.

The math that is actually carried out looks coherent, and the citation pattern is fine—[KL25] is acknowledged and relevant. No code or formal verification, but that's not the norm in this field.

My recommendation: send to a serious referee. The framework is worth a careful check, and the referee should be asked to focus on (1.4.27) and on the deferred ellipticity claims. I would not desk-reject; I would also ask the author to move the Ricci material into this paper or clearly state which parts are established.

Referee Report

3 major / 4 minor

Summary. The paper develops a Hodge-type theory for sequences of Douglas--Nirenberg systems on manifolds with boundary, introducing 'elliptic pre-complexes' and 'adapted Green systems'. The central result, Theorem 1.7 (general version) and Theorem 3.14, asserts that every elliptic pre-complex can be uniquely 'lifted' to a cochain complex of adapted Green systems, with Hodge decompositions whose harmonic spaces reduce to explicit kernels built from the original operators, e.g. H_N^{α+1}=Ker(A_{α+1},A^*_α,B^*_α) and H_D^{α+1}=Ker(A_{α+1},A^*_α,B_{α+1}). The paper then presents geometric applications to exterior covariant derivatives, Killing and Hessian equations, and linearized Riemann and Ricci curvature equations, with the latter two involving substantial deferred verifications. The abstract theory is structured around pseudodifferential boundary-value calculus, overdetermined ellipticity, and order-reduction properties replacing the rigid complex condition.

Significance. If the framework is correct, it provides a genuinely broad generalization of Hodge theory that applies to overdetermined geometric boundary-value problems without restrictive structural assumptions on the background geometry. The explicit formulas for the cohomology spaces are valuable because they are expressed solely in terms of the original operators and boundary conditions. The manuscript is careful with definitions and provides a staged proof of the main abstract theorem, which is a strength. The Riemann curvature example, if fully verified, would be a notable advance, and the Killing/Hessian applications are well motivated. However, the advertised applications are not all self-contained: the Riemann example depends on an unproved condition, and the Ricci theorem is deferred to a separate paper. Thus the central theory appears defensible, but the completeness of the examples is not yet at the level claimed.

major comments (3)

[Section 1.4.4, Eq. (1.4.27)] The verification that the Riemann curvature sequence (1.4.23) is an elliptic pre-complex rests on the identity B_2 A_1 = 0 on Ker B_1. The computation (1.4.26) proves this for Γ=0, but for a nonzero tensorial connection term Γ one must impose P_t Γ = 0 on Ker(P_tt, D A_g), exactly as stated in (1.4.27). The text asserts this condition is 'satisfied trivially' for tame connections on M_M × C^{2,2}_M, but no proof is supplied. Since Ker(P_tt, D A_g) contains the infinite-dimensional space of infinitesimal diffeomorphisms fixing the boundary, the vanishing of a general bundle map on this kernel is not automatic. A proof of (1.4.27) for the stated class of connections is needed; without it, the order-reduction property for A_1 is not established and Theorem 1.15 is unsupported.
[Section 1.4.5, Theorem 1.16] Theorem 1.16, the main result on the Ricci curvature equations, is stated as a theorem proved in a separate paper [Led25], and the present manuscript contains no proof of the disrupted elliptic pre-complex construction for this example. Since the abstract and introduction explicitly list the Ricci curvature equations as a demonstrated application, the manuscript should either include the necessary proof or clearly mark Theorem 1.16 as an announced result from a companion paper rather than as a theorem proved here.
[Section 1.2.4, Theorems 1.8 and 1.9] The cohomological formulations in Theorems 1.8 and 1.9 are stated for the lifted operators D_α, but the solvability conditions of the original boundary-value problems would require translating the conditions D_{α+1}Θ=0 and the orthogonality to H_N^{α+1} or H_D^{α+1} into conditions expressed only through the original data. The refinement (1.2.25) gives the orthogonality spaces explicitly, but the conditions D_{α+1}Θ=0 and B_{α+1}Θ=0 are not obviously expressible purely in terms of A_•, B_• without further explanation. Please clarify how the main theorems apply to problems involving the original operators rather than only the lifted ones.

minor comments (4)

[Throughout] The spelling of the relevant systems is inconsistent: 'Douglas–Nirenberg' appears in some places, 'Douglas-Nirenberg' in others, and 'Douglis–Nirenberg' in the abstract. Please standardize the spelling.
[Section 2.2, text after Definition 2.11] The word 'rudienmantry' appears and should be 'rudimentary'.
[Section 1.2.1, Definition 1.1] The notation ord(A_α) is used for the order of a differential operator in the prototypical setting, while later the paper works with sharp tuples and corresponding orders for Douglas–Nirenberg systems. A brief notational bridge between these two usages would improve readability.
[Section 3.2.5] The comparison with elliptic quasicomplexes is informative and much needed, but the displayed formula (3.2.32) and the surrounding discussion would benefit from explicitly stating which of the L^2-orthogonal properties carry over and which do not, since the text notes that the decompositions are not necessarily L^2-orthogonal.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the lifted complex and cohomology identifications are proved from the stated ellipticity/order-reduction hypotheses, not assumed.

full rationale

The central construction (Theorems 1.7 and 3.14) is an inductive lifting argument in the Boutet de Monvel calculus; the cohomology identifications H_N^{α+1}=Ker(A_{α+1},A*_α,B*_α) and H_D^{α+1}=Ker(A_{α+1},A*_α,B_{α+1}) are derived, via Hodge decompositions, from the defining properties of the lifted complex rather than being inserted as definitions. The overdetermined ellipticity and order-reduction properties are genuine hypotheses whose verification is carried out in the geometric examples; they do not already contain the cohomological solvability conclusions. The reliance on the author's earlier [KL25] is explicit and confined to the prototypical Neumann setting, while the Dirichlet theory, the general Douglas–Nirenberg framework, and the reduction (1.2.10) are presented as new; this self-citation is therefore not load-bearing. The unverified status of condition (1.4.27) in the Riemann example is a correctness/verification gap (the paper asserts it is satisfied trivially for tame connection terms without proof), but it is an omitted hypothesis check, not a circular reduction of the theorem to its own conclusion.

Assumptions & free parameters 0 free parameters · 5 assumptions · 3 invented entities

There are no data-fitted parameters. The load-bearing assumptions are mathematical: standard pseudodifferential calculus, the existence of adapted Green systems with sharp tuples and normal traces, overdetermined ellipticity of combined systems, and operator-level order reduction with an extra condition in the Riemann example. The framework itself introduces new definitions but no unobserved physical entities; their validation is entirely internal.

assumptions (5)

standard math Boutet de Monvel pseudodifferential calculus composition, adjunction, parametrices, and trace theory are valid as used.
Invoked throughout Chapter 2, especially Theorems 2.1, 2.14, 2.27, and Propositions 2.8-2.10; the paper relies on these as external established results.
domain assumption Each system of interest can be cast as an adapted Green system with specified sharp tuples and normal boundary operators satisfying a Green formula.
Definition 3.1 and equations (1.2.16)-(1.2.19); if a problem lacks such an adapted adjoint or normal traces, the framework does not apply.
domain assumption The combined systems in the overdetermined ellipticity conditions are overdetermined elliptic with respect to the relevant basic tuples.
Theorems 3.14 and 3.22 hinge on this; for Killing, Hessian, and Riemann examples the verification is deferred to Sections 4.3 and 4.4, and for Ricci in dimension greater than three it is stated to fail, invoking Definition 3.19.
domain assumption The order-reduction property holds at operator level, including the boundary order reduction for Dirichlet conditions, and cannot be checked by symbols alone.
It is a defining property of elliptic pre-complexes; the paper argues that curvature identities yield it in the examples, but the property itself is a load-bearing premise.
ad hoc to paper For the Riemann curvature example, the tensorial error term Gamma satisfies PtGamma=0 on Ker(Ptt,DAg), Equation (1.4.27).
Needed for the boundary order reduction B2A1=0; the paper says it holds trivially for tame connections of the form Gamma_g(Rmg,sigma), but it is an extra restriction on the linearization connection.

invented entities (3)

elliptic pre-complex
purpose: Models sequences whose compositions are lower order rather than zero, enabling Hodge theory without the rigid cochain-complex condition.
It is the central new object; its usefulness is shown by the theorems and examples, but no independent external evidence validates it beyond the paper's own arguments.
adapted Green system with adapted adjoint
purpose: Encodes Green formulae for Douglas-Nirenberg systems with nonzero class, where true L2 adjoints may not exist.
A technical construct introduced in Definition 3.1; it is justified by the internal proof structure rather than by external observations.
disrupted elliptic pre-complex
purpose: Handles cases such as the Ricci equation in dimension greater than three where overdetermined ellipticity fails at one segment.
A patch concept introduced in Definition 3.19; the Ricci application is mainly deferred to a separate paper [Led25].

how reviews work

0 comments

Cite this review

Pith. "Pith review of Hodge Theory for Linearized Boundary-Value Problems on General Geometric Structures." pith.science (2026). https://pith.science/paper/27XOUUYV

@misc{pith2026250418494,
  author       = {Pith},
  title        = {Pith review of: Hodge Theory for Linearized Boundary-Value Problems on General Geometric Structures},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/27XOUUYV}},
  note         = {Machine review of arXiv:2504.18494}
}

read the original abstract

We develop a framework that systematically casts solvability and uniqueness conditions for linearized overdetermined boundary-value problems into cohomological terms. The theory is designed to be applicable without assumptions on the underlying geometric structure and provides tools to study the resulting cohomology explicitly. To achieve this generality, we develop the notion of an elliptic pre-complex, which generalizes the machineries of Hodge theory to sequences of Douglis--Nirenberg systems in the pseudodifferential calculus of boundary-value problems that interact through Green's formulae, the notion of overdetermined ellipticity, and a condition we call the order-reduction property, which relaxes the rigid requirement that the sequence form a cochain complex. This property typically arises from linearized symmetries and constraints, as we demonstrate through several geometric examples that have long resisted analysis, including exterior covariant derivatives, the Killing and Hessian equations, and the Riemann curvature equations.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 22 canonical work pages

[1]

unique continuation results for Ricci curvature and applications

[AH22] Z. An and L. Huang,Existence of static vacuum extensions with pre- scribed Bartnik boundary data, Camb. J. Math.10(2022), no. 1, 1–68. [AH24] ,Local structure theory of Einstein manifolds with boundary, arXiv:2405.17577. [AH08] M.T. Anderson and M. Herzlich,Unique continuation results for Ricci curvature and applications, J. Geom. Phys.58(2008), no...

arXiv 2022
[4]

[Bry15] ,Equations satisfied by the Riemann curvature tensor,https: //mathoverflow.net/q/202231(version: 2015-04-08),

work page 2015
[20]

Rait ¸˘ a,Potentials forA-quasiconvexity, Calc

[Rai19] B. Rait ¸˘ a,Potentials forA-quasiconvexity, Calc. Var. Partial Differ. Equ. 58(2019), no. 3, Paper No. 105, 16 pp. [RS82] S. Rempel and B. Schulze,Index Theory of Elliptic Boundary Value Problems, North Oxford Acad. Publ. Co., Berlin,

work page 2019
[24]

Yavari,Compatibility equations of nonlinear elasticity for non-simply- connected bodies, Arch

[Yav13] A. Yavari,Compatibility equations of nonlinear elasticity for non-simply- connected bodies, Arch. Rat. Mech. Anal.209(2013), 237–253

work page 2013
[204]

Kupferman and R

[KL22] R. Kupferman and R. Leder,On Saint-Venant compatibility and stress potentials in manifolds with boundary and constant sectional curvature, SIAM J. Math. Anal.54(2022), no. 4, 4625–4657. [KL24] ,Double forms: Regular elliptic bilaplacian operators, J. Anal. Math.153(2024), 683–758. [KL25] ,Elliptic pre-complexes, Hodge-like decompositions and overde...

work page 2022
[538]

Geometry and Physics

[DS96] P.I. Dudnikov and S.N. Samborski,Partial differential equations VIII, in: Linear Overdetermined Systems of Partial Differential Equations, Initial and Initial-Boundary Value Problems, Springer, 1996, pp. 1–86. [Eas00] M. Eastwood,A complex from linear elasticity, in:Proc. 19th Winter School “Geometry and Physics”, Circolo Matematico di Palermo, 200...

work page 1970
[827]

A version of scale calculus and the associated Fredholm theory

[Ger16] A. Gerstenberger,A version of scale calculus and the associated Fredholm theory, arXiv:1602.07108. [GM91] O. Gil-Medrano and P. W. Michor,The Riemannian manifold of all Riemannian metrics, Quart. J. Math. Oxford Ser. (2)42(1991), no. 166, 183–202. [GMN92] O. Gil-Medrano, P. W. Michor, and M. Neuwirther,Pseudo-Riemannian metrics on spaces of biline...

work page Pith review arXiv 1991
[1972]

Hamilton,The inverse function theorem of Nash and Moser, Bull

[Ham82] R.S. Hamilton,The inverse function theorem of Nash and Moser, Bull. Am. Math. Soc.1(1982), 65–222. [Ham84] ,The Ricci curvature equation, Seminar on Nonlinear Partial Dif- ferential Equations (Shiing-Shen Chern, ed.), Mathematical Sciences Re- search Institute Publications, vol. 2, Springer, New York, NY, 1984, pp. 47–72. [Hin24] P. Hintz,The line...

work page 1982

Show all 24 references

[1983]

Gasqui and H

[GG88] J. Gasqui and H. Goldschmidt,Complexes of differential operators and symmetric spaces, Deform. Theory Algebr. Struct. Appl.3(1988), 797–

1988
[1993]

Ciarlet, P

[CCGK07] P.G. Ciarlet, P. Ciarlet, G. Geymonat, and F. Karuscki,Characterization of the kernel of the operator curl-curl, C.R. Acad. Sci. Paris, Ser. I344 (2007), 305–308. [CR13] B. Clarke and Y. A. Rubinstein,Conformal deformations of the Ebin metric and a generalized Calabi ...

2007 arXiv
[1995]

Spencer,Overdetermined systems of linear partial differential equa- tions, Bull

[Spe69] D.C. Spencer,Overdetermined systems of linear partial differential equa- tions, Bull. Am. Math. Soc.75(1969), 179–239. Press,

1969
[1996]

Grubic, P

[GLM13] N. Grubic, P. G. LeFloch and C. Mardare,The equations of elastostatics in a Riemannian manifold, J. Math. Pures Appl. (9)102(2014), no. 6, 1121–1163. [GR22] A. Guerra and B. Rait ¸˘ a,Quasiconvexity, null Lagrangians, and Hardy space integrability under constant rank c...

2014
[1998]

Axelsson, S

[AKM06] A. Axelsson, S. Keith, and A. McIntosh,Quadratic estimates and func- tional calculi of perturbed Dirac operators, Invent. Math.163(2006), no. 3, 455–497. [BB12] C. B¨ ar and W. Ballmann,Boundary value problems for elliptic differen- tial operators of first order, Surve...

2006
[2001]

Leder,Cohomology for linearized Ricci Curvature, arXiv preprint, 2026, arXiv:2510.12797

[Led25] R. Leder,Cohomology for linearized Ricci Curvature, arXiv preprint, 2026, arXiv:2510.12797. [Lee12] J.M. Lee,Introduction to Smooth Manifolds, 2nd ed., Springer, New York,

2026 arXiv
[2003]

Hu,Many facets of cohomology: Differential complexes and structure- aware formulations, preprint, arXiv:2503.22813,

[Hu25] K. Hu,Many facets of cohomology: Differential complexes and structure- aware formulations, preprint, arXiv:2503.22813,
[2008]

Pulemotov,Metrics with prescribed Ricci curvature near the boundary of a manifold, Math

[Pul13] A. Pulemotov,Metrics with prescribed Ricci curvature near the boundary of a manifold, Math. Ann. 357, 969–986 (2013). [PSU23] G. P. Paternian, M. Salo, and G. Uhlmann, Geometric Inverse Problems: With Emphasis on Two Dimensions, Cambridge Studies in Advanced Mathematic...

2013
[2009]

[CSS01] A. ˇCap, J. Slov´ ak, and V. Souˇ cek,Bernstein–Gelfand–Gelfand sequences, Ann. Math.154(2001), no. 1, 97–113. [CK93] D. Christodoulou and S. Klainerman,The Global Nonlinear Stability of the Minkowski Space, Princet. Math. Ser., vol. 41, Princeton Univ. Press, Princeton, NJ,

2001
[2011]

Volevich,A problem of linear programming arising in differential equations, Usp

[Vol63] L.R. Volevich,A problem of linear programming arising in differential equations, Usp. Mat. Nauk18(1963), no. 3, 155–162. (In Russian) [Wal15] D. Wallenta,Sequences of compact curvature, Ph.D. thesis, Univ. Pots- dam, 2015, p

1963
[2013]

[Bry13b] ,Does the curvature determine the metric?,https:// mathoverflow.net/q/100372(version: 2013-12-10),

2013
[2015]

Calabi,On compact Riemannian manifolds with constant curvature

[Cal61] E. Calabi,On compact Riemannian manifolds with constant curvature. I, Proc. Symp. Pure Math.3(1961), 155–180. [CS09] A. ˇCap and J. Slov´ ak,Parabolic Geometries I, Math. Surv. Monogr., vol. 154, Amer. Math. Soc., Providence, RI,

1961
[2017]

Schulze and J

188BIBLIOGRAPHY [SS19] B.W. Schulze and J. Seiler,Elliptic Complexes on Manifolds with bound- ary, J. Geom. Anal.29(2019), 656–706. [Sch95] G. Schwarz,Hodge Decomposition – A Method for Solving Boundary Value Problems, Lect. Notes Math., Springer, Berlin,

2019
[2021]

De Philippis and F

[DPR16] G. De Philippis and F. Rindler,On the structure ofA-free measures and applications, Ann. Math.184(2016), no. 3, 1017–1039. [DeT81] D.M. DeTurck,Existence of metrics with prescribed Ricci curvature: Lo- cal theory, Invent. Math.65(1981), 179–207. BIBLIOGRAPHY185 [DY86] ...

2016
[2023]

Krupchyk, N

[KTT07] K. Krupchyk, N. Tarkhanov, and J. Tuomela,Elliptic quasicomplexes in Boutet de Monvel algebra, J. Funct. Anal.247(2007), no. 1, 202–230. BIBLIOGRAPHY187 [Kul72] R.S. Kulkarni,On the Bianchi identities, Math. Ann.199(1972), 175–

2007
[2025]

Hyt¨ onen, A

[HMP08] T. Hyt¨ onen, A. McIntosh, and P. Portal,Kato’s square root problem in Banach spaces, J. Funct. Anal.254(2008), no. 3, 676–726. [ISS99] T. Iwaniec, C. Scott, and B. Stroffolini,Nonlinear Hodge theory on man- ifolds with boundary, Ann. Mat. Pura Appl.177(1999), 37–115. ...

2008

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.

[1] [1]

unique continuation results for Ricci curvature and applications

[AH22] Z. An and L. Huang,Existence of static vacuum extensions with pre- scribed Bartnik boundary data, Camb. J. Math.10(2022), no. 1, 1–68. [AH24] ,Local structure theory of Einstein manifolds with boundary, arXiv:2405.17577. [AH08] M.T. Anderson and M. Herzlich,Unique continuation results for Ricci curvature and applications, J. Geom. Phys.58(2008), no...

arXiv 2022

[2] [4]

[Bry15] ,Equations satisfied by the Riemann curvature tensor,https: //mathoverflow.net/q/202231(version: 2015-04-08),

work page 2015

[3] [20]

Rait ¸˘ a,Potentials forA-quasiconvexity, Calc

[Rai19] B. Rait ¸˘ a,Potentials forA-quasiconvexity, Calc. Var. Partial Differ. Equ. 58(2019), no. 3, Paper No. 105, 16 pp. [RS82] S. Rempel and B. Schulze,Index Theory of Elliptic Boundary Value Problems, North Oxford Acad. Publ. Co., Berlin,

work page 2019

[4] [24]

Yavari,Compatibility equations of nonlinear elasticity for non-simply- connected bodies, Arch

[Yav13] A. Yavari,Compatibility equations of nonlinear elasticity for non-simply- connected bodies, Arch. Rat. Mech. Anal.209(2013), 237–253

work page 2013

[5] [204]

Kupferman and R

[KL22] R. Kupferman and R. Leder,On Saint-Venant compatibility and stress potentials in manifolds with boundary and constant sectional curvature, SIAM J. Math. Anal.54(2022), no. 4, 4625–4657. [KL24] ,Double forms: Regular elliptic bilaplacian operators, J. Anal. Math.153(2024), 683–758. [KL25] ,Elliptic pre-complexes, Hodge-like decompositions and overde...

work page 2022

[6] [538]

Geometry and Physics

[DS96] P.I. Dudnikov and S.N. Samborski,Partial differential equations VIII, in: Linear Overdetermined Systems of Partial Differential Equations, Initial and Initial-Boundary Value Problems, Springer, 1996, pp. 1–86. [Eas00] M. Eastwood,A complex from linear elasticity, in:Proc. 19th Winter School “Geometry and Physics”, Circolo Matematico di Palermo, 200...

work page 1970

[7] [827]

A version of scale calculus and the associated Fredholm theory

[Ger16] A. Gerstenberger,A version of scale calculus and the associated Fredholm theory, arXiv:1602.07108. [GM91] O. Gil-Medrano and P. W. Michor,The Riemannian manifold of all Riemannian metrics, Quart. J. Math. Oxford Ser. (2)42(1991), no. 166, 183–202. [GMN92] O. Gil-Medrano, P. W. Michor, and M. Neuwirther,Pseudo-Riemannian metrics on spaces of biline...

work page Pith review arXiv 1991

[8] [1972]

Hamilton,The inverse function theorem of Nash and Moser, Bull

[Ham82] R.S. Hamilton,The inverse function theorem of Nash and Moser, Bull. Am. Math. Soc.1(1982), 65–222. [Ham84] ,The Ricci curvature equation, Seminar on Nonlinear Partial Dif- ferential Equations (Shiing-Shen Chern, ed.), Mathematical Sciences Re- search Institute Publications, vol. 2, Springer, New York, NY, 1984, pp. 47–72. [Hin24] P. Hintz,The line...

work page 1982