Let $X$ be a complex variety containing some point $x$. Then $X$ is naturally a complex-analytic space, and we have an inclusion of rings $\mathbb{C}[X]_x\hookrightarrow\mathbb{C}\{X\}_x\hookrightarrow\widehat{\mathbb{C}[X]_x}$; that is, the ring of holomorphic germs is sandwiched between the ring of polynomial germs and the ring of formal power series at $x$. A number of important algebraic properties of formal power series can also be shown to hold for holomorphic germs; one useful method of proof is to do a construction in $\widehat{\mathbb{C}[X]_x}$, then show that it doesn't leave $\mathbb{C}\{X\}_x$. The most fundamental of these results is probably the Weierstrass Preparation Theorem, which can be proven for holomorphic germs in this way (see Zariski-Samuel vol II, Ch 7.1). Another important such result is Hensel's lemma, which can again be proven algebraically as well as by using the implicit function theorem. (So the ring of holomorphic germs is actually sandwiched between the Henselization of the regular germs and the formal power series.)
I've been trying to find an appropriate way to describe this relationship, and I was wondering if it can be done with model theory. Of the four rings (polynomials, algebraic power series, holomorphic germs, power series) describing the local behavior of the variety, what is the relationship between their first-order theories (in the language of $\mathbb{C}$-algebras)? Are any of the inclusions elementary—and, if so, how should this be interpreted geometrically? Which of these substructures are definable? Is model theory even the right way to approach this question?
Best Answer
It turns out that all of these except the ring of polynomial germs are elementary equivalent. The following answer is from Elliot Kaplan (posted with permission):
The ring of algebraic power series, convergent power series, and formal power series are all henselian valued fields and, as a corollary of Weierstrass Preparation, have the same value group. Consequently, these extensions are in fact elementary.