Let $M$ be a real analytic manifold. In the book "Sheaves on Manifolds" by Kashiwara and Schapira it is claimed on p. 127 (without reference or proof) that


1. the Poincare lemma holds for the de Rham complex of real analytic differential forms,
2. the cohomology of the sheaves of real analytic analytic differential $p$-forms vanishes in degree $\geq 1$ and for all $p \geq 0$.


Is there a reference for 1.? Why does 2. hold?


Ad 1.: As far as I see, one can prove the first claim as for the de Rham complex of smooth differential forms. More precisely, for $M$ contractible the usual homotopy to $0$ of the smooth de Rham complex restricts to a homotopy of the real analytic de Rham complex. The key point is that one can differentiate analytic functions under an integral sign and that the derivative is analytic again. But to use this result a reference would be appreciated.


Ad 2.: In an other place the authors mention Grauert's result that every real analytic manifolds $M$ can be embedded into a Stein space $X$. For Stein spaces one knows that the higher cohomology of any coherent sheaf vanishes. This might to be a starting point for proving 2. But of course this result cannot applied directly because the sheaves of differentials on $M$ will not even be modules over $\mathcal{O}\_X$. Maybe one can work with real analytic forms that have complex coefficients? I am just fishing in murky waters...



Acyclicity of the sheaf of real analytic differential forms
Regarding question 2 :This is answered in the paper of Henri Cartan Bulletin SMF vol 85 yr 1957 pages 77-99 .It is essentially as outlined by user74230 .Question 1:If you look at the proof of Poincare lemma in Narasimhan's book Analysis on Real and Complex manifolds pages 128 to 129 it is clear that the proof works for real analytic forms .We just need to observe that the coefficients are given locally by
convergent power series and the operations involved in the proof preserve them.


