Nonexistence of Petrov type III space-times on which Weyl's neutrino equation or Maxwell's equations satisfy Huygens' principle (Q2785697)

The paper is part of a program to find all Huygens-type equations among the conformally invariant hyperbolic field equations on a four-dimensional spacetime. More precisely, this is the sixth paper of a series; it considers Maxwell's equations for electromagnetism and Weyl's equation for neutrinos. It shows that Huygens' principle is never valid on a spacetime of Petrov type III. To that aim the known necessary conditions, up to the five-index condition found by Alvarez and Wünsch, are translated into spinor form by means of the Maple package \texttt{NPspinor}. Some Newman-Penrose spinor coefficients are the variables of the new polynomial system; the latter is solved by means of the Maple package \texttt{grobner}.