Abstract:The purpose of this paper is to revisit the Bianchi identities existing for the Riemann and Weyl tensors in the combined framework of the formal theory of systems of partial differential equations (Spencer cohomology, differential systems, formal integrability) and Algebraic Analysis (homological algebra, differential modules, duality). In particular, we prove that the n 2 (n 2 -- 1)(n -- 2)/24 generating Bianchi identities for the Riemann tensor are first order and can be easily described by means of the Spencer cohomology of the first order Killing symbol in arbitrary dimension n $\ge$ 2. Similarly, the n(n 2 -- 1)(n + 2)(n -- 4)/24 generating Bianchi identities for the Weyl tensor are first order and can be easily described by means of the Spencer cohomology of the first order conformal Killing symbol in arbitrary dimension n $\ge$ 5. As A MOST SURPRISING RESULT, the 9 generating Bianchi identities for the Weyl tensor are of second order in dimension n = 4 while the analogue of the Weyl tensor has 5 components of third order in the metric with 3 first order generating Bianchi identities in dimension n = 3. The above results, which could not be obtained otherwise, are valid for any non-degenerate metric of constant riemannian curvature and do not depend on any conformal factor. They are checked in an Appendix produced by Alban Quadrat (INRIA, Lille) by means of computer algebra. We finally explain why the work of Lanczos and followers is not coherent with these results and must therefore be also revisited.

Integration-by-parts identities from the viewpoint of differential geometry

Integration-by-parts identities and differential equations for parametrised Feynman integrals

IBPs and differential equations in parameter space

A Formula of Two-Partition Hodge Integrals

New Identities about Operator Hermite Polynomials and Their Related Integration Formulas

Symmetries of Feynman integrals and the Integration By Parts method

Towards a geometric theory of integration

Towards Systematic Evaluation of de Sitter Correlators via Generalized Integration-By-Parts Relations

Angular integrals with three denominators via IBP, mass reduction, dimensional shift, and differential equations

New Operator Identities and Integration Formulas Regarding to Hermite Polynomials Obtained via the Operator Ordering Method

Deriving new operator identities by alternately using normally, antinormally, and Weyl ordered integration technique

Integration by Parts Formulae for the Laws of Bessel Bridges via Hypergeometric Functions

Bianchi identities for the Riemann and Weyl tensors

New Approach for Deriving Operator Identities by Alternately Using Normally, Antinormally, and Weyl Ordered Integration

Towards 2-dimensional non-commutative integrals

Differential Galoisian approach to Jacobi integrability of general analytic dynamical systems and its application

A singular integration by parts formula for the exponential Euclidean QFT on the plane

Inversion and Integral Identities in dCFTs

New operator-ordering identities and associative integration formulas of two-variable Hermite polynomials for constructing non-Gaussian states