From computer algebra to gravitational waves
Abstract
The first finite length differential sequence has been introduced by Janet (1920). Thanks to the first book of Pommaret (1978), the Janet algorithm has been extended by Blinkov, Gerdt, Quadrat, Robertz, Seiler and others who introduced Janet and Pommaret bases in computer algebra. Also, new intrinsic tools have been developed by Spencer in the study of Lie pseudogroups or by Kashiwara in differential homological algebra. The achievement has been to define differential extension modules through the systematic use of differential double duality. Roughly, if D = K[d] is the non-commutative ring of differential operators with coefficients in a differential field K, let D be a linear differential operator with coefficients in K. A direct problem is to find the generating compatibility conditions (CC) in the form of a differential operator D1 such that Dξ = η implies D1η = 0 and so on. Taking the adjoint operators, we have ad(D) ◦ ad(D1) = ad(D1 ◦ D) = 0 but ad(D) may not generate all the CC of ad(D1). If M is the D-module defined by D and N is the D-module defined by ad(D) with torsion submodule t(N), then t(N) = ext 1 (M) “measures” this gap that only depends on M and not on the way to define it. Also, R = homK(M, K) is a differential module for the Spencer operator d : R → T ∗ ⊗ R, first introduced by Macaulay with his inverse systems (1916). When D : T → S2T ∗ : ξ → L(ξ)ω = Ω is the Killing operator for the Minkowski metric ω with perturbation Ω, then N is the differential module defined by the Cauchy = ad(Killing) operator and t(N) = ext 1 (M) = 0 because the Spencer sequence is isomorphic to the tensor product of the Poincaré sequence by a Lie algebra. The Cauchy operator can be thus parametrized by stress functions having nothing to do with Ω, like the Airy function for plane elasticity. This result is thus pointing out the terrible confusion done by Einstein (1915) while ”adapting” to space-time the work done by Beltrami (1892) for space only. both of them using the same Einstein operator but ignoring it was self-adjoint in the framework of differential double duality (1995). Though unpleasant it is, we shall prove that the mathematical foundations of General Relativity are not coherent with these new results which are also illustrated by many other explicit examples.
References
[1]Kumpera A, Spencer DC. Lie Equations, Ann. Math. Studies 73. Princeton University Press; 1972; p. 73.
[2]Janet M. Sur les Systèmes aux Dérivées Partielles. Journal de Math. 1920; 8: 65–151.
[3]Pommaret JF. Systems of Partial Differential Equations and Lie Pseudogroups. CRC Press; 1978. p. 411.
[4]Albert M, Fetzer M, Saenz-de-Cabezon E, Seiler W. On the Free Resolutions Induced by a Pommaret Basis. Journal of Symbolic Computation. 2015; 68: 4–26. DOI: 10.1016/j.jsc.2014.09.008
[5]Quadrat A, Robertz D. A Constructive Study of the Module Structure of Rings of Partial Differential Operators. Acta Applicandae Mathematicae. 2014; 113: 187–234.
[6]Gerdt VP. On the Relation Between Pommaret and Janet Bases. In: Boulier F, Mou C, Sadykov TM, Vorozhtsov EV (editors). Computer Algebra in Scientific Computing. Springer; 2000.
[7]Gerdt V, Blinkov A. Involutive Bases of Polynomial Ideals. Math. Comp. Sim. 1998; 45: 519–542.
[8]Gerdt V, Zinin V. A Pommaret Division Algorithm for Computing Gröbner Bases in Boolean rings. In: Proceedings of the twenty-first international symposium on Symbolic and algebraic computation (ISSAC’08); 20–23 July 2008; Hagenberg, Austria.
[9]Robertz D. An Involutive GVW Algorithm and the Computation of Pommaret Bases. Mathematics in Computer Science. 2021; 15(279).
[10]Albert M, Fetzer M, Saenz-de-Cabezon E, Seiler W. On the Free Resolution induced by a Pommaret Basis. Journal of symbolic computation. 2015; 68: 4–26.
[11]Binaei B, Hashemi A, Seiler W. Computations of Pommaret Bases Using Syzygies. Lecture Notes in Computer Science. 2018; 11077: 51–66.
[12]Pommaret JF. Partial Differential Equations and Group Theory. Kluwer; 1994.
[13]Pommaret JF. How Many Structure Constants do Exist in Riemannian Geometry? Mathematics in Computer Science. 2022; 16: 23.
[14]Spencer DC. Overdetermined Systems of Partial Differential Equations. Bull. Am. Math. Soc. 1965; 75: 1–114.
[15]Goldschmidt H. Prolongations of Linear Partial Differential Equations: I Inhomogeneous equations. Ann. Scient. Ec. Norm. Sup. 1968; 4: 617–625.
[16]Pommaret JF. Differential Galois Theory. Gordon and Breach; 1983.
[17]Pommaret JF. Lie Pseudogroups and Mechanics. Gordon and Breach; 1988.
[18]Pommaret JF. Killing Operator for the Kerr Metric. Gordon and Breach; 1988.
[19]Northcott DG. An Introduction to Homological Algebra. Cambridge university Press; 1966.
[20]Rotman JJ. An Introduction to Homological Algebra. Pure and Applied Mathematics. Academic Press; 1979.
[21]Schneiders JP . An Introduction to D-Modules, Bull. Soc. Roy. Sci. Liège. 1994; 63: 223–295.
[22]Kashiwara M. Algebraic Study of Systems of Partial Differential Equations. Mémoires de la Société Mathématique de France. 1970; 63.
[23]Pommaret JF. The Conformal Group Revisited. Journal of Modern Physics. 2021; 12: 1822–1842.
[24]Pommaret JF. Deformation Theory of Algebraic and Geometric Structures. Lambert Academic Publisher; 2016.
[25]Macaulay FS. The Algebraic Theory of Modular Systems, Cambridge Tract 19. Cambridge University Press; 1916.
[26]Pommaret JF. Homological Solution of the Lanczos Problems in Arbitrary Dimension. Journal of Modern Physcs. 2021; 12: 829-858.
[27]Pommaret JF. The Mathematical Foundations of Elasticity and Electromagnetism Revisited. Journal of Modern Physics. 2019; 10: 1566–1595.
[28]Pommaret JF. Gravitational Waves and Parametrizations of Linear Differential Operators. CERMICS; 2023.
[29]Pommaret JF. Partial Differential Control Theory, Kluwer. Dordrecht; 2001.30. Pommaret JF . Algebraic Analysis of Control Systems Defined by Partial Differential Equations. In:
[30]Lamnabhi-Lagarrigue F, Loría A, Panteley E (editors). Advanced Topics in Control Systems Theory. Lecture Notes in Control and Information Science; 2005. pp. 155–223.
[31]Pommaret JF. Macaulay Inverse Systems Revisited. Journal of symbolic Computation. 2011; 46: 1049–1069.
[32]Pommaret J. New Mathematical Methods for Physics. Nova Science Publishers; 2018. p. 150.
[33]Pommaret JF. From Control Theory to Gravitational Waves. Advances in pure Mathematics. 2024; 14: 49–100.
[34]Cosserat E, Cosserat F. Théorie des Corps Déformables. Hermann; 1909.
[35]Pommaret JF. Dualité Différentielle et Applications. Comptes Rendus Académie des Sciences Paris, Série I, 1995; 320: 1225–1230.
[36]Pommaret J. François Cosserat and the Secret of the Mathematical Theory of Elasticity. Annales des Ponts et Chaussées. 1997; 82: 59–66.
[37]Pommaret JF. Parametrization of Cosserat Equations. Acta Mechanica. 2010; 215: 43–55.
[38]Pommaret, JF. Why Gravitational Waves Cannot Exist. Journal of Modern Physics. 2017; 8: 2122–2158.
[39]Foster J, Nightingale JD. A Short Course in General Relativity; Longman; 1979.
[40]Airy GB. On the Strains in the Interior of Beams. Phil. Trans. Roy. Soc. 1863; 53: 49–80.
[41]Beltrami E. Osservazioni sulla Nota Precedente. Atti della Accademia Nazionale dei Lincei Rend. 1, 5 (1892) 137-141 + 141-142 + 233 - 234; Collected Works, t IV. Atti della Accademia Nazionale dei Lincei; 1892.
[42]Pommaret JF. The Mathematical Foundations of General Relativity Revisited. Journal of Modern Physics. 2013; 4: 223–239.
[43]Pommaret JF. From Thermodynamics to Gauge Theory: The Virial Theorem Revisited. INOVA Science Publishers; 2015. pp. 1–44.
[44]Pommaret JF. Nonlinear Conformal Electromagnetism. Journal of Modern Physics. 2022; 13(4).
[45]Weyl H. Space, Time, Matter. Dover; 1952.
[46]Pommaret JF. Gravitational Waves and the Foundations of Remannian Geometry. Advances in Mathematical Research. 2024; 35: 95–161.
Copyright (c) 2024 J.-F. Pommaret
This work is licensed under a Creative Commons Attribution 4.0 International License.
