pith. sign in

arxiv: 2605.15933 · v1 · pith:332C4CIGnew · submitted 2026-05-15 · 🧮 math.NA · cs.NA

A note on short and long exact sequences in the BBG construction of complexes from complexes

Snorre H. Christiansen This is my paper

Pith reviewed 2026-05-19 22:12 UTC · model grok-4.3

classification 🧮 math.NA cs.NA
keywords BGG sequencesexact sequencescohomologycomplexesnumerical analysispartial differential equationsspectral sequencesfinite elements
0
0 comments X

The pith

Cohomology of BGG sequences follows from long exact sequences of complexes even without injectivity

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

The paper shows that cohomology groups of Bernstein-Gelfand-Gelfand sequences used in numerical analysis of partial differential equations arise by building a long exact sequence that links the cohomology of the input complexes to the output complex. It first treats the case where maps are injective or surjective and then extends the approach to the general case by inserting short exact sequences of complexes, whose induced long exact sequences in cohomology connect the groups systematically. A spectral sequence interpretation supplies an alternative algebraic view of the same construction. A sympathetic reader would care because this supplies a uniform algebraic tool for tracking exactness and computing cohomology invariants in discrete complexes that appear in finite element methods.

Core claim

We first show how the cohomology of some Bernstein-Gelfand-Gelfand sequences that are important for the numerical analysis of partial differential equations can be obtained through the construction of a long exact sequence connecting cohomology groups. Then we explain the extension of this result to the non-injective/surjective case through the systematic use of short exact sequences of complexes and their associated long exact sequences of cohomology groups. Finally an interpretation in terms of spectral sequences is given.

What carries the argument

Short exact sequences of complexes that induce long exact sequences in cohomology, applied inside the BGG construction even when the constituent maps fail to be injective or surjective.

If this is right

  • Cohomology of the constructed BGG sequence is related to the cohomologies of the original complexes by the connecting maps in the long exact sequence.
  • The relation continues to hold for the specific BGG sequences used in numerical PDE analysis.
  • Short exact sequences of complexes allow the long exact sequence in cohomology to be assembled even without injectivity or surjectivity of the maps.
  • The same cohomology data admits an equivalent description via an associated spectral sequence.

Where Pith is reading between the lines

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

  • The technique may simplify cohomology calculations in other homological constructions used for discretizing differential operators.
  • It suggests that exact-sequence chasing could become a standard step in proving stability of finite-element schemes based on complexes.
  • The spectral-sequence perspective might be developed further to obtain filtration or convergence information not addressed in the note.
  • Similar short-exact-sequence arguments could be tested on non-BGG complex constructions that appear in algebraic topology or geometry.

Load-bearing premise

BGG constructions of complexes from complexes admit short exact sequences even when the underlying maps are not injective or surjective, allowing the long exact sequence of cohomology to be formed systematically.

What would settle it

Direct computation of the cohomology groups for a concrete non-injective BGG sequence arising in a PDE discretization, followed by comparison with the groups predicted by the long exact sequence; mismatch would show the extension fails.

read the original abstract

We first show how the cohomology of some Bernstein-Gelfand-Gelfand (BGG) sequences that are important for the numerical analysis of partial differential equations, can be obtained through the construction of a long exact sequence connecting cohomology groups. Then we explain the extension of this result to the non-injective/surjective case through the systematic use of short exact sequences of complexes and their associated long exact sequences of cohomology groups. Finally an interpretation in terms of spectral sequences is given.

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

2 major / 2 minor

Summary. The paper claims that the cohomology of some Bernstein-Gelfand-Gelfand (BGG) sequences important for numerical analysis of PDEs can be obtained via construction of a long exact sequence connecting cohomology groups. It then extends this to the non-injective/surjective case by systematic use of short exact sequences of complexes and their associated long exact sequences of cohomology groups, and concludes with an interpretation in terms of spectral sequences.

Significance. If the extension to non-injective/surjective maps is made rigorous with explicit constructions that preserve the relevant cohomology groups, the note could provide a useful homological tool for computing or relating cohomologies in BGG complexes arising in finite element exterior calculus. The spectral sequence interpretation might offer additional structural insight, though its novelty relative to standard homological algebra remains to be assessed.

major comments (2)
  1. [the explanation of the extension to the non-injective/surjective case] The extension to the non-injective/surjective case (described after the initial long exact sequence construction) invokes short exact sequences of complexes without specifying how the BGG maps are replaced or quotiented to achieve degreewise injectivity and surjectivity. By definition a short exact sequence 0 → A• → B• → C• → 0 requires that each A_n → B_n is injective, B_n → C_n is surjective, and im equals ker; the manuscript does not exhibit the modified complexes or verify that the resulting cohomology groups coincide with those of the original BGG sequence.
  2. [the section following the initial long exact sequence result] No explicit verification or example is supplied showing that the long exact sequence in cohomology obtained after the modification actually recovers the cohomology of the original BGG complex rather than a different complex. This step is load-bearing for the central claim that the construction works systematically in the general case.
minor comments (2)
  1. [Abstract] The abstract states that 'some' BGG sequences are considered but does not name the specific complexes or degrees; adding one concrete example would clarify the scope.
  2. Notation for the complexes and maps in the BGG construction is introduced without a preliminary definition or reference to the standard BGG functor; a short paragraph recalling the relevant homological algebra background would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive major comments. The points raised concern the level of detail in the extension to non-bijective maps and the verification that the resulting cohomology matches the original BGG sequence. We address each comment below and will incorporate the requested clarifications in a revised version of the note.

read point-by-point responses

  1. Referee: [the explanation of the extension to the non-injective/surjective case] The extension to the non-injective/surjective case (described after the initial long exact sequence construction) invokes short exact sequences of complexes without specifying how the BGG maps are replaced or quotiented to achieve degreewise injectivity and surjectivity. By definition a short exact sequence 0 → A• → B• → C• → 0 requires that each A_n → B_n is injective, B_n → C_n is surjective, and im equals ker; the manuscript does not exhibit the modified complexes or verify that the resulting cohomology groups coincide with those of the original BGG sequence.

    Authors: We agree that the current exposition is too terse on this construction. In the revised manuscript we will explicitly describe the replacement: for a general BGG morphism f: A• → B• we form the image complex I• together with the short exact sequences of complexes 0 → ker(f)• → A• → I• → 0 and 0 → I• → B• → coker(f)• → 0, where the maps are the natural inclusions and projections that are chain maps by construction. We will then verify that these sequences remain exact in each degree and that the induced long exact sequences in cohomology compute the same groups as the original BGG complex because the kernel and cokernel complexes are acyclic in the relevant degrees or induce isomorphisms on cohomology via the five-lemma. revision: yes

  2. Referee: [the section following the initial long exact sequence result] No explicit verification or example is supplied showing that the long exact sequence in cohomology obtained after the modification actually recovers the cohomology of the original BBG complex rather than a different complex. This step is load-bearing for the central claim that the construction works systematically in the general case.

    Authors: We accept that an explicit check or low-dimensional example is needed to confirm that the cohomology is recovered. The revised note will contain a concrete verification: we will take a short BGG sequence in which the maps are neither injective nor surjective, compute its cohomology directly by solving the cocycle condition, then apply the modified short exact sequences and the associated long exact sequence, and show by direct comparison that the resulting cohomology groups coincide with those of the unmodified complex. revision: yes

Circularity Check

0 steps flagged

No significant circularity; standard homological algebra applied to BGG complexes

full rationale

The paper derives cohomology relations for BGG sequences by constructing long exact sequences from short exact sequences of complexes, then extends the construction to cases where maps are not injective or surjective. This rests on textbook facts about exact sequences of complexes and their induced long exact sequences in cohomology, which are independent of the paper's own results and do not reduce to self-definitions, fitted parameters, or load-bearing self-citations. No equations or steps in the derivation chain equate a claimed prediction back to an input by construction. The central claim therefore remains self-contained against external benchmarks in homological algebra.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The argument rests on standard properties of short and long exact sequences in homological algebra and on the existence of BGG constructions; no new free parameters or invented entities are introduced.

axioms (2)
  • standard math Short exact sequences of complexes induce long exact sequences in cohomology
    Invoked to connect cohomology groups in the BGG setting.
  • domain assumption BGG sequences can be realized as complexes admitting short exact sequences even when maps fail to be injective or surjective
    Required for the extension step described in the abstract.

pith-pipeline@v0.9.0 · 5600 in / 1047 out tokens · 34772 ms · 2026-05-19T22:12:00.957570+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    D. N. Arnold, R. S. Falk, and R. Winther. Differential complexes and stability of finite element methods. I. The de Rham complex. InCompatible spatial discretizations, volume 142 ofIMA Vol. Math. Appl., pages 24–46. Springer, New York, 2006

    work page 2006

  2. [2]

    D. N. Arnold, R. S. Falk, and R. Winther. Differential complexes and stability of finite element methods. II. The elasticity complex. InCompatible spatial discretizations, volume 142 ofIMA Vol. Math. Appl., pages 47–67. Springer, New York, 2006

    work page 2006

  3. [3]

    D. N. Arnold, R. S. Falk, and R. Winther. Finite element exterior calculus, homological techniques, and applications.Acta Numer., 15:1–155, 2006

    work page 2006

  4. [4]

    D. N. Arnold and K. Hu. Complexes from complexes.Found. Comput. Math., 21(6):1739–1774, 2021

    work page 2021

  5. [5]

    I. N. Bernstein, I. M. Gelfand, and S. I. Gelfand. Differential operators on the base affine space and a study ofg-modules. InLie groups and their representations (Proc. Summer School, Bolyai J´ anos Math. Soc., Budapest, 1971), pages 21–64. Halsted Press, New York-Toronto, Ont., 1975

    work page 1971

  6. [6]

    Cap and K

    A. Cap and K. Hu. Bounded Poincar´ e operators for twisted and BGG complexes.J. Math. Pures Appl. (9), 179:253–276, 2023

    work page 2023

  7. [7]

    Cap and K

    A. Cap and K. Hu. BGG sequences with weak regularity and applications. Found. Comput. Math., 24(4):1145–1184, 2024

    work page 2024

  8. [8]

    A. Cap, J. Slovak, and V. Soucek. Bernstein-Gelfand-Gelfand sequences. Ann. of Math. (2), 154(1):97–113, 2001

    work page 2001

  9. [9]

    Chen and X

    L. Chen and X. Huang. Complexes from complexes: Finite element com- plexes in three dimensions.Math. Comp., 95(359):1083–1142, 2026

    work page 2026

  10. [10]

    S. H. Christiansen. On the linearization of Regge calculus.Numerische Mathematik, 119:613–640, 2011. 12

    work page 2011

  11. [11]

    S. H. Christiansen, K. Hu, and T. Lin. Extended Regge complex for linearized Riemann-Cartan geometry and cohomology.Found. Comput. Math., 2026

    work page 2026

  12. [12]

    S. H. Christiansen, K. Hu, and E. Sande. Poincar´ e path integrals for elas- ticity.J. Math. Pures Appl. (9), 135:83–102, 2020

    work page 2020

  13. [13]

    Eastwood

    M. Eastwood. Variations on the de Rham complex.Notices Amer. Math. Soc., 46(11):1368–1376, 1999

    work page 1999

  14. [14]

    Kobayashi and K

    S. Kobayashi and K. Nomizu.Foundations of differential geometry. Vol I. Interscience Publishers, a division of John Wiley & Sons, New York-Lond on, 1963

    work page 1963

  15. [15]

    Lang.Algebra, volume 211 ofGraduate Texts in Mathematics

    S. Lang.Algebra, volume 211 ofGraduate Texts in Mathematics. Springer- Verlag, New York, third edition, 2002

    work page 2002

  16. [16]

    McCleary.A user’s guide to spectral sequences, volume 58 ofCambridge Studies in Advanced Mathematics

    J. McCleary.A user’s guide to spectral sequences, volume 58 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, second edition, 2001

    work page 2001

  17. [17]

    Pechstein and J

    A. Pechstein and J. Sch¨ oberl. Tangential-displacement and normal-normal- stress continuous mixed finite elements for elasticity.Math. Models Methods Appl. Sci., 21(8):1761–1782, 2011

    work page 2011

  18. [18]

    R. Vakil. Spectral sequences: friend or foe?Online note, Stanford Univer- sity, pages 1–8, 2008

    work page 2008

  19. [19]

    C. A. Weibel.An introduction to homological algebra, volume 38 ofCam- bridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1994. 13

    work page 1994