1. Introduction
In this paper, we consider the notion of a pseudo algebraically closed (PAC) substructure of a stable structure. This notion originates from the theory of pseudo algebraically closed fields, which were first considered by Ax in 1960s while he worked on pseudofinite fields [Reference Ax2]. Studying PAC structures beyond the case of fields was initiated by Hrushovski [Reference Hrushovski26] in the strongly minimal context. Pillay and Polkowska considered the PAC property in the stable case [Reference Pillay and Polkowska41], there are slight differences with the approach we take here. PAC structures also appeared in Afshordel’s thesis [Reference Afshordel1]. Recently, PAC structures were analyzed by the first author [Reference Hoffmann21, Reference Hoffmann22] and also by Dobrowolski, the first author, and Lee [Reference Dobrowolski, Hoffmann and Lee15].
Here, we are working with a (complete) stable theory T which admits quantifier elimination and then focus on its universal part
$T_{\forall }$
. In other words, a typical situation looks as follows. We have a universal theory
$T_{\forall }$
with a stable model completion T, so T has quantifier elimination and T axiomatizes existentially closed models of
$T_{\forall }$
. Then, intuitively, the class of PAC structures in T lies in between the class of existentially closed structures (models of T) and the class of all the structures considered (models of
$T_{\forall }$
). There are several possible definitions of the notion of PAC, we adopt here the definition from [Reference Hoffmann21] (expressed in terms involving stationary types), which is a slight modification of the definition from [Reference Pillay and Polkowska41], and which is equivalent to Afshordel’s definition from [Reference Afshordel1] in the case of stable theories. To define the notion of a PAC structure, one needs to use an appropriate notion of irreducibility. In the classical case of PAC fields, a topological notion is used coming from the Zariski topology. Hrushovski used in [Reference Hrushovski26] “Morley irreducibility”, that is he considered definable sets of Morely degree one. Pillay and Polkowska used [Reference Pillay and Polkowska41] stationary types and we proceed similarly here (however, we avoid any saturation requirements as given in [Reference Pillay and Polkowska41]). We say that a structure
$F\models T_{\forall }$
is PAC in T (see Definition 2.3) if all stationary types (in the sense of the theory T) over F are finitely satisfiable in F. Let us point out that in the case of the theory of algebraically closed fields, all the irreducibility notions mentioned above are essentially the same. However, this is not the case for other theories of interest as the theory of differentially closed fields of characteristic
$0$
or the theory of compact complex manifolds (see Section 4.1.2). Nevertheless, we show in Section 4.1 that all these irreducibility notions lead to the same notion of a PAC structure.
For an extension
$F\subseteq K$
of models of
$T_{\forall }$
, we obtain relative notions of K-strongly PAC and algebraically K-strongly PAC (see Definition 2.4). They are meaningful and can be though of as measuring the distance between being PAC and being a model of T (K-strongly PAC) or between being definably closed and algebraically closed (algebraically K-strongly PAC) (see Remark 2.5).
Our main motivation for considering PAC structures comes from model theory of group actions. In the set-up above, we consider actions of a fixed group G on models of
$T_{\forall }$
by automorphisms. Clearly, such actions are first-order expressible in an appropriate language and we aim to describe existentially closed actions and check whether a model companion of the theory of such actions exists. The result below may be considered as an abstract generalization of our theorem about finite group actions on fields (see [Reference Hoffmann and Kowalski23, Theorem 3.29]) and as a continuation of studies from [Reference Hoffmann21].
Theorem 3.13. Let G be a finite group and T be a stable theory coding finite sets, which has quantifier elimination and eliminates strong types (that is, types over algebraically closed sets are stationary). Assume that G acts faithfully on
$K=\operatorname {\mathrm {dcl}}(K)\models T_{\forall }$
. Then, the following are equivalent.
-
(1) The action of G on K is existentially closed.
-
(2) The structure of invariants
$K^G$
is K-strongly PAC. -
(3) The structure of invariants
$K^G$
is PAC and algebraically K-strongly PAC.
The above theorem gives a description of existentially closed finite group actions, but it is not clear whether this description is first-order, so this theorem does not settle the question of the existence of a model companion of the theory of finite actions. We can show the following implication.
Theorem 3.23. Let G be a finite group and T be as in the statement of Theorem 3.13. If the class of T-PAC structures is elementary, then the model companion of the theory of G-actions on models of
$T_{\forall }$
exists.
After the abstract description of existentially closed actions (Theorem 3.13) and giving a criterion for existence of a model companion of the theory of finite actions (Theorem 3.23), we focus on particular examples of theories. We discuss the following three stable theories of fields of positive characteristic (p is a prime and e is a positive integer):
-
(1) The theory
$\mathrm {SCF}_{p,e}$
of separably closed fields of characteristic p and inseparability degree e. -
(2) The theory
$\mathrm {SCF}_{p,\infty }$
of separably closed fields of characteristic p and infinite inseparability degree. -
(3) The theory
$\mathrm {DCF}_{p}$
of differentially closed fields of characteristic p.
In the most interesting cases of the theories
$\mathrm {SCF}_{p,\infty }$
and
$\mathrm {DCF}_{p}$
, we do not have elimination of imaginaries, however we still have its weaker versions (coding finite sets and eliminating strong types), which are enough for the set-up from Theorems 3.13 and 3.23. For these theories, we describe PAC structures in a first-order way using a result of Tamagawa (see Theorem 4.21) about positive characteristic PAC fields. We finish with some general questions regarding the PAC property and existence of a model companion of the theory of finite actions. It should be mentioned that after replacing a finite group G with the infinite cyclic group
$({\mathbb {Z}},+)$
, then the model theory of actions of
$({\mathbb {Z}},+)$
has been thoroughly studied (see, e.g., [Reference Chatzidakis and Hrushovski12] and [Reference Chatzidakis and Pillay14]). We compare these two situation in Section 4.4.
This paper is organized as follows: In Section 2, we introduce several versions of the notion of a PAC structure and show the basic results about them. In Section 3, we put the group action to the picture and prove the main two abstract results stated above (Theorems 3.13 and 3.23). In Section 4, we consider some particular theories (mostly theories of fields of positive characteristic) and give a first-order characterization of PAC structures with respect to these theories.
2. Preliminaries
2.1. Set-up
Let T be a complete first-order theory with a monster model
$\operatorname {\mathrm {\mathfrak {C}}}\models T$
(i.e., a strongly
$\bar {\kappa }$
-homogeneous and
$\bar {\kappa }$
-saturated model of T for a very big cardinal
$\bar {\kappa }$
). Throughout the paper,
$\operatorname {\mathrm {acl}}$
and
$\operatorname {\mathrm {dcl}}$
mean the algebraic closure and the definable closure in
$\operatorname {\mathrm {\mathfrak {C}}}$
. Usually, x stands for a (finite) tuple of variables. Moreover, for the rest of this paper, let G be a group such that
$|G|<\bar {\kappa }$
.
Bearing in mind any future applications, we try in this paper to formulate each result with a minimal list of assumptions. Therefore, we organize our general model-theoretic assumptions in the following list (we are aware that there are some overlaps, but we preferred more transparent exposition):
-
(QE) T has quantifier elimination.
-
(FS) T codes finite tuples (i.e., eliminates finite imaginaries).
-
(FS+) T has (FS) and for every
$k<\omega $
, for every variable x corresponding to a real sort and the
$0$
-definable equivalence relation E on
$S_x^k$
given by there exists a
$$ \begin{align*} E(\bar{x},\bar{x}')\quad\iff\quad\{x_1,\ldots,x_k\}=\{x_1^{\prime},\ldots,x_k^{\prime}\}, \end{align*} $$
$0$
-definable in L function
$f:S_x^k\to S_w$
such that E is a fibration of f.
-
(ST+) T is stable and types over algebraically closed sets are stationary (elimination of strong types).
Convention: If a statement starts with any combination of the above properties, it means that we assume the properties given in this particular combination. For example, the following remark assumes property (FS):
Remark 2.1. (FS) The condition (FS
$+$
) is equivalent to:
-
• on each sort there is at least one
$0$
-definable element, and -
• there is a sort with at least two
$0$
-definable elements.
Proof Similarly as in the proof of Lemma 8.4.7 from [Reference Tent and Ziegler48], but, here, we allow many sorted structures.
Remark 2.2. Let us discuss what one can do to meet the above requirements if starting from arbitrary stable
$L_0$
-theory
$T_0$
. As we would like to work under assumptions of quantifier elimination and elimination of imaginaries, we pass to the language
$L:=(L_0^{\operatorname {\mathrm {eq}}})^m$
and L-theory
$T:=(T_0^{\operatorname {\mathrm {eq}}})^m$
(we add imaginary sorts and then do the Morleysation). This new theory T is stable, has quantifier elimination and elimination of imaginaries. On top of that, every
$0$
-definable equivalence relation E on
$\operatorname {\mathrm {\mathfrak {C}}}^n$
is the fibration of the canonical projection
$\pi _E:\operatorname {\mathrm {\mathfrak {C}}}^n\to \operatorname {\mathrm {\mathfrak {C}}}^n/E$
which is build-in in the language
$(L_0^{\operatorname {\mathrm {eq}}})^m$
, thus a
$0$
-definable function. Strong types in any stable theory are stationary, and 
for any b and A. Therefore T enjoys all the properties: (QE), (FS), (FS
$+$
), and (ST
$+$
).
2.2. Notion of PAC structure and auxiliary facts
In this subsection, we recall several definitions and useful facts from [Reference Hoffmann21] and [Reference Hoffmann22]. We also provide a few new notions closely related to the old definitions. The reader may also consult [Reference Pillay and Polkowska41] and [Reference Polkowska43] for more on PAC structures in general model theoretic framework. Also [Reference Afshordel1] provides a nice of exposition of the notion of a PAC structure and related topics. A well-written survey on different variants of the notion of elimination of imaginaries and related concepts from the Galois theory in [Reference Casanovas and Farré10].
Definition 2.3. (Let T be stable.) A substructure F of
$\operatorname {\mathrm {\mathfrak {C}}}$
is pseudo-algebraically closed (PAC) if every stationary type over F (in the sense of the
$L(F)$
-theory of
$\operatorname {\mathrm {\mathfrak {C}}}$
) is finitely satisfiable in F.
The above definition appears in [Reference Hoffmann21] (see also Definition 5.29 in [Reference Afshordel1]). In subsection 3.1 of [Reference Hoffmann21], there is a discussion on possible choices of the definition of a PAC substructure and a comparison of Definition 2.3 to definitions of PAC structures given in [Reference Hrushovski26] and [Reference Pillay and Polkowska41]. In short, Definition 2.3 coincides with the definition of a PAC substructure in the strongly minimal context of [Reference Hrushovski26] and relaxes the saturation assumption from the definition of a PAC substructure from [Reference Pillay and Polkowska41]. Note that every PAC substructure is automatically definably closed. Thus PAC substructures for
$T=\operatorname {\mathrm {ACF}}$
coincide with perfect pseudo-algebraically closed fields (as defined in, e.g., [Reference Fried and Jarden18]).
Definition 2.4. Let
$F=\operatorname {\mathrm {dcl}}(F)\subseteq K\subseteq \operatorname {\mathrm {\mathfrak {C}}}$
.
-
(1) We say that F is K-strongly PAC if each type
$p(x)\in S(F)$
, which has a unique non-forking extension over K, is finitely satisfiable in F. -
(2) We say that F is algebraically K-strongly PAC if each algebraic type
$p(x)\in S(F)$
, which has a unique non-forking extension over K, is finitely satisfiable (thus realized) in F.
Note that being K-strongly PAC for
$F\subseteq K$
implies being algebraically K-strongly PAC for F. Moreover, being K-strongly PAC for F implies being a PAC substructure for F.
Remark 2.5. It should help to understand the relative notions of (algebraically) K-strongly PAC by considering the ultimate cases of
$K=F$
and
$K\models T$
. It is quite easy to see the following.
-
(1) A structure F is F-strongly PAC if and only if
$F\models T$
. -
(2) (T is stable) A structure F is K-strongly PAC for
$K\models T$
if and only if F is PAC. -
(3) A structure F is algebraically F-strongly PAC if and only if
$F=\operatorname {\mathrm {acl}}(F)$
. -
(4) A structure F is algebraically K-strongly PAC for
$K\models T$
if and only if
$F=\operatorname {\mathrm {dcl}}(F)$
.
Definition 2.6.
-
(1) Let
$F\subseteq K$
be small subsets of
$\mathfrak {C}$
. We say that
$F\subseteq K$
is primary if
$$ \begin{align*}\operatorname{\mathrm{dcl}}(K)\cap\operatorname{\mathrm{acl}}(F)=\operatorname{\mathrm{dcl}}(F).\end{align*} $$
-
(2) Let
$F\subseteq K$
be small subsets of
$\mathfrak {C}$
. We say that
$F\subseteq K$
is regular if
$F\subseteq K$
is primary and
$F=\operatorname {\mathrm {dcl}}(F)$
. -
(3) Let F be a small definably closed substructure of
$\mathfrak {C}$
. We say that F is regularly closed if for every small substructure
$F'$
of
$\mathfrak {C}$
, which is a regular extension of F, it follows
$F\preceq _1 F'$
(i.e., F is existentially closed in
$F'$
).
The above notion of a primary extension was previously (e.g., [Reference Hoffmann21, Reference Hoffmann22]) called “regular”. It corresponds to regular extensions in
$T=$
ACF provided the smaller field is perfect (equivalently, definably closed). Here, we decided to follow closer the terminology from the theory of fields and distinguish between “primary” and “regular” extensions. We plan to refine even more the notion of the model-theoretic “regular” extension after studying a possible notion of the model-theoretic separable extension in the future.
Now, we will sharpen facts from earlier articles that lead to the main results in this manuscript. The majority of [Reference Ax2 Reference Afshordel1] was written under the assumption of (full) elimination of imaginaries, elimination of quantifiers and stability. This is fine if we are interested in an abstract approach to the subject. However, as we are interested in applications of our results to particular theories, which do not enjoy elimination of imaginaries (see Section 4), we need to relax this assumption. Moreover, the assumption on stability was not crucial in several useful facts from [Reference Hoffmann21], making them applicable in a broader context. Therefore we take the opportunity to provide the following results with minimal assumptions. The proofs of the following facts remain almost the same as the proofs of their counterparts from [Reference Hoffmann21]. Recall that “regular” extensions from [Reference Hoffmann21] are now “primary” extensions.
All the proper subsets, substructures and tuples of the monster model
$\operatorname {\mathrm {\mathfrak {C}}}$
are, if not stated otherwise, small in comparison to the saturation of
$\operatorname {\mathrm {\mathfrak {C}}}$
. Here, upper case letters, like E or A, are denoting proper subsets, and lower case letters, like a, stand for tuples.
Fact 2.7 (Fact 3.32 in [Reference Hoffmann21])
(FS) If
$E\subseteq A$
is primary then for every
$a\in \operatorname {\mathrm {acl}}(E)$
there exists a unique extension of
$\operatorname {\mathrm {tp}}(a/E)$
over A.
Fact 2.8 (Fact 3.33 in [Reference Hoffmann21])
(FS) If
$E\subseteq A$
is primary,
$f_1,f_2\in \operatorname {\mathrm {Aut}}(\operatorname {\mathrm {\mathfrak {C}}})$
and
$f_1|_E=f_2|_E$
, then there exists
$h\in \operatorname {\mathrm {Aut}}(\operatorname {\mathrm {\mathfrak {C}}})$
such that
$h|_A=f_1|_A$
and
$h|_{\operatorname {\mathrm {acl}}(E)}=f_2|_{\operatorname {\mathrm {acl}}(E)}$
.
Fact 2.9 (Corollary 3.34 in [Reference Hoffmann21])
(FS) If
$E\subseteq A$
is primary and
$A_0\subseteq A$
then
$\operatorname {\mathrm {tp}}(A_0/E)$
has a unique extension over
$\operatorname {\mathrm {acl}}(E)$
.
The following definition is taken from page 21 of [Reference Afshordel1].
Definition 2.10. We say that a type
$p(x)\in S(A)$
is
$\operatorname {\mathrm {acl}}$
-stationary if it has a unique extension over
$\operatorname {\mathrm {acl}}(A)$
.
Lemma 2.11. (FS) Consider
$p\in S(E)$
. The following are equivalent:
-
(1) p is
$\operatorname {\mathrm {acl}}$
-stationary, -
(2)
$E\subseteq \operatorname {\mathrm {dcl}}(Ea)$
is primary for some
$a\models p$
, -
(3)
$E\subseteq \operatorname {\mathrm {dcl}}(Ea)$
is primary for every
$a\models p$
.
Proof The proof is similar to the proof of Lemma 3.35 in [Reference Hoffmann21], but a few steps require sharper reasoning, thus we include it here.
The equivalence (2)
$\iff $
(3) follows by definition. First, we argue for (1)
$\Rightarrow $
(2): assume (1) and suppose that (2) does not hold. As p is
$\operatorname {\mathrm {acl}}$
-stationary, there exists a unique extension
$p|_{\operatorname {\mathrm {acl}}(E)}$
of p over E. Let
$a\models p|_{\operatorname {\mathrm {acl}}(E)}$
, then
$a\models p$
and
$E\subseteq Ea$
is not primary. Take
$$ \begin{align*}c\in\operatorname{\mathrm{dcl}}(Ea)\cap\operatorname{\mathrm{acl}}(E)\setminus\operatorname{\mathrm{dcl}}(E).\end{align*} $$
Since
$c\not \in \operatorname {\mathrm {dcl}}(E)$
, there exists
$f\in \operatorname {\mathrm {Aut}}(\operatorname {\mathrm {\mathfrak {C}}}/E)$
such that
$f(c)\neq c$
. We see that
$f(a)\models p|_{\operatorname {\mathrm {acl}}(E)}$
, so there exists
$h\in \operatorname {\mathrm {Aut}}(\operatorname {\mathrm {\mathfrak {C}}}/\operatorname {\mathrm {acl}}(E))$
such that
$h(a)=f(a)$
. Note that
$h^{-1}f\in \operatorname {\mathrm {Aut}}(\operatorname {\mathrm {\mathfrak {C}}}/Ea)$
and, because
$c\in \operatorname {\mathrm {dcl}}(Ea)$
and
$c\in \operatorname {\mathrm {acl}}(E)$
,
$$ \begin{align*}c=h^{-1}f(c)=f(c)\neq c,\end{align*} $$
so a contradiction. The implication (2)
$\Rightarrow $
(1) is contained in Fact 2.9.
Fact 2.12 (Lemma 3.35 in [Reference Hoffmann21])
(FS, ST
$+$
) Consider
$p\in S(E)$
. The following are equivalent:
-
(1) p is stationary,
-
(2) p is
$\operatorname {\mathrm {acl}}$
-stationary, -
(3)
$E\subseteq Ea$
is primary for some
$a\models p$
, -
(4)
$E\subseteq Ea$
is primary for every
$a\models p$
.
Fact 2.13 (Corollary 3.36 in [Reference Hoffmann21])
(QE, FS, ST
$+$
) For any small substructure N there exists a non-algebraic stationary type over N in any finitely many variables.
Fact 2.14 (Corollary 3.38 in [Reference Hoffmann21])
(FS, ST
$+$
) Assume that
$A,B\subseteq \operatorname {\mathrm {\mathfrak {C}}}$
,
$E\subseteq A$
is primary,
$f_1,f_2\in \operatorname {\mathrm {Aut}}(\operatorname {\mathrm {\mathfrak {C}}})$
and
$f_1|_E=f_2|_E$
. If 
and 
then there exists
$h\in \operatorname {\mathrm {Aut}}(\operatorname {\mathrm {\mathfrak {C}}})$
such that
$h|_A=f_1|_A$
and
$h|_B=f_2|_B$
.
Fact 2.15 (Lemma 3.39 in [Reference Hoffmann21])
(FS, ST
$+$
) If
$E\subseteq A\cap B$
,
$E\subseteq A$
is primary and 
then
$B\subseteq BA$
is primary.
Fact 2.16 (Corollary 3.40 in [Reference Hoffmann21])
(FS, ST
$+$
) If
$E\subseteq A$
and
$E\subseteq B$
are primary, and 
then also
$E\subseteq BA$
is primary.
Remark 2.17.
-
(1) (FS, ST
$+$
)
$F\subseteq K$
is primary if and only if for every tuple b from
$\operatorname {\mathrm {dcl}}(K)$
, the type
$\operatorname {\mathrm {tp}}(b/F)$
is stationary (Fact 2.12). -
(2) (QE, FS, ST
$+$
) Using the item (1), a substructure F is PAC if and only if it is definably closed and regularly closed.
Definition 2.18.
-
(1) Assume that
$F\subseteq K$
are substructures of
$\operatorname {\mathrm {\mathfrak {C}}}$
. We say that K is normal over F (or we say that
$F\subseteq K$
is a normal extension) if
$\sigma (K)\subseteq K$
for every
$\sigma \in \operatorname {\mathrm {Aut}}(\operatorname {\mathrm {\mathfrak {C}}}/K)$
. (Note that if K is small and
$F\subseteq K$
is normal, then it must be
$K\subseteq \operatorname {\mathrm {acl}}(F)$
.) -
(2) Assume that
$F\subseteq K\subseteq \operatorname {\mathrm {acl}}(F)$
are small substructures of
$\mathfrak {C}$
such that
$F=\operatorname {\mathrm {dcl}}(F)$
,
$K=\operatorname {\mathrm {dcl}}(K)$
and K is normal over F. In this situation we say that
$F\subseteq K$
is a Galois extension.
Definition 2.19. Assume that
$F\subseteq K$
is an extension of substructures in
$\operatorname {\mathrm {\mathfrak {C}}}$
. We define the Galois group of the extension
$F\subseteq K$
as
$$ \begin{align*}G(K/F):=\operatorname{\mathrm{Aut}}(K/F)=\{f|_K\;|\;f\in\operatorname{\mathrm{Aut}}(\operatorname{\mathrm{\mathfrak{C}}}/F),\,f(K)=K \}.\end{align*} $$
Moreover B is any subset of
$\operatorname {\mathrm {\mathfrak {C}}}$
, then the extension
$\operatorname {\mathrm {dcl}}(B)\subseteq \operatorname {\mathrm {acl}}(B)$
is Galois and we speak about the absolute Galois group of B which is the following profinite group:
$$ \begin{align*}G(B):=G(\operatorname{\mathrm{acl}}(B)/\operatorname{\mathrm{dcl}}(B)).\end{align*} $$
Note that the above definition of
$G(K/F)$
is often expressed in terms of the automorphisms of K as an L-structure on its own, but as we will work under the assumption of the quantifier elimination, both variants of the definition coincide and it just the matter of taste.
The following useful fact is standard and its proof is straightforward.
Lemma 2.20. Assume that
$F\subseteq K$
is a Galois extension and
$p(x)\in S(F)$
. Then the Galois group
$G(K/F)$
acts transitively on the set of extensions of p over K.
The following definition and example are taken from [Reference Dobrowolski, Hoffmann and Lee15] and [Reference Pillay and Polkowska41]. A more detailed discussion of examples of PAC structures and the property from Definition 2.21 will be given in Section 4.
Definition 2.21 (Let T be stable)
We say that PAC is a first-order property in T (
$=\operatorname {\mathrm {Th}}(\operatorname {\mathrm {\mathfrak {C}}})$
) if there exists a set
$\Sigma $
of
$\mathcal {L}$
-sentences such that for any
$P\subseteq \operatorname {\mathrm {\mathfrak {C}}},$
$$ \begin{align*}P\models \Sigma\qquad\iff\qquad P\text{ is PAC}.\end{align*} $$
Example 2.22.
-
(1) PAC is a first-order property in ACF
$_p$
for
$p=0$
and for p being a prime number, see Proposition 11.3.2 in [Reference Fried and Jarden18]. -
(2) The axioms given in Proposition 5.6 from [Reference Pillay and Polkowska41] show that PAC is a first-order property (in the above sense) in DCF
$_0$
which is formulated in a different way than the condition “PAC is a first-order property” appearing in [Reference Pillay and Polkowska41].
3. Finite group actions
The main goal of this section is to describe existentially closed substructures with a finite group action in first-order terms. The general strategy is as follows. First, characterize their structure by the structure of the invariants of the group action, then answer which properties of the invariants correspond to the existential closedness of the whole substructure with group action. Finally, express these properties as first-order statements.
3.1. Basic facts
We introduce the language
$L_G$
being the language L extended by a unary function symbol
$\sigma _g$
for each
$g\in G$
, i.e.,
$L_G=L\,\cup \,\{\sigma _g\;|\;g\in G\}$
. Often, “
$\sigma _g$
” will denote also the interpretation of the symbol
$\sigma _g$
in a given
$L_G$
-structure. Moreover, we set
$\bar {\sigma }:=(\sigma _g)_{g\in G}$
. We consider the collection of sentences in the language
$L_G$
, say
$A_G$
, which precisely expresses the following:
-
•
$\sigma _g$
is an automorphism of the L-structure for every
$g\in G$
, -
•
$\sigma _g\circ \sigma _h=\sigma _{g\cdot h}$
for all
$g,h\in G$
.
In other words, if K is an L-structure, and there exists an
$L_G$
-structure
$(K,\bar {\sigma })$
living on K, we have that
$(K,\bar {\sigma })\models A_G$
if and only if for each
$g\in G$
we have that
$\sigma _g\in \operatorname {\mathrm {Aut}}(K)$
and the map
$$ \begin{align*}G\ni g\mapsto\sigma_g\in\operatorname{\mathrm{Aut}}(K)\end{align*} $$
is a group homomorphism.
Definition 3.1.
-
(1) Let
$(K,\bar {\sigma })$
be an
$L_G$
-structure. We say that
$\bar {\sigma }$
is a G-action on K if
$(K,\bar {\sigma })\models A_G$
. -
(2) If
$T'$
is an L-theory, then by
$(T')_G$
we denote the set of consequences of
$T'\,\cup \,A_G$
. -
(3) If
$(K,\bar {\sigma })\models (T_{\forall })_G$
, where K is of cardinality smaller than the saturation of
$\operatorname {\mathrm {\mathfrak {C}}}$
, then we call it a substructure with G-action. Note that, without loss of generality,
$K\subseteq \operatorname {\mathrm {\mathfrak {C}}}$
, thus the name “substructure”. -
(4) We say that a substructure with G-action
$(K,\bar {\sigma })$
is existentially closed if
$(K,\bar {\sigma })$
is an existentially closed model of the theory
$(T_{\forall })_G$
. -
(5) If the existentially closed models of the theory
$(T_{\forall })_G$
form an elementary class, we denote the theory of this class by
$G-T$
.
Definition 3.2. Assume that
$(K,\bar {\sigma })$
is a substructure with G-action. Then we denote
$$ \begin{align*}K^G:=\{a\in K\;|\;(\forall g\in G)\,(\sigma_g(a)=a)\,\}\end{align*} $$
and call it the substructure of invariants.
Remark 3.3. (QE) Let
$(K,\bar {\sigma })$
be a substructure with G-action. If
$(K,\bar {\sigma })$
is existentially closed then
$K=\operatorname {\mathrm {dcl}}(K)$
. If
$K=\operatorname {\mathrm {dcl}}(K)$
then
$K^G=\operatorname {\mathrm {dcl}}(K^G)$
. For the standard proofs, the reader may consult Remarks 3.24 and 3.26 in [Reference Hoffmann21].
Lemma 3.4. (QE) Let
$(K,\bar {\sigma })$
be a substructure with G-action and let
$p(x)\in S(K)$
be a G-invariant type (i.e.,
$\sigma _g(p)=p$
for every
$g\in G$
). Then for any
$a\models p$
the set
$\operatorname {\mathrm {dcl}}(K,a)$
might be equipped with a G-action extending
$(K,\bar {\sigma })$
and acting trivially on a.
Proof Let
$a\models p$
and let
$\bar {k}$
be some enumeration of K. Then
$\bar {k}a\equiv \sigma _g(\bar {k})a$
for any
$g\in G$
. This implies that, for each
$g\in G$
, there exists
$\sigma _g^{\prime }\in \operatorname {\mathrm {Aut}}(\operatorname {\mathrm {\mathfrak {C}}})$
such that
$\sigma ^{\prime }_g|_K=\sigma _g$
and
$\sigma ^{\prime }_g(a)=a$
. Naturally,
$(K,(\sigma _g)_{g\in G})\subseteq (\operatorname {\mathrm {dcl}}(K,a),(\sigma ^{\prime }_g)_{g\in G})$
.
Fact 3.5 (Lemma 2.10 from [Reference Hoffmann22])
(QE, FS) If G is finite and
$(K,\bar {\sigma })$
is a substructure with G-action such that
$\operatorname {\mathrm {dcl}}(K)=K$
and the action of G on K is faithful (i.e., if
$g\neq h$
then there is
$a\in K$
such that
$\sigma _g(a)\neq \sigma _h(a)$
), then:
-
•
$K\subseteq \operatorname {\mathrm {acl}}(K^G)$
, -
•
$K^G\subseteq K$
is a Galois extension, -
•
$G(K/K^G)\cong G$
.
Proof By Lemma 2.10 from [Reference Hoffmann22], Fact 3.7 and Proposition 4.7 from [Reference Casanovas and Farré10]. Being more precise, we obtain the two first bullets as in Lemma 3.23 from [Reference Hoffmann21] and then we repeat the proof of Lemma 2.10(4) from [Reference Hoffmann21] using a variant of the finite Galois correspondence stated in Proposition 4.7 in [Reference Casanovas and Farré10].
Lemma 3.6. (QE, FS, ST
$+$
) If
$(K,\bar {\sigma })$
is an existentially closed substructure with G-action, then the group action if faithful.
Proof Consider any enumeration of G, say
$(g_i)_{i\in I}$
where
$(I,<)$
is a linear order. Let
$p(x)\in S(K^G)$
be a non-algebraic stationary type (existing by Fact 2.13), and let
$\bar {b}=(b_i)_{i\in I}\models p^{\otimes I}|_{K^G}$
be such that 
. Let F denote
$\operatorname {\mathrm {dcl}}(K^G,\bar {b})$
, and let
$F'$
denote
$\operatorname {\mathrm {dcl}}(K,\bar {b})$
.
As the type
$p^{\otimes I}|_K$
is also stationary, the extension
$K^G\subseteq F$
is regular. For each
$g\in G$
, let
$\theta _g$
be a bijection of I such that
$g\cdot g_i=g_{\theta _g(i)}$
holds for each
$i\in I$
. As the set
$\{b_i\;|\;i\in I\}$
is
$K^G$
-indiscernible, for each
$g\in G$
there exists
$\tau _g\in \operatorname {\mathrm {Aut}}(\operatorname {\mathrm {\mathfrak {C}}}/K^G)$
such that
$\tau _g(b_i)=b_{\theta _g(i)}$
.
Now, Corollary 3.38 from [Reference Hoffmann21], allows us to simultaneously extend each
$\sigma _g$
(over K) and
$\tau _g$
(over F) to an automorphism
$\sigma ^{\prime }_g\in \operatorname {\mathrm {Aut}}(\operatorname {\mathrm {\mathfrak {C}}})$
, for each
$g\in G$
. We have that
$(K,(\sigma _g)_{g\in G})\subseteq (F',(\sigma ^{\prime }_g)_{g\in G})$
, thus
$(K,(\sigma _g)_{g\in G})$
is existentially closed in
$(F',(\sigma ^{\prime }_g)_{g\in G})$
. If
$g\neq h$
, then
$\sigma ^{\prime }_g(b)\neq \sigma ^{\prime }_h(b)$
for some
$b\in F'$
, and so there will be
$a\in K$
such that
$\sigma _g(a)\neq \sigma _h(a)$
.
Lemma 3.7. (QE) If G is finitely generated and
$(K,\bar {\sigma })$
is an existentially closed substructure with G-action, then
$K^G$
is K-strongly PAC.
Proof Consider
$p(x)\in S(K^G)$
which has a unique non-forking extension over K, say
$\tilde {p}(x)\in S(K)$
. As
$p(x)$
is invariant under action of automorphisms
$\sigma _g|_{K^G}$
, where
$g\in G$
, we have that
$\tilde {p}(x)$
is invariant under action of automorphisms
$\sigma _g$
, where
$g\in G$
(otherwise, we would get distinct non-forking extensions of p over K).
Let
$b\models \tilde {p}$
, by Lemma 3.4 there exists an extension of substructures with G-action,
$$ \begin{align*}(K,(\sigma_g)_{g\in G})\subseteq (K',(\sigma^{\prime}_g)_{g\in G})\end{align*} $$
such that
$b\in (K')^G$
. By our assumption, we have that
$(K,(\sigma _g)_{g\in G})$
is existentially closed in
$(K',(\sigma _g^{\prime })_{g\in G})$
.
Now, let
$\varphi (a,x)\in p(x)$
. As T has quantifier elimination, we may assume that
$\varphi (y,x)$
is quantifier-free, what we do. Of course
$\models \varphi (a,b)$
and so
$$ \begin{align*}(K',(\sigma^{\prime}_g)_{g\in G})\models (\exists x)\,(\varphi(a,x)\,\wedge\,\bigwedge\limits_{g\in X}\sigma_g(x)=x),\end{align*} $$
where X denotes the finite set of generators of G. Hence
$$ \begin{align*}(K,(\sigma_g)_{g\in G})\models (\exists x)\,(\varphi(a,x)\,\wedge\,\bigwedge\limits_{g\in X}\sigma_g(x)=x)\end{align*} $$
and for some
$b_0\in K^G$
we have that
$\models \varphi (a,b_0)$
.
Therefore we see that an existentially closed substructure with G-action has a quite tame substructure of invariants. The next subsection is dedicated to the converse of this implication, so we would like to show that “if the substructure of invariants is tame then the whole substructure with G-action is existentially closed”.
Remark 3.8. In Proposition 3.56 from [Reference Hoffmann21], it was shown that if
$(K,\bar {\sigma })$
is an existentially closed substructure with G-action, then K is PAC. However, the aforementioned proposition assumes quantifier elimination, elimination of imaginaries and stability (but G there can be arbitrary).
3.2. Invariants of existentially closed actions
Lemma 3.9. (QE, FS) Assume that G is finite,
$(K,(\sigma _g)_{g\in G})\subseteq (K',(\sigma ^{\prime }_g)_{g\in G})$
is an extension of substructures with G-action, the group action of G on K is faithful and
$\operatorname {\mathrm {dcl}}(K)=K$
. If
$K^G$
is algebraically K-strongly PAC, then
$K^G\subseteq (K')^G$
is regular.
Proof If
$\operatorname {\mathrm {dcl}}(K)=K$
then also
$\operatorname {\mathrm {dcl}}(K^G)=K^G$
. Moreover,
$K^G\subseteq (K')^G$
is regular if and only if
$K^G\subseteq \operatorname {\mathrm {dcl}}((K')^G)$
is regular and there is a unique way of extending G-action from
$K'$
over
$\operatorname {\mathrm {dcl}}(K')$
. Therefore, without loss of generality, we assume that
$K'=\operatorname {\mathrm {dcl}}(K')$
and so
$\operatorname {\mathrm {dcl}}((K')^G)=(K')^G$
. We need to show that
$(K')^G\cap \operatorname {\mathrm {acl}}(K^G)=K^G$
.
Let
$a\in (K')^G\cap \operatorname {\mathrm {acl}}(K^G)\setminus K^G$
. Because for every
$g\in G$
, we have that
$\sigma _g\big (\operatorname {\mathrm {tp}}(a/K)\big )=\operatorname {\mathrm {tp}}\big (\sigma _g(a)/K\big )$
and
$a\in (K')^G$
, we see that
$\operatorname {\mathrm {tp}}(a/K)$
is a G-invariant type. By Fact 3.5 and Lemma 2.20, we see that
$\operatorname {\mathrm {tp}}(a/K)$
is a unique extension of
$\operatorname {\mathrm {tp}}(a/K^G)$
over K.
As
$a\in \operatorname {\mathrm {acl}}(K^G)$
and 
(e.g., Remark 5.3 in [Reference Casanovas9]),
$\operatorname {\mathrm {tp}}(a/K^G)\subseteq \operatorname {\mathrm {tp}}(a/K)$
is a non-forking extension. Because
$K^G$
is algebraically K-strongly PAC,
$\operatorname {\mathrm {tp}}(a/K^G)$
is finitely satisfiable in
$K^G$
. As
$a\in \operatorname {\mathrm {acl}}(K^G)$
, this means that it must be
$a\in K^G$
.
Definition 3.10. Assume that
$C\subseteq K\subseteq \operatorname {\mathrm {\mathfrak {C}}}$
and that G is finite. We call the pair
$(C,K)$
G-closed if
$C\subseteq K$
is a Galois extension,
$G(K/C)\cong G$
and there is no
$K'\subseteq \operatorname {\mathrm {acl}}(K)$
,
$K\subsetneq K'$
, such that the action of
$G(K/C)$
extends over
$K'$
.
Lemma 3.11. (QE, FS) Assume that G is finite,
$(K,\bar {\sigma })$
is a substructure with G-action such that action of G on K is faithful and
$\operatorname {\mathrm {dcl}}(K)=K$
. Then
$(K^G,K)$
is G-closed if and only if
$K^G$
is algebraically K-strongly PAC.
Proof By Fact 3.5,
$K\subseteq \operatorname {\mathrm {acl}}(K^G)$
,
$K^G\subseteq K$
is Galois and
$G(K/K^G)\cong G$
.
Assume that
$(K^G,K)$
is G-closed and let
$p(x)\in S(K^G)$
be algebraic with a unique extension
$\tilde {p}(x)$
over K (being a non-forking extension follows naturally from 
, e.g., Remark 5.3 in [Reference Casanovas9]). We have that
$\tilde {p}$
is G-invariant and so, by Lemma 3.4, if
$b\models \tilde {p}$
then there exists an extension of substructures with a G-action,
$$ \begin{align*}(K,(\sigma_g)_{g\in G})\subseteq (K',(\sigma^{\prime}_g)_{g\in G})\end{align*} $$
such that
$K'=\operatorname {\mathrm {dcl}}(K,b)$
and
$b\in (K')^G$
. As
$K'=\operatorname {\mathrm {dcl}}(K,b)\subseteq \operatorname {\mathrm {acl}}(K^G)=\operatorname {\mathrm {acl}}(K)$
, it must be that
$K=K'$
, so
$b\in K$
and finally
$b\in K^G$
.
Now, we show the right-to-left implication. Assume that
$K'\subseteq \operatorname {\mathrm {acl}}(K)$
and there is an extension of substructures with G-action:
$$ \begin{align*}(K,(\sigma_g)_{g\in G})\subseteq (K',(\sigma^{\prime}_g)_{g\in G}).\end{align*} $$
By Lemma 3.9,
$K^G\subseteq (K')^G$
is regular. As
$(K')^G\subseteq K'\subseteq \operatorname {\mathrm {acl}}(K)=\operatorname {\mathrm {acl}}(K^G)$
it must be
$(K')^G\subseteq \operatorname {\mathrm {dcl}}(K^G)=K^G$
, so
$K^G=(K')^G$
. By the proof of Proposition 4.1 from [Reference Dobrowolski, Hoffmann and Lee15] and the Galois correspondence for finite extensions (e.g., Theorem 12 in [Reference Medvedev and Takloo-Bighash32]), there exists a finite tuple b from K such that
$K=\operatorname {\mathrm {dcl}}(K^G,b)$
. Moreover, by the same proof of Proposition 4.1 from [Reference Dobrowolski, Hoffmann and Lee15], we also have that
$K'=\operatorname {\mathrm {dcl}}((K')^G,b)$
. Because
$K^G=(K')^G$
, we have that
$K=\operatorname {\mathrm {dcl}}(K^G,b)=\operatorname {\mathrm {dcl}}((K')^G,b)=K'$
.
The following remark is not important for the main results of this paper and its purpose is mainly to generalize Theorem 3.25 from [Reference Hoffmann and Kowalski23]. As we use in its proof the Elementary Equivalence for PAC structures ([Reference Dobrowolski, Hoffmann and Lee15]), we need to add more assumptions.
Remark 3.12. Let T be stable with elimination of quantifiers and elimination of imaginaries. Assume that PAC is a first-order property. Suppose that
$(C,K)\subseteq (C',K')$
is an extension of G-closed substructures such that C and
$C'$
are PAC. Then
$C\preceq C'$
.
Proof It is enough to reproduce the proof of Theorem 3.25 from [Reference Hoffmann and Kowalski23], but in this more general context. By the proof of Theorem 3.22 from [Reference Hoffmann and Kowalski23] or more similar Lemma 3.54 from [Reference Hoffmann21], we have that C and
$C'$
are bounded PAC structures. Thus, by Corollary 3.11 from [Reference Dobrowolski, Hoffmann and Lee15], it is enough to show that the restriction map
$r:G(C')\to G(C)$
is an isomorphism. After combining Lemmas 3.11 and 3.9, we obtain that
$C\subseteq C'$
is regular, so r is an epimorphism.
By Theorem 4.4 from [Reference Hoffmann22],
$G(C)$
is projective, which means that there exists embedding h as in the following diagram.
But then
$\mathcal {G}_0:=h[G(C)]\leqslant G(C')$
is a closed subgroup such that
$r|_{\mathcal {G}_0}:\mathcal {G}_0\to G(C)$
is an isomorphism.
Because
$K\subseteq \operatorname {\mathrm {acl}}(C)$
and
$K'\subseteq \operatorname {\mathrm {acl}}(C')$
, the restriction maps
$G(C)\to G$
and
$G(C')\to G$
lead to the following commutative diagram:
and so
$\mathcal {G}_0\mathcal {N}=G(C')$
for
$\mathcal {N}:=\ker \big (G(C')\to G\big )$
. By Lemma 3.31 from [Reference Hoffmann21], this implies that
$\mathcal {G}_0=G(C')$
as expected.
Theorem 3.13. (QE, FS, ST
$+$
) Assume that G is finite, say
$|G|=l$
. Let
$(K,\bar {\sigma })$
be a substructure with G-action such that G acts faithfully on K and
$\operatorname {\mathrm {dcl}}(K)=K$
. The following are equivalent:
-
(1)
$(K,\bar {\sigma })$
is existentially closed, -
(2)
$K^G$
is K-strongly PAC, -
(3)
$K^G$
is PAC and algebraically K-strongly PAC, -
(4)
$K^G$
is PAC and
$(K^G,K)$
is G-closed.
Proof By Lemma 3.11, (3)
$\iff $
(4). (1)
$\Rightarrow $
(2) follows by Lemma 3.7. The implication (2)
$\Rightarrow $
(3) follows by definitions. To get the theorem, we will show that (3)
$\Rightarrow $
(1).
Assume that
$\operatorname {\mathrm {dcl}}(K)=K$
, the group action is faithful and that
$K^G$
is PAC and algebraically K-strongly PAC. Using Fact 3.5, we obtain the following:
-
•
$K\subseteq \operatorname {\mathrm {acl}}(K^G)$
, -
•
$K^G\subseteq K$
is a Galois extension, -
•
$G(K/K^G)\cong G$
.
The proof of Proposition 4.1 from [Reference Dobrowolski, Hoffmann and Lee15] gives us existence of a finite tuple
$\bar {b}=(b_0,\ldots ,b_{l-1})$
from K such that
$K=\operatorname {\mathrm {dcl}}(K^G,\bar {b})$
.
Consider
$(K,(\sigma _g)_{g\in G})\subseteq (K',(\sigma ^{\prime }_g)_{g\in G})$
. Without loss of generality, we may assume that
$(K',(\sigma ^{\prime }_g)_{g\in G})$
is existentially closed, in particular
$\operatorname {\mathrm {dcl}}(K')=K'$
. We have that the group action of G on
$K'$
is faithful, thus by Fact 3.5, we have that
$K'\subseteq \operatorname {\mathrm {acl}}((K')^G)$
,
$(K')^G\subseteq K'$
is Galois, and
$G(K'/(K')^G)\cong G$
. Lemma 3.9 gives us that
$K^G\subseteq (K')^G$
is regular, which means that the restriction map
$G(K'/(K')^G)\to G(K/K^G)$
is onto, and so it is an isomorphism of finite groups. The last thing implies
$$ \begin{align*}K'=\operatorname{\mathrm{dcl}}((K')^G,\bar{b}).\end{align*} $$
Let
$\bar {B}$
be some enumeration of
$\{\sigma _g(b_i)\;|\;g\in G,\;i<l\}$
. We have that
$K'=\operatorname {\mathrm {dcl}}((K')^G,\bar {b})=\operatorname {\mathrm {dcl}}((K')^G,\bar {B})$
. Assume that
$$ \begin{align*}(K',(\sigma^{\prime}_g)_{g\in G})\models \phi(a)\end{align*} $$
for some tuple a from
$K'$
and some quantifier-free formula
$\phi (x)\in L_G(K)$
. First, we may present
$\phi (a)$
as
$\varphi _0(\sigma ^{\prime }_{g_0}(a),\ldots ,\sigma ^{\prime }_{g_{l-1}}(a))$
, where
$\varphi _0(x_0,\ldots ,x_{l-1})\in L(K)$
is quantifier-free. Second, since
$K=\operatorname {\mathrm {dcl}}(K^G,\bar {B})$
, we may present
$\varphi _0(\sigma ^{\prime }_{g_0}(a),\ldots ,\sigma ^{\prime }_{g_{l-1}}(a))$
as
$\varphi (\sigma ^{\prime }_{g_0}(a),\ldots ,\sigma ^{\prime }_{g_{l-1}}(a),\bar {B})$
, where
$\varphi (x_0,\ldots ,x_{l-1},\bar {y})\in L(K^G)$
is quantifier-free.
Let
$\sigma ^{\prime }_{g_0}=\operatorname {\mathrm {id}}_L$
, so
$\sigma ^{\prime }_{g_0}(a)=a$
. Because
$a\in K'=\operatorname {\mathrm {dcl}}((K')^G,\bar {B})$
, there exists a finite tuple
$\bar {c}\subseteq (K')^G$
and a quantifier-free formula
$\psi _0(\bar {z},\bar {y},x)\in L$
such that:
-
•
$\psi _0(\bar {c},\bar {B},\operatorname {\mathrm {\mathfrak {C}}})=\{a\}$
, -
•
$\models (\forall \bar {z},\bar {y},x,x')\,\big (\psi _0(\bar {z},\bar {y},x)\,\wedge \,\psi _0(\bar {z},\bar {y},x')\,\longrightarrow \,x=x'\big )$
.
Because
$\sigma _{g_i}$
permutes
$\bar {B}$
, there exists a permutation
$s_i$
such that
$\sigma _{g_i}(\bar {B})=s_i(\bar {B})$
. We define
$\psi _i(\bar {z},\bar {y},x)$
as
$\psi _0(\bar {z},s_i(\bar {y}),x)$
. Note that
$\psi _i(\bar {c},\bar {B},\operatorname {\mathrm {\mathfrak {C}}})=\{\sigma ^{\prime }_{g_i}(a)\}$
and
$$ \begin{align*}(K',(\sigma_g')_{g\in G})\models\end{align*} $$
$$ \begin{align*}(\forall\bar{z},x,x')\,\bigg(\bigwedge\limits_{g\in G}\sigma_g(\bar{z})=\bar{z}\,\wedge\,\psi_0(\bar{z}, \bar{B},x)\,\wedge\,\psi_i(\bar{z},\bar{B},x')\,\rightarrow\,\sigma_{g_i}(x)=x'\bigg).\end{align*} $$
To see the last line, let
$\bar {d}\subseteq (K')^G$
,
$m,m'\in K'$
be such that
$$ \begin{align*}\models \psi_0(\bar{d},\bar{B},m)\,\wedge\,\psi_i(\bar{d},\bar{B},m').\end{align*} $$
We do know that
$\psi _0(\bar {d},\bar {B},\operatorname {\mathrm {\mathfrak {C}}})=\{m\}$
, which after applying an extension
$\tilde {\sigma }_{g_i}\in \operatorname {\mathrm {Aut}}(\operatorname {\mathrm {\mathfrak {C}}})$
of
$\sigma ^{\prime }_{g_i}$
changes it into
$\psi _0(\bar {d},s_i(\bar {B}),\operatorname {\mathrm {\mathfrak {C}}})=\{\sigma ^{\prime }_{g_i}(m)\}$
. We have that
$$ \begin{align*}m'\in\psi_i(\bar{d},\bar{B},\operatorname{\mathrm{\mathfrak{C}}})=\{\sigma^{\prime}_{g_i}(m)\}.\end{align*} $$
Since the whole formula is universal and has only parameters from K, it follows that
$$ \begin{align*}(K,(\sigma_g)_{g\in G})\models (\forall\bar{z},x,x')\,\bigg(\bigwedge\limits_{g\in G}\sigma_g(\bar{z})=\bar{z}\,\wedge\,\psi_0(\bar{z},\bar{B},x)\, \wedge\,\psi_i(\bar{z},\bar{B},x')\,\rightarrow\,\sigma_{g_i}(x)=x'\bigg), \end{align*} $$
where
$i<l$
.
Consider
$p(\bar {z}):=\operatorname {\mathrm {tp}}(\bar {c}/K^G)$
. Because
$K^G\subseteq (K')^G$
is regular (thus also primary) and
$\bar {c}\subseteq (K')^G$
, Fact 2.12 implies that
$p(\bar {z})$
is stationary. As
$K^G$
is PAC, the type
$p(\bar {z})$
is finitely satisfiable in
$K^G$
. The tuple
$\bar {B}\subseteq K$
is algebraic over
$K^G$
, hence there exists a quantifier-free
$\theta (\bar {y})\in L(K^G)$
such that
$\theta (\bar {y})\vdash \operatorname {\mathrm {tp}}(\bar {B}/K^G)$
. The following formula:
$$ \begin{align*} (\exists\,\bar{y},\,x_0,\ldots,x_{l-1})\,\bigg( \bigwedge\limits_{i<l}\psi_i(\bar{z},\bar{y},x_i)\, \wedge\,\varphi(x_0,\ldots,x_{l-1},\bar{y})\, \wedge\,\theta(\bar{y})\bigg) \end{align*} $$
belongs to
$p(\bar {z})$
, thus there exists
$\bar {d}\subseteq K^G$
such that
$$ \begin{align*} \models(\exists\,\bar{y},\,x_0,\ldots,x_{l-1})\,\bigg( \bigwedge\limits_{l<e}\psi_i(\bar{d},\bar{y},x_i)\, \wedge\,\varphi(x_0,\ldots,x_{l-1},\bar{y})\, \wedge\,\theta(\bar{y})\bigg). \end{align*} $$
It means that there are
$\bar {B}'\subseteq \operatorname {\mathrm {\mathfrak {C}}}$
and
$a^{\prime }_0,\ldots ,a^{\prime }_{l-1}\in \operatorname {\mathrm {\mathfrak {C}}}$
such that
$$ \begin{align*}\models \bigwedge\limits_{i<l}\psi_i(\bar{d},\bar{B}',a^{\prime}_i)\, \wedge\,\varphi(a^{\prime}_0,\ldots,a^{\prime}_{l-1},\bar{B}')\, \wedge\,\theta(\bar{B}').\end{align*} $$
Since
$\models \theta (\bar {B})\,\wedge \,\theta (\bar {B}')$
, there exists
$f\in \operatorname {\mathrm {Aut}}(\operatorname {\mathrm {\mathfrak {C}}}/K^G)$
such that
$f(\bar {B}')=\bar {B}$
. By applying f, we obtain
$$ \begin{align*}\models \bigwedge\limits_{i<l}\psi_i(\bar{d},\bar{B},f(a^{\prime}_i))\, \wedge\,\varphi(f(a^{\prime}_0),\ldots,f(a^{\prime}_{l-1}),\bar{B}).\end{align*} $$
We have that
$\psi _0(\bar {d},\bar {B},\operatorname {\mathrm {\mathfrak {C}}})=\{f(a^{\prime }_0)\}$
. Since, for each
$i<l$
, the subset
$\psi _i(\bar {d},\bar {B},\operatorname {\mathrm {\mathfrak {C}}})=\psi _0(\bar {d},s_i(\bar {B}),\operatorname {\mathrm {\mathfrak {C}}})$
is an automorphic image of
$\psi _0(\bar {d},\bar {B},\operatorname {\mathrm {\mathfrak {C}}})$
, it must be that
$|\psi _i(\bar {d},\bar {B},\operatorname {\mathrm {\mathfrak {C}}})|=1$
and so
$f(a^{\prime }_i)\in \operatorname {\mathrm {dcl}}(K^G,\bar {B})=K$
for each
$i<l$
. Moreover, we have that
$\sigma _{g_i}(f(a^{\prime }_0))=f(a^{\prime }_i)$
for each
$i<l$
. Therefore
$\models \varphi (f(a^{\prime }_0),\ldots ,f(a^{\prime }_{l-1}),\bar {B})$
leads to
$$ \begin{align*}(K,(\sigma_g)_{g\in G})\models \varphi\big(\sigma_{g_0}(f(a^{\prime}_0)),\ldots,\sigma_{g_{l-1}}(f(a^{\prime}_{0})),\bar{B}\big),\end{align*} $$
as expected.
Corollary 3.14. (QE, FS, ST
$+$
) Let G be finite and let
$(K,\bar {\sigma })$
be a substructure with G-action. Then
$(K,\bar {\sigma })$
is existentially closed if and only if:
-
(1)
$\operatorname {\mathrm {dcl}}(K)=K$
, -
(2) the group action of G on K is faithful, and
-
(3)
$K^G$
is K-strongly PAC.
Proof If the conditions (1)–(3) hold then
$(K,\bar {\sigma })$
is existentially closed by Theorem 3.13.
If
$(K,\bar {\sigma })$
is existentially closed, then Remark 3.3 gives us that
$\operatorname {\mathrm {dcl}}(K)=K$
, Lemma 3.6 gives that the group action is faithful, and the fact that
$K^G$
is K-strongly PAC follows from Lemma 3.7.
In a very similar way, we conclude the following.
Corollary 3.15. (QE, FS, ST
$+$
) Let G be finite and let
$(K,\bar {\sigma })$
be a substructure with G-action. Then
$(K,\bar {\sigma })$
is existentially closed if and only if:
-
(1)
$\operatorname {\mathrm {dcl}}(K)=K$
, -
(2) the group action of G on K is faithful, and
-
(3)
$K^G$
is PAC and algebraically K-strongly PAC.
3.3. Existence of model companion
Remark 3.16. Assume that
$A\subseteq C$
is a Galois extension (e.g., if QE, FS, G is finite and G acts faithfully on
$K=\operatorname {\mathrm {dcl}}(K)$
, we can take
$A=K^G$
and
$C=K$
). Let
$p(x)\in S(A)$
. The following are equivalent:
-
(1) There exists unique extension of p over C.
-
(2) There exists a
$G(C/A)$
-invariant extension of p over C.
Proof If there is only one extension of
$p(x)$
over C it is automatically
$G(C/A)$
-invariant. Assume that
$p(x)$
has a
$G(C/A)$
-invariant extension over C, say
$p_1(x)\in S(C)$
and led
$p_2(x)\in S(C)$
be also an extension of
$p(x)$
. As
$p_1|_{A}=p_2|_{A}$
, there exists
$f\in \operatorname {\mathrm {Aut}}(\operatorname {\mathrm {\mathfrak {C}}}/A)$
such that
$f(p_1)=p_2$
. Since
$A\subseteq C$
is Galois, we know that
$f|_C=\sigma $
for some
$\sigma \in G(C/A)$
. Then,
$p_2=f(p_1)=f|_C(p_1)=\sigma (p_1)=p_1$
.
Definition 3.17. Let
$\pi (x)$
be a partial type over A. We say that
$\pi $
is A-irreducible if there exists
$p(x)\in S(A)$
such that
$\pi \vdash p$
.
Remark 3.18. Let
$\varphi (x)\in L(A)$
be a consistent formula. Then,
$\varphi (x)$
is A-irreducible if and only if
$\{\varphi (x)\}$
is A-irreducible, which is equivalent to saying that there are no formulae
$\varphi _1(x),\varphi _2(x)\in L(A)$
such that
$\varphi (\operatorname {\mathrm {\mathfrak {C}}})\,\cap \,\varphi _1(\operatorname {\mathrm {\mathfrak {C}}})\neq \emptyset $
,
$\varphi (\operatorname {\mathrm {\mathfrak {C}}})\,\cap \,\varphi _2(\operatorname {\mathrm {\mathfrak {C}}})\neq \emptyset $
and
$\varphi (\operatorname {\mathrm {\mathfrak {C}}})\,\cap \,\varphi _1(\operatorname {\mathrm {\mathfrak {C}}})\,\cap \,\varphi _2(\operatorname {\mathrm {\mathfrak {C}}})=\emptyset $
. We use this characterization in the crucial Remark 3.20.
Lemma 3.19. (QE, FS) Assume that G is finite and G acts faithfully on
$K=\operatorname {\mathrm {dcl}}(K)$
. The following are equivalent:
-
(1)
$K^G$
is algebraically K-strongly PAC. -
(2) Each algebraic type
$p(x)\in S(K^G)$
, which has a G-invariant extension over K, is satisfiable in
$K^G$
. -
(3) Each G-invariant algebraic type
$\tilde {p}(x)\in S(K)$
is satisfiable in K. -
(4) For each
$\theta (x)\in L(K^G)$
, if
$0<|\theta (\operatorname {\mathrm {\mathfrak {C}}})|<\omega $
and
$\theta (\operatorname {\mathrm {\mathfrak {C}}})$
is K-irreducible then
$\theta (K^G)\neq \emptyset $
.
Proof The proof is easy, so we only sketch it. By Remark 3.16, we immediately obtain (1)
$\iff $
(2). For the (2)
$\iff $
(3), it is enough to observe that a G-invariant algebraic type is isolated by a
$L(K^G)$
-formula, so its restriction to
$K^G$
is also algebraic. We argue similarly on (3)
$\iff $
(4): a G-invariant algebraic type over K is isolated by an
$L(K^G)$
-formula, which is consistent, algebraic (i.e., has finitely many realizations) and K-irreducible.
Remark 3.20. (QE, FS
$+$
) In this remark, we investigate in what way being a K-irreducible formula may be expressed as a first-order statement. Assume that
$K=\operatorname {\mathrm {dcl}}(K)$
and consider a quantifier-free formula
$\varphi (y,x)\in L$
and a tuple
$a\in K^y$
. Moreover assume that
$0<|\varphi (a,\operatorname {\mathrm {\mathfrak {C}}})|=n<\omega $
. Recall that we can use the technical condition (FS
$+$
), listed at the very beginning of the paper. Let
$S_x$
be the sort related to the variable x and let
$E(\bar {x},\bar {x}')$
be a
$\emptyset $
-definable equivalence relation given by a formula expressing that “
$\{x_1,\ldots ,x_{n-1}\}=\{x^{\prime }_1,\ldots ,x^{\prime }_{n-1}\}$
”, where
$\bar {x}=(x_1,\ldots ,x_{n-1})$
and
$\bar {x}'=(x^{\prime }_1,\ldots ,x^{\prime }_{n-1})$
are tuples of variables from
$S_x$
. As we assume, E is the fibration of a
$0$
-definable function
$f:(S_x)^{n-1}\to S_w$
. Note that the elements of the image of f correspond to nonempty subsets of
$S_x(\operatorname {\mathrm {\mathfrak {C}}})$
of the size at most
$n-1$
.
One more thing before coming to the point. Assume that the element d belongs to the sort
$S_w(\operatorname {\mathrm {\mathfrak {C}}})$
, then the formula
$$ \begin{align*} (\exists\, x_1,\ldots,x_{n-1}\in S_x)\,\bigg( f(x_1,\ldots,x_{n-1})=d\,\wedge\,\bigwedge\limits_{i=1}^{n-1}\varphi(a,x_i)\bigg) \end{align*} $$
is modulo T equivalent to a quantifier-free formula, say
$\xi _{\varphi ,n}(a,d)$
.
Now,
$\varphi (a,x)$
is K-irreducible if and only if there is no proper subset
$\emptyset \neq X\subsetneq \varphi (a,\operatorname {\mathrm {\mathfrak {C}}})$
, such that X is K-definable. In other words, for each proper subset
$\emptyset \neq X\subsetneq \varphi (a,\operatorname {\mathrm {\mathfrak {C}}})$
, we have that the code
$\ulcorner X\urcorner $
does not belong to
$\operatorname {\mathrm {dcl}}(K)=K$
. We can express this last sentence, in the structure K, as follows:
$$ \begin{align*}K\models\neg(\exists\,w\in S_w)\,(\xi_{\varphi,n}(a,w)).\end{align*} $$
We will use the above in the proof of Theorem 3.23.
Now, we want to show that being a definably closed (in L) subset of
$\operatorname {\mathrm {\mathfrak {C}}}$
is a first-order statement.
Remark 3.21. (QE) Consider any
$\theta (y,x)\in L$
. The formula
$$ \begin{align*}\theta(y,x)\,\wedge\,(\forall\, x_1,x_2)\,\big(\theta(y,x_1)\,\wedge\,\theta(y,x_2)\,\rightarrow\,x_1=x_2\big)\end{align*} $$
is equivalent modulo T to some quantifier-free
$\psi _{\theta }(y,x)\in L$
. Moreover, also the formula
$(\exists \,x)\,(\psi _{\theta }(y,x))$
is equivalent modulo T to a quantifier-free formula
$\psi ^0_{\theta }(y)\in L$
. Consider
$$ \begin{align*}\Sigma:=\{\psi^0_{\theta}(y)\,\rightarrow\,(\exists\,x)\,(\psi_{\theta}(y,x)\big)\;|\;\theta(y,x)\in L\}.\end{align*} $$
Lemma 3.22 (QE, in the notation of Remark 3.21)
For a substructure
$B\subseteq \operatorname {\mathrm {\mathfrak {C}}}$
,
$B\models \Sigma $
if and only if
$\operatorname {\mathrm {dcl}}(B)=B$
.
Proof Assume that
$B\models \Sigma $
and let
$b\in \operatorname {\mathrm {dcl}}(B)$
. There exists a formula
$\theta (y,x)\in L$
and
$a\in B$
such that
$\theta (a,\operatorname {\mathrm {\mathfrak {C}}})=\{b\}$
. Then
$\models \psi _{\theta }(a,b)$
and
$\models \psi ^0_{\theta }(a)$
. As
$\psi ^0_{\theta }$
is quantifier-free, also
$B\models \psi ^0_{\theta }(a)$
, thus
$B\models (\exists \,x)\,(\psi _{\theta }(a,x))$
. It means that there exists
$b'\in B$
such that
$\models \psi _{\theta }(a,b')$
. We see that
$b'=b$
and so
$b\in B$
.
Now, let
$B=\operatorname {\mathrm {dcl}}(B)$
. Assume that
$B\models \psi ^0_{\theta }(a)$
for some
$a\in B$
and
$\theta (y,x)\in L$
. We have
$\models \psi ^0_{\theta }(a)$
, so there exists some
$b\in \operatorname {\mathrm {\mathfrak {C}}}$
such that
$\models \psi _{\theta }(a,b)$
. This implies that
$b\in \operatorname {\mathrm {dcl}}(a)\subseteq \operatorname {\mathrm {dcl}}(B)=B$
. Therefore there exists
$b\in B$
such that
$B\models \psi _{\theta }(a,b)$
.
The following theorem is an answer towards Question 2.9 (also Question 5.1) and Conjecture 5.2 from [Reference Hoffmann21].
Theorem 3.23. (QE, FS
$+$
, ST
$+$
) Let G be finite. The model companion of the theory of substructures with G-action exists provided PAC is a first-order property.
Proof By Corollary 3.15 and Lemma 3.19, we need to write down as first-order statements the following conditions:
-
(0)
$(K,(\sigma _g)_{g\in G})$
is a substructure with G-action, -
(1)
$\operatorname {\mathrm {dcl}}(K)=K$
, -
(2) the group action of G on K is faithful,
-
(3)
$K^G$
is PAC, -
(4) for each
$\theta (x)\in L(K^G)$
, if
$0<|\theta (\operatorname {\mathrm {\mathfrak {C}}})|<\omega $
and
$\theta (\operatorname {\mathrm {\mathfrak {C}}})$
is K-irreducible then
$\theta (K^G)\neq \emptyset $
.
We are working in the language
$L_G$
. The condition (0) is naturally a first-order statement, similarly the condition (2). Lemma 3.22 shows that also the condition (1) is a first-order statement. By the assumptions, condition (3) is a first-order statement. To finish the proof of the theorem, we need to show that the condition (4) is also a first-order statement.
There is no harm in assuming that the formula
$\theta (x)$
is
$\varphi (a,x)$
for some tuple a from
$K^G$
and some quantifier-free formula
$\varphi (y,x)\in L$
. The condition (4) will be expressed as an axiom scheme running over all quantifier-free formulae
$\varphi (y,x)\in L$
and all
$0<n<\omega $
.
Fix a quantifier-free formula
$\varphi (y,x)\in L$
and a natural number
$n>0$
. There exists a quantifier-free L-formula
$\psi _{\varphi }(y)$
equivalent modulo T to the formula
$(\exists ^{=n}\,x)\,(\varphi (y,x))$
. We are in situation of Remark 3.20, so we can involve the formula
$\xi _{\varphi ,n}(y,w)$
. Our axiom scheme may be written as
$$ \begin{align*}(\forall\,y)\,\bigg(\bigwedge\limits_{g\in G}\sigma_g(y)=y\,\wedge\,\psi_{\varphi}(y)\,\wedge\, \neg(\exists\,w\in (S_x)^{n-1}/E)\,(\xi_{\varphi,n}(y,w))\end{align*} $$
$$ \begin{align*}\rightarrow\;(\exists\,x)\bigg(\bigwedge\limits_{g\in G}\sigma_g(x)=x\,\wedge\,\varphi(y,x)\bigg)\bigg).\\[-43pt]\end{align*} $$
Question 3.24. (QE, FS
$+$
, ST
$+$
) Can we obtain a converse of Theorem 3.23? More precisely, does the following equivalence hold: the model companion of the theory of substructures with G-action exists for every finite group G if and only if PAC is a first-order property?
Remark 3.25. After writing the proofs of Theorems 3.13 and 3.23, we have noticed (but we have not checked all the details) that this result holds in a much greater generality, that is, if in the definition of PAC we replace “stationary” with “acl-stationary” (a unique extension over algebraic closure of the parameters), then the assumptions of stability, coding finite sets, and eliminating strong types may be skipped in Theorem 3.23. However, in this case it is unclear how useful such a result would be in terms of axiomatizing existentially closed finite group actions in this case, since there is no guarantee that faithful actions of a finite groups exist at all in general (consider, for example, the theory of linear orders) and the faithfulness in the stable was guaranteed by Lemma 3.6.
4. PAC structures in particular theories
In this section, we discuss the PAC property in some specific cases as well as some general methods for understanding PAC structures with respect to a given theory. As we are going to consider the notions of a regular extension and of a PAC structure in different theories, we plan to write “T-regular” and “T-PAC” instead of “regular in T” and “PAC in T”, respectively.
We will often refer to several particular stable theories as: the theory of compact complex manifolds CCM (for background, the reader is referred to [Reference Moosa, Baaz, Friedman and Krajíček35]) and the theories of differentially closed fields of characteristic
$0$
denoted
$\mathrm {DCF}_0$
(see, e.g., [Reference Marker, Marker, Messmer and Pillay29]) and its positive characteristic version
$\mathrm {DCF}_p$
(see, e.g., [Reference Wood49] and [Reference Wood50]), and the theories of separably closed fields of positive characteristic
$\mathrm {SCF}_{p,e}$
and
$\mathrm {SCF}_{p,\infty }$
(see, e.g., [Reference Messmer, Marker, Messmer and Pillay33]).
4.1. General methods
In this subsection, we focus on two general contexts in which the PAC property is well understood. However, in both these cases showing that PAC is a first-order property requires some extra work.
4.1.1. Totally transcendental theories
In this part, we assume that the theory T is
$\omega $
-stable. As before, let us fix for convenience a monster model
$\mathfrak {C}$
of T and an arbitrary small substructure
$K\subset \mathfrak {C}$
. It is well-known that stationary types in
$\omega $
-stable theories are determined by the formulas of Morley degree one belonging to them. In particular, we have the following result, which actually coincides with Hrushovski’s definition of the PAC property in the strongly minimal case (see [Reference Hrushovski26, Definition 1.2] and [Reference Hoffmann21, Proposition 3.10]).
Proposition 4.1. If T is a
$\omega $
-stable theory, then K is T-PAC if and only if for any formula
$\varphi \in L(K)$
of multiplicity (Morley degree) one, we have that
$\varphi (K)\neq \emptyset $
.
We recall that “DMP” stands for “Definable Multiplicity Property” and it says that for any formula
$\phi (x;a)\in L(K)$
, there is a formula
$\theta (y)\in \operatorname {\mathrm {tp}}(a)$
such that whenever
$\mathfrak {C}\models \theta (a')$
then we have:
$$ \begin{align*}\mathrm{RM}\left(\phi(x;a')\right)=\mathrm{RM}\left(\phi(x;a)\right),\ \ \ \ \deg_M\left(\phi(x;a')\right)=\deg_M\left(\phi(x;a)\right)\end{align*} $$
(see, e.g., [Reference Kikyo and Pillay27, Definition 1.1]). Some
$\omega $
-stable theories have DMP and some do not (see Remark 4.3). We get the following obvious conclusion, which was also stated in [Reference Afshordel1] under the assumption of finiteness of the Morley rank.
Proposition 4.2. If T is
$\omega $
-stable with quantifier elimination and has DMP, then being T-PAC is first-order.
Proof Since T has DMP, for each
$\phi (x;y)\in L$
, there is
$\theta _{\phi }(y)$
such that for all
$c\in \mathfrak {C}^{|y|}$
, we have:
$$ \begin{align*}\mathfrak{C}\models \theta_{\phi}(c)\ \ \ \ \ \text{if and only if}\ \ \ \ \ \deg_M\left(\phi(x;c)\right)=1.\end{align*} $$
Therefore, it is easy to write down a first-order axiom scheme expressing the T-PAC property.
Remark 4.3. We comment here on several particular
$\omega $
-stable theories.
-
(1) Proposition 4.2 applies to the case of
$T=\mathrm {ACF}_p$
, that is to the classical notion of PAC. -
(2) It is known that Morley degree is not definable in the theory DCF
$_0$
(see [Reference Freitag16, Question 1.2] and [Reference Freitag, Leon Sanchez and Li17]). However, DCF
$_0$
-PAC is still first-order as it was shown in [Reference Pillay and Polkowska41]. -
(3) It is open whether the theory of compact complex manifolds has DMP, however another approach towards the PAC property works here, which will be discussed in the next part. Partial results towards DMP for the theory CCM were obtained in [Reference Radin45].
4.1.2. Noetherian theories
In this part, we assume that models of T are naturally equipped with an extra topological structure. This assumptions is modelled on the case of
$T=\mathrm {ACF}_p$
and the Zariski topology. Such issues were thoroughly discussed in [Reference Zilber52]. We diverge here a bit from the set-up of [Reference Zilber52] to cover the case of the theory DCF
$_0$
as well.
We start from a purely topological context. Assume that S is a Noetherian topological space and let
$\mathbb {B}$
be the Boolean algebra of constructible sets in S. In this part, “irreducible” always refers to the topological irreducibility with respect to a given Noetherian topology. The following properties are folklore and they can be easily checked.
-
• If V is a non-empty closed irreducible subset of S, then
is an ultrafilter on
$$ \begin{align*}p_V:=\{C\in \mathbb{B}\ |\ \mathrm{int}_V(C\cap V)\neq \emptyset\}\end{align*} $$
$\mathbb {B}$
.
-
• The map
$V\mapsto p_V$
is a bijection between the set of closed irreducible subsets of S and the set of ultrafilters on
$\mathbb {B}$
.
We specify now our model-theoretic context.
Definition 4.4. By a Noetherian theory, we mean a pair
$(T,\sum )$
, where T is a complete L-theory and
$\sum $
consists of L-formulas of the form
$\varphi (x;y)$
, where the variables
$x,y$
vary, such that for any
$M\models T$
and any
$A\subseteq M$
, we have the following:
-
• A subset
$V\subseteq M^{|x|}$
is said to be A-closed if and only if there is
$a\subset A$
and
$\varphi (x;y)\in \sum $
such that
$V=\varphi (M;a)$
. -
• The family of A-closed sets constitutes the family of closed sets of a Noetherian topology, which we call the A-topology.
-
• Constructible sets with respect to the A-topology coincide with A-definable subsets (in Cartesian powers of M).
Remark 4.5.
-
(1) It should automatically follow (possibly after adding some light assumptions such as the equality being in
$\sum $
) that models of our Noetherian theories are topological structures in the sense of [Reference Bays, Gavrilovich and Hils4, Definition 5.1] and [Reference Zilber52, Section 2]. -
(2) The referee has pointed out to us that a very similar notion of a Noetherian theory was recently introduced by Martin-Pizarro and Ziegler (see [Reference Martin-Pizarro and Ziegler30, Definition 2.18]).
Example 4.6. We discuss several examples and non-examples of the above situation.
-
(1) The theory of algebraically closed fields (of a given characteristic) is Noetherian by considering the Zariski topology.
-
(2) The theory of compact complex manifolds (CCM) is also Noetherian, where the (Zariski) Noetherian topology is given by closed analytic subsets (see [Reference Zilber52, Section 3.4.2]).
-
(3) In the case of differential fields, we have the Kolchin topology.
-
• The theory
$\mathrm {DCF}_0$
is Noetherian by [Reference Marker, Marker, Messmer and Pillay29, Theorem 2.4]. -
• More generally, the theory
$\mathrm {DCF}_{0,m}$
is Noetherian by [Reference McGrail31, Theorem 3.1.7]. -
• The theory
$\mathrm {DCF}_p$
is not an example, since there is no quantifier elimination down to Kolchin constructible sets (see [Reference Wood49, Section 3]).
-
-
(4) The theory
$\mathrm {SCF}_{p,e}$
with the
$\lambda $
-topology is not an example, since the
$\lambda $
-topology is not Noetherian (see [Reference Messmer, Marker, Messmer and Pillay33, Section 4.6]).
For a fixed
$A\models T_{\forall }$
and
$n>0$
, it is clear that the map
$V\mapsto p_V$
is a bijection between the set of appropriate A-closed A-irreducible sets and the Stone space
$S_n(A)$
of n-types over A. In particular, any Noetherian theory is
$\omega $
-stable. We still need to have a connection between the topology and forking, which is given by the following.
Proposition 4.7. Assume that
$A\subseteq M\models T$
and
$p_V\in S_n(M)$
. Then, the type
$p_V$
does not fork over A if and only if V is definable over
$\operatorname {\mathrm {acl}}(A)$
.
Proof Since
$p_V$
does not fork over A if and only if it does not fork over
$\operatorname {\mathrm {acl}}(A)$
, we can and will assume that
$A=\operatorname {\mathrm {acl}}(A)$
.
$(\Rightarrow )$
Let
$V=V_b$
and assume that
$V_b$
is not definable over A. Let us define
$$ \begin{align*}V_0:=\bigcap_{\mathrm{tp}(c/A)=\mathrm{tp}(b/A)}V_c.\end{align*} $$
Since
$V_b$
is not definable over A, we get that
$V_0\subsetneq V$
. By Noetherianity, V is definable and closed. Since
$V_0$
is A-invariant, we get that
$V_0$
is A-definable. In particular, the formula “
$x\in V\setminus V_0$
” belongs to
$p_V$
. Since the formula “
$x\in V\setminus V_0$
” forks over A (see, e.g., the characterization of forking from [Reference Pillay40, Lemma 2.16(c)]), the type
$p_V$
forks over A.
$(\Leftarrow )$
We assume that V is A-definable. It is enough to show that for any proper M-closed
$W=W_b\subset V$
, we have that the formula “
$x\in V\setminus W$
” does not fork over A. If this formula forks over A, then by (the logical) compactness, there is a finite set of A-conjugates
$b=b_1,\ldots ,b_n$
such that
$$ \begin{align*}\left(V\setminus W_{b_1}\right)\cap \ldots \cap \left(V\setminus W_{b_n}\right)=\emptyset.\end{align*} $$
But then
$V=W_{b_1}\cup \cdots \cup W_{b_n}$
and each
$W_{b_i}$
is a proper M-closed subset of V, which contradicts the M-irreducibility of V.
We obtain the expected description of stationary types.
Corollary 4.8. Let
$A\models T_{\forall }$
, and
$p_W\in S_n(A)$
. Then,
$p_W$
is stationary if and only if W is absolutely irreducible, that is for any
$M\models T$
containing A as a substructure, W is irreducible in the M-topology.
Proof Let
$W=W_1\cup \cdots \cup W_n$
be the decomposition of W into the M-irreducible M-closed components. By uniqueness, each
$W_i$
is defined over
$\operatorname {\mathrm {acl}}(A)$
. By Proposition 4.7, each type
$p_{W_i}$
does not fork over A. Since for each i, we have
$\mathrm {cl}_A(W_i)=W$
, we get that each
$p_{W_i}$
extends
$p_W$
. It is easy to see now that
$W_i$
’s correspond exactly to non-forking extensions of
$p_W$
, which concludes the proof.
Similarly as in the case of Proposition 4.1, we get the following result.
Proposition 4.9. For any
$K\models T_{\forall }$
, we have that K is T-PAC if and only if for any absolutely irreducible K-closed set V and any non-empty relatively K-open
$U\subseteq V$
, we have that
$U(K)\neq \emptyset $
.
Remark 4.10.
-
(1) In the cases of
$T=\mathrm {ACF}_p$
and
$T=\mathrm {DCF}_{0,m}$
, we can just consider the condition “
$V(K)\neq \emptyset $
” in Proposition 4.9, since these topologies have basis of open sets being definably isomorphic to affine closed sets. It looks like there is no similar simplification for the theory CCM, since (at least in the category of complex manifolds) being isomorphic to a compact complex manifold would imply being closed. -
(2) Proposition 4.9 together with item
$(1)$
above directly generalizes the classical case of
$T=\mathrm {ACF}_p$
. -
(3) For
$T=\mathrm {DCF}_{0,m}$
the description from Proposition 4.9 (together with item
$(1)$
above) coincides with the definition taken in [Reference Leon Sanchez and Tressl46, Section 5.16] (see also [Reference Hoffmann and Leon Sanchez25, Remark 4.7(1)]). -
(4) For
$T=\mathrm {CCM}$
, we believe that this notion has not been considered before.
Similarly as in the previous part, we get the following result.
Proposition 4.11. Assume that T is a Noetherian theory. If the topological irreducibility is definable in T, then T-PAC is first-order.
We would like to single out one important case below.
Corollary 4.12.
$\mathrm {CCM}$
-PAC is first-order.
Proof By Proposition 4.11, it is enough to show that the topological irreducibility is definable in the theory CCM, which was shown in [Reference Radin44].
Remark 4.13. We would like to mention that Rahim Moosa pointed out to us that an argument for the definability of the topological irreducibility in the case of compact complex spaces can be also found in an earlier work of Campana. The reader is advised to consult Section 3.B of Premiere Partie of [Reference Campana, Norguet, Maury, Gumowski, Mira and Raynaud8].
For the terminology used in the next theorem, we advise the reader to recall Definition 3.1(5).
Theorem 4.14. If G is finite, then the theory G-
$\mathrm {CCM}$
, exists and it is supersimple with geometric elimination of imaginaries, codes finite sets and has “semi” quantifier elimination (in the same way as the theory
$\mathrm {ACFA}$
).
Proof The existence of G-CCM follows by Theorem 3.23 and Corollary 4.12. The properties of G-CCM, listed in the statement, follow by Corollary 4.28, Theorem 4.36, Lemma 4.37, and Remark 4.13 from [Reference Hoffmann21] after noticing that CCM is superstable with elimination of quantifiers and elimination of imaginaries.
Remark 4.15. All the properties stated in Theorem 4.14 hold also in the case of the theory CCMA [Reference Bays, Hils and Moosa5]. One difference between G-CCM, for finite G, and CCMA are the values of the SU-rank. As ACFA is stably embedded in CCMA, there is a sort in CCMA on which the SU-rank is not finite. On the other hand, one can show that the SU-rank of G-CCM is finite (sort-by-sort).
Remark 4.16. We finish this part with some comments on the theories of differential fields.
-
(1) Let us recall here that for the theory DCF
$_{0,m}$
the definability of Kolchin topological irreducibility is equivalent to the (generalized) Ritt problem (see [Reference Freitag, Leon Sanchez and Li17]). However, the PAC property for DCF
$_{0,m}$
is still first-order, which was shown in [Reference Leon Sanchez and Tressl46]. -
(2) It may be a good moment to point out that the methods of this paper cover that
$\mathrm {DCF}_{0}$
-PAC is first-order, but fail to generalize it to the case of DCF
$_{0,m}$
for
$m>1$
. In [Reference Leon Sanchez and Tressl46], the general case is shown in the following way.-
• First the authors of [Reference Leon Sanchez and Tressl46] show that “differential largeness” is a first-order property (see [Reference Leon Sanchez and Tressl46, Proposition 4.7]).
-
• Then they show that DCF
$_{0,m}$
-PAC is equivalent with the classical field PAC together with the “differential largeness” (see [Reference Leon Sanchez and Tressl46, Section 5.16]).
The above scheme of a proof looks like a possible another general approach (at least for the theories of fields with operators). We will discuss it further at the end of this paper (see Remark 4.45).
-
4.1.3. Equational theories
In [Reference Pillay and Srour42], the notion of an equational theory is introduced. Briefly, a theory T is equational if any formula is equivalent (modulo T) to a Boolean combination of instances of equations, where a formula
$\varphi (x,y)$
is an equation (modulo T) if the family of definable sets given by finite intersections of its instances (in any model of T) has the DCC (Descending Chain Condition).
The set-up of equation theories generalizes, in some sense, the set-up of Noetherian theories from Section 4.1.2, since Noetherian theories are equational “in a strong sense” that is the DCC condition holds not only in the case of instances of one formula but for all closed sets with respect to the given Noetherian topology. Not all the equational theories are Noetherian, since any Noetherian theory is
$\omega $
-stable and, for example,
$\mathrm {Th}({\mathbb {Z}},+)$
is equational and not
$\omega $
-stable (see remark at the end of Section 2 in [Reference Pillay and Srour42]).
There is a natural notion of irreducibility in the case of equational theories and it is possible that for an equation theory T, if this notion of irreducibility is definable, then T-PAC is first order.
4.2. Fields of positive characteristic
In this subsection, we focus on three stable theories of fields of positive characteristic:
$\mathrm {SCF}_{p,e}$
(e finite),
$\mathrm {SCF}_{p,\infty }$
, and
$\mathrm {DCF}_p$
. There are several possible languages to consider for these fields of positive characteristic and we will actually use three different options here.
4.2.1. Separably closed fields of finite imperfection degree
We consider the theory
$\mathrm {SCF}_{p,e}$
(e finite) in the language
$L_{\lambda ,b}$
, where b stands for an e-tuple of constant symbols corresponding to a fixed p-basis and we also have symbols for unary
$\lambda $
-functions defined with respect to b (see [Reference Chatzidakis11, Section 1.8]). Then, the theory SCF
$_{p,e}$
has quantifier elimination and elimination of imaginaries (cf. [Reference Chatzidakis11, Section 1.8]).
Let us fix as usual a monster model
$\mathfrak {C}\models \mathrm {SCF}_{p,e}$
. We make the following identification
$b=b^{\mathfrak {C}}$
. A subfield
$K\subseteq \mathfrak {C}$
is an
$L_{\lambda ,b}$
-substructure of
$\mathfrak {C}$
if and only if
$b\subset K$
and b is a p-basis of K (in such a case the field extension
$K\subseteq \mathfrak {C}$
is separable and even étale). Each
$L_{\lambda ,b}$
-substructure is definably closed and for
$L_{\lambda ,b}$
-substructures, the model-theoretic algebraic closure coincides with the field theoretic separable closure (see [Reference Chatzidakis and Hrushovski13, Section 1.6]) and similarly with forking (see [Reference Chatzidakis and Hrushovski13, Section 1.8]). Using the above, we immediately get the following description of regular extensions.
Fact 4.17. Let
$K_0\subseteq K_1$
be an extension of
$L_{\lambda ,b}$
-substructures of
$\mathfrak {C}$
. Then, the extension
$K_0\subseteq K_1$
is
$\mathrm {SCF}_{p,e}$
-regular if and only if
$K_0\subseteq K_1$
is a regular extension of pure fields.
We describe now PAC structures in the theory
$\mathrm {SCF}_{p,e}$
. This description appeared in [Reference Afshordel1], but the proof is only sketched there.
Theorem 4.18. Let K be a
$L_{\lambda ,b}$
-substructure of
$\mathfrak {C}$
. Then, K is
$\mathrm {SCF}_{p,e}$
-PAC if and only if K is a PAC field.
Proof In this proof, K is a
$\mathrm {SCF}_{p,e}$
-substructure of
$\mathfrak {C}$
.
$(\Rightarrow )$
Let us assume that K is
$\mathrm {SCF}_{p,e}$
-PAC and let
$K\subseteq N$
be a regular field extension. Then, there is a field extension
$N\subset N'$
such that b is a p-basis of
$N'$
(we recall that now b is a fixed p-basis of
$\mathfrak {C}$
). Therefore, we can assume that
$K\subset N'$
is an extension of
$L_{\lambda ,b}$
-substructures of
$\mathfrak {C}$
. By Fact 4.17,
$K\subseteq N'$
is also a
$\mathrm {SCF}_{p,e}$
-regular extension and K is
$L_{\lambda ,b}$
-existentially closed in
$N'$
. Therefore, K is also is
$L_{\lambda ,b}$
-existentially closed in N and K is existentially closed in N in the field sense, hence K is a PAC field.
$(\Leftarrow )$
Let us assume that K is a PAC field. Let
$b=(b_1,\ldots ,b_e)$
be a p-basis of K, which is also a p-basis of
$\mathfrak {C}$
. We will consider the unary
$\lambda $
-functions
$$ \begin{align*}\lambda_{1,e},\ldots,\lambda_{p^e,e}:\mathfrak{C}\to \mathfrak{C}\end{align*} $$
(see [Reference Chatzidakis11, Section 1.8]) with respect to this p-basis (they preserve K). We also take
$a\in \mathfrak {C}^n$
such that
$p(x):=\operatorname {\mathrm {tp}}(a/K)$
is stationary and a quantifier-free
$L_{\lambda ,b}(K)$
-formula
$\phi (x)\in p(x)$
. We need to show that
$\phi $
has a realization in K. We inductively unravel all the terms appearing in the formula
$\phi $
. For example, if we have
$$ \begin{align*}\phi(x)\colon \lambda_{i,n}\left(\lambda_{j,m}(x)+x^2\right)+x=0,\end{align*} $$
then we set
$$ \begin{align*}\bar{a}:=\left(a,\lambda_{j,m}(a),\lambda_{i,n}\left(\lambda_{j,m}(a)+a^2\right)\right).\end{align*} $$
Then, for any
$$ \begin{align*}(b_1,b_2,b_3)\in \operatorname{\mathrm{locus}}_K(\bar{a}),\end{align*} $$
we obtain that
$$ \begin{align*}b_2=\lambda_{j,m}(b_1),\ \ \ \ b_3=\lambda_{i,n}\left(\lambda_{j,m}(b_1)+b_2^2\right).\end{align*} $$
As usual when we deal with fields, we can assume that there are only equalities in the formula
$\phi $
(by replacing negations of equalities with equalities in “higher dimensions”). Using the above procedure, we obtain a tuple
$\bar {a}=(a_1,\ldots ,a_t)$
such that
$a=a_1$
and if we define
$$ \begin{align*}V:=\operatorname{\mathrm{locus}}_K(\bar{a}),\end{align*} $$
then for any
$\bar {b}\in V(\mathfrak {C})$
, we get that
$\mathfrak {C}\models \phi (\bar {b})$
. Since the type p is stationary, V is absolutely irreducible. Therefore, we obtain
$\bar {b}\in V(K)$
such that
$\mathfrak {C}\models \phi (\bar {b})$
.
There are three possible languages such that the theory
$\mathrm {SCF}_{p,e}$
(e finite) considered in each of these languages has quantifier elimination:
$L_{\lambda ,b}$
,
$L_{\lambda }$
, and the Hasse–Schmidt language (see [Reference Ziegler51]). One could wonder whether such a choice of the language affects the corresponding notion of a PAC-substructure. We address these issues in general below.
Remark 4.19. Assume that T is a stable L-theory and
$T'$
is an
$L'$
-theory being an extension by definitions of T. Consider a model M of T and its counterpart
$M'$
as an
$L'$
-structure (i.e., M equipped with the natural
$L'$
-structure), and a subset K of M.
-
(1) If K is a PAC substructure in the sense of M, then K is an
$L'$
-substructure of
$M'$
which is also a PAC substructure in the sense of
$M'$
. -
(2) If K is a PAC substructure in the sense of
$M'$
, then K is a PAC substructure in the sense of M.
For a finite group G, by Theorem 3.23 we get existence of the theory
$G-\mathrm {SCF}_{p,e}$
, which is the model companion of the theory of actions of G on characteristic p fields of inseparability degree e. This theory was already analyzed in [Reference Hoffmann and Kowalski24] using different methods.
4.2.2. Separably closed fields of infinite imperfection degree
We consider the theory SCF
$_{p,\infty }$
in the language
$L_{\lambda }$
, where the
$\lambda $
-functions are multi-variable (see [Reference Chatzidakis and Hrushovski13, Section 1.4]), this definition is recalled below (we follow [Reference Chatzidakis11, Section 1.8] here). For each
$e>0$
, we fix an enumeration
$(m_{i,e})_{1\leqslant i \leqslant p^e}$
of the monomials
$X_1^{i_1}\ldots X_e^{i_e}$
where
$0 \leqslant i_1, \ldots , i_e \leqslant p-1$
, and define the functions
$\lambda _{i,e}:K^e\times K \to K$
by considering the following three cases. Let
$b_1,\ldots ,b_e,c\in K$
and
$1\leqslant i \leqslant p^n$
.
Case 1
$b_1,\ldots ,b_e$
are p-dependent.
We set
$\lambda _{i,e}(b_1,\ldots ,b_e;c)=0$
.
Case 2
$b_1,\ldots ,b_e,c$
are p-independent.
We set
$\lambda _{i,e}(b_1,\ldots ,b_e;c)=0$
.
Case 3
$b_1,\ldots ,b_e$
are p-independent and
$b_1,\ldots ,b_e,c$
are p-dependent.
We use the following defining formula:
$$ \begin{align*}c=\sum_{j=1}^{p^e}\lambda_{j,e}(b_1,\ldots,b_e;c)^{p}m_{j,e}(b_1,\ldots,b_e).\end{align*} $$
Then, the theory SCF
$_{p,\infty }$
has quantifier elimination in the language
$L_{\lambda }$
, but it does not have elimination of imaginaries (see [Reference Chatzidakis11, Section 1.8]). As for any theory of fields, SCF
$_{p,\infty }$
eliminates finite imaginaries. Each
$L_{\lambda }$
-substructure is definably closed and for
$L_{\lambda }$
-substructures, the model-theoretic algebraic closure coincides with the field theoretic separable closure (see [Reference Chatzidakis and Hrushovski13, Section 1.6]) and similarly with forking (see [Reference Chatzidakis and Hrushovski13, Section 1.8]).
As in the previous part, we get the following description.
Fact 4.20. Let
$M\models \mathrm {SCF}_{p,\infty }$
and
$K_0\subseteq K_1$
be an extension of
$L_{\lambda }$
-substructures of M. Then,
$K_0\subseteq K_1$
is
$\mathrm {SCF}_{p,\infty }$
-regular if and only if
$K_0\subseteq K_1$
is a regular extension of pure fields.
We also need the following result of Tamagawa, which we phrase in geometric terms.
Theorem 4.21 (Tamagawa, Proposition 11.4.1 in [Reference Fried and Jarden18])
Let V be an absolutely irreducible affine variety over a PAC field K of characteristic
$p>0$
. Suppose that
$f_1,\ldots ,f_m\in K[V]$
are p-independent in
$K(V)$
and m is not greater than the imperfection degree of K. Then, there is
$a\in V(K)$
such that
$f_1(a),\ldots ,f_m(a)$
are p-independent in K.
We need a slight enhancement of Tamagawa’s Theorem, which we state and show below.
Corollary 4.22. Let V be an absolutely irreducible affine variety over a PAC field K of characteristic
$p>0$
and infinite imperfection degree. Suppose that we have a finite matrix
$(f_{i,j})_{i,j}$
of elements of
$K(V)$
whose rows are p-independent in
$K(V)$
. Then, there is
$a\in V(K)$
such that each
$f_{i,j}$
is defined at a and the rows of the matrix
$(f_{i,j}(a))_{i,j}$
are p-independent in K.
Proof We will often use the fact that the p-independence satisfies the Steinitz Exchange Principle and yields a pregeometry (see [Reference Tent and Ziegler48, Remark C.1.1.3]), hence we have the corresponding dimension notions, which we denote by
$\dim _p^{K}$
and
$\dim _p^{K(V)}$
.
We deal first with the case when
$f_{i,j}\in K[V]$
. For simplicity, let us assume that there are only three rows in our matrix and that each row has the same length m. Let us denote these rows by
$(f_i)_i, (g_i)_i, (h_i)_i$
. After permutation, there are
$k,l\leqslant m$
such that:
-
(1)
$f_1,\ldots ,f_m,g_1,\ldots ,g_k,h_1,\ldots ,h_l$
are p-independent in
$K(V)$
; -
(2)
$f_1,g_1,\ldots ,f_m,g_m\in \operatorname {\mathrm {cl}}_p^{K(V)}(f_1,\ldots ,f_m,g_1,\ldots ,g_k)$
; -
(3)
$f_1,g_1,h_1,\ldots ,f_m,g_m,h_m\in \operatorname {\mathrm {cl}}_p^{K(V)}(f_1,\ldots ,f_m,g_1,\ldots ,g_k,h_1,\ldots ,h_l)$
.
In particular, we obtain that
$$ \begin{align} \dim_p^{K(V)}(f_1,g_1,h_1,\ldots,f_m,g_m,h_m)=m+k+l. \end{align} $$
By Theorem 4.21 and item
$(1)$
above, there is
$a\in V(K)$
such that
$$ \begin{align} f_1(a),\ldots,f_m(a),g_1(a),\ldots,g_k(a),h_1(a),\ldots,h_l(a) \text{ are } p\text{-independent in } K. \end{align} $$
Using (ii) and Item
$(3)$
above, we obtain that
$$ \begin{align} \dim_p^{K}(f_1(a),g_1(a),h_1(a),\ldots,f_m(a),g_m(a),h_m(a))=m+k+l. \end{align} $$
We will show that this choice of a works. We focus on the most complicated case, that is we will prove that
$h_1(a),\ldots ,h_m(a)$
are p-independent in K (the p-independence of
$g_1(a),\ldots ,g_m(a)$
is indeed easier by item
$(2)$
above). Since
$h_1,\ldots ,h_m$
are p-independent in
$K(V)$
, there are (after a permutation)
$v\leqslant m,w\leqslant k$
such that
$f_1,\ldots ,f_v,g_1,\ldots ,g_w,h_1,\ldots ,h_m$
are p-independent in
$K(V)$
and
$$ \begin{align} f_1,g_1,h_1,\ldots,f_m,g_m,h_m\in \operatorname{\mathrm{cl}}_p^{K(V)}(f_1,\ldots,f_v,g_1,\ldots,g_w,h_1,\ldots,h_m). \end{align} $$
Using (i), (iii), and (iv), we obtain that
$$ \begin{align*} v+w+m=\dim_p^{K}(f_1(a),g_1(a),h_1(a),\ldots,f_m(a),g_m(a),h_m(a)). \end{align*} $$
If
$h_1(a),\ldots ,h_m(a)$
were p-dependent in K, we would obtain by (iv) that
$$ \begin{align*} \dim_p^{K}(f_1(a),g_1(a),h_1(a),\ldots,f_m(a),g_m(a),h_m(a))<v+w+m, \end{align*} $$
a contradiction.
We consider now that case when
$f_{i,j}\in K(V)$
. Let
$U\subseteq V$
be an open K-subvariety which is K-isomorphic to an affine variety such that is contained in the intersection of all
$\operatorname {\mathrm {dom}}(f_{i,j})$
. Then U is absolutely irreducible as well, and it is enough to apply the previously shown case of
$f_{i,j}\in K[V]$
.
Theorem 4.23. K be an
$L_{\lambda }$
-substructure of a monster model
$\mathfrak {C}\models \mathrm {SCF}_{\infty ,e}$
. Then, K is
$\mathrm {SCF}_{p,\infty }$
-PAC if and only if K is PAC and
$[K:K^p]=\infty $
.
Proof For the left-to-right implication, we take K which is
$\mathrm {SCF}_{p,\infty }$
-PAC. By [Reference Chatzidakis and Hrushovski13, Section 1.7], the properties of the generic 1-type in the theory
$\mathrm {SCF}_{p,\infty }$
imply that
$[K:K^p]=\infty $
. As in the previous part, we notice that extensions of
$L_{\lambda }$
-substructures of models of
$\mathrm {SCF}_{p,\infty }$
are
$\mathrm {SCF}_{p,\infty }$
-regular if and only if they are a regular extension of pure fields. Now, the proof is identical to the proof of the corresponding implication in Theorem 4.18.
For the right-to-left implication, assume that K is PAC and
$[K:K^p]=\infty $
. Let us take
$a\in \mathfrak {C}^m$
such that
$p(x):=\operatorname {\mathrm {tp}}(b/K)$
is stationary and a quantifier-free
$L_{\lambda }$
-formula
$\phi (x)\in p(x)$
with parameters from K. We need to show that
$\phi $
has a realization in K.
Claim. There is
$\bar {b}=(b,b')\in \mathfrak {C}^N$
such that
$V:=\operatorname {\mathrm {locus}}_K(\bar {b})$
is absolutely irreducible, and there is a finite matrix of rational functions
$(f_{i,j}\in K(V))_{i,j}$
such that for each i,
$f_{i,1},\ldots ,f_{i,m_i}$
are p-independent in
$K(V)$
and such that for all
$\bar {c}=(c,c')\in V(\mathfrak {C})$
, we have:
IF for each i,
$f_{i,1}(\bar {c}),\ldots ,f_{i,m_i}(\bar {c})$
are p-independent in
$\mathfrak {C}$
, THEN
$\mathfrak {C}\models \phi (c)$
.
Proof of Claim
By [Reference Chatzidakis11, Lemma 2.9], the formula
$\phi (x)$
is equivalent in
$\mathfrak {C}$
to an
$L(K)$
-formula of the form:
$$ \begin{align*} \exists y\ \alpha(x,y)\wedge \beta(x,y), \end{align*} $$
where
$\alpha $
is quantifier-free in the language of fields and
$\beta $
is a finite conjunction of universal formulas expressing that some subtuples of
$xy$
are p-independent. Since
$\phi (x)\in \operatorname {\mathrm {tp}}(b/K)$
, there is
$b'\subset \mathfrak {C}$
such that
$$ \begin{align*} \mathfrak{C}\models \alpha(b,b')\wedge \beta(b,b'). \end{align*} $$
This is our choice of
$b'$
as in the statement of this claim and the matrix of rational functions is given just by the coordinate functions expressing that
$\beta $
is a “conjunction of universal formulas expressing that some subtuples of
$xy$
are p-independent” (each row in this matrix corresponds to one formula from the finite conjunction giving the formula
$\beta $
).
By Corollary 4.22, there is
$\bar {a}=(a,a')\in V(K)$
such that for each i,
$f_{i,1}(\bar {a}),\ldots ,f_{i,m_i}(\bar {a})$
are p-independent in K. Since the field extension
$K\subseteq \mathfrak {C}$
is separable, each
$f_{i,1}(\bar {a}),\ldots ,f_{i,m_i}(\bar {a})$
is also p-independent in
$\mathfrak {C}$
. By Claim, we get that
$\mathfrak {C}\models \phi (a)$
, which we needed to show.
Theorem 4.24. If G is finite, then the model companion of the theory
$\big ((\operatorname {\mathrm {SCF}}_{p,\infty })_{\forall }\big )_G$
, denoted by
$G-\operatorname {\mathrm {SCF}}_{p,\infty }$
, exists.
Proof We want to use Theorem 3.23, so we need that
$\operatorname {\mathrm {SCF}}_{p,\infty }$
has QE, FS
$+$
, ST
$+$
and that PAC is a first-order property in
$\operatorname {\mathrm {SCF}}_{p,\infty }$
. After Theorem 4.23, the only thing which needs to be checked is ST
$+$
, which might be a well-known fact, but as we could not find a proof of it, we noticed that one can adapt the proof of Lemma 4.16 from [Reference Beyarslan, Hoffmann, Kamensky and Kowalski6].
4.2.3. Differentially closed fields
We consider the theory
$\mathrm {DCF}_{p}$
in the language
$L_{\lambda _0,D}$
, where
$\lambda _0$
is the inverse of Frobenius on pth powers and identically
$0$
elsewhere. Then, DCF
$_{p}$
has quantifier elimination [Reference Wood49, Theorem 11], but it does not have elimination of imaginaries [Reference Messmer and Wood34, Remark 4.3]. It was shown in [Reference Shelah47] that the theory
$\mathrm {DCF}_{p}$
is stable.
Remark 4.25. The above “
$\lambda _0$
-notation” was introduced by the second author in [Reference Kowalski28] and perhaps it was not a very good choice, since:
-
• it does not follow the original “r-notation” of Wood (see [Reference Wood50, Section 2]);
-
•
$\lambda _{\emptyset }$
is defined as the identity function in [Reference Messmer, Marker, Messmer and Pillay33, Section 4].
However, for the empty tuple
$\bar {b}$
the most natural interpretation of
$\lambda _0$
(=
$\lambda _{0,0}$
) is the one given above. Since this
$\lambda _0$
-notation was already used in several other papers, we stick with it in this paper as well.
We think that the result below is a folklore, but we could not find a reference, so we give a proof instead.
Fact 4.26. Let
$(\mathfrak {C},D)\models \mathrm {DCF}_{p}$
be a monster model and K be an
$L_{\lambda _0,D}$
-substructure of
$(\mathfrak {C},D)$
. Then we have the following:
-
(1) The model-theoretic algebraic closure of K coincides with its field theoretic separable closure.
-
(2)
$K=\operatorname {\mathrm {dcl}}(K)$
.
Proof Since K is an
$L_{\lambda _0,D}$
-substructure of
$(\mathfrak {C},D)\models \mathrm {DCF}_{p}$
, the field extension
$K\subseteq \mathfrak {C}$
is separable (see, e.g., the beginning of the proof of [Reference Beyarslan, Hoffmann, Kamensky and Kowalski6, Proposition 4.10], where this separability appears in a much more general context). Therefore, K is a also a
$L_{\lambda ,D}$
-substructure of
$(\mathfrak {C},D)$
, where
$L_{\lambda ,D}$
is the language with function symbols for all
$\lambda $
-functions.
For item
$(1)$
, we note that the separable closure of K is still a
$L_{\lambda ,D}$
-substructure of
$(\mathfrak {C},D)$
. By (a more general) [Reference Beyarslan, Hoffmann, Kamensky and Kowalski6, Lemma 4.14], we get our description of the model-theoretic algebraic closure.
For item
$(2)$
, if
$a\in \operatorname {\mathrm {dcl}}(K)$
, then by item
$(1)$
, we get that a is separably algebraic over K. Since D on K extends uniquely to
$K^{\operatorname {\mathrm {sep}}}$
, by quantifier elimination of
$\mathrm {DCF}_p$
in
$L_{\lambda _0,D}$
(or
$L_{\lambda ,D}$
), we get that the type
$\mathrm {tp}^{\mathrm {DCF}_p}(a/K)$
is isolated by
$f_a$
: the minimal polynomial of a over K. Since
$a\in \operatorname {\mathrm {dcl}}(K)$
, we get that
$\deg (f_a)=1$
, so
$a\in K$
, which we needed to show.
Again, we need the following description of regular extensions with respect to the theory we consider. It follows immediately from Fact 4.26.
Fact 4.27. Let
$(\mathfrak {C},D)\models \mathrm {DCF}_{p}$
be a monster model and
$(K_0,D)\subseteq (K_1,D)$
be an extension of
$L_{\lambda _0,D}$
-substructures of
$\mathfrak {C}$
. Then,
$K_0\subseteq K_1$
is
$\mathrm {DCF}_{p}$
-regular if and only if
$K_0\subseteq K_1$
is a regular extension of pure fields.
We specify now an
$L_{\lambda _0,D}$
-theory of some differential fields in positive characteristic. We need the following working definition first.
Definition 4.28. Let K be a field of characteristic
$p>0$
. A tuple
$(V;f_1,\ldots ,f_n)$
is admissible, if V is a K-irreducible affine K-variety and
$f_1,\ldots ,f_n\in K(V)\setminus K(V)^p$
.
We note the following obvious property.
Remark 4.29. Let
$K\subseteq M$
be a field extension. For any
$f\in K(V)$
and any
$a\in V(M)$
generic of V over K, we have that
$f\in K(V)^p$
if and only if
$f(a)\in K(a)^p$
.
Lemma 4.30. Assume that K is PAC of infinite imperfection degree (actually, non-perfect would be enough). Then, the above notion of an admissible tuple is first-order in parameters of this tuple.
Proof Let us take
$f\in K(V)$
. By Corollary 4.22, we obtain that
$f\in K(V)^p$
if and only if
$f(V(K))\subseteq K^p$
. Since the second condition is clearly first-order, the result follows.
The next question is not related to our results and we find it a bit amusing. The answer may be simple, but we were unable to find it.
Question 4.31. Is the property “
$f\in K(V)^p$
” first-order in parameters of f and V for an algebraically closed K (that is: modulo the theory ACF
$_p$
)?
To state our axioms for PAC-
$\mathrm {DCF}_p$
differential fields, we need to recall some notions. We decided to work here with the case of differential fields for the clarity of presentation, however, as we will see in Section 4.3, these results hold in a much greater generality. Still, our references here come from this more general context, since we do not know any source where they are stated exactly for the differential case.
Let
$(K,D)$
be a differential field (for a while the characteristic of K does not matter) and V be a K-variety. Then,
$\tau ^D(V)$
denotes the prolongation of V with respect to D, which in this case can be described as a torsor of the tangent bundle of V (see [Reference Pierce and Pillay39, Definition 1.4] and [Reference Moosa and Scanlon36, Definition 4.1]). We have a natural map (see, e.g., [Reference Beyarslan, Hoffmann, Kamensky and Kowalski6, Remark 2.13]):
$$ \begin{align*}D_V:V(K)\longrightarrow \tau^D(V)(K).\end{align*} $$
Let
$K\subseteq \Omega $
be a field extension and
$a,a'\subset \Omega $
be such that
$$ \begin{align*}V=\operatorname{\mathrm{locus}}_K(a),\ \ \ W=\operatorname{\mathrm{locus}}_K(a,a').\end{align*} $$
For reader’s convenience, we recall now two results from [Reference Beyarslan, Hoffmann, Kamensky and Kowalski6] which we will use.
Lemma 4.32 (Lemma 3.5 in [Reference Beyarslan, Hoffmann, Kamensky and Kowalski6])
The following are equivalent:
-
(1) There is a derivation
$D':K[a]\subseteq K[a,a']$
extending D such that
$D'(a)=a'$
. -
(2)
$W\subseteq \tau ^{D}(V)$
.
Assume that
$V,W$
are K-varieties as in the statement of Lemma 4.32, that is,
$W\subseteq \tau ^{D}(V)$
. Let
$\iota :W\to \tau ^{D}(V)$
denote the inclusion morphism and
$$ \begin{align*}\alpha:=\pi^V_{D}\circ \iota:W\to V.\end{align*} $$
Consider the following (not necessarily commutative!) diagram:
Using this diagram, we define the following K-subvariety of
$\tau ^{D}(W)$
:
$$ \begin{align*} \begin{array}{rcl} E &:=& \mathrm{Equalizer}\left(\tau^{D}(\alpha),\iota \circ \pi^W_{D}\right)\\ &=& \left\{a\in \tau^{D}(W)\ |\ \tau^{D}(\alpha)(a)=\iota \circ \pi^W_{D}(a)\right\}. \end{array} \end{align*} $$
The following result is crucial.
Theorem 4.33 (Proposition 3.6 in [Reference Beyarslan, Hoffmann, Kamensky and Kowalski6] specialized to the case of derivations)
The following are equivalent:
-
(1) The morphism
$\pi _E:E\to W$
is dominant. -
(2) There is a derivation on
$K(a,D(a))$
extending
$D:K[a]\to K[a,D(a)]$
.
We state our axioms below.
Axioms for
$D-PAC$
Let
$(K,D)$
be a differential field of characteristic
$p>0$
and for each pair of affine K-varieties
$(V,W)$
and each tuple
$f_1,\ldots ,f_n\in K(V)$
such that:
-
• W is absolutely irreducible,
-
•
$W\subseteq \tau ^{D}(V)$
, -
• the projection
$\pi :W\to V$
is dominant, -
• E projects dominantly on W,
-
• the tuple
$(W;f_1\circ \pi ,\ldots ,f_n\circ \pi )$
is admissible;
there is
$x\in V(K)$
such that
$f_1(x),\ldots ,f_k(x)$
are not pth powers in K and
$D_V(x)\in W(K)$
.
By standard arguments (see, e.g., [Reference Hoffmann and Kowalski23, Remark 2.7(1)]) and Lemma 4.30, the above axiom scheme is first-order. An essential argument using Theorem 4.33 in the proof of the result below follows the ideas of the proof of [Reference Pillay and Polkowska41, Proposition 5.6].
Theorem 4.34. Let
$(K,D)$
be a differential field of characteristic
$p>0$
considered as an
$L_{\lambda _0,D}$
-structure. Then,
$(K,D)$
is
$\mathrm {DCF}_p$
-PAC if and only if
$(K,D)$
is D-PAC (as defined above).
Proof For the left-to-right implication, we assume that
$(K,D)$
is
$\mathrm {DCF}_{p}$
-PAC and
$((V;f_1,\ldots ,f_n),W)$
is as in the assumptions of the axioms of D-PAC. By Lemma 4.32, there is a derivation
$D'\colon K(V)\to K(W)$
of the inclusion
$K(V)\subseteq K(W)$
(given by the dominant morphism
$\pi :W\to V$
). By Theorem 4.33,
$D'$
extends to a derivation
$D"\colon K(W)\to K(W)$
. Since W is absolutely irreducible, the extension
$K\subseteq K(W)$
is regular and
$(K,D)\subseteq (K(W),D")$
is also a differential field extension. By Fact 4.27,
$(K,D)\subseteq (K(W),D")$
is a
$\mathrm {DCF}_p$
-regular extension. Since
$(K,D)$
is
$\mathrm {DCF}_p$
-PAC, we get that
$(K,D)$
is existentially closed in
$(K(W),D")$
(in the language
$L_{\lambda _0,D}$
).
Let us choose:
$$ \begin{align*}a=\operatorname{\mathrm{id}}_{K[V]}\in V(K(V))\subseteq V(K(W)).\end{align*} $$
Then, as usual, we have
$D^{\prime \prime }_V(a)\in W(K(W))$
. Since a is a generic point of V over K, by Remark 4.29, we get that
$f_1(a),\ldots ,f_k(a)$
are not pth powers in
$K(W)$
. Since
$(K,D)$
is existentially closed in
$(K(W),D")$
(in the language
$L_{\lambda _0,D}$
), there is
$\alpha \in V(K)$
such that
$f_1(\alpha ),\ldots ,f_k(\alpha )$
are not pth powers in K and
$D_V(\alpha )\in W(K)$
.
For the right-to-left implication, we assume that
$(K,D)$
is D-PAC. Let us take
$a\in M^n$
such that
$p(x):=\operatorname {\mathrm {tp}}(a/K)$
is stationary and a quantifier-free
$L_{\lambda _0,D}(K)$
-formula
$\phi (x)\in p(x)$
. We need to show that
$\phi $
has a realization in K. As usual, we can assume that
$\phi $
does not contain negations of equalities. We will “correct” now the formula
$\phi (x)$
(at the cost of adding extra variables, some fixed terms, and a new tuple of elements of M including a) into a new formula
$\varphi (\bar {x})\in L_D$
over K such that
$\bar {x}=(x_1,\ldots ,x_l)$
and
$x_1=x$
.
We illustrate this “correction” using an example first. Assume that the formula
$\phi (x)$
has the following form:
$$ \begin{align*}D\left[\lambda_0\left(D\left(\lambda_0(x)\right)+D(x)\right)\right]+x=0.\end{align*} $$
We consider two cases, where each of them has two subcases. For the new variables, we will use
$y,z$
rather than
$x_2,x_3$
.
Case I:
$\lambda _0(a)=0$
.
Subcase I.1:
$\lambda _0(D(a))=0$
(so:
$a=0$
).
The “correction” is
$\varphi (x)\colon x=0$
and there are no extra variables and no fixed terms.
Subcase I.2:
$\lambda _0(D(a))\neq 0$
.
The “correction” is
$$ \begin{align*}\varphi(x,y)\colon y^p=D(x) \wedge D(y)+x=0,\end{align*} $$
the fixed term is
$t_1(\bar {x})=x$
, and
$\bar {a}=(a,D(a)^{1/p})$
.
Case II:
$\lambda _0(a)\neq 0$
(so:
$D(a)=0$
).
Subcase II.1:
$\lambda _0\left (D\left (\lambda _0(a)\right )\right )=0$
.
It cannot happen, since then
$a=0$
and
$\lambda _0(a)\neq 0$
.
Subcase II.2:
$\lambda _0\left (D\left (\lambda _0(a)\right )\right )\neq 0$
.
The “correction” is
$$ \begin{align*}\varphi(x,y,z)\colon y^p=x \wedge z^p=D(y)+D(x) \wedge D(z)+x=0,\end{align*} $$
there are no fixed terms, and
$$ \begin{align*}\bar{a}=\left(a,a^{1/p},\left(D\left(a^{1/p}\right)\right)^{1/p}\right).\end{align*} $$
The general procedure can be explained using induction on the complexity of
$L_{\lambda _0,D}$
-terms over K. We obtain a quantifier-free
$L_D$
formula
$\varphi (\bar {x})$
over K,
$L_D$
-terms
$t_1(\bar {x}),\ldots ,t_k(\bar {x})$
over K such that
$$ \begin{align*} (*)\ \ \ \ \ \ \text{if } (K,D)\models \varphi(\bar{\alpha}) \text{ and } t_1(\bar{\alpha})\notin K^p,\ldots,t_k(\bar{\alpha})\notin K^p\text{, then } K\models \phi(\alpha), \end{align*} $$
and
$\bar {a}$
such that
$(M,D)\models \varphi (\bar {a})$
and
$t_1(\bar {a})\notin M^p,\ldots ,t_k(\bar {a})\notin M^p$
.
Let us take now a quantifier-free L formula
$\psi (\tilde {x})$
over K such that
$$ \begin{align*}\varphi(\bar{x})\colon \ \ \ \psi\left(\bar{x},D(\bar{x}),\ldots,D^m(\bar{x})\right)\end{align*} $$
for some
$m\in {\mathbb {N}}$
. Let us define:
$$ \begin{align*}\tilde{a}:=\left(\bar{a},D(\bar{a}),\ldots,D^m(\bar{a})\right),\ \ \ \ V:=\operatorname{\mathrm{locus}}_K\left(\tilde{a}\right),\ \ \ \ W:=\operatorname{\mathrm{locus}}_K\left(\tilde{a},D(\tilde{a})\right).\end{align*} $$
Let
$\pi :W\to V$
denote the dominant projection on the “
$\tilde {a}$
-coordinates”. There are rational function symbols
$f_1(\tilde {x}),\ldots ,f_k(\tilde {x})$
over K such that for each i, we have
$$ \begin{align*}t_i(\bar{x})=f_i\left(\bar{x},D(\bar{x}),\ldots,D^m(\bar{x})\right).\end{align*} $$
Therefore, we obtain that for each i,
$$ \begin{align*}f_i\left(\tilde{a}\right)=t_i\left(\bar{a}\right)\notin M^p\supseteq K\left(\tilde{a},D(\tilde{a})\right)^p=K(W)^p,\end{align*} $$
so
$(W;f_1\circ \pi ,\ldots ,f_n\circ \pi )$
is an admissible tuple.
Let us take
$\tilde {\alpha }\in V(K)$
such that
$f_1(\tilde {\alpha }),\ldots ,f_k(\tilde {\alpha })$
are not pth powers in K and
$D_V(x)\in W(K)$
. By the construction we get that
$$ \begin{align*}\tilde{\alpha}=\left(\bar{\alpha},D(\bar{\alpha}),\ldots,D^m(\bar{\alpha})\right).\end{align*} $$
Therefore, we obtain
$(K,D)\models \varphi (\bar {\alpha })$
and
$t_1(\bar {\alpha }),\ldots ,t_k(\bar {\alpha })$
are not pth powers in K. By
$(*)$
above, we obtain that
$K\models \phi (\alpha )$
.
Remark 4.35. It was shown in [Reference Gogolok19] that the “equalizer condition” on the dominant map
$E\to W$
can be replaced with the easier condition of separability of the map
$W\to V$
and then we still get geometric axioms of
$\mathrm {DCF}_p$
(it also applies to the case of derivations of the Frobenius map). However, we do not know whether such a replacement would also work for the PAC-axioms, since we will not have Theorem 4.33 after such a replacement.
Theorem 4.36. If G is finite, then the model companion of
$\big ( (\operatorname {\mathrm {DCF}}_p)_{\forall }\big )_G$
, denoted by
$G-\operatorname {\mathrm {DCF}}_p$
, exists.
Proof Once again, we would like to use Theorem 3.23. We have that
$\mathrm {DCF}_{p}$
satisfies FS
$+$
and it will be shown in a greater generality (see again Section 4.3) that types over algebraically closed sets are stationary (so ST
$+$
follows). Theorem 4.34 assures us that the PAC property is first order in
$\operatorname {\mathrm {DCF}}_p$
.
We would like to include here the following general result which will be immediately useful.
Remark 4.37. Let T be a L-theory with quantifier elimination and G be an arbitrary group.
-
(1) If the theory
$G-T$
exists, then the theory
$G-(T^{\operatorname {\mathrm {eq}}})^m$
exists as well, where the superscript “m” denotes the Morleyization. -
(2) If G is finite, T is stable, and the theory
$G-T$
exists, then the theory
$G-(T^{\operatorname {\mathrm {eq}}})^m$
is simple.
Proof The proof of item
$(1)$
is straightforward and we leave it to the reader. Item
$(2)$
follows from [Reference Hoffmann21, Corollary 4.28].
Using Remark 4.37, we obtain the following.
Corollary 4.38. Let G be a finite group and p be a prime number.
-
(1) The theory
$G-\operatorname {\mathrm {SCF}}_{p,\infty }$
is strictly simple, that is simple, not stable, and not supersimple. -
(2) The theory
$G-\operatorname {\mathrm {DCF}}_p$
is strictly simple as well.
4.3. Fields with operators
In this subsection, we briefly explain how to generalize Theorem 4.34 beyond the case of differential fields. We recall below some of the set-up from [Reference Beyarslan, Hoffmann, Kamensky and Kowalski6].
Let
$\mathbf {k}$
be a field and B be a finite local
$\mathbf {k}$
-algebra of dimension e. Assume that we have a
$\mathbf {k}$
-algebra map
$\pi _B:B\to \mathbf {k}$
. Let
$\{b_0,\ldots ,b_{e-1}\}$
be a fixed
$\mathbf { k}$
-basis of B such that
$b_0=1$
and
$\pi _B(b_i)=0$
for
$i>0$
. For convenience, we also set
$d:=e-1$
.
Definition 4.39. Assume that R and T are
$\mathbf {k}$
-algebras and let
$\partial =(\partial _0,\ldots ,\partial _d)$
where
$\partial _0,\ldots ,\partial _d:R\to T$
are
$\mathbf {k}$
-algebra homomorphisms.
-
(1) If
$R=T$
and
$\partial _0=\operatorname {\mathrm {id}}$
, then we say that
$\partial $
is a B-operator on R if the corresponding map is a
$$ \begin{align*}R\ni r\mapsto \partial_0(r)\otimes b_0+\cdots+\partial_d(r)\otimes b_d\in R\otimes_{\mathbf{ k}}B\end{align*} $$
$\mathbf {k}$
-algebra homomorphism. We will also denote the map above by the same symbol
$\partial $
.
-
(2) More generally, if the corresponding map
is a
$$ \begin{align*} R\ni r\mapsto \partial_0(r)\otimes b_0+\cdots+\partial_d(r)\otimes b_d\in T\otimes_{\mathbf{ k}}B \end{align*} $$
$\mathbf {k}$
-algebra homomorphism, then we say that
$\partial $
is a B-operator from R to T. Note that if
$\partial $
is a B-operator from R to T, then
$\partial _0:R\to T$
is a
$\mathbf {k}$
-algebra homomorphism.
Assume that
$(K,\partial )$
is a field with a B-operator and V is an affine K-variety. The notion of a prolongation
$\tau ^{\partial }(V)$
was defined in this generality (see [Reference Moosa and Scanlon37]). Under the additional assumption of
$\mathrm {Fr}_B(\ker (\pi _B))=0$
(see [Reference Beyarslan, Hoffmann, Kamensky and Kowalski6, Remark 3.3]), we get the versions of Lemma 4.32 and Theorem 4.33 (actually, the references from Section 4.2.3 are coming exactly from the B-operator context). We get the corresponding Axioms for
$\partial $
-PAC (with the identical formulation) and a generalization of Theorem 4.34. The proof of this generalization is conceptually the same, but would be more cumbersome to write comparing to the proof of Theorem 4.34. Therefore we decided to include the general case of B-operators as this comment only.
Remark 4.40. The argument above works in the even more general case of
$\mathcal {B}$
-operators (replacing B-operators from Definition 4.39) as considered in [Reference Gogolok and Kowalski20]. The main example of a
$\mathcal {B}$
-operator which is not a B-operator is a derivation of the Frobenius map.
Remark 4.41. Using Theorem 3.23, we obtain that for a finite group G, the theory of G-actions on fields with B-operators (and also on fields with
$\mathcal {B}$
-operators) has a model companion. It may be shown more directly and without going through
$\lambda $
-functions. The axiomatization is as follows.
Axioms for G-B-DCF
The structure
$(K,\partial ,\sigma )$
is a G-B-field such that for each pair
$(V,W)$
of
$K^G$
-varieties, IF:
-
• the action of G on K is faithful,
-
• V and W are K-irreducible,
-
•
$W\subseteq \tau ^{\partial }(V)$
, -
• W projects generically on V,
-
• E projects generically on W;
THEN there is
$x\in V(K^G)$
such that
$\partial _V(x)\in W(K^G)$
.
4.4. Other examples and questions
We discuss now some other examples and ask some questions. In [Reference Pillay and Polkowska41], an example of a stable theory T is given such that the class of T-PAC structures is not elementary. However, the theory T in this example does not have quantifier elimination, so from our perspective it is not a good theory to test whether the PAC property is first-order.
More precisely, in [Reference Pillay and Polkowska41, Example 5.1] the theory of an equivalence relation with exactly one finite class of n elements for each
$n>0$
appears. This theory is (implicitly) considered in the natural language with one unary relation symbol. Then, this theory is not even model complete, since finite classes in a model may become infinite in its extension. Similarly, one can see that this theory is not inductive. Therefore, to have any hopes for quantifier elimination, one needs to add to the language the unary predicates
$(R_n)_{n>0}$
naming all finite equivalence classes (see also [Reference Pillay and Polkowska41, Example 5.2], where each element of each finite equivalence class is named). Using Robinson’s Test, it is not difficult to check that with such a choice of the language this theory becomes model complete and also substructure complete, so it has quantifier elimination. Then, taking algebraic closure is the same as adding “missing points” in all named finite classes. Therefore, if
$M\subseteq M'$
and
$M'$
is a subset of a model, then
$\operatorname {\mathrm {acl}}(M)\cap M'=M$
if and only if for all n, we have
$R_n(M)=R_n(M')$
. Thus, M is PAC if and only if
$M=\operatorname {\mathrm {dcl}}(M)$
and M is infinite, so PAC is a first-order property in this case (note that definably closed substructures are such ones that each finite class does not have “co-size one”).
As a conclusion, we do not know any stable theory T with quantifier elimination such that the class of T-PAC structures is not elementary. We formulate the relevant question below.
Question 4.42. Assume that T is stable and has quantifier elimination. Is the class of T-PAC structures elementary?
Positive answer to the question above implies (using Theorem 3.23) that for a finite group G and for T as above eliminating strong types and coding finite sets, the theory of actions of G on models of
$T_{\forall }$
has a model companion.
Remark 4.43. This is related to a general conjecture of the first author (see [Reference Hoffmann21, Conjecture 5.2]):
“Assume that
$T_0$
is theory with a model companion and G is a finite group. Does the theory of G-actions on models of
$T_0$
have a model companion?”
This conjecture was meanwhile refuted in [Reference Beyarslan and Kowalski7, Remark 3.9(2)], where
$T_0$
is the theory of difference fields. In this example, the model companion of
$T_0$
(the theory ACFA) is neither stable nor it has quantifier elimination.
To pursue the answer for the above question one can start with somehow stronger assumption:
Question 4.44. Assume that T has nfcp (no finite cover property) and has quantifier elimination. Is the class of T-PAC structures elementary?
The above assumption on not having the finite cover property is related to the PAC property a little bit in Remark 3.6 in [Reference Pillay and Polkowska41], but the main point here is that it was shown in general that a stronger variant of the notion of nfcp (i.e., T does not admit obstructions) implies the model companion of the theory of models of T with a group action of
$\mathbb {Z}$
exists [Reference Baldwin and Shelah3].
Let T be a stable theory with quantifier elimination. If we replace a finite group G with the cyclic infinite group
${\mathbb {Z}}$
, then the model theory of actions of
${\mathbb {Z}}$
on models of T (we do not have distinguish between
$T_{\forall }$
and T in this case) has been thoroughly studied (see, e.g., [Reference Chatzidakis and Hrushovski12] and [Reference Chatzidakis and Pillay14]). An analogue of our Question 3.24 was asked in before Lemma 4.2 in [Reference Pillay and Polkowska41], that is it is asked there whether the existence of the theory
$TA$
(which is called
${\mathbb {Z}}-T$
in this paper) implies that T-PAC is first order. The main result of this paper, Theorem 3.23, gives the opposite implication in the case of finite groups. Such an implication is not true in the case of the actions of
${\mathbb {Z}}$
(see [Reference Pillay and Polkowska41, Example 5.2]).
Remark 4.45. To keep this paper reasonably sized, we have not checked all the known stable theories. However, there is one theory which we would not mind to analyze but the methods of this paper do not suffice to do that. This is the theory DCF
$_{p,m}$
for
$m>1$
, that is the theory of differentially closed fields of characteristic
$p>0$
with m commuting derivations, see [Reference Pierce38] where the theory of differentially closed fields with m commuting derivations is considered in arbitrary characteristic (it is called m-DCF in [Reference Pierce38]). Similarly as in the case of DCF
$_{0,m}$
for
$m>1$
, we can not repeat our argument from the proof of Theorem 4.34, since we do not have a version of Theorem 4.33 in the case of several commuting derivations. It looks natural here to apply the approach of [Reference Leon Sanchez and Tressl46] described briefly in Remark 4.16(3) that is:
-
• develop the appropriate notion of largeness for differential fields of positive characteristic;
-
• show that the above notion is first-order;
-
• show that DCF
$_{p,m}$
-PAC is the same as the largeness above together with the PAC in the sense of fields.
We plan to pick it up in a further research.
Funding statement
Hoffmann was supported by the Narodowe Centrum Nauki (Grant No. 2021/43/B/ST1/00405). Kowalski was supported by the Narodowe Centrum Nauki (Grant No. 2021/43/B/ST1/00405) and by the Tübitak 1001 (Grant No. 119F397).
Open access
