INTRODUCTION

When M. Janet introduced in 1920 the first finite length differential sequence as a footnote of his paper , he surely did not know about the possibility to use such a sequence in elasticity theory along the way introduced by the brothers E. and F. Cosserat in 1909 . Being a visiting student of D. C. Spencer (1912-2001) at Princeton University in 1970, I discovered that he was not even knowing the mathematical foundations of general relativity (GR) studied by his close friend J. A. Wheeler (1911-2008) who was offering 1000 dollars at that time to anybody finding a potential for Einstein equations in vacuum. This possibility is known to exist for Maxwell equations in electromagnetism (EM), usually defined by while introducing the exterior derivative. I discovered in 1995 the negative solution of this challenge by using (formal) adjoint operators in a systematic way (See ideXlab on the net !), contrary to the general belief of the GR community. As a byproduct, such a result can only be found in books of control theory . In 1980, I met Janet who was still alive and he told me about the work of E. Vessiot and the resulting “affair” concerning the Differential Galois Theory .

In 2015, a few meetings have been organized by the “ Institut Henri Poincaré ” (IHP) in Paris during three months about “ Mathematical General relativity ” . In particular, a Celebration of the 100th Anniversary was held on 16-20 November, largely dedicated to gravitational waves (GW) and followed by two days in honor of A. Lichnerowicz on December. As Lichnerowicz had been my main advisor during more than 20 years and died in 1998, I decided to participate to all these events. The atmosphere was very unpleasant because everybody knew that most sponsors should stop funding. One invited talk ” Are Black Holes Real ” given by S. Klainermann was so badly accepted that I could only answer to my neighbour, a young foreign student, that I was listening to it for the first time. The idea was to distinguish between three kinds of “Reality”, namely “Virtual reality, Physical reality and Mathematical reality”, the latter allowing to write a paper without any mathematical mistake but no comment was done on the mathematical assumptions used at the beginning . Less than 6 months later, LIGO announced to have detected GW produced by a couple of merging binary black holes (!) and this event, highly spread in newspapers, has been followed by the diffusion of pictures of black holes . Since that time, I started to have doubts and, being specialist of control theory, I decided to use my knowledge for studying the origin of GW. In 2017, I discovered why GW cannot exist because Einstein, copying Beltrami, both ignoring that the Einstein operator, linearization of the Einstein tensor over the M metric, was surprisingly self-adjoint. I started to have doubts, not about the proper detection but mainly about the defining equations. Then, I started to have serious doubts when LIGO did stop for 3 years and I don’t speak about the lack of any result for KAGRA after spending 250 millions of dollars. It is at this moment that I decided to care about black holes while taking into account a few recent papers I wrote about the comparison of the M,S and K metrics but also as a way to disagree with the approach used by L. Andersson and collaborators met while lecturing at the Albert Einstein Institute (AEI) of Potsdam (October 23-27, 2017) .

In the Special Relativity paper of Einstein (1905), only a footnote provides a reference to the conformal group of space-time, namely the group of transformations preserving the Minkowski metric up to a function factor, but there is no proof that the conformal factor should be equal to 1. Over a manifold of dimension , this group has translations, rotations, 1 dilatation and non-linear elations introduced by . Cartan in 1922, with a total number of parameters that is when . However, it is also the number of the Cauchy stress equations (1823), the Cosserat couple-stress equations (1909), the only Clausius virial equation (1870), the Maxwell (1873) and Weyl (1918) equations which are among the most famous partial differential equations that can be found today in any textbook dealing with elasticity theory, continuum mechanics, thermodynamics or electromagnetism. The purpose of this paper is to prove that the form of these equations only depends on the structure of the conformal group for an arbitrary because they are described as a whole by the (formal) adjoint of the first Spencer operator existing in the Spencer differential sequence. Such a group theoretical implication is obtained by applying totally new differential geometric methods in field theory. In particular, when , the main idea is to enlarge the group from 10 up to 11 or 15 parameters by using the Weyl or conformal group instead of the Poincaré group of space-time.

Contrary to the Einstein equations, these equations can be all parametrized by the adjoint of the second Spencer operator through potentials. These results bring the need to revisit the mathematical foundations of both General Relativity (GR) and Gauge Theory (GT) according to a clever but rarely quoted paper of H. Poincaré (1901) . They strengthen the comments we already made about the dual confusions made by Einstein (1915) while following Beltrami (1892), both using the same operator when and but ignoring it is self-adjoint in the framework of differential double duality. They also question the origin and existence of black holes.

With some more preliminary details provided in , we have successively:

When in plane elasticity with Riemann operator , G.B. Airy found in 1863 the possibility to parametrize the operator

with by a single stress function wearing his name through the operator as follows:

Multiplying the Riemann operator on the left by and “integrating by parts”, we obtain:

As for the fact that the Cauchy operator is the adjoint of the Killing operator, this result can be found in any textbook of elasticity.

When in space elasticity, E. Beltrami found in 1892 the possibility to parametrize the operator by means of six stress functions wearing his name through the self-adjoint operator as follows:

As can be checked, the alternate sum of dimensions in each sequence, called Euler-Poincaré characteristic, does vanish indeed. More generally, studying the Lanczos problems in 2001 for a dimension , discovered that the operator can be parametrized by the operator in the geometrical and physical adjoint sequences made by operators acting on tensors, giving order of operators and number of components as follows:

The geometrical and adjoint physical long exact differential sequences of operators acting on tensors, giving order of operators and number of components as follows:

When in space-time, Einstein, probably knowing the work of Beltrami because the comparison needs no comment (, Proposition 4.1, p 28), made a terrible confusion in 1915 between the operator and the div operator induced from the Bianchi operator because both have been using the same Einstein operator but ignoring that such an operator is self-adjoint in the framework of differential double duality when (See for more details).

Looking at in order to understand the origin of GW or at section 4, the second order linearized Ricci operator with 4 terms is defined by the formula:

Let us now introduce the linear map $C : S { 2 } T ^ { * } \to S { 2 } T ^ { } :
\Omega { i j } \to \bar { \Omega } { i j } =
\Omega { i j } - \frac { 1 } { 2 } \omega { i j } \omega ^ { r s } \Omega { r s}$ where is a perturbation of the Minkowski metric , invertible if and only if . It is well known that the Einstein operator is defined by the same map $C : R { i j } \to R { i j } - \frac { 1 } { 2 } \omega { i j } \omega ^ { r s } R { r s } = E { i j }$ not depending on any conformal factor. Comparing to or to any other textbook*, the GW are defined by the (strange!) composite operator in such a way that . Taking the respective adjoint operators, remembering that and that we have whenever are two operators, we obtain:

Introducing the test functions and setting as usual , we get:

which is exactly the generalized version of the Beltrami parametrization described in the preceding diagram with 10 instead of 20 stress functions when .

However, the above results are showing out the close links existing between group theory and differential sequences. For this reason, we briefly recall the historical framework leading to these new results and the reason for which we have not been able to quote many external references. This paper is also written as a smile to the famous English writer Lewis Carroll who used these words in the novel he wrote in 1871, six years after ” Alice in Wonderland”.

The concept of ” group”, introduced in mathematics for the first time by E. Galois (1830), slowly passed from algebra to geometry with the work of S. Lie on Lie groups (1880) and Lie pseudogroups (1890) of transformations. The concept of a finite length differential sequence, now called Janet sequence, has been described for the first time as a footnote by M. Janet (1920). Then, the work of D. C. Spencer (1970) has been the first attempt to use the formal theory of systems of partial differential equations in order to study the formal theory of Lie pseudogroups .

However, the linear and nonlinear Spencer sequences for Lie pseudogroups, though never used in physics, largely supersede the ” Cartan structure equations ” (1905) and are quite different from the ” Vessiot structure equations ” (1903), introduced for the same purpose but still not known today because they have never been acknowledged by E. Cartan and successors . This diagram explains why it has never been possible to connect Gauge Theory (GT) using Maurer-Cartan (MC) equations with torsion curvature with GR using (Riemann curvature alone:

Example 1.1: In order to explain the difference existing between a Lie group and a Lie pseudogroup of transformations, let us consider the Lie group of projective transformations of the real line and differentiate three times the local action law as follows with with :

and get the single Schwarzian third order nonlinear OD equation . Setting then and linearizing at the identity when we obtain the infinitesimal Lie equation

with a basis of solutions generating the space of solutions over the constants with . We have the three abelian subgroups with no rotation but . However, the next examples will prove that no group theoretical technique may be applied when solutions cannot be known.

Example 1.2: With and ), let us consider the Lie operator and the first order involutive system:

The only Vessiot structure equation is where now is the exterior derivative and the only Vessiot structure constant is . We let the reader check that this system is formally integrable (FI), that is no new PD equation can be obtained by differentiating these three equations in any way, if and only if this condition is satisfied. We have the differential sequence:

with and and we may look for the adjoint differential sequence. Multiplying respectively by and integrating by parts, we obtain the adjoint operator in the form:

Then, multiplying by , we obtain as:

and obtain the adjoint differential sequence: .

in which may not generate the compatibility conditions (CC) of

We have therefore to consider the two cases :

: With , we have and is not injective with kernel but is surjective. The Lie pseudogroup is made by transfomations with and arbitrary.

: Like Vessiot himself, we may choose and obtain , that is . We check that is now injective but that is still surjective. The Lie pseudogroup is made by transformations with invertible.

We have thus discovered that the properties of the adjoint sequence largely depend on the Vessiot structure constant . Finally, if , no explicit solution may be provided.

Example 1.3: (Contact transformations) With and ground differential field , we may introduce the 1-form and consider the system of infinitesimal Lie equations defined by after eliminating the factor . However, we notice that is not invariant by the contact Lie pseudogroup and cannot be considered as an invariant associated geometric object. In fact, it is known that the corresponding geometric object is a 1-form density leading to the system of infinitesimal Lie equations in Medolaghi form:

and to the only Vessiot structure equation :

with the only structure constant . We point out the fact that only the condition of constant Riemannian curvature is known today to be similar and we have explained why such a situation has been produced deliberately by the successors of Cartan. In the present contact situation, we may choose and get but we may also choose and get , these two choices both bringing an involutive system. Our problem will be now to construct the differential sequences: and its adjoint sequence:

Linearizing the only Vessiot structure equation, we get the corresponding CC system

Multiplying on the left by a test function and integrating by parts, we get the operator in the form:

We obtain therefore the crucial formula showing how the previous sequences are essentially depending on the Vessiot structure constant .

Indeed, if , then and the operator is injective. This is the case when .

On the contrary, if , then the operator may not be injective as can be seen by choosing . Indeed, in this case we get a kernel defined by .

Finally, unimodular contact transformations are preserving the 1-form , thus also the 2-form and even the 3-form . The Vessiot structure equations for the geometric object are now with and the only Jacobi condition because .

Remark 1.4: When is a non-degenerate metric, that is , it is well known since the work of L.P. Eisenhart on Riemannian geometry in 1926 that the first order Killing linear system defined by the PD equations for a vector field , is formally integrable (FI), that is no new first order PD equation can be obtained iff the metric has a constant Riemannian curvature. We have proved in many books and papers that this is the only example of Vessiot equations known today and have explained in that the reason for such a poor situation is related to a very unpleasant “Mathematical Affair” having to do with the differential Galois theory and involving the best french mathematicians of the beginning of the last century, namely H. Poincaré, E. Picard and G. Darboux (Original letters have been given directly to me by Janet because of the personal dedication of my first 1978 GB book and can be found in the library of ENS in Paris while a photocopy can be found in my 1988 GB book .

Meanwhile, mixing differential geometry with homological algebra, M. Kashiwara (1970) has created ” differential homological algebra”, in order to study differential modules by means of double duality and the corresponding extension modules (See for references and Zbl 1079.93001). By chance, unexpected arguments have been introduced by the brothers E. and F. Cosserat (1909) in order to revisit elasticity and by H. Weyl (1918) in order to revisit electromagnetism through a unique differential sequence only depending on the structure of the conformal group. However, while the Cosserat brothers were only using (translations + rotations), Weyl has only been dealing with (dilatation elations) as we shall explain .

After recalling the negative answer we already provided in 1995 , the main purpose of this paper is to use new techniques of group theory in order to revisit the mathematical foundations of general relativity (GR) and gauge theory (GT) that are leading to gravitational waves. We point out the fact that all the diagrams presented can be obtained by means of computer algebra while using recent packages developed by my former PhD student A. Quadrat and his collaborators .

The solution of this striking but difficult problem has been announced, as we already said, is a series of lectures given at the Albert Einstein Institute (AEI, Potsdam, October, 23-27, 2017) “General Relativity and Gauge Theory: Beyond the Mirror” (hal-01632085, 09/11/2017). We shall prove in the next section that the study of the Killing operator done in by means of purely technical relativistic tools has in fact nothing to do with GR and can be solved only counting with fingers. We also invite the reader to look at the more applied presentation (arXiv: 2302.06585) . In this second approach, we advise the reader to have a special look at the photo-elastic beam experiment showing the link that may exist between high level mathematical mathematical tools and their phenomenological approach also done by J.C. Maxwell himself. We finally say that a rough sketch of the Spencer operator for systems with constant coefficients has been provided by F.S. Macaulay in 1916 through ” Inverse Systems” in .

Before going ahead, let us prove that there may be only two types of differential sequences, the Janet sequence introduced by M. Janet in 1920 and the totally different Spencer sequence introduced by D. C. Spencer in 1970 though both only depend on the Spencer operator . Though the mathematical and physical communities still believe that a differential sequence must always be constructed ” step by step”, that is, starting with with generating CC , one may start anew with with generating CC and so on. However, as we shall see, the Poincaré (also called de Rham out of France !) sequence for the exterior derivative may be defined “as a whole”, a fact that led people to believe that the central operator for constructing differential sequences is the exterior derivative, a wrong way indeed (See ).

For this, if is a vector bundle over the base , we introduce the jet bundle with sections transforming like the sections . The Spencer operator allows to compare these sections by considering the differences and so on. For any system , differentiating once all the given OD or PD equations, we obtain the first prolongation equations and the Spencer operator can be extended to an operator:

We use multi-indices with and both with standard multi-index notation for exterior forms and one can check that . The Spencer operator and the exterior derivative are thus interlaced by the above formula. The restriction of to the terms of upper order defining the symbols is ” minus” the Spencer map with through the formula because when The system is said to be involutive if its symbol is involutive, that is if all the sequences are exact, and the projection is an epimorphism. For any system , we may define by differentiating times and keeping only the equations of order . When is involutive, we may define the Janet bundles , for , by the short exact sequences :

We may pick up a section of , lift it up to a section of that we may lift up to a section of and apply in order to get a section of that we may project onto a section of in order to construct an operator generating the CC of in the canonical linear Janet sequence:

If we have two involutive systems , the Janet sequence for projects onto the Janet sequence for and we may define inductively canonical epimorphisms for by comparing the previous sequences for and .

A similar procedure can also be obtained if we define the Spencer bundles for by the short exact sequences :

We may pick up a section of , lift it to a section of , lift it up to a section of and apply in order to construct a section of that we may project to in order to construct an operator generating the CC of in the canonical linear Spencer sequence which is another completely different resolution of the set of (formal) solutions of .

It can be proved that the Spencer sequence for is the Janet sequence for . However, if we have two systems as above, the Spencer sequence for is now contained

into the Spencer sequence for and we may construct inductively canonical monomorphisms for by comparing the previous sequences for and .

Defining and by the short exact sequence , all the previous results can be combined in the following essential commutative and exact diagram:

in which is defined as the image of in the exact symbol sequence:

It follows that the Janet bundles can be defined ” as a whole” by the short exact sequences:

Considering the first order Killing system , adding its first prolongation while using instead of , we obtain a second order system . When and is the Euclidean or Minkowskian metric, we have a Lie group of isometries with the 3 infinitesimal generators . If we now consider the Weyl group defined by and , we have to add the only dilatation . As for the conformal system defined by according to , we have to add the two elations and . As we have , we have the strict inclusions of involutive systems with respective dimensions . Collecting these results, we get the following commutative fundamental diagram where the upper down arrows are monomorphisms while the lower down arrows are epimorphisms obtained by induction :

It follows that “Spencer and Janet play at see-saw”, the dimension of each Janet bundle being decreased by the same amount as the dimension of the corresponding Spencer bundle is increased. The Poincaré sequence for the exterior derivative is but it is only at the end of the paper that we shall understand the link with Maxwell equations when . In Special relativity, though surprising it may look like, the above example with fits with Lorentz transformations if one is using the ” hyperbolic” notations with and . Indeed, setting and among dimensionless quantities, the Lorentz transformation is now described by the formulas: . We obtain thus for the composition of speeds without the need of any ” gedanken experiment” on light signals. A similar result can be obtained with the ordinary ” tangent” for the composition of rotations when using the Euclidean metric for the plane .

MOTIVATING EXAMPLES

In all the following examples we shall study linear systems of ordinary differential (OD) or partial differential (PD) equations with dependent variables, independent variables, order , Lie groups of dimension , Lie groups of transformations of a manifold with tangent bundle , cotangent bundle , made by a Lie group acting on with a graph or Lie pseudogroups with and geometric objects with perturbations . Vector bundles over will be denoted by and their sections will be denoted by . Symmetric covariant tensors will be denoted by while -forms will be sections of . Whenever needed, we shall introduce the adjoint vector bundle in which is obtained from by inverting the local transition maps, exactly like is obtained from . The jet bundle of will be denoted by as usual with an injective operator . Finally, if is differential field with derivations and are commuting formal derivations with , we shall introduce the non-commutative ring of linear differential operators with coefficients in and we have in the operator sense.

Example 2.1: With , let us consider the second order system written , or with two constant parameter and ground differential field . Three different situations may exist:

If , the reader will check at once the existence of the single first order CC as an operator but the second order operator does not generate the CC of which are generated by a single first order CC.

If , the reader will check at once the existence of the single second order CC and that does now generate the CC of .

It remains to study the case that will bring surprises. Indeed, differentiating once, we obtain the third order system with corresponding Janet tabular:

Though the symbol defined by is trivially involutive, this system is not even formally integrable (FI). Indeed, trying all the usual crossed derivatives, we verac with respective dimension . After a few tricky substitutions and eliminations, we obtain the totally new second order PD equation:

The hard step is to look for generating CC in the form of an operator . We obtain the commutative and exact diagram with :

and the long exact connecting sequence: . It follows that because and there cannot exist any first or second order CC. We may start afresh with the new system which is involutive with symbol .

We obtain therefore at once the Fundamental Diagram for :

It finally remains to find out the generating CC for the initial second order operator which is neither FI nor involutive. Checking the two dots separately we have the two third order (!) CC:

Exactly like in , we now provide the link existing between these two third order CC and the Spencer operator. Indeed, using we obtain at once:

a result that we shall obtain after one more prolongation by the long exact sequence:

We may thus define with and define similarly with by the long exact sequence:

We have indeed and the exact differential sequence which is not a Janet sequence:

More generally, we have the long exact sequences .

Using finally the basis for the vector space over the constants, the Spencer sequence of the Fundamental Diagram is the tensor product by of the Poincaré sequence for the exterior derivative when . We shall discover later on that the sitution of the present example with two parameters and three different cases is exactly similar to the one that will be provided by the M, S and K metrics with 2 parameters and has thus nothing to do with any GR framework.

Example 2.2: With again , the system defined by has the only solution because with and only the central hybrid sequence for is left:

Example 2.3: (Macaulay) With and , let us consider the linear homogeneous second order system of PD equations defined by:

but the reader may treat as well the system . Of course, this system is FI because it is homogeneous but we let the reader check through the Janet tabular that is not involutive though the coordinate system is surely -regular because be have full class 3 and full class 2. All the third order jets vanish but leading to . Finally and we could believe that we do not need any PP procedure as is an ivolutive system because is trivially involutive and is finite type like the Killing system. It is important to notice that the knowledge of the first second order operator does not provide any way to obtain the third without passing through the second, contrary to the situation existing in the Janet sequence. Such a procedure is rather “experimental” and must be coherent with a theorem saying that the order of generating CC is one plus the number of prolongations needed to reach a 2-acyclic symbol, that is must be 2-acyclic . Equivalently the -sequence:

must be exact. We let the reader prove that the corresponding matrix has maximum rank. We recall the dimensions of the following jet bundles:

and the commutative and exact diagram allowing to construct the Spencer bundles and the Janet bundles for with , showing that we have indeed with :

When is involutive, that is formally integrable (FI) with an involutive symbol , then these three differential sequences are formally exact on the jet level and, in the Spencer sequence:

the first order involutive operators are induced by the Spencer operator already considered that can be extended to . A similar condition is also valid for the Janet sequence:

which can be thus constructed “as a whole” from the previous extension of the Spencer operator (See , p 185 and 391 for diagrams missing in !). However, this result is still not known and not even acknowledged today in mathematicl physics, particularly in general relativity which is never using the Spencer -cohomology in order to define the Riemann or Bianchi operators. The study of the present Macaulay example will be sufficient in order to justify our comment. First of all, as is not 2-acyclic and the coeficients are constant, the second order CC are and the simplest resolution is thus:

Secondly, as the first prolongation of becoming involutive is because , an idea could be to start with the system but we have proved in (, Example 3.14, p 119 to 126) that the simplest formally exact sequence that could be formally exact is quite far from being a Janet sequence as it is:

Indeed, the Euler-Poincaré characteristic is but we notice that the orders of the successive operators may vary up and down.

It remains to work out the Janet and Spencer sequences in the fundamental diagram I :

As there is no group background, it is nevertheless not evident that the above Spencer sequence is isomorphic to the tensor product of the Poincaré sequence for the exterior derivative by a vector space of dimension 8. For this, we notice that each solution is a linear combination of polynomials of degree 3 at most in . After tricky substitutions, we just need to choose the basis:

All the operators are of order 1 but and which are of order 4.

Example 2.4:(Contact transformations revisited) Whith , let be the so-called contact 1-form. The Lie pseudogroup of contact transformations preserves up to a factor . Eliminating this factor among the three infinitesimal Lie equations, we obtain two PD equations but this system is neither involutive nor even FI. The system of infinitesimal Lie equations defining the infinitesimal contact transformations is obtained by eliminating the factor in the equations where is the standard Lie derivative . This system is thus only generated by and below but is not involutive and one has to introduce in order to obtain the following involutive system with two equations of class 3 and one equation of class 2, a result leading to

, and .

We have one first order CC:

showing the origin of and finally get the Janet sequence:

Let us now consider the new pseudogroup preserving the contact form , thus also and which is the so-called volume form. The corresponding infinitesimal Lie equations are successively:

Doing the permutation , we obtain the first order system :

and we have the strict inclusions with . We have the new Janet sequence with :

Contrary to other examples, in the present situation it is easy to work out the Janet sequences but much more difficult to work out the corresponding Spencer sequences. In fact, we obtain the following Fundamental diagram in which the central hybrid sequence, which is at the same time a Janet sequence for and a Spencer sequence for , is the same for and all the operators involved are first order:

In actual practice, when is involutive, its knowledge allows to determines the Hilbert function and finally . Then may be computed by induction on . In this example with , one has the commutative and exact diagram with

and so on:

Unhappily, Spencer and collaborators, being unaware on one side of the computer algebra works of Janet and Gröbner or of the work of Vessiot on geometric objects, were unable to compute explicit examples. In particular, anybody can check that the examples presented in the introduction of have no relation at all with the remaining of the book.

It is thus sometimes easier to exhibit the Janet sequences than the Spencer sequences. By chance the situation will be opposite when we shall deal with general relativity and black holes.

Example 2.5: (Bose conjecture) Last but not least, the following example is the most difficult of this paper as it is exhibiting a mixture of second and third order CC . With , the trivial differential field and the ring of differential operators, let us consider the module defined by the second order operator:

A first question is to determine its torsion submodule or, equivalently, to know whether can be parametrized by a certain operator through a certain number of arbitrary potential functions . Using double duality, we may construct the adjoint operator by multiplying these equations respectively by , adding and integrating by parts in order to get successively:

There is a new second order CC for , namely and we check at once that , that is is generated by because we have:

It follows that is a free, thus torsion-free and even projective module defined by which is parametrized by the injective operator :

Indeed, we have an isomorphism because the following splitting :

It is not at all evident that can be defined by only two differentially independent PD equations, the first one for while the second is providing :

a result showing that the CC operator of the parametrizing operator may be generated by one second order CC and one third order CC, a striking result providing the short exact sequence:

Now, we may consider the new system:

The lack of involutivity provides .

Conversely,tiv and thus However, we have d . Similarly, we obtain and obtain by subtraction .

Remark 2.6: Coming back to the previous motivating examples depending on parameters, we notice that the order of the generating CC may highly depend on the parameters. Such a situation, having nothing to do with physics, is nevertheless quite similar to that of the first order Killing system allowing to define the first order Killing operator through the Lie derivative of a non-degenerate metric , for example in the case of the M, S, K metrics where a prolongation must be done. Using the Lie algebra with dimension 10 for , 4 for and 2 for instead of , the Spencer sequence is always isomorphic to the tensor product of the Poincaré sequence for the exterior derivative by a Lie algebra that may have a very small dimension as we shall see. Accordingly, we claim:\
\
THE IMPORTANT OBJECT IS NOT THE METRIC BUT ITS GROUP OF INVARIANCE

In particular, the FACT that third order generating CC for the Killing operator may exist has no physical meaning as nobody is knowing a way to select a best candidate among the possible explicit solutions of Einstein equations in vacuum, a mathematical result questioning the origin and existence of black holes as we shall see !. We also notice the fact that the PP procedure is highly depending on the various parameters involved, namely the only parameter for the S metric which is reduced to the M metric when while the K metric depends on the two parameters and is reduced to the S metric when . We study now this comment.



DIFFERENTIAL TOOLS

From Group Theory to Differential Sequences

Let be a Lie group with coordinates acting on a manifold with a local action map . According to the second fundamental theorem of Lie, if are the infinitesimal generators of the effective action of a lie group on , then where the are the structure constants of a Lie algebra of vector felds which can be identified with the tangent space to at the identity by using the action.

More generally, if is a manifold and is a lie group (not acting necessarily on ), let us consider gauging maps . If is a point of close to , then the tangent mapping will provide a point close to on . We may bring back to on by acting on with on the left, that is . We get therefore a 1-form and the curvature 2-form in the nonlinear gauge sequence:

In 1956, at the birth of gauge theory (GT), the above notations were coming from the EM potential and EM field of relativistic Maxwell theory. Accordingly, (unit circle in the complex plane) was the only possibility to get a 1-form and a 2-form with vanishing structure constants .

Choosing now “close” to , that is and linearizing as usual, we obtain the linear operator and the linear gauge sequence:

which is the tensor product by of the Poincaré sequence for the exterior derivative.

Considering now a Lagrangian on , that is an action where , we may vary it. With we may introduce and get (, p 180-185). Setting , we obtain the Poincaré equations as the adjoint of the previous operator (up to sign). Setting now ,we get the adjoint representation while, introducing such that , we get the divergence-like equations .

In a different setting, if acts on , let be a basis of infinitesimal generators of the action. If is a multi-index of length and , we may introduce the Lie algebroid with sections defined by for an arbitrary section and the trivially involutive operator of order . We finally obtain the Spencer operator through the chain rule for derivatives :

When is large enough to have an isomorphism and the following linear Spencer sequence in which the operators are induced by as above:

is isomorphic to the linear gauge sequence but with a completely different meaning because is now acting on and is such that . Surprisingly, these results have NEVER been used in the study of the M, S and K metrics .

It is not evident, as we already saw, that the projective transformation of the real line with constants is the generic solution of the third order OD equation and has three infinitesimal generators providing the generic solution of the linearized OD equation . The situation of contact transformations met in Section 2 and of Lie pseudogroups in general needs new differential geometric tools as follows, not known by physicists because they necessarily involve the Spencer operator .



LIE ALGEBROIDS

If is a system of order on , then is called the -prolongation of and is thus the system obtained after differentiating r times. In actual practice, if the system is defined by PDE the first prolongation is defined by adddng the PDE .A Ccordingly, and as identitties on or at least over an open subset . We finally obtain:

and the Spencer operator restricts to .

Definition 3.B.1: We set and this system is called the -prolonged system of order . For Example, if we consider the second order Killing system defined by then is defined by adding , even though both systems have the same ” solutions”.

Definition 3.B.2: The symbol of is the family of vector spaces over . The symbol of only depends on by a direct prolongation procedure. We may define the vector bundle over by the short exact sequence and we have the exact induced sequence .

When , we obtain:

In general, neither nor are vector bundles over as can be seen in the simple example .

On we may introduce the usual bases where we have set . In a purely algebraic setting, one has:

Proposition 3.B.3: There exists a map which restricts to and .

Proof: Let us introduce the map:

The kernel of each in the first case is equal to the image of the preceding but this may no longer be true in the restricted case and we set:

Definition 3.B.4: Let and with be the coboundary space , cocycle space and cohomology space at of the restricted is said to be s-acyclic if . The symbol is said to be of finite type if for large enough. In particular, if is involutive and finite type, then . Finally, is involutive for any if we set .

A first point is provided by the following useful but technical results. As we do not want to provide details about groupoids, we shall introduce a ” copy” (target) of (source) and define simply a Lie pseudogroup as a group of transformations solutions of a (in general nonlinear) system , such that, whenever can be composed, then , and . Setting and passing to the limit when , we may linearize the later system and obtain a (linear) system such that . We may use the Frobenius theorem in order to find a generating fundamental set of differential invariants up to order which are such that whenever . We obtain the Lie form of .

Of course, in actual practice one must use sections of instead of solutions and we now prove why the use of the Spencer operator becomes crucial for such a purpose. Indeed, we may define:

We may obtain by bilinearity a bracket on extending the bracket on .

which does not depend on the respective lifts and of and in . This bracket on sections satisfies the Jacobi identity:

and we set :

Definition 3.B.5: We say that a vector subbundle is a system of infinitesimal Lie equations or a Lie algebroid if , that is to say . Such a definition can be tested by means of computer algebra. We shall also say that is transitive if we have the short exact sequence .

Theorem 3.B.6: The bracket is compatible with prolongations:

Proof: When , we have and we just need to use the following formulas showing how acts on the various brackets if we set (See and or for more details):

The right member of the second formula is a section of whenever . The first formula may be used when is formally integrable.

Corollary 3.B.7: The bracket is compatible with the PP procedure:

Example 3.B.8: When , one has the unusual successive formulas:

They can be used for linear ( ), affine ( ) or projective )transformations.

Example 3.B.9: With and , let us consider the Lie pseudogroup of finite transformations such that . Setting and linearizing, we get the Lie operator where is the Lie derivative and the system of linear infinitesimal Lie equations already met in Definition 3.B.1. Let us choose the two sections :

The reader may check that . However, we have the strict inclusion defined by the additional equation and thus though we have , a result not evident and lacking in because and have nothing to do with solutions.



JANET VERSUS SPENCER

When is an involutive system on , there is a Fundamental Diagram with exact columns, where each operator is induced by the extension of the Spencer operator . The upper sequence is the Spencer sequence while the lower sequence is the Janet sequence and the sum does not depend on the system while the epimorphisms are induced inductively by :

For later computations, the sequence can be described by the images leading to the identities:

We also recall that the linear Spencer sequence for a Lie group of transformations , which essentially depends on the action because infinitesimal generators are needed, is locally isomorphic to the linear gauge sequence which does not depend on the action any longer as it is the tensor product of the Poincaré sequence by the Lie algebra of .

The main idea will be to introduce and compare the three Lie groups of transformations: The Poincaré group of transformations with 10 parameters leading to the Killing system :

The Weyl group of transformations with 11 parameters leading to the Weyl system .

The conformal group of transformations with 15 parameters (4 translations rotations dilatation elations) leading to the conformal Killing system :

where one has to eliminate the arbitrary function and 1-form for finding sections, replacing the ordinary Lie derivative by the formal Lie derivative , that is replacing by when needed. When , is FI but is only 2-acyclic while and we have for the involutive (See for details and counterexamples):

The top Spencer sequence is the tensor product of the Poincaré sequence by the Lie algebra of dimension 15 and we may use the inclusions with . Working by induction, the minimum formally exact resolution on the jet level is:

with "up and down" orders that must be compared to the above canonical Janet sequence. Of course, finding such numbers can be done by means of computer algebra (arXiv: 1603.05030) or through combinatorics (exercise !) but it will never prove that such a sequence is formally exact as it will involve enormous matrices (up to !!!) and cannot be achieved without the help of the Spencer -cohomology, still never introduced in GR or conformal geometry .

When is the M metric, it follows that and we obtain therefore:

Dividing by , we may thus obtain from with because and thus in .

This result is solving the dream of . Weyl for exhibiting the conformal origin of electromagnetism in . It is however completely contradicting the standard approach of classical gauge theory based on the group which is not acting on space-time. In addition, the EM field is a section of the first Spencer bundle in the image of because .

We apply the linearization procedure to the Riemann tensor:

Now, as the linearization of is a tensor, the linearization of becomes:

If is the covariant derivative, we have and we may move down the index . Then, using as a dumb index, we may consider the first order equations:

that can be considered as an infinitesimal first order variation of . As for the Ricci tensor , we notice that . Using now a cyclic sums on , the Bianchi identities are:

Their linearizations are sections of the vector bundle in the short exact sequence:

because for any nondegenerate metric, that is when . Such results cannot be even imagined by somebody not aware of the -cohomology .

We have the linearized cyclic sums of covariant derivatives both with their respective symbolic descriptions, not to be confused with the non-linear corresponding ones:

We have thus and the respective linearizations .

Einstein Versus Weyl

It remains to prove that, in this new framework, the Ricci tensor only depends on the symbol deroonation ing on any conformal factor. The next commutative diagram covers both situations, taking into account that the equations of both the classical and conformal Killing operator are homogeneous. The purely algebraic Spencer map with symbol is induced by and all the sequences are exact by definition but perhaps the left column:

Chasing in this diagram, we discover that is just the cohomology of the first vertical column at that is the quotient of the cocycle bundle kernel of the map by the coboundary bundle image of the map . Needless to say that such mathematical methods have never been used in the stuy of classical or conformal Riemannian geometry and the reason for which the reader will never find other references in the mathematical or physical literature (!).

THEOREM 3.D.1: Introducing the -cohomology bundles at and at while taking into account that , and , we have the commutative and exact " fundamental diagram " found in 1983 :

The splitting sequence provides an unusual interpretation of the successive Ricci, Riemann and Weyl tensor bundles. Similarly, the well known splitting sequence provides an unusual conformal interpretation of the EM field in a coherent way with the tentative of H. Weyl in 1918 .

and the Weyl operator is of order 3 when but of order 2 when , a result still neither known but nor even acknowledged today (See arXiv: 1603.05030 for a computer algebra checking by my former PhD student A. Quadrat and ). We finally point out that the Bianchi-type

operator is of order 2 when but of order 1 when (See for more details).

Applications

Before comparing the Minkowski, Schwarzschild and Kerr metrics as in while comparing to , we point out the purely mathematical fact explaining why gravitational waves and black holes cannot exist, not because of an experimental problem of detection but because of a structural problem of equation. Indeed, introducing the Ricci tensor as a linear combination of the second order derivatives of the metric , we may linearize it over the locally constant Euclidean or Minkowskian metric in order to obtain a second order linear homogeneous Ricci operator with 4 terms along the formula:

which is also valid when with and . Such a result is showing that the important object is not the Riemann tensor or the Einstein tensor but the Ricci tensor according to the previous fundamental diagram II. We obtain therefore:

THEOREM 4.1: The so-called defining equations of the gravitational waves that can be found in any textbook of general relativity like , are nothing else that the adjoint of the Ricci operator which is parametrizing the operator but is going " backwards", that is from right to left as we saw in the Introduction.

Proof. Introducing the test functions , we get:

Integrating by parts while setting as usual for the Dalembert operator and exchanging the dumb indices, we get for the adjoint operator:

that is exactly the equations of the gravitational waves leading to the Cauchy identities:

There is absolutely no need to set and we obtain the adjoint sequences when .

without any reference to the Bianchi operator and the induced div operator or even to the Einstein operator. Hence, gravitational waves cannot exist, not for a problem of detection but for a problem of equation, as we have only obtained " " parametrization of the Cauchy operator which is not even minimum but we can find a minimum one by keeping only with as in . Indeed, we have already obtained another parametrization with 20 test functions by using the operator in the Introduction with , a result proving that the Cauchy operator can be parametrized. For the advanced reader, this intrinsic structural fact means that the differential module defined by the Cauchy operator is torsion-free . We finally point out that the Airy, Beltrami or Einstein parametrizations are not responsible for earthquakes as there is no relation between the test functions and the deformation of the metric , even if as we saw with and Airy function . We also point out that the differential module defined by the Riemann or Ricci operator has a nonzero torsion submodule generated by the 10 components of the Weyl tensor which are separately killed by the Dalembert operator.

In the case of the Killing operator for the Minkowski metric, according to H. Poincaré, the geometrical and adjoint physical long exact differential sequences of operators acting on tensors, giving order of operators and number of components, are exactly the ones we have presented in the Introduction for various dimensions . The main problem is that the corresponding Killing operators and systems for the M, S or (worst !) K metrics are not involutive and not even formally integrable, a key problem because the Janet sequences cannot be easily constructed. Hence, our main target will be to apply the PP procedure in each case, a difficult task indeed.

As we know that the corresponding Spencer sequence is isomorphic to the tensor product of the Poincaré differential sequence for the exterior derivative by a Lie algebra of dimension , its adjoint sequence is also exact, the reason for which the physical sequence is also exact, that is each operator is generating the CC of the previous one. In particular, the operator generates the CC of the operator which generates the CC of the operator. We have proved in many recent publications that this result cannot be extended easily to the conformal situation because the acyclicity properties of the symbols highly depend on the dimension and order . It thus remains to study the cases of the Schwarzschild and Kerr metrics, a much more delicate problem.

EXAMPLE 4.2: (Kerr metric) We now write the Kerr metric in Boyer-Lindquist coordinates .

where we have set and as usual and we recover the S-metric when with :

We notice that or do not appear in the coefficients of the metric. We shall change the coordinate system in order to confirm these results by using computer algebra. The idea is to use the so-called " rational polynomial " coefficients as follows with and set , , , ). We obtain over the differential field :

with now and and we have in a coherent way with the fact that the S metric that can be written in the new system of coordinates:

Looking at the symbol , elementary linear combinatorics allow to prove :

Then, multiplying by , by and adding, we finally obtain:

However, we have also successively:

Now, the coefficients of the metric are rational functions in and the various geometric objects appearing in can be obtained through the rules of differential algebra. It is thus possible to obtain the 13 non-zero components of the Riemann tensor for the Kerr metric according to K. R. Koehler in (http://kias.dyndns.org/crg/blackhole.html) by adding factorizations as follows: We shall distinguish the 6 non-vanishing components:

from the 7 components that are vanishing when .

We have finally to add the 8 vanishing components:

In fact, as the Riemann tensor has components, that is 20 when , we have to take into account the only identity:

We obtain therefore but we have also .

The following invariants are obtained successively in a coherent way:

Also, as , then and can be both divided by and we get the new invariant:

These results are leading to , thus to and after substitution in the equations defining the first order symbol of .

In the case of the S-metric with , the previous division has no meaning and we have only as the only equation of zero order.

Let us now introduce the new equation:

As we have and , we obtain therefore a linear equation of the form:

Similarly, we have also:

and we obtain therefore a linear equation of the form:

In the case of the S-metric, that is when , we obtain respectively and as in because The previous linear system has thus a rank equal to 2 and we obtain therefore because .

It remains to study the following 4 linear equations, namely :

The rank of the previous system with respect to the 4 jet coordinates is equal to 2, for both the S and K-metrics thanks to the two striking identities:

Two prolongations only provide 6 additional equations of order one that we provide in the following list which is obtained , namely:

We have therefore obtained the inclusion of Lie algebroids with respective dimensions . Using the standard long exaxt sequence of prolongations:

we discover that the initial Killing system for the Kerr metric has 14 compatibility conditions of second order contrary to the 20 existing for the Minkowski metric. Such a result has been obtained totally independently of any specific GR technical object like the Teukolski scalars or the Killing-Yano tensors introduced in . However, this system is not involutive because its symbol is finite type but non-zero.

Using one more prolongation, all the sections (care again) vanish but and , a result leading to in a coherent way with the only nonzero Killing vectors . We have indeed:

Taking therefore into account that the metric only depends on ( we obtain after three prolongations the inclusions of first order systems:

Surprisingly and contrary to the situation found for the metric, we have now an involutive first order system with only solutions ) and notice that does not depend any longer on the parameters . The difficulty is to know what second members must be used along the procedure met for all the motivating examples, in particular we have again identities to zero like .

We finally obtain 14 second order generating CC and their prolongations as we already said but also 6 third order CC coming from the 6 following components of the Spencer operator, namely:

a result that cannot be even imagined from . Of course, proceeding like in the motivating examples, we must substitute in the right members the values obtained from and set for example while replacing and by the corresponding linear combinations of the Riemann tensor already obtained for the right members of the two zero order equations. The corresponding Fundamental Diagram is no longer depending on as follows:

with the Euler-Poincaré characteristic . However, the only intrinsic concepts associated with a differential sequence are the ” extension modules ” that only depend on the Kerr differential module but not on the differential sequence and we repeat once more that: THE ONLY IMPORTANT CONCEPT IS THE GROUP INVOLVED, NOT THE METRIC. Needless to say that the group involved in this case has no physical usefulness.

EXAMPLE 4.3: (Schwarzschild metric) According to what we said, the situation of the Schwarzschild metric is much simpler when with only six non-zero components of the Riemannn tensor:

We have now the inclusions of algebroids:

The subsystem is def by g the 5 nest rd eutios:

while is obtained by adding aain . We have 15 generating second order CC and 3 third order CC provided by the Spencer operator:

in which we have to substitute

It thus follows from the previous results of this section, which have been obtained without the need of any purely relativistic tool, that black holes cannot exist as they are contradicting while showing that the underlying mathematical problem is a purely formal one with no link with GR along the given motivating example.



When a linear partial differential operator is given, a direct problem is to look for the generating compatibility conditions that must be satisfied by . Similarly, if is given, one may look for CC of the form and so on. The mathematical community (and we do not speak about the physical community !) is of course aware of such a ” step by step” way but is not at all aware of the existence of another “as a whole” procedure allowing to define the various differential operators of the differential sequence thus obtained apart from the very specific situation of the Poincaré (in France !) sequence for the exterior derivative that admits a unique defining formula for each operator separately. The best known case is that of Riemannian geometry and its application to general relativity with the successive Killing, Riemann and Bianchi operators of first, second and first order respectively. In particular, we may ask ” Who knows about the Spencer operator and the corresponding Spencer sequence at the heart of this paper.

In the Introduction, we have explained and illustrated through many motivating examples that, when a second order differential operator is depending on constant or variable coefficients, its generating compatibility conditions (CC) may be of first, second, third and even sixth or higher order, a result largely depending on the parameters. In the meantime, we have shown that the solution of this problem for a system of order cannot be obtained without bringing such a system to an involutive form or at least to a formally integrable form of order after differentiating times the equations while keeping only the equations left up to order in such a way that the order of the CC is at most .

From a very different point of view, the Spencer differential sequence is obtained by bringing any involutive system to a first order involutive system having an isomorphic space of solutions or, with a more precise language, allowing to define a differential module isomorphic to the differential module defined by the initial system. The quotient of the Spencer sequence for the first order trivially involutive first order system by the previous Spence sequence which is induced by the inclusion is the well defined finite length differential Janet sequence introduced by M. Janet as a footnote in 1920 which is thus providing another resolution of the same space of solutions or of the differential module already defined. According to a very difficult theorem of (differential) homological algebra, the only objects that do not depend of the resolution used are the (differential) extension modules that are measuring the fact that the corresponding dual sequence made by the respective formal adjoint of the operators involved and going thus ” backwards” (that is from right to left) may not be exact, that is each operator may not generate the CC of the preceding one. it thus follows that the Spencer and Janet sequences will bring the same formal informations as a whole, even though, in actual practice, we proved that they can be completely different.

It may happen, for example with the Schwarzschild and Kerr metrics, with , that the final corresponding FI systems will not depend any longer on the parameters involved initially. Accordingly, the only important object to consider is not the metric but its group of invariance which is used through the fact that the Spencer sequence is the tensor product of the Poincaré sequence by its Lie algebra , the main formal reason for which black holes cannot exist.

We have thus finally proved that the main idea, along the tentative of H. Weyl in 1918, is not to shrink the dimension of this group from 10 down to to 4 or 2 parameters by using the S or K metrics instead of the M metric but, on the contrary, to enlarge the group from 10 up to 11 or 15 parameters by using the Weyl or conformal group instead of the Poincar’e group of space-time while using the adjoint of the respective Spencer sequences . It will follow that the first set of Maxwell equations is obtained by a projection of the second Spencer operator that can be parametrized by a projection of the first Spencer operator , a result contradicting the basic assumption of classical gauge theory in which they are induced by . The main problem today is that, in the minimum resolution of the conformal Killing operator, the generating CC of the second order Weyl operator are also made by a second order operator, a result confirmed by my PhD student A. Quadrat (INRIA) in 2016 (See or arXiv: 1603.05030) but still not acknowledged and showing that conformal geometry but me revisited by using the Spencer -cohomology .

Finally, in a more general framework, when a Lie group is acting on a manifold of dimension , the Spencer sequence is always locally and formally exact, being isomorphic to the tensor product of the Poincaré sequence by the Lie algebra of . On the contrary, the corresponding formally exact Janet sequence may have Janet bundles of high dimensions. The last operator is always surjective while its adjoint is always injective. However, may not define all the CC of because may fail to be injective. Applying these methods to the conformal group of transformations when , we discovered in the very recent the common conformal origin of the Cauchy, Cosserat, Clausius/Poisson and Maxwell equations. For example the EM field comes from the composition of epimorphisms ():

while the EM potential comes from the composition of epimorphisms ( ):

and the parametrization is induced by while the Maxwell equation is induced by . Using the short exact splitting sequence leading to the isomorphism with , that only depends on the elations of the conformal group, along the Fundamental Diagram showing the common conformal origin of electromagnetism and gravitation, already published in 1983 . More generally, taking the quotient of the Spencer sequence for by the Spencer sequence for , we obtain a formally exact sequence with bundles which is isomorphic to the tensor product of the Poincar\
’e sequence by a vector space of dimension that we can project onto the formally exact Poincaré sequence, with a shift by one step contradicting the use of in GT. We obtain therefore the following commutative and exact diagram in which we notice that the first vertical short exact sequence on the left is nothing else than the bottom short exact sequence of the previous fundamental diagram II:

A snake chase in this diagram proves that gravitation has to do with the conformal factor when as the first operator on the upper left is just the composition according to the fundamental diagram II. Also, using the dual summation with and integrating by parts, we get the induction equations:

leading to the Poisson equation for when and thus to a new conformal scheme for electromagnetism and gravitation. It is also a reason for which elations are also sometimes called and confused with “accelerations” because and accelerometer on an inertial platform in a rocket can only measure the difference with between the acceleration (time derivative of the speed as a rotation of space-time) and the gravitational field, while one has and the ditive ruleof secn rderts

holds whenever for the one jet of the identity transformation (Compare to ). However, no one of these results could have been even imagined by Weyl because the Riemann operator must be replaced by the Weyl operator while the Bianchi operator must be replaced by a second order CC operator, a result still not known today in the conformal framework .

In the spirit of the Cosserat brothers on elasticity in 1909 and H. Weyl on electromagnetism in 1918, we have tried to explain and illustrate why the structure of physical theories must depend on a Lie group of transformations considered as a Lie pseudogroup. The main idea is then to introduce the corresponding Janet (1920) or Spencer (1970) differential sequences both with their respective adjoint differential sequences needed for variational calculus . In a coherent way with the dream of Weyl, the most striking result is the “shift” that must be used in the physical interpretation of the sequences obtained, in the sense that the EM field as a 2-form is coming from the first Spencer bundle and not from the second (See for other examples). These two sequences may be sometimes quite different though always homologically equivalent and we have tried to illustrate them through the study of gravitational waves and black holes. As both of them are largely unknown, no other reference can be found and only the future will decide about the best one that must be used !.

After 1950 the introduction of homological algebra in pure mathematics has been more than an evolution but rather quite a revolution in algebraic geometry. Following the wish of one of the reviewers that we thank, our aim in this appendix is to explain that differential homological algebra, namely the way to add the word ” differential ” in front of ALL the concepts already introduced (module, resolution, duality, extension modules, ..) will bring quite a revolution in physics. The main problem is that a full account should need a whole paper or even a whole book and that we have seen in the core of this paper that the differential geometric framework is already difficult while the geometric part is somehow even more difficult. By chance, in a more general framework, we have proved that the controllability of a control system is a structural property of the control system, not depending on the choice of inputs and outputs among the control variables and can be described in terms of vanishing of extension modules . Roughly, it means that a control system is controllable if and only if the system can be parametrized or, equivalently, if there does not exist any observable quantity which is solution of an autonomous system for itself, a more physical way to say that the differential module defined by the system is torsion-free . Accordingly we shall explain through two examples how to pass ” beyond the mirror”.

First of all, we sketch the idea hidden beyond ” differential extension modules” by using only the language of operators along the content of this paper. For this, we notice that, if a given linear differential operator is give, a ” direct problem ” is to look for compatibility conditions (CC) in the form of a linear operator and so on. We hope that the reader is now convinced that it may already be a difficult problem to provide ” a prior” any idea of the order of the CC operator as we have provided examples in which the order is ranging from 1 up to 6. However, conversely, if a system described by , a much more difficult ” inverse problem ” is to find a parametrization, that is an operator having exactly such CC. Now, using the well known properties of the adjoint procedure with , if has generating CC , then but may not generate all the CC of while may not generate all the CC of and may not generate all the CC of and so on, as can be seen in the motivating examples. The introduction of extension modules is a way to measure such a gap.

Starting with the system, we sketch on an example the five steps of the differential double duality test must be used in order to know whether this system can be parametrized or not:

STEP 1: Write down the system : .

STEP 2: Write down the adjoint operator backwards: multiplying on the left by a test function and integrating by parts, we get

STEP 3: As any operator is the adjoint of its adjoint, find its CC as an operator .

STEP 4: Write down its adjoint as an operator .

Step 5: Find its CC as an operator and compare to .\
CONCLUDE: If and are identical or have the same space of solutions, that is produce the same involutive system, then is parametrized by . Otherwise, if the space of solutions of is smaller than that of , then cannot be parametrized. It means that there is at least one new CC which is an autonomous element which is satisfying at least one OD or PD equation for itself, a fact showing that the initial system, considered as a control system, cannot be controllable (See or Zbl 179.93001 for more details and examples, in particular the study of RCL electrical circuits). We notice that we don’t need to separate into input and output.

END: In the present example, is defined by and we have , that is whenever . It follows that CANNOT be parametrized. Ofc course, such a result could have been found directly in this elementary example but such a test is unavoidable in general.

In order to recapitulate, our purpose in this appendix is to explain how differential homological algebra is able to combine these two procedures.

For this we ask the reader to spend a few dollars in order to realize the next experiment and try to understand why such a fact is clearly showing that gravitational waves cannot exist as we have explained in the Introduction and in theorem 4.1 or in .\
Example 5.1: (Double pendulum) Let us consider a thin rigid bar of length able to slide horizontally with a position function of time and time derivative . We may attach a pendulum of length , mass , (small) angle from the vertical at one end and a pendulum of length , mass , (small) angle from the vertical at the other end. At equilibrium, the two pendulums are fixed. If one of the pendulums is slightly moved and , moving the bar with enough skill, one can bring the full system to equilibrium, that is and we say that the full system is controllable by using the movement of the bar.

Now, if and one pendulum is moved while the other is untouched, then any way to stop the first wll bring the other to have the same movement and the system is not controllable that is, in particular, there is no way to stop both pendulums as before.

In order to write down the two OD equations of the system, one has to consider the Newton law applied to the inertial forces , the gravity force and the tension of the thread. Projecting on the perpendicular to each pendulum to eliminate the last one, we may divide by the respective mass in order to get the two OD equations in the form of a surjective operator with ):

Multiplying the firstOD equation by the test function , the seond by the test fncin , adding and integrating by parts, we obtain the adjoint operator in the form , namely:

First of all, if , we obtain two zero order OD equations where the second one is obtain by differentiating twice the first and substituting:

As the determinant of this linear system is equal to , it follows that is injective if and only if .

Let us now prove that can be parametrized if and only if such a condition is satified. First of all we notice that and, using a tricky PP procedure or computer algebra, we discover that has only one CC of order 4. Taking the adjoint, we obtain a well defined fourth order injective parametrization in the form as follows:

This parametrization is injective and we have the short exact adjoint sequences:

At no moment we have ever been speaking about inputs, outputs and Kalman test !.

It remains to study the case . Subtracting the second equation from the first while setting , we get , that is the standard Od equation of a single pendulum. Of course, we notice at once that the observable is an autonomous element and its behaviour cannot be controlled. Equivalently, is generating the torsion submodule of the differential module defined by . The main fact is that now cannot any longer be parametrized?. For this, we may multiply each OD equation by two test functions as before and integrate by parts in order to obtain:

Summing the two first OD equations while setting , we get:

It follows that is no longer injective with kernel . We also obtain and, substituting, we obtain one single CC of order 2 for , namely as follows:

Multiplying by the test function and integrating by parts, we get :

The 3 CC are described by as follows:

We recover the fact that the new CC is introducing which is indeed a torsion element with autonomous OD equation .

This operator of order 2 is injective and we have the short exact adjoint sequences:

It is absolutely impossible to recover all these results and understand their meaning without differential double duality and differential homological algebra.

Example 5.2: (General relativity) We now prove that the above situation is .. exactly similar to the one we have described in GR in order to explain why GW cannot exist.

When , let us prove that the 10 Einstein equations cannot admit a potential or, equivalently, that the Ricci operator cannot be parametrized and that the Einstein operator is therefore useless as it cannot have a mathematical origin contrary to the Ricci operator, according to the fundamental diagram II.

We shall discover that the existence of autonomous elements (torsion elements in the module framework) … are nothing else than the components of the Weyl bundle already introduced in the fundamental diagram II, a result highly not evident at first sight !.

First of all, according to the parametrization test, to the result of the Introduction and to Theorem 4.1, we have at once the negative test procedure:

The 5 steps are indicated as follows while taking into account that , a result that can be found in any textbook of continuum mechanics or elasticity:

Accordingly and in a coherent way with the previous example, the Ricci operator and thus the Einstein operator cannot be parametrized and we have generating torsion elements, that is to say elements satisfying at least one PD equation for each one. Of course, such an approach has never been followed because the fundamental diagram II is not known though it provides the splitting coming from the splitting . My chance has been to know very well the results of A. Lichnerowicz who has been my advisor during 25 years from 1973 to his death in 1998. Indeed, I got in mind the so-called (in France !) ” Lichnerowicz waves ” and I am now able to give a short proof of the linearized case :\
Theorem 5.3: The Dalembertian of each component of the Weyl tensor is a linear differential consequence of the 10 Einstein equations .

Proof. Linearizing over the Euclide or Minkowski metric while using the Bianchi identities and taking into account that , we get with :

Finally, using the splitting formula for defining the components of the Weyl tensor from the components of the Riemann tensor with now , we obtain by linearization

It is absolutely impossible to extend the above result to the conformal Riemannian geometry because the analogue of the Bianchi operator is now of order 2, a result still neither known and nor even acknowledged today in the long exact sequence that we have already provided at the end of Section 3C, where is the conformal Killing operator and is the Weyl operator . This is the main reason for which the Spencer sequences and their adjoint sequences must be used !.