On the Nullstellensätze for Stein spaces and $C$-analytic sets (1207.0391v2)

Abstract: In this work we prove the real Nullstellensatz for the ring ${\mathcal O}(X)$ of analytic functions on a $C$-analytic set $X\subset{\mathbb R}^n$ in terms of the saturation of \L ojasiewicz's radical in ${\mathcal O}(X)$: The ideal ${\mathcal I}({\mathcal Z}({\mathfrak a}))$ of the zero-set ${\mathcal Z}({\mathfrak a})$ of an ideal ${\mathfrak a}$ of ${\mathcal O}(X)$ coincides with the saturation $\widetilde{\sqrt[\text{\L}]{{\mathfrak a}}}$ of \L ojasiewicz's radical $\sqrt[\text{\L}]{{\mathfrak a}}$. If ${\mathcal Z}({\mathfrak a})$ has `good properties' concerning Hilbert's 17th Problem, then ${\mathcal I}({\mathcal Z}({\mathfrak a}))=\widetilde{\sqrt[\mathsf{r}]{{\mathfrak a}}}$ where $\sqrt[\mathsf{r}]{{\mathfrak a}}$ stands for the real radical of ${\mathfrak a}$. The same holds if we replace $\sqrt[\mathsf{r}]{{\mathfrak a}}$ with the real-analytic radical $\sqrt[\mathsf{ra}]{{\mathfrak a}}$ of ${\mathfrak a}$, which is a natural generalisation of the real radical ideal in the $C$-analytic setting. We revisit the classical results concerning (Hilbert's) Nullstellensatz in the framework of (complex) Stein spaces. Let ${\mathfrak a}$ be a saturated ideal of ${\mathcal O}({\mathbb R}^n)$ and $Y_{{\mathbb R}^n}$ the germ of the support of the coherent sheaf that extends ${\mathfrak a}{\mathcal O}{{\mathbb R}^n}$ to a suitable complex open neighbourhood of ${\mathbb R}^n$. We study the relationship between a normal primary decomposition of ${\mathfrak a}$ and the decomposition of $Y{{\mathbb R}^n}$ as the union of its irreducible components. If ${\mathfrak a}:={\mathfrak p}$ is prime, then ${\mathcal I}({\mathcal Z}({\mathfrak p}))={\mathfrak p}$ if and only if the (complex) dimension of $Y_{{\mathbb R}^n}$ coincides with the (real) dimension of ${\mathcal Z}({\mathfrak p})$.