Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes Source fidelity gap: the original arXiv HTML omits an author TeX footnote attached to equation e:def-omega, including its reference to Remark r:error-function. The retained HTML is preserved as published; the original author TeX remains available. TeX correspondence is not complete. Complete original source context · Original author HTML
Lemma 4.6 .
There exists a local 1-form θ \theta on a neighborhood of 𝒫 \mathcal{P} in 𝕃 \mathbb{L} with the following properties:
(1)
θ = O ′ ( s 2 ) \theta=O^{\prime}(s^{2}) ,
(2)
θ \theta is smooth away from π − 1 ( P ) \pi^{-1}(P) ,
(3)
ℒ ∂ t θ = 0 \mathcal{L}_{\partial_{t}}\theta=0 ,
(4)
∂ t ⌟ θ = 0 \partial_{t}\lrcorner\theta=0 ,
(5)
d ( Θ 1 + θ ) = Υ d(\Theta_{1}+\theta)=\Upsilon .