Proof. [04SN]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
Let and let be a branch of a holomorphic logarithm defined in a neighborhood of . The point is critical for iff and the orbit of the real torus are not transversal at . But takes the tangent space to an orbit of to a translate of in .
Therefore, is critical iff contains at least purely imaginary vectors which is, in turn, equivalent to . ∎