Normal Forms of C∞ Vector Fields based on the Renormalization Group

The paper’s Theorem 3.7 gives exactly the near-identity map x = z + ∑_{k=1}^m ε^k QPI(R_k)(z) and the transformed system ż = Az + ∑_{k=1}^m ε^k PK(R_k)(z) + ε^{m+1} S(z,ε), with invariance under z ↦ e^{As}z, where R_k are defined recursively via G_k and the QPI/PK splittings; see Theorem 3.7 and the definitions around (3.35)–(3.41) and (3.51)–(3.53) . The proof uses LA∘Q = Id on VI and VK = Ker LA (equivariance characterization), established in Theorem 3.1 and Proposition 3.2 . The candidate solution reproduces these constructions and cancellations (including the recursive R_k and the identity LA∘QPI = PI), derives the same transformed vector field, shows smooth remainder, and notes VK-equivariance. The approach is framed as a direct near-identity change (rather than via the RG reparametrization y = e^{-At}z), but algebraically it is the same homological elimination mechanism used in the paper (compare the expansions and cancellations around (3.56)–(3.60)) . A minor omission in the model is the lack of an explicit assumption that A is diagonal (used in the paper to guarantee the C∞ splitting X^∞_0(K) = VI ⊕ VK and to identify Ker LA with the equivariant fields) . With that understood, both are correct and essentially the same proof.