摘要
A few physicists have recently constructed the generating compatibility conditions (CC) of the Killing operator for the Minkowski (M), Schwarzschild (S) and Kerr (K) metrics. They discovered second order CC, well known for M, but also third order CC for S and K. In a recent paper (DOI:10.4236/jmp.2018.910125) we have studied the cases of M and S, without using specific technical tools such as Teukolski scalars or Killing-Yano tensors. However, even if S(<em>m</em>) and K(<em>m</em>, <em>a</em>) are depending on constant parameters in such a way that S <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span></span> M when <em>m</em> <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span></span> 0 and K<span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span><span style="white-space:nowrap;"><span style="white-space:nowrap;"></span></span> S when <em>a</em> <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span></span> 0, the CC of S do not provide the CC of M when <em>m</em> <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span> 0 while the CC of K do not provide the CC of S when a <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span> 0. In this paper, using tricky motivating examples of operators with constant or variable parameters, we explain why the CC are depending on the choice of the parameters. In particular, the only purely intrinsic objects that can be defined, namely the extension modules, may change drastically. As the algebroid bracket is compatible with the <em>prolongation/projection</em> (PP) procedure, we provide for the first time all the CC for K in an intrinsic way, showing that they only depend on the underlying Killing algebra and that the role played by the Spencer operator is crucial. We get K < S < M with 2 < 4 < 10 for the Killing algebras and explain why the formal search of the CC for M, S or K are strikingly different, even if each Spencer sequence is isomorphic to the tensor product of the Poincaré sequence for the exterior derivative by the corresponding Lie algebra.
A few physicists have recently constructed the generating compatibility conditions (CC) of the Killing operator for the Minkowski (M), Schwarzschild (S) and Kerr (K) metrics. They discovered second order CC, well known for M, but also third order CC for S and K. In a recent paper (DOI:10.4236/jmp.2018.910125) we have studied the cases of M and S, without using specific technical tools such as Teukolski scalars or Killing-Yano tensors. However, even if S(<em>m</em>) and K(<em>m</em>, <em>a</em>) are depending on constant parameters in such a way that S <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span></span> M when <em>m</em> <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span></span> 0 and K<span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span><span style="white-space:nowrap;"><span style="white-space:nowrap;"></span></span> S when <em>a</em> <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span></span> 0, the CC of S do not provide the CC of M when <em>m</em> <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span> 0 while the CC of K do not provide the CC of S when a <span style="white-space:nowrap;"><span style="white-space:nowrap;"><span style="white-space:nowrap;">→</span></span></span> 0. In this paper, using tricky motivating examples of operators with constant or variable parameters, we explain why the CC are depending on the choice of the parameters. In particular, the only purely intrinsic objects that can be defined, namely the extension modules, may change drastically. As the algebroid bracket is compatible with the <em>prolongation/projection</em> (PP) procedure, we provide for the first time all the CC for K in an intrinsic way, showing that they only depend on the underlying Killing algebra and that the role played by the Spencer operator is crucial. We get K < S < M with 2 < 4 < 10 for the Killing algebras and explain why the formal search of the CC for M, S or K are strikingly different, even if each Spencer sequence is isomorphic to the tensor product of the Poincaré sequence for the exterior derivative by the corresponding Lie algebra.
作者
J.-F. Pommaret
J.-F. Pommaret(CERMICS, Ecole des Ponts ParisTech, Paris, France)