pith. sign in

arxiv: 2307.13175 · v2 · submitted 2023-07-24 · 🧮 math.DG · math.AP· math.FA

A wedge product theorem of compensated compactness theory with critical exponents on Riemannian manifolds

Xiaojin Bai , Siran Li , Xiangxiang Su This is my paper

Pith reviewed 2026-05-24 08:13 UTC · model grok-4.3

classification 🧮 math.DG math.APmath.FA
keywords compensated compactnesswedge productdifferential formsRiemannian manifoldscritical exponentsdiv-curl lemmaGauss-Codazzi-Ricci equationsisometric immersions
0
0 comments X

The pith

Compensated compactness for wedge products of differential forms holds at critical exponents on closed Riemannian manifolds.

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

The paper proves that if two sequences of differential forms converge weakly on a closed Riemannian manifold, their wedge product converges weakly to the wedge product of the limits when the integrability exponents sit at the critical threshold. This extends the classical div-curl lemma from vector fields to forms and works beyond the regime guaranteed by Hölder's inequality alone. A reader cares because the result supplies a tool for passing to the limit inside nonlinear geometric equations that involve exterior products, such as those governing isometric immersions. The argument follows the Robbin–Rogers–Temple framework but adapts it to the manifold setting and the critical case.

Core claim

On any closed Riemannian manifold, the wedge product of two weakly convergent sequences of differential forms converges in the distributional sense to the wedge product of the weak limits whenever the forms obey the precise critical exponent relations; the proof proceeds by establishing a compensated compactness identity that cancels the oscillatory terms that would otherwise prevent passage to the limit.

What carries the argument

The critical-exponent compensated compactness identity for the wedge product, which uses the closed manifold topology and the precise relation between the integrability exponents to obtain cancellation beyond Hölder.

If this is right

  • The Gauss–Codazzi–Ricci equations remain weakly continuous under critical regularity for immersions into Euclidean space.
  • L^p bounds on the second fundamental form suffice to obtain weak continuity of the extrinsic geometry of isometric immersions.
  • Limits of wedge products of forms can be passed inside geometric PDEs whose natural integrability lies at the critical threshold.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same cancellation mechanism may apply to other first-order differential operators on manifolds once the appropriate symbol conditions are checked.
  • Boundary-value versions could be derived by localizing the argument away from the boundary and controlling trace terms separately.
  • The result supplies a route to existence theorems for isometric immersions with only critical integrability on the second fundamental form.

Load-bearing premise

The manifold must be compact and without boundary, and the differential forms must satisfy the exact critical exponent pairing that produces the required cancellation.

What would settle it

Exhibit two sequences of differential forms on the standard sphere that converge weakly in the critical L^p spaces, yet whose wedge product fails to converge weakly to the wedge product of the limits.

read the original abstract

We formulate and prove compensated compactness theorems concerning the limiting behaviour of wedge products of weakly convergent differential forms on closed Riemannian manifolds \`{a} la Robbin--Rogers--Temple [Trans. Amer. Math. Soc. 303 (1987), 609--618]. The case of critical regularity exponents is considered, which generalises the div-curl lemma in Briane--Casado-D\'{i}az--Murat [J. Math. Pures Appl. 91 (2009), 476--494] for vectorfields, thus going beyond the regularity regime entailed by H\"{o}lder's inequality. Implications on the weak continuity of Gauss--Codazz--Ricci equations and $L^p$-extrinsic geometry of isometric immersions of Riemannian manifolds are discussed.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript formulates and proves compensated compactness theorems for the limiting behaviour of wedge products of weakly convergent differential forms on closed Riemannian manifolds, following the approach of Robbin--Rogers--Temple. It treats the critical regularity exponent case, generalizing the div-curl lemma of Briane--Casado-Díaz--Murat for vector fields beyond the Hölder regime, and discusses applications to weak continuity of the Gauss--Codazzi--Ricci equations and L^p-extrinsic geometry of isometric immersions.

Significance. If the proofs are correct, the result extends compensated compactness to Riemannian manifolds at critical exponents, a non-trivial step that relies on the closed-manifold assumption to control boundary terms and on precise exponent relations for compensation. This strengthens the toolkit for geometric analysis and weak continuity in PDEs on manifolds. The direct generalization from the cited Euclidean results is a clear strength.

minor comments (2)
  1. The introduction could include a brief comparison table or explicit statement of how the critical-exponent relations on manifolds differ from the Euclidean div-curl setting.
  2. Notation for the spaces of differential forms (e.g., the precise Sobolev or L^p classes at criticality) should be introduced earlier and used consistently in the statement of the main theorem.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading, positive summary, and recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No circularity detected; derivation is self-contained

full rationale

The paper formulates and proves a compensated compactness result for wedge products of weakly convergent forms on closed Riemannian manifolds, directly generalizing the Robbin-Rogers-Temple theorem and the Briane-Casado-Díaz-Murat div-curl lemma via standard weak-limit arguments. The closed-manifold assumption eliminates boundary terms, and critical-exponent relations are invoked as structural conditions permitting compensation beyond Hölder; neither is derived from the target identity. Cited works are external (no author overlap), and no equations reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations. The central claim therefore stands as an independent extension proof.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review yields minimal ledger entries; the closed-manifold assumption is the main domain premise visible.

axioms (1)
  • domain assumption The underlying space is a closed Riemannian manifold.
    Explicitly required for the statement of the theorems.

pith-pipeline@v0.9.0 · 5669 in / 1069 out tokens · 36650 ms · 2026-05-24T08:13:08.484507+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

59 extracted references · 59 canonical work pages

  1. [1]

    Functions of Bounded Variation and Free Discontinuity Problems, Oxford Mathematical Monographs

    Ambrosio, Luigi; Fusco, Nicola; Pallara, Diego. Functions of Bounded Variation and Free Discontinuity Problems, Oxford Mathematical Monographs. Oxford University Press Inc., New York, 2000. ISBN 0-19- 850245-1

    work page 2000

  2. [2]

    Convexity conditions and existence theore ms in nonlinear elasticity

    Ball, John M. Convexity conditions and existence theore ms in nonlinear elasticity. Arch. Rational Mech. Anal. 63 (1976/77), no. 4, 337–403

    work page 1976

  3. [3]

    Null Lagra ngians, weak continuity, and variational problems of arbitrary order

    Ball, John M.; Currie, John C.; Olver, Peter J. Null Lagra ngians, weak continuity, and variational problems of arbitrary order. J. Functional Analysis 41 (1981), no. 2, 135–174

    work page 1981

  4. [4]

    Calculus of variations with differential forms

    Bandyopadhyay, Saugata; Dacorogna, Bernard; Sil, Swar nendu. Calculus of variations with differential forms. J. Eur. Math. Soc. (JEMS) 17 (2015), no. 4, 1009–1039

    work page 2015

  5. [5]

    On the equations rotv = g and divu = f with zero boundary conditions

    Borchers, Wolfgang; Sohr, Hermann. On the equations rotv = g and divu = f with zero boundary conditions. Hokkaido Math. J. 19 (1990): 67–87

    work page 1990

  6. [6]

    New estimates for the Lapl acian, the div–curl, and related Hodge systems

    Bourgain, Jean; Brezis, Haïm. New estimates for the Lapl acian, the div–curl, and related Hodge systems. C. R. Acad. Sci. Paris Ser. I 338 (2004), no. 7, 539–543

    work page 2004

  7. [7]

    The Jacobian determin ant revisited

    Brezis, Haïm; Nguyen, Hoai-Minh. The Jacobian determin ant revisited. Invent. Math. 185 (2011), no. 1, 17–54

    work page 2011

  8. [8]

    Boundary estimate s for elliptic systems with L1-data

    Brezis, Haïm; Van Schaftingen, Jean. Boundary estimate s for elliptic systems with L1-data. Calc. Var. Partial Differential Equations 30 (2007), no. 3, 369–388

    work page 2007

  9. [9]

    A new div-curl result

    Briane, Marc; Casado-Díaz, Juan. A new div-curl result. Applications to the homogenization of elliptic systems and to the weak continuity of the Jacobian. J. Differential Equations 260 (2016), no. 7, 5678–5725

    work page 2016

  10. [10]

    trente ans après

    Briane, Marc; Casado-Díaz, Juan; Murat, François. The div-curl lemma “trente ans après”: an extension and an application to the G-convergence of unbounded monotone o perators. J. Math. Pures Appl. (9) 91 (2009), no. 5, 476–494

    work page 2009

  11. [11]

    Isometric imm ersions of surfaces with two classes of metrics and negative Gauss curvature

    Cao, Wentao; Huang, Feimin; Wang, Dehua. Isometric imm ersions of surfaces with two classes of metrics and negative Gauss curvature. Arch. Ration. Mech. Anal. 218 (2015), no. 3, 1431–1457

    work page 2015

  12. [12]

    Isometric imm ersion of surface with negative Gauss curvature and the Lax-Friedrichs scheme

    Cao, Wentao; Huang, Feimin; Wang, Dehua. Isometric imm ersion of surface with negative Gauss curvature and the Lax-Friedrichs scheme. SIAM J. Math. Anal. 48 (2016), no. 3, 2227–2249

    work page 2016

  13. [13]

    Weak continuity and compactness for nonlinear partial differential equations

    Chen, Gui-Qiang G. Weak continuity and compactness for nonlinear partial differential equations. Chinese Ann. Math. Ser. B 36 (2015), no. 5, 715–736

    work page 2015

  14. [14]

    Global weak rigidity of t he Gauss–Codazzi–Ricci equations and isometric immersions of Riemannian manifolds with lower regularity

    Chen, Gui-Qiang G.; Li, Siran. Global weak rigidity of t he Gauss–Codazzi–Ricci equations and isometric immersions of Riemannian manifolds with lower regularity. J. Geom. Anal. 28 (2018), no. 3, 1957–2007

    work page 2018

  15. [15]

    Weak continuity of the Ca rtan structural system and compensated com- pactness on semi-Riemannian manifolds with lower regulari ty

    Chen, Gui-Qiang G.; Li, Siran. Weak continuity of the Ca rtan structural system and compensated com- pactness on semi-Riemannian manifolds with lower regulari ty. Arch. Ration. Mech. Anal. 241 (2021), no. 2, 579–641

    work page 2021

  16. [16]

    W eak continuity of the Gauss-Codazzi-Ricci system for isometric embedding

    Chen, Gui-Qiang, G.; Slemrod, Marshall; Wang, Dehua. W eak continuity of the Gauss-Codazzi-Ricci system for isometric embedding. Comm. Math. Phys 294 (2010), no. 2, 411—437

    work page 2010

  17. [17]

    W eak continuity of the Gauss-Codazzi-Ricci system for isometric embedding

    Chen, Gui-Qiang, G.; Slemrod, Marshall; Wang, Dehua. W eak continuity of the Gauss-Codazzi-Ricci system for isometric embedding. Proc. Amer. Math. Soc. 138 (2010), no. 5, 1843–1852

    work page 2010

  18. [18]

    Weak continuity o f curvature for connections in Lp

    Chen, Gui-Qiang G.; Giron, Tristan P. Weak continuity o f curvature for connections in Lp. ArXiv preprint, math.AP. (2021), arXiv:2108.13529

    work page arXiv 2021

  19. [19]

    A new approach to the fundamental theorem of surface theory

    Ciarlet, Philippe G.; Gratie, Liliana; Mardare, Crist inel. A new approach to the fundamental theorem of surface theory. Arch. Ration. Mech. Anal. 188 (2008), no. 3, 457–473

    work page 2008

  20. [20]

    From Frenet to Cartan: The Method of Moving Frames

    Clelland, Jeanne N. From Frenet to Cartan: The Method of Moving Frames . Graduate Studies in Mathemat- ics, vol. 178. American Mathematical Society, Providence ( 2017)

    work page 2017

  21. [21]

    Compensated compactness and Hardy spaces

    Coifman, Ronald R.; Lions, Pierre-Louis; Meyer, Yves; Semmes, Stephen. Compensated compactness and Hardy spaces. J. Math. Pures Appl. (9) 72 (1993), no. 3, 247–286. 23

    work page 1993

  22. [22]

    On t he best constant in Gaffney inequality

    Csató, Gyula; Dacorogna, Bernard; Sil, Swarnendu. On t he best constant in Gaffney inequality. J. Funct. Anal. 274 (2018), no. 2, 461–503

    work page 2018

  23. [23]

    Hyperbolic conservation laws in continuum physics

    Dafermos, Constantine M. Hyperbolic conservation laws in continuum physics. Fourth edition. Grundlehren der mathematischen Wissenschaften [Fundamental Principl es of Mathematical Sciences], 325. Springer- Verlag, Berlin, 2016. xxxviii+826 pp

    work page 2016

  24. [24]

    Nonhomogeneous div-curl lemmas and loca l Hardy spaces

    Dafni, Galia. Nonhomogeneous div-curl lemmas and loca l Hardy spaces. Adv. Differential Equations 10 (2005), no. 5, 505–526

    work page 2005

  25. [25]

    Compensated compactness and genera l systems of conservation laws

    DiPerna, Ronald J. Compensated compactness and genera l systems of conservation laws. Trans. Amer. Math. Soc. 292 (1985), no. 2, 383–420

    work page 1985

  26. [26]

    Riemannian Geometry

    do Carmo, Manfredo Perdigão. Riemannian Geometry . Translated from the second Portuguese edition by Francis Flaherty. Mathematics: Theory & Applications. Birkhäuser Boston, Inc., Boston, MA, 1992

    work page 1992

  27. [27]

    Weak Convergence Methods for Nonlinear Partial Differentia l Equations

    Evans, Lawrence Craig. Weak Convergence Methods for Nonlinear Partial Differentia l Equations. Seminario, Providence 1990

    work page 1990

  28. [28]

    Weak conti nuity and lower semicontinuity results for determi- nants

    Fonseca, Irene; Leoni, Giovanni; Malý, Jan. Weak conti nuity and lower semicontinuity results for determi- nants. Arch. Ration. Mech. Anal. 178 (2005), no. 3, 411–448

    work page 2005

  29. [29]

    A special Stokes’ theorem for comple te manifolds

    Gaffney; Matthew P. A special Stokes’ theorem for comple te manifolds. Ann. of Math. 60 (1954), 140–145

    work page 1954

  30. [30]

    Guerra, André; Raiţă, Bogdan; Schrecker, Matthew R. I. Compensated compactness: continuity in optimal weak topologies. J. Funct. Anal. 283 (2022), no. 7, Paper No. 109596, 46 pp

    work page 2022

  31. [31]

    Isometric embedding of Riemannian manifolds in Euclidean s paces

    Han, Qing; Hong, Jia-Xing. Isometric embedding of Riemannian manifolds in Euclidean s paces. Mathematical Surveys and Monographs, 130. American Mathematical Societ y, Providence, RI, 2006

    work page 2006

  32. [32]

    Harmonic Maps, Conservation Laws and Moving Frames

    Hélein, Frédéric. Harmonic Maps, Conservation Laws and Moving Frames . Cambridge University Press, Cambridge, 2002

    work page 2002

  33. [33]

    H1-estimates of Jacobians by subdeterminants

    Iwaniec, Tadeusz; Onninen, Jani. H1-estimates of Jacobians by subdeterminants. Math. Ann. 324 (2002), no. 2, 341–358

    work page 2002

  34. [34]

    Global compensated c ompactness theorem for general differential opera- tors of first order

    Kozono, Hideo; Yanagisawa, Taku. Global compensated c ompactness theorem for general differential opera- tors of first order. Arch. Ration. Mech. Anal. 207 (2013), no. 3, 879–905

    work page 2013

  35. [35]

    A Riemannian approach to reduced plate, shell, and rod theories

    Kupferman, Raz; Solomon, Jake P. A Riemannian approach to reduced plate, shell, and rod theories. J. Funct. Anal. 266 (2014), no. 5, 2989–3039

    work page 2014

  36. [36]

    Reshetnyak ri gidity for Riemannian manifolds

    Kupferman, Raz; Maor, Cy; Shachar, Asaf. Reshetnyak ri gidity for Riemannian manifolds. Arch. Ration. Mech. Anal. 231 (2019), no. 1, 367–408

    work page 2019

  37. [37]

    Fractional div-curl quantities and applications to nonlocal geo- metric equations

    Mazowiecka, Katarzyna; Schikorra, Armin. Fractional div-curl quantities and applications to nonlocal geo- metric equations. J. Funct. Anal. 275 (2018), no. 1, 1–44

    work page 2018

  38. [38]

    On a generalization of c ompensated compactness in the Lp-Lq setting

    Mišur, Marin; Mitrović, Darko. On a generalization of c ompensated compactness in the Lp-Lq setting. J. Funct. Anal. 268 (2015), no. 7, 1904–1927

    work page 2015

  39. [39]

    A note on div-curl in equalities

    Lanzani, Loredana; Stein, Elias M. A note on div-curl in equalities. Math. Res. Lett. 12 (2005), no. 1, 57–61

    work page 2005

  40. [40]

    R.; Zhang, Kewei; Wu, ZhiJia n

    Li, Chun; McIntosh, Alan G. R.; Zhang, Kewei; Wu, ZhiJia n. Compensated compactness, paracommutators, and Hardy spaces. J. Funct. Anal. 150 (1997), no. 2, 289–306

    work page 1997

  41. [41]

    On the existence of C 1,1-isometric immersions of several classes of negatively cur ved surfaces into R3

    Li, Siran. On the existence of C 1,1-isometric immersions of several classes of negatively cur ved surfaces into R3. Arch. Ration. Mech. Anal. 236 (2020), no. 1, 419–449

    work page 2020

  42. [42]

    A new proof of Gaffney’s inequality for differe ntial forms on manifolds-with-boundary: the varia- tional approach à la Kozono-Yanagisawa

    Li, Siran. A new proof of Gaffney’s inequality for differe ntial forms on manifolds-with-boundary: the varia- tional approach à la Kozono-Yanagisawa. Acta Math. Sci. Ser. B (Engl. Ed.) 42 (2022), no. 4, 1427–1452

    work page 2022

  43. [43]

    The concentration-compactness principle in the calculus of variations

    Lions, Pierre-Louis. The concentration-compactness principle in the calculus of variations. The limit case. I. Rev. Mat. Iberoamericana 1 (1985), no. 1, 145–201

    work page 1985

  44. [44]

    On Pfaff systems with Lp coefficients and their applications in differential geometry , J

    Mardare, Sorin. On Pfaff systems with Lp coefficients and their applications in differential geometry , J. Math. Pures Appl. (9), 84 (2005), 1659–1692

    work page 2005

  45. [45]

    Weak continuity of determinants and no nlinear elasticity, C

    Müller, Stefan. Weak continuity of determinants and no nlinear elasticity, C. R. Acad. Sci. Paris I 307 (1988) 501–506

    work page 1988

  46. [46]

    Compacité par compensation

    Murat, François. Compacité par compensation. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 5 (1978), no. 3, 489–507

    work page 1978

  47. [47]

    Compacité par compensation

    Murat, François. Compacité par compensation. II. Proceedings of the International Meeting on Recent Meth- ods in Nonlinear Analysis (Rome, 1978), pp. 245–256, Pitagora, Bologna, 1979

    work page 1978

  48. [48]

    Compacité par compensation: conditi on nécessaire et suffisante de continuité faible sous une hypothèse de rang constant, Ann

    Murat, François. Compacité par compensation: conditi on nécessaire et suffisante de continuité faible sous une hypothèse de rang constant, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 8 (1981), no. 1, 69–102. 24

    work page 1981

  49. [49]

    A global div-curl-lemma for mixed boundar y conditions in weak Lipschitz domains and a corre- sponding generalized A∗ 0-A1-lemma in Hilbert spaces

    Pauly, Dirk. A global div-curl-lemma for mixed boundar y conditions in weak Lipschitz domains and a corre- sponding generalized A∗ 0-A1-lemma in Hilbert spaces. Analysis (Berlin) 39 (2019), no. 2, 33–58

    work page 2019

  50. [50]

    Weak convergence and completely add itive vector functions on a set, Sibir

    Re˘ setnjak, Yuri. Weak convergence and completely add itive vector functions on a set, Sibir. Math. 9 (1968) 1039–1045

    work page 1968

  51. [51]

    Directional oscillations, concentra tions, and compensated compactness via microlocal com- pactness forms

    Rindler, Filip. Directional oscillations, concentra tions, and compensated compactness via microlocal com- pactness forms. Arch. Ration. Mech. Anal. 215 (2015), no. 1, 1–63

    work page 2015

  52. [52]

    On we ak continuity and the Hodge decomposition

    Robbin, Joel W.; Rogers, Robert C.; Temple, Blake. On we ak continuity and the Hodge decomposition. Trans. Amer. Math. Soc. 303 (1987), no. 2, 609–618

    work page 1987

  53. [53]

    Hodge decomposition – a method for sol ving boundary value problems

    Schwarz, Günter. Hodge decomposition – a method for sol ving boundary value problems. Lecture Notes in Mathematics, 1607. Springer-Verlag, Berlin, 1995. viii+155 pp

    work page 1995

  54. [54]

    Normal currents: structure, duali ty pairings and div-curl lemmas

    Šilhavý, Miroslav. Normal currents: structure, duali ty pairings and div-curl lemmas. Milan J. Math. 76 (2008), 275–306

    work page 2008

  55. [55]

    Compensated compactness and application s to partial differential equations

    Tartar, Luc. Compensated compactness and application s to partial differential equations. Nonlinear analysis and mechanics: Heriot-Watt Symposium, Vol. IV , pp. 136–212, Res. Notes in Math., 39, Pitman, Boston, Mass.-London, 1979

    work page 1979

  56. [56]

    The compensated compactness method appli ed to systems of conservation laws

    Tartar, Luc. The compensated compactness method appli ed to systems of conservation laws. Systems of nonlinear partial differential equations (Oxford, 1982) , 263–285, NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., 111, Reidel, Dordrecht, 1983

    work page 1982

  57. [57]

    On isometric immersions of Riemannia n manifolds, Bol

    Tenenblat, Keti. On isometric immersions of Riemannia n manifolds, Bol. Soc. Brasil. Mat. 2 (1971), 23–36

    work page 1971

  58. [58]

    A functional analytic perspective to the div-curl lemma

    Waurick, Marcus. A functional analytic perspective to the div-curl lemma. J. Operator Theory 80 (2018), no. 1, 95–111

    work page 2018

  59. [59]

    An Lp theorem for compensated compactness

    Zhou, Yi. An Lp theorem for compensated compactness. Proc. Roy. Soc. Edinburgh Sect. A 122 (1992), no. 1–2, 177–189. Siran Li: School of Ma thema tical Sciences & CMA-Shanghai, Shanghai Jiao Tong Univer- sity, No. 6 Science Buildings, 800 Dongchuan Road, Minhang D istrict, Shanghai, China (200240) Email address : siran.li@sjtu.edu.cn 25

    work page 1992