Let $X$ be a smooth algebraic variety over $\mathbb{C}$. Is the sheaf of smooth functions on $X$ flat as an $\mathcal{O}\_X$ module? 



Is the sheaf of smooth functions flat?
Yes, it is. First of all, the ring of germs of holomorphic functions $\mathcal{O}^h\_x$ is flat over the ring of germs regular functions $\mathcal{O}\_x$ at some point $x \in X$, see for example Taylor, "Several complex variables with Connections to Algebraic Geometry and Lie Groups", Theorem 13.3.5.


Secondly, $\mathcal{O}^r\_x$ is flat over the ring $\mathcal{O}^h\_x$ of real analytic functions. This is so, since germs of real analytic functions in $\mathbb{C}^n$ is isomorphic to germs of holomorphic functions in $\mathbb{C}^{2n}$, and $\mathcal{O}^h\_{\mathbb{C}^{2n},0}$ is flat over $\mathcal{O}^h\_{\mathbb{C}^n,0}$, see for example Fischer, "Complex Analytic Geometry", Proposition 3.17.


Finally, the ring of germs of smooth functions is flat over the ring of real analytic functions, which can be found in Malgrange, "Ideals of Differentiable Functions", Corollary VI.1.12.


