Real and complex regularity are equivalent for hyperbolic characteristic varieties. (Q1413610)

Let \(V_{\mathbb C}\) (resp. \(V_{\mathbb R}\)) be the complex (resp. real) characteristic variety determined by a single real polynomial equation \(P=0\). Suppose the homogeneous polynomial \(P\) is hyperbolic with the time-like direction \(\theta\in{\mathbb R^n}\setminus0\), i.e. \(P(\eta+s\theta)=0\) has only real roots \(s\in\mathbb R\). Obviously \(V_{\mathbb R}\subset V_{\mathbb C}\). It is proved in an elementary fashion that the notions of regularity in the real and complex contexts coincide: \(V_{\mathbb R}^{\text{reg}}=V_{\mathbb C}^{\text{reg}}\cap V_{\mathbb R}\). From this the authors deduce an algebraic algorithm for computation of the homogeneous components of the jets of \(V_{\mathbb R}\) at \(\eta\in V_{\mathbb R}^{\text{reg}}\) in terms of the homogeneous components of the jets of \(P\) at \(\eta\).