The purpose of this paper is to present for the first time an elementary summary of a few recent results obtained through the application of the formal theory of partial differential equations and Lie pseudogroups in ...The purpose of this paper is to present for the first time an elementary summary of a few recent results obtained through the application of the formal theory of partial differential equations and Lie pseudogroups in order to revisit the mathematical foundations of general relativity. Other engineering examples (control theory, elasticity theory, electromagnetism) will also be considered in order to illustrate the three fundamental results that we shall provide successively. 1) VESSIOT VERSUS CARTAN: The quadratic terms appearing in the “Riemann tensor” according to the “Vessiot structure equations” must not be identified with the quadratic terms appearing in the well known “Cartan structure equations” for Lie groups. In particular, “curvature + torsion” (Cartan) must not be considered as a generalization of “curvature alone” (Vessiot). 2) JANET VERSUS SPENCER: The “Ricci tensor” only depends on the nonlinear transformations (called “elations” by Cartan in 1922) that describe the “difference” existing between the Weyl group (10 parameters of the Poincaré subgroup + 1 dilatation) and the conformal group of space-time (15 parameters). It can be defined without using the indices leading to the standard contraction or trace of the Riemann tensor. Meanwhile, we shall obtain the number of components of the Riemann and Weyl tensors without any combinatoric argument on the exchange of indices. Accordingly and contrary to the “Janet sequence”, the “Spencer sequence” for the conformal Killing system and its formal adjoint fully describe the Cosserat equations, Maxwell equations and Weyl equations but General Relativity is not coherent with this result. 3) ALGEBRA VERSUS GEOMETRY: Using the powerful methods of “Algebraic Analysis”, that is a mixture of homological agebra and differential geometry, we shall prove that, contrary to other equations of physics (Cauchy equations, Cosserat equations, Maxwell equations), the Einstein equations cannot be “parametrized”, that is the g展开更多
In recent papers, a few physicists studying Black Hole perturbation theory in General Relativity (GR) have tried to construct the initial part of a differential sequence based on the Kerr metric, using methods similar...In recent papers, a few physicists studying Black Hole perturbation theory in General Relativity (GR) have tried to construct the initial part of a differential sequence based on the Kerr metric, using methods similar to the ones they already used for studying the Schwarzschild geometry. Of course, such a differential sequence is well known for the Minkowski metric and successively contains the Killing (order 1), the Riemann (order 2) and the Bianchi (order 1 again) operators in the linearized framework, as a particular case of the Vessiot structure equations. In all these cases, they discovered that the compatibility conditions (CC) for the corresponding Killing operator were involving a mixture of both second order and third order CC and their idea has been to exhibit only a minimal number of generating ones. Unhappily, these physicists are neither familiar with the formal theory of systems of partial differential equations and differential modules, nor with the formal theory of Lie pseudogroups. Hence, even if they discovered a link between these differential sequences and the number of parameters of the Lie group preserving the background metric, they have been unable to provide an intrinsic explanation of this fact, being limited by the technical use of Weyl spinors, complex Teukolsky scalars or Killing-Yano tensors. The purpose of this difficult computational paper is to provide differential and homological methods in order to revisit and solve these questions, not only in the previous cases but also in the specific case of any Lie group or Lie pseudogroup of transformations. These new tools, which are now available as computer algebra packages, question the mathematical foundations of GR and the origin of gravitational waves.展开更多
Using a method stemming from the representation theory of finite-dimensional algebra’s,results about a category of Artinian modules over the first Weyl algebra consisting of objects having composition series with com...Using a method stemming from the representation theory of finite-dimensional algebra’s,results about a category of Artinian modules over the first Weyl algebra consisting of objects having composition series with composition factors isomorphic to prescribed ones have been obtained.This category corresponds to a tube of Z/2Z type and it is serial and standard.The Auslander-Reiten formula in this category describing the functor Ext,,(-,-) in terms of the AR-quiver has been derived.The dimensions of Ext4(M,N) for M and N in different tubes are calculated.展开更多
Let w be a permutation of{1,2,...,n},and let D(w)be the Rothe diagram of w.The Schubert polynomial■w_(x)can be realized as the dual character of the flagged Weyl module associated with D(w).This implies the following...Let w be a permutation of{1,2,...,n},and let D(w)be the Rothe diagram of w.The Schubert polynomial■w_(x)can be realized as the dual character of the flagged Weyl module associated with D(w).This implies the following coefficient-wise inequality:Min_(x)≤■_(w)(x)≤Max_(w)xwhere both Min_(w)(x)and Max_(w)(x)are polynomials determined by D(w).Fink et al.(2018)found that■w_(x)equals the lower bound Min_(w)(x)if and only if w avoids twelve permutation patterns.In this paper,we show that■w_(x)reaches the upper bound Max_(w)(x)if and only if w avoids two permutation patterns 1432 and 1423.Similarly,for any given compositionα∈Z^(n)≥0,one can define a lower bound Min_(α)(x)and an upper bound Max_(α)(x)for the key polynomialκ_(α)(x).Hodges and Yong(2020)established thatκ_(α)(x)equals Min_(α)(x)if and only ifαavoids five composition patterns.We show thatκ_(α)(x)equals Max_(α)(x)if and only ifαavoids a single composition pattern(0,2).As an application,we obtain that whenαavoids(0,2),the key polynomialκ_(α)(x)is Lorentzian,partially verifying a conjecture of Huh et al.(2019).展开更多
In this paper, we present some modules over the rank-three quantized Weyl algebra, which are closely related to modules over some vertex algebras. The isomorphism classes among these modules are also determined.
文摘The purpose of this paper is to present for the first time an elementary summary of a few recent results obtained through the application of the formal theory of partial differential equations and Lie pseudogroups in order to revisit the mathematical foundations of general relativity. Other engineering examples (control theory, elasticity theory, electromagnetism) will also be considered in order to illustrate the three fundamental results that we shall provide successively. 1) VESSIOT VERSUS CARTAN: The quadratic terms appearing in the “Riemann tensor” according to the “Vessiot structure equations” must not be identified with the quadratic terms appearing in the well known “Cartan structure equations” for Lie groups. In particular, “curvature + torsion” (Cartan) must not be considered as a generalization of “curvature alone” (Vessiot). 2) JANET VERSUS SPENCER: The “Ricci tensor” only depends on the nonlinear transformations (called “elations” by Cartan in 1922) that describe the “difference” existing between the Weyl group (10 parameters of the Poincaré subgroup + 1 dilatation) and the conformal group of space-time (15 parameters). It can be defined without using the indices leading to the standard contraction or trace of the Riemann tensor. Meanwhile, we shall obtain the number of components of the Riemann and Weyl tensors without any combinatoric argument on the exchange of indices. Accordingly and contrary to the “Janet sequence”, the “Spencer sequence” for the conformal Killing system and its formal adjoint fully describe the Cosserat equations, Maxwell equations and Weyl equations but General Relativity is not coherent with this result. 3) ALGEBRA VERSUS GEOMETRY: Using the powerful methods of “Algebraic Analysis”, that is a mixture of homological agebra and differential geometry, we shall prove that, contrary to other equations of physics (Cauchy equations, Cosserat equations, Maxwell equations), the Einstein equations cannot be “parametrized”, that is the g
文摘In recent papers, a few physicists studying Black Hole perturbation theory in General Relativity (GR) have tried to construct the initial part of a differential sequence based on the Kerr metric, using methods similar to the ones they already used for studying the Schwarzschild geometry. Of course, such a differential sequence is well known for the Minkowski metric and successively contains the Killing (order 1), the Riemann (order 2) and the Bianchi (order 1 again) operators in the linearized framework, as a particular case of the Vessiot structure equations. In all these cases, they discovered that the compatibility conditions (CC) for the corresponding Killing operator were involving a mixture of both second order and third order CC and their idea has been to exhibit only a minimal number of generating ones. Unhappily, these physicists are neither familiar with the formal theory of systems of partial differential equations and differential modules, nor with the formal theory of Lie pseudogroups. Hence, even if they discovered a link between these differential sequences and the number of parameters of the Lie group preserving the background metric, they have been unable to provide an intrinsic explanation of this fact, being limited by the technical use of Weyl spinors, complex Teukolsky scalars or Killing-Yano tensors. The purpose of this difficult computational paper is to provide differential and homological methods in order to revisit and solve these questions, not only in the previous cases but also in the specific case of any Lie group or Lie pseudogroup of transformations. These new tools, which are now available as computer algebra packages, question the mathematical foundations of GR and the origin of gravitational waves.
基金Supported by the Natural Science Foundation of Henan Province(No.092300410199)Science Foundation for the Excellent Youth Scholars of Henan Province(No.[2005]461)
基金Supported by National Natural Science Foundation of China(11171291)Specialized Research Fund for the Doctoral Program of Higher Education(20123250110005)Graduate Student Research and Innovation Program of Jiangsu Province(CXZZ1 0889)
文摘Using a method stemming from the representation theory of finite-dimensional algebra’s,results about a category of Artinian modules over the first Weyl algebra consisting of objects having composition series with composition factors isomorphic to prescribed ones have been obtained.This category corresponds to a tube of Z/2Z type and it is serial and standard.The Auslander-Reiten formula in this category describing the functor Ext,,(-,-) in terms of the AR-quiver has been derived.The dimensions of Ext4(M,N) for M and N in different tubes are calculated.
基金supported by National Natural Science Foundation of China(Grant Nos.11971250 and 12071320)Sichuan Science and Technology Program(Grant No.2020YJ0006)。
文摘Let w be a permutation of{1,2,...,n},and let D(w)be the Rothe diagram of w.The Schubert polynomial■w_(x)can be realized as the dual character of the flagged Weyl module associated with D(w).This implies the following coefficient-wise inequality:Min_(x)≤■_(w)(x)≤Max_(w)xwhere both Min_(w)(x)and Max_(w)(x)are polynomials determined by D(w).Fink et al.(2018)found that■w_(x)equals the lower bound Min_(w)(x)if and only if w avoids twelve permutation patterns.In this paper,we show that■w_(x)reaches the upper bound Max_(w)(x)if and only if w avoids two permutation patterns 1432 and 1423.Similarly,for any given compositionα∈Z^(n)≥0,one can define a lower bound Min_(α)(x)and an upper bound Max_(α)(x)for the key polynomialκ_(α)(x).Hodges and Yong(2020)established thatκ_(α)(x)equals Min_(α)(x)if and only ifαavoids five composition patterns.We show thatκ_(α)(x)equals Max_(α)(x)if and only ifαavoids a single composition pattern(0,2).As an application,we obtain that whenαavoids(0,2),the key polynomialκ_(α)(x)is Lorentzian,partially verifying a conjecture of Huh et al.(2019).
基金NSF Grant No.Z0511046 of Fujian and NSF Grant No.10471091 of China
文摘In this paper, we present some modules over the rank-three quantized Weyl algebra, which are closely related to modules over some vertex algebras. The isomorphism classes among these modules are also determined.
