Skip to main content
2 of 5
Additional question
James E Hanson
  • 12.5k
  • 3
  • 37
  • 68

I had a conversation about this with James Freitag at a conference recently and he pointed me to a fundamental result of Seidenberg that seems to resolves this problem in the positive.

The relevant result is from Seidenberg's paper 'Abstract Differential Algebra and the Analytic Case II.' Here it is restated slightly:

Let $U$ be a non-empty connected open subset of $\mathbb{C}$ and let $K$ be a finitely generated differential field of meromorphic functions on $U$. If $L \supseteq K$ is a finitely generated abstract differential field extension of $K$, then there exists a non-empty connected open set $V\subseteq U$, a finitely generated differential field of meromorphic functions $L^\prime$, and a differential field isomorphism $f:L\rightarrow L^\prime$ extending the restriction map $\mathrm{res}_{V,U}$ on $K$.

For anyone familiar with forcing, this result has clearly done most of the work for us. Define a forcing post $\mathbb{P}$ whose conditions are non-empty connected open subsets of $\mathbb{C}$, with $\mathbf{1}=\mathbb{C}$, ordered by inclusion, i.e. $V \leq U$ if and only if $V \subseteq U$. (This should be equivalent to Cohen forcing building a single new real, or should I say a single new complex? It is certainly $ccc$.)

Now in the extension $V[G]$, we have that $\bigcap G$ contains a single complex number, $z$. I want to argue that the field of germs of meromorphic functions in $V$ at $z$ is differentially closed. Call this field $K$. (Note that since these are meromorphic functions it is automatically a field and not just a ring, but since no non-zero element of this collection can vanish at $z$ it's actually the same as the ring of germs of holomorphic functions at $z$.)

Let $L \supseteq K$ be any abstract differentially closed field extension of $K$ (in $V[G]$). Let $b\in L$ be any element and $\overline{a} \in K$ be any finite tuple of elements. Let $L_0$ be the differential field generated by $\overline{a}b$. Since $\mathrm{DCF}_0$ is $\omega$-stable, it doesn't gain any new types over $\varnothing$ in $V[G]$ (since there are only countably many of them), so there exists a differential field $K_0 \in V$ isomorphic to $L_0$.

Let $U\in G$ be a common domain of the elements of the tuple $\overline{a}$. Now consider the set $D\subseteq \mathbb{P}$ of opens $V \subseteq U$ such that there exists a meromorphic function $c$ on $V$ such that the field generated by $\overline{a}c$ is isomorphic to $K_0$. By Seidenberg's result this is clearly dense below $U$ (as a condition), so by genericity some $V\in D$ is also in $G$. So the germ of $c$ at $z$ is also in $K$.

This says that every quantifier free type over a finite tuple $\overline{a} \in K$ is realized in $K$, implying that it is existentially closed and therefore differentially closed. Moreover by quantifier elimination we actually get that $K$ is $\omega$-saturated. Since $\mathbb{P}$ is $ccc$, $K$ has size continuum, since it contains $\mathbb{C}^V$.

I'd be really curious to know more about the structure $K$ model theoretically, since it seems fairly natural to me. In particular, is it $\omega_1$-saturated or more? Can it consistently have a Vaughtian pair? Does its isomorphism type depend on the choice of the generic point $z$? What if we chose some other $w\in \mathbb{C}^{V[G]} \setminus \mathbb{C}^V$? What are its non-trivial automorphisms?

James E Hanson
  • 12.5k
  • 3
  • 37
  • 68