Co-theory of sorted profinite groups for PAC structures
Daniel Max Hoffmann, Junguk Lee

TL;DR
This paper extends Galois theory to many-sorted structures, providing coding methods, independence theorems, and characterizations of algebraic closure in PAC structures within model theory.
Contribution
It introduces a new framework for Galois groups in many-sorted structures and develops tools for analyzing PAC substructures and their properties.
Findings
Developed a variant of Galois theory for many-sorted structures
Provided a coding method for Galois groups in monster models
Proved the Weak Independence Theorem for PAC substructures
Abstract
We achieve several results. First, we develop a variant of the theory of absolute Galois groups in the context of many sorted structures. Second, we provide a method for coding absolute Galois groups of structures, so they can be interpreted in some monster model with an additional predicate. Third, we prove the "Weak Independence Theorem" for PAC substructures of an ambient structure with nfcp and the property B(3). Fourth, we describe Kim-dividing in these PAC substructures and show several results related to the SOPn hierarchy. Fifth, we characterize the algebraic closure in PAC structures
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsTopological and Geometric Data Analysis · Geometric and Algebraic Topology · Homotopy and Cohomology in Algebraic Topology
Co-theory of sorted profinite groups for PAC structures
Daniel Max Hoffmann*†*
† Instytut Matematyki
Uniwersytet Warszawski
Warszawa
Poland
*and
* Department of Mathematics
University of Notre Dame
Notre Dame
IN
USA
[email protected] https://sites.google.com/site/danielmaxhoffmann/ and
Junguk Lee*∗*
*∗*Instytut Matematyczny
Uniwersytet Wrocławski
Wrocław
Poland
Current address: Department of Mathematical Sciences, KAIST, 291, Daehak-Ro, Yuseong-Gu, Daejeon, 34141, Republic of Korea
[email protected] https://sites.google.com/site/leejunguk0323/
Abstract.
We achieve several results. First, we develop a variant of the theory of absolute Galois groups in the context of many sorted structures. Second, we provide a method for coding absolute Galois groups of structures, so they can be interpreted in some monster model with an additional predicate. Third, we prove the “Weak Independence Theorem” for PAC substructures of an ambient structure with nfcp and the property B(3). Fourth, we describe Kim-dividing in these PAC substructures and show several results related to the SOPn hierarchy. Fifth, we characterize the algebraic closure in PAC structures.
2010 Mathematics Subject Classification. Primary 03C95; Secondary 03C45, 03C52.
Key words and phrases. pseudo-algebraically closed structures, Galois groups, Kim-independence
*†*SDG. The first author is supported by the Polish Natonal Agency for Academic Exchange and the National Science Centre (Narodowe Centrum Nauki, Poland) grants no. 2016/21/N/ST1/01465, and 2015/19/B/ST1/01150.
*∗*The second author is supported by the Narodowe Centrum Nauki grant no. 2016/22/E/ST1/00450 and by KAIST Advanced Institute for Science-X fellowship.
Contents
1. Introduction
A major aim of this paper is to generalize research on the “co-logic” of profinite groups initiated in an unpublished work of Cherlin, van den Dries and Macintyre ([12]) and then continued with successful applications by Chatzidakis (e.g. [7], [8], [6]). Originally, the “co-logic” was introduced as a tool to describe subfields (in particular pseudo-algebraically closed subfields) of a one-sorted saturated algebraically (or separably) closed field. Our modification of the “co-logic” serves as a tool in studying substructures of an arbitrary, possibly many-sorted, monster model. However the most interesting results are obtained under additional assumptions on the monster model (like stability, nfcp, or the property ) and for the class of pseudo-algebraically closed substructures.
The notion of a pseudo algebraically closed substructure (PAC substructure, see Definition 2.4) is a natural generalization of the notion of a pseudo-algebraically closed field (PAC field), which occurs in works of Ax ([1], [2]) and Frey ([16]) and which arises from studying pseudo-finite fields. A field is PAC if and only if each absolutely irreducible -variety has a -rational point (or equivalently: it is existentially closed in every regular extension). Because of the so-called “Elementary Equivalence Theorem” (see [17, Theorem 20.3.3] and [22, Theorem 3.2]), PAC fields were extensively studied in the second half of the 20th century as a natural class of fields determined by the properties of their absolute Galois groups. Also model theory recognizes PAC fields as a source of interesting phenomena ([15], [11], [10]). For example, PAC fields played an important role in the studies on (geometric) simplicity (see the introduction to [21]). The relation between simplicity of a PAC field and properties of its absolute Galois group is a well-known result (see [25, Fact 2.6.7] — a PAC field is simple if and only if its absolute Galois group is small as a profinite group). However, it turns out that there is a similar link between NSOP1 of a PAC field and more sophisticated properties of its absolute Galois group (see [6], [32]), and the main goal of the following paper is to generalize this link to the level of arbitrary PAC substructures in the stable context.
PAC substructures were already studied in the case of a strongly minimal ambient monster model ([21]) and also in the case of a stable ambient monster model ([30]). An interesting result is provided in [31], where the author proves that theory of bounded PAC structures must be simple. Bounded means that the absolute Galois group (automorphisms of the algebraic closure considered in the stable ambient monster model) is a small profinite group. Therefore it was reasonable to suspect that, similarly to PAC fields, PAC structures are controlled by their absolute Galois groups. The main result of [14] is the so-called “Elementary Equivalence Theorem for Structures” — a counterpart of the aforementioned “Elementary Equivalence Theorem” covering the case of PAC structures (in short: two PAC structures have the same first order theory provided they have isomorphic absolute Galois groups). In the case of fields, the “Elementary Equivalence Theorem” was elaborated in [12] to a version involving the “co-logic” (see [12, Proposition 33]), which was helpful in later studies on PAC fields in model theory (especially in the current studies in neostability: [6] and [32]). Therefore we are developing here a version of the “co-logic” for arbitrary structures, expressing afresh the “Elementary Equivalence Theorem for Structures” and then use it to show results related to Kim-independence in PAC substructures. Our generalization of the “co-logic” is thought to achieve the following goals:
- •
to describe absolute Galois groups in a way that they can be interpreted in a monster model (many-sorted case): Section 3
- •
to refine the “Elementary Equivalence Theorem for structures” and provide a description of types in PAC structures: Section 4
- •
to generalize a recent theorem of Chatzidakis (c.f. [6, Theorem 3.1]): Section 5
- •
to achieve the “Weak Independence Theorem” (Theorem 6.8): Section 6
- •
to describe Kim-independence and conditions for NSOPn in PAC substructures: Section 6
The part related to Kim-independence was inspired by [32]. Let us explain the context of these results. In [6], Chatzidakis achieved her Theorem 3.1, which is a beautiful result connecting a notion of independence in a PAC field with its counterpart on the level of the absolute Galois group. Then Chatzidakis considered a notion of independence combining the forking independence in algebraically/separably closed monster field and the forking independence present in the “co-logic” of the absolute Galois group of a given PAC subfield, and this led to results about NSOPn for . Ramsey has (in [32]) a slightly different approach and he combines the notion of independence from the forking independence in algebraically/separably closed monster field and the Kim-independence on the level of the absolute Galois group of a given PAC subfield. By this, he obtains results concerning NSOP1 and NSOP2, and a characterization of the Kim-independence in a PAC field. All this was achieved using Chatzidakis’ theorem ([6, Theorem 3.1]), therefore the central part of this paper is a generalization of [6, Theorem 3.1] to the case of substructures of a stable monster model which satisfies the property ([26], [18]), Proposition 5.6. After achieving Proposition 5.6, we start to assume nfcp (the no finite cover property), mainly because our interpretation of absolute Galois groups is given in pairs of structures, and a theory of pairs of structures is more tame if the bigger structure has nfcp.
In Section 6, we provide the so-called “Weak Independence Theorem”, Theorem 6.8, which is the main ingredient in our results related to NSOP1 and the Kim-independence. The Weak Independence Theorem says that if the Independence Theorem (over a model) holds in the “co-logic”, it also holds in a PAC substructure. We hope that Theorem 6.8 will serve in a better understanding of the nature of Kim-independence in the ongoing research on neostability. A prospective use of Theorem 6.8 might involve fields with operators (to work with a monster model which has nfcp and the property ), -actions (to get control over the absolute Galois group, as in [20]) and results about the logical structure of profinite groups (as in [7], e.g. if a profinite groups enjoys the Iwasawa Property, then its theory — in the language of complete systems — is stable).
In Section 7, we provide a description of the algebraic closure in PAC substructures. This part is independent from the previous sections and generalizes similar results given in [11]. In the case of -stable monster models, we obtain a precise description of the algebraic closure operator in PAC structures.
We end the paper with Section 8, where we show that the previously obtained results might be applied to the theory of DCF0.
Now, let us provide conditions assumed in this paper. We fix a theory in a language , and we set which is a theory in language (we add imaginary sorts and then do the Morleyisation). Note that has quantifier elimination and elimination of imaginaries (even uniform elimination of imaginaries in the sense of point b) from [36, Lemma 8.4.7], which will be used in Subsection 3.3). Moreover
- •
if is stable, then is stable,
- •
if has nfcp (the no finite cover property, Definition 4.1 and Theorem 4.2 in [34, Chapter II]), then has nfcp
- •
if is stable and has the property (see Definition 5.2), then has the property .
Let us enumerate all sorts of by . Moreover, we fix a monster model and assume that (in other words: we assume that is complete).
2. Preliminaries
Here, we provide definitions of several notions important for the rest of this paper. The paper continues studies from [14], hence instead of copying large parts of the text of [14], we decided to include only definitions of some basic notions which are used in formulations of forthcoming results.
Definition 2.1**.**
For any subsets of and tuple , we define
[TABLE]
[TABLE]
Definition 2.2**.**
- (1)
Assume that are -substructures of . We say that is normal over (or we say that is a normal extension) if . (Note that if is small and is normal, then it must be .) 2. (2)
Assume that are small -substructures of such that , and is normal over . In this situation we say that is a Galois extension.
Definition 2.3**.**
Let be small subsets of . We say that is -regular (or just regular) if
[TABLE]
Definition 2.4**.**
Assume that and is a substructure of . We say that is PAC in if for every regular extension of in (i.e. and is regular over ), the structure is existentially closed in . If is PAC in , then we say that is PAC.
For a more detailed exposition of the notions of regularity and PAC structures, the reader may consult [19, Section 3.1].
Fact 2.5**.**
Let be PAC, and let . Then is PAC.
Proof.
Let be a regular extension of . Suppose for a quantifier free and , say for an . We may find such that and P\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{P_{0}}n^{\prime} (in ).
Since P\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{P_{0}}n^{\prime}, by [19, Lemma 3.39], is a regular extension of . Because is PAC, we have that , which immediately implies that . ∎
The notion of a sorted isomorphism of absolute Galois groups was introduced in [14], and the main theorem of [14] is also proven after using this notion in the proof of [14, Lemma 5.5]. Let us collect here important notions and facts from [14], which will be used in the rest of this paper.
Notation 2.6**.**
Let be a set.
- (1)
Let be the set of finite tuples of elements in . 2. (2)
For , we write if is a subtuple of (i.e. if , then any , where and , is a subtuple of ). 3. (3)
For , we write for the concatenation of and . 4. (4)
For , set . 5. (5)
For and a permutation , . 6. (6)
For , we write . 7. (7)
is the image of the restriction map , where is a Galois extension of small substructures of .
Definition 2.7**.**
An element is a primitive element of a Galois extension if . By we denote the subset of of all primitive elements of the Galois extension .
Fact 2.8** (Primitive Element Theorem).**
[14, Proposition 4.3]** If for a Galois extension , then .
For a topological group , we define as the family of all open normal subgroups of . For small substructure of and , we put
[TABLE]
[TABLE]
If there is no confusion, we skip the subscript and write and for and respectively.
Definition 2.9**.**
Assume that and are small substructures of and is a continuous epimorphism. We say that is sorted if for each we have .
We say that is a sorted isomorphism if is an isomorphism of profinite groups such that and are sorted.
The following fact is an improvement of results obtained in [14, Proposition A.11].
Fact 2.10**.**
Assume that is an extension of small substructures of such that . Let be the restriction map . The following conditions are equivalent.
- (1)
* is regular.* 2. (2)
* is a sorted epimorphism.* 3. (3)
* is an epimorphism.*
Moreover, if any of the above listed condition holds, then for each , if , then .
Proof.
- 2) We start with showing that is onto. It is enough to show that the restriction map induces an epimorphism to for each open normal subgroup of .
Fix an open normal subgroup of . Let be a primitive element of over .
Claim
Proof of the claim: It is clear that . Let be the code of . It is algebraic over so is contained in . Also, is contained in the definable closure of . Therefore, (by regularity of over ). So, we conclude that is a subset of . Here ends the proof of Claim.
Choose arbitrary and define to be . Since , there exists such that . Because is a primitive element of over , we have that .
To show that is sorted it is enough to follow the proof of [14, Proposition A.11] (the assumption about stability in the proof of [14, Proposition A.11] was used to show that is onto, since we already achieved this, we may use the rest of the proof).
-
3) Obvious.
-
1) It is standard, but let us give the proof. Suppose that there is an element . There exists such that and there is also such that . Then (since ).
The moreover part also is covered by the proof of [14, Proposition A.11] ∎
Corollary 2.11**.**
[14, Corollary 3.7]** Assume that is stable. If and are -PAC substructures of (, please consult [30, Definition 3.1] for the notion of -PAC substructure), and for some definably closed of size strictly smaller than there exists a continuous isomorphism such that
[TABLE]
, then .
The following definition is a modification of [30, Definition 3.3], which was already used in the main result of [14] (see Theorem 2.13).
Definition 2.12**.**
We say that PAC is a first order property in if there exists a set of -sentences such that for any and
[TABLE]
Theorem 2.13** (Elementary Equivalence Theorem for Structures).**
[14, Theorem 5.11]** Assume that is stable. Suppose PAC is a first order property. Assume that
- •
, , , , are small definably closed substructures of ,
- •
, ,
- •
* and are PAC,*
- •
* is such that ,*
- •
* is a sorted isomorphism such that*
[TABLE]
where .
Then .
Corollary 2.14**.**
Let be stable. Suppose PAC is a first order property. If the restriction map , where are PAC structures, is a sorted isomorphism, then .
In the case of being a stable theory, we see that for a regular extension of PAC structures the restriction map is sorted and if it is a sorted isomorphism, then the embedding is elementary. We want to develop a first order language for profinite groups (similarly as in [12]) which will encode “being a sorted map” and which will distinguish maps corresponding to elementary embeddings. One of our goals is to find an appropriate property in the place of “?” in the following picture, where is an extension of PAC structures (in the case of stable ):
[TABLE]
3. Sorted groups and systems
3.1. Sorted profinite groups
In this subsection, we equip profinite groups with “sorting data”, i.e. a family of sets of finite tuples of sorts, which should recognize where (i.e. on which sorts) primitive elements of finite Galois extensions live (if the given profinite group is an absolute Galois group). Because we model “sorted profinite groups” on absolute Galois groups which encode presence of primitive elements, let us first note a property which holds in such absolute Galois groups. This property occurs in Definition 3.3 and is related to the “modular lattice axioms” from Subsection 3.2.
Remark 3.1**.**
Suppose that is a small substructure of . There exist functions and satisfying the following points.
- (1)
If is a Galois extension and is such that , then for any Galois extension such that , we have that . 2. (2)
If and are Galois extensions and are such that for , then
[TABLE]
Proof.
Note that if , then has a primitive element in (e.g. see the last part of the proof of [14, Proposition A.10]).
Assume that is a finite Galois extension of with a primitive element and that . Let be any Galois extension such that and let be the sort corresponding to the sort of codes for sets of -many elements from . The element is a primitive element of over and belongs to some , where . Then for we have that .
Let and be Galois extensions of with primitive elements and respectively. Then is a primitive element of (over ). Set . ∎
If is one-sorted, then instead of working in one may consider working in , since the above remark trivially holds for one-sorted theories even without assuming any variant of elimination of imaginaries.
Notation 3.2**.**
For , let . We define
[TABLE]
Definition 3.3**.**
Let be a profinite group and let (for some choice of ’s). We say that is a sorted profinite group if for ,
- (1)
. 2. (2)
for and we have that . 3. (3)
if , and , then . 4. (4)
for any and we have that
[TABLE] 5. (5)
for and , if , that is, for the inner automorphism on , then
[TABLE]
Example 3.4**.**
Let be the language of rings with one sort so . Let be the complete theory of algebraically closed fields of characteristic . Assume that is a saturated algebraically closed field of characteristic . Take a perfect subfield (so it is definably closed) and set . We define for each . Then forms a sorted profinite group.
In accordance with Definition 2.9, we introduce the following notion.
Definition 3.5**.**
Assume that and are sorted profinite groups. A morphism of sorted profinite groups is a continuous epimorphism such that for each we have .
Then, the family of sorted profinite groups with morphisms of sorted profinite groups forms a category. Note that being a sorted isomorphism as in Definition 2.9 corresponds to being an isomorphism of sorted profinite groups. Now, we will define a functor taking a category of regular extensions of small substructures of into the category of sorted profinite groups. For a small definably closed substructure of , recall that for every (i.e. open normal subgroup):
[TABLE]
Define \bar{{\mathcal{F}}}(F):=\big{(}{\mathcal{F}}_{F}(N)\big{)}_{N\in{\mathcal{N}}({\mathcal{G}}(F))}.
Remark 3.6**.**
We consider a category of small definably closed substructures of whose morphism between and is an -embedding such that is a regular extension of , which is an elementary map by quantifier elimination of . Then, we can define a functor from this category into the category of sorted profinite groups. The functor is given by
[TABLE]
[TABLE]
where is the composition of the restriction map and the isomorphism (which is a morphism of sorted profinite groups by Fact 2.10). The map is called the dual of .
3.2. Sorted complete systems
There is a standard way to study profinite groups in model theory (e.g [12], [7]). The point is to avoid arguments based on “infinite topology”, by formulating everything in terms of finite quotients (from which this topology arises) of a given profinite group. The same scheme works for sorted profinite groups, although we need to consider a different collection of sorts on which we set our first-order structure corresponding to a sorted profinite group.
We introduce language over sorts where and as follows. The language consists:
- •
a family of binary relations , “evaluated” on elements of ,
- •
a family of ternary relations “evaluated” on elements of .
Usually, if there is no confusion, we will skip the subscripts and write only “”, “” and “”. The same with elements of a -structure: we will use “” and “” to denote the same element .
Definition 3.7**.**
We call an -structure a sorted complete system if the following (first order) axioms and axiom schemes are satisfied:
- (1)
- •
(order): is reflexive and transitive on .
- •
(maximal elements 1): , where .
- •
(maximal elements 2): , where and . 2. (2)
Define as . Denote the -class of by for and set (which is definable).
- •
(extending tuples): , where and .
- •
(permutations): , where , and is a permutation on the tuple .
- •
(finiteness):
- •
(reducing degree): , where and . 3. (3)
- •
(intersection ):
[TABLE]
[TABLE]
- •
(subgroup ):
[TABLE]
[TABLE]
- •
(inf): Suppose that and , we define an -formula as follows
[TABLE]
[TABLE]
We require that the following holds in
[TABLE]
- •
(sup): Suppose that and , we define an -formula as follows
[TABLE]
[TABLE]
We require that the following holds in
[TABLE] 4. (4)
For each and we define , where is such that holds, and , where is such that holds .
- •
(lattice): Note that forms a lattice.
- •
(modular law): We require that implies that which can be expressed as a first order axiom scheme. 5. (5)
(group structure): P\subseteq\bigcup\limits_{k,J}\bigcup\limits_{a\in m(k,J)}\big{(}\,[a]_{k,J}\,\big{)}^{\times 3} and is the graph of a binary operation making into a finite group of order at most . 6. (6)
- •
- •
(projections): For all and , if then is the graph of a group epimorphism .
- •
(compatible system 1): for all , and all and .
- •
(compatible system 2): If then . 7. (7)
(normal subgroups): . 8. (8)
(hidden axiom): . 9. (9)
(invariant under the inner automorphisms) For and for with , if there is such that for the inner automorphism on , where is the kernel of , then for any ,
[TABLE]
The set of consequences of the above axioms and axiom schemes will be denoted by (i.e. the theory of Sorted Complete Systems).
The axiom scheme 8. in the above definition is needed also in the case corresponding to (one-sorted) fields, but (to our knowledge) it was not stated explicitly up to this point, hence we call it the “hidden axiom”. Example 3.8 shows that axiom scheme from point 8. does not follow from the previous axioms.
Example 3.8**.**
Put , , , and .
- (1)
Define a binary relation for as follows: Put if or , and put otherwise. Set . 2. (2)
Define a binary relation for as follows: Put if or , if , and put otherwise. Set . 3. (3)
Define a ternary relation for as follows: , if , and . Set .
For a set , define , and , where . Note that the functions ’s and ’s are serving a superficial coding role rather than a substantive role in the argument (to make ’s disjoint to fit into the formalism). If there is no risk for a confusion, we skip . Set , , , and for .
- (1)
For and for and , define and as follows:
- •
if and only if , and
- •
if and only if . 2. (2)
For and for , define as follows: if and only if .
Now, we consider an -structure (where ) and we can check that satisfies axioms on [8, page 979.], but does not satisfy our new additional axiom scheme (“hidden axiom”). To see the last thing, note that:
- (1)
for each , and so . 2. (2)
, , and . 3. (3)
, such that for .
From the above , we have that , but for any .
Now, we will establish the following correspondence between categories:
[TABLE]
We only define desired maps and leave checking details to the reader, since precise arguments will significantly increase the number of pages of this paper and most of these arguments are just standard “diagram chasing”.
If we start with a sorted profinite group , a functor attaches to the sorted complete system defined in the following way:
- •
.
- •
if and , then we set
[TABLE]
- •
similarly
[TABLE]
- •
if then we set
[TABLE]
Any morphism of sorted profinite groups leads to an -embedding given by
[TABLE]
where and is any element such that .
If we start with a sorted complete system , then the collection of , where and , forms a projective system of finite groups. Therefore we define a functor on as
[TABLE]
From the axioms of a sorted complete system, it follows that for each open normal subgroup of there is some such that , where is the kernel of the epimorphism coming from the definition of a projective limit. Therefore we can define for in the following way:
[TABLE]
If is an -embedding between sorted complete systems, then, since , the embedding induces an epimorphism (it is not necessarily an isomorphism, since projective systems corresponding to and are indexed by different sets of elements, we use here e.g. [33, Lemma 1.1.5]).
Let us now describe the canonical isomorphisms and needed to obtain the aforementioned equivalence of categories. Suppose that is a sorted complete system, and . We define
[TABLE]
where N_{a,k,J}:=\ker\big{(}\pi_{a,k,J}:G(S)\to[a]_{k,J}\big{)} and (it does not depend on the choice of such element ).
We treat as a subset of containing compatible sequences. Assume now that is a sorted profinite group and . We define by
[TABLE]
Remark 3.9**.**
Take a small definably closed substructure of . Consider , and . Then we have that , which will be useful at the end of the proof of Theorem 5.6.
Definition 3.10**.**
Let be a morphism between sorted profinite groups. We call and the dual of and respectively. Let be an embedding such that is a regular extension of . We call the dual of the double dual of .
Example 3.11**.**
Let us come back for a moment to Example 3.8 to show the actual purpose for introducing the “hidden axiom”. Assume that is the -structure (where ) given in Example 3.8. There is no embedding from to . To see this, note that by from the end of Example 3.8, we have that and so
[TABLE]
and we have
[TABLE]
So we have that .
3.3. Encoding Galois groups
Let us recall that we are working with a complete theory which has the uniform elimination of imaginaries (in the sense of point b) from [36, Lemma 8.4.7]) in the language with sorts . Moreover, is a monster model of . Consider a small definably closed subset of some .
Definition 3.12**.**
Let , and . We say that are conjugated over if
- •
,
- •
, and
- •
for any proper nonempty subset of .
We write to indicate that are conjugated over (in ). If , , and or are obvious, we skip them.
Note that if and only if , , and . Hence “being conjugated” does not depend on the choice of .
Remark 3.13**.**
Because we assume that has the uniform elimination of imaginaries, conditions from Definition 3.12 can be written down as a formula in the language , where is a predicate corresponding to (i.e. we consider the -structure ), for example:
[TABLE]
It is the only place in this subsection, where we require the uniform elimination of imaginaries. Moreover, it is even enough to assume that has the uniform elimination of imaginaries only for finite sets.
Definition 3.14**.**
Let and let . We say that is an -primitive element of over if there are such that
- (1)
, and 2. (2)
for and some .
We write () for the set of all -primitive elements of over .
Remark 3.15**.**
- (1)
The set is a -definable set in the language , that is, there is a formula such that for each with , we have (here, we consider the -structure ). 2. (2)
Let be a Galois extension of such that . Any primitive element of (i.e. an element such that ) is an -primitive element of over for an appropriate . 3. (3)
Let be an -primitive element over . Then, is a Galois extension of with .
Proof.
Proofs of points and are clear. We proceed to the proof of point . Let and let . Let , which is a Galois extension of with . It is enough to show .
Suppose that for some , say . We have that for all , hence and . Take , since and it must be . The last thing implies that . By the Galois correspondence, turns into . ∎
An -formula from the first point of Remark 3.15 will be denoted by (or when the choice of is obvious), so .
Lemma 3.16**.**
Let , , and and . Suppose that . The following are equivalent:
- (1)
. 2. (2)
.
Proof.
Let and let .
By Remark 3.15.(3), is a Galois extension of with , hence by Remark 3.15.(2), is an -primitive element over .
By Remark 3.15.(3) for elements and , we have that both and are Galois extensions of such that . Since and is a bijection, the Galois correspondence implies that . ∎
Corollary 3.17**.**
Let and let . There exists an -formula , where and , such that for any
[TABLE]
In other words: is uniformly definable over in .
3.4. Interpretability of in
We are still working with a small definably closed contained in some .
Definition 3.18**.**
For define as the set of pairs such that
- •
, and
- •
and are conjugated over (i.e. there exists such that ).
Note that for , if and only if is a Galois extension of such that and for some . Note also that the set is definable by a formula in the language , which will be denoted by “”.
Define an equivalence relation on as follows: for and in , if and only if {IEEEeqnarray*}rCl (M,K) &⊧ Pr^n_J^⌢J,K(a_1,a_2)
(M,K) ⊧ Conj(c,d,e_3,…,e_n)
for some , where , .
Suppose that is a Galois extension of with and . Consider map given by . The map is injective. More generally:
Remark 3.19**.**
Let and . If , then .
Proof.
Suppose that . Then and are conjugated over : there is such that . Therefore . ∎
Definition 3.20**.**
Let .
- (1)
Define a binary relation on as follows: for , where , we have if
- •
, and
- •
. 2. (2)
Define a binary relation on as follows: for , where , we have if
- •
, and
- •
for and .
[i.e. for such that , where , we have and ] 3. (3)
Define a ternary relation on as follows: for , where , we have if
- •
, and
- •
there is (which is unique by Remark 3.19) such that and .
[i.e. for corresponding to , where , we have and , hence ]
If there is no confusion, we write , , and for , , and respectively.
Remark 3.21**.**
Let .
- (1)
Assume that , where . If , then
[TABLE] 2. (2)
Assume that , where . If , then
[TABLE] 3. (3)
Assume that , where . If , then
[TABLE]
Proof.
It is enough to use the equivalent formulations provided in square brackets in Definition 3.20 and we leave the proof to the reader. ∎
Therefore , and induce well-defined relations (also denoted by , and ) on the classes of the relation .
Before reaching the main theorem of this subsection (Theorem 3.26), we provide a result interesting on its own, namely Proposition 3.25. We use a standard definition of the notion of -interpretability coming from Definition 1.1 in [29, Chapter 3]. Although, let us start with auxiliary lemmas.
We fix a finite Galois extension of .
Lemma 3.22**.**
Suppose that is given by some , i.e. . Then the group is -interpretable in .
Proof.
Consider a subset of given by:
[TABLE]
One could write as the set . Note that is -definable in . Consider group structure on induced by the relation (which is well defined by Remark 3.21.(3)):
[TABLE]
where . To finish the proof we need to find a group isomorphism between the group and the set equipped with the above “multiplication”.
Consider , . Since , Remark 3.19 implies that is injective. By the note under Definition 3.18, it is clear that is onto. To see that it preserves the “multiplication” it is enough to combine Remark 3.21 with the explanation provided in the square brackets in Definition 3.20. ∎
Lemma 3.23**.**
Suppose that is given by some , i.e. and that is such that (i.e. ). Then (using the notation from the previous proof) and .
Proof.
Follows from for each . ∎
Corollary 3.24**.**
The group is -interpretable in .
Proof.
By [14, Theorem 4.3] (The Primitive Element Theorem), there exists , and such that . Because , there exists an -formula with parameters from which isolates (in the sense of ). Consider the following -formula : , where corresponds to the definable set introduced in the proof of Lemma 3.22 for the case of . Note that, by Lemma 3.23, realizations of formula form exactly set . Moreover, the definition of the relation is parameter-free, hence our interpretation of group involves only parameters which occur in the formula . ∎
Proposition 3.25**.**
[8, Proposition 5.5]** Assume that is a finite Galois extension of and and . Then the group action is -interpretable in .
Proof.
By Corollary 3.24, group is -interpretable in . By Lemma 3.16 and a similar argument as in the proof of Corollary 3.24, we see that the set is also -interpretable in (even -definable in ).
Suppose that . Consider , such that , and set (as in the proof of Lemma 3.22). If , where , and , then set , where is the unique element which satisfies
[TABLE]
for some .
We need to show that the group action is -interpretable, in other words the bijections between , and their interpretations in commute with group actions and (we do not show that defines a group action, since it will follow from the fact that bijections commute with and ).
Suppose that for some and . It means that moves into , and so (here is the bijection coming from the proof of Lemma 3.22). Conversely, if , then there exists such that and . Since and , we have that and so . ∎
Theorem 3.26**.**
The sorted complete system is interpretable (without parameters) in .
Proof.
Similarly as in Example 3.8, we consider “diagonal” map , and “projection” map , , where is a set and is a positive integer (usually we skip “” in “” and “”).
First, for each sort in we need to provide a definable set in . Let and . If we would define the sort as the set of cosets of open normal subgroups of index equal to , then the corresponding sort of our interpretation will be the set . Since we defined as the set of cosets of open normal subgroups of index at most , and different sorts intersect trivially, it is not enough to consider but the set
[TABLE]
Let us explain why sets of the form have something to do with sorts and how we can define the desired bijection.
Suppose that . It means that , , , and and for the Galois extension . There is a unique corresponding to . Moreover, because , we can (after repeating a standard argument from the proof of [14, Fact A.10]) find an element such that . By Remark 3.15, . We define a map . It is well defined, since for any such that .
To show that is injective, suppose that and . Let and , and , , , and and . If , then for formal reasons , hence assume that . Since , we have that which gives us . By a similar, straightforward, argument one can show that is onto.
After defining sorts of the universe of our interpretation, we need to define relations corresponding to symbols , , and from language .
- •
For , we set
[TABLE]
where
[TABLE]
- •
For , we set
[TABLE]
where
[TABLE]
- •
For we set
[TABLE]
where
[TABLE]
Now, we need to show that the family of bijections translates , and into , and respectively, e.g.
[TABLE]
for any and . Comments in the square brackets in Definition 3.20 are here a guideline and we leave this part of the proof to the reader. ∎
Corollary 3.27**.**
If is -saturated, then is -saturated.
The above corollary follows immediately by Theorem 3.26. It is not difficult to show that “if , then ”, but we want to write it more precisely and introduce choice functions, because such an approach produces a good way of translating formulas between structure and (and we will use this translation later).
Remark 3.28**.**
Take and and consider the bijection between and given in the proof of Theorem 3.26, . Suppose that is regular (as previously, is a small substructure of , where ). Assume that , for some and corresponds to . Suppose that for we have chosen such a primitive element and an automorphism . Consider the following choice function
[TABLE]
where for as above (“” in “” indicates only that we are dealing with tuples of elements from ). Similarly we define a choice function for any other regular substructure in , in particular .
Assume that the restriction map is onto (e.g. if is regular) and the corresponding dual map is an embedding. Usually we identify with its image in and (by Fact 2.10) we have
[TABLE]
hence (here “” really stands for imaginary elements in ).
Suppose that is an -formula, and for appropriate corresponding to variables and . We have that if and only if , where corresponds to the interpretation of in . On the other hand, the -formula is equivalent to an -formula (e.g. Lemma 1.4.(iii) in [29, Chapter 1]) and we have
[TABLE]
Corollary 3.29**.**
If for some , then (after embedding of into ).
4. Elementary vs co-elementary
Lemma 4.1**.**
Assume that has nfcp. Let be some small substructures of and let be such that , , is -saturated and is -saturated, and M\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{E}F. Then .
Proof.
By [4, Proposition 2.1] and the proof of [4, Corollary 2.2], each -formula is equivalent in and in to an -formula of the form
[TABLE]
where is an -formula and is a tuple of quantifiers. Since has quantifier elimination, we may assume that is quantifier free.
Suppose that for some finite tuple from . By the above lines, it means that .
We want to code by some -formula without “” and to do this we will use a definition of the -type . However, we need to show that our definition works also for the -type .
Because m\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{E}F and is regular, [19, Corollary 3.38] implies that is the unique non-forking extension of . Therefore the set of all non-forking global extensions of and coincide.
(The following paragraph is based on an argument pointed to us by Martin Ziegler.) By [36, Theorem 8.5.6.(1)], all these global extensions conjugate over (and over ). There are only finitely many different -parts of these global extensions, say , and let be their definitions (over some parameters from ). If then if and only if , which holds if and only if . Set and note that is -invariant, so we may assume that is quantifier free and is over , and note that defines and .
We have that
[TABLE]
and
[TABLE]
Since , we have hence . Because , we obtain that . The last item gives us , hence we have which ends the proof. ∎
Proposition 4.2**.**
Assume that has nfcp (hence is stable). If are small substructures of , then .
Proof.
By combining Corollary 3.29 with Lemma 4.1. ∎
It turns out that for PAC substructures the converse is also true, i.e. “if then ”. Let us proceed to this fact.
Theorem 4.3**.**
*Let be an ultrafilter on an infinite index set . Let be a definably closed substructure for each . Then, we have that *
[TABLE]
Proof.
It comes from the uniform interpretation of the sorted complete system in Theorem 3.26. ∎
The following result generalizes [8, Theorem 5.3], and [6, Theorem 2.6, Theorem 2.7].
Theorem 4.4**.**
Suppose that has nfcp and PAC is a first order property (in the sense of [14, Definition 2.6]). Let and are PAC and let be definably closed. Let and be tuples (of possibly infinite length) of and respectively. The following are equivalent:
- (1)
* (so ).* 2. (2)
There are and , and there are and being regular extensions of which contain and respectively, and which are definably closed in , and there is an -embedding such that
- (a)
* and are regular extensions of and respectively,* 2. (b)
* and , and* 3. (c)
* is a partial elementary map from to , where .*
Proof.
Fix containing and .
Since , we have that . By the Keisler-Shelah theorem, there is an ultrafilter and an -isomorphism with . Set for , and set and . Note that
- •
and , and
- •
We extend to an -isomorphism from to , still denoted by . Let . Let be the dual of .
Claim The dual map gives a partial elementary map from to .
Proof of the claim: For , we have that because . Also we have that and because and are regular extensions of and respectively. Let be the double dual of the isomorphism . The restriction of to is exactly same as so . Thus we have that , and we are done. Here ends the proof of Claim.
Since and , we may assume that by replacing by for . Since is a partial elementary map, by [24, Theorem 10.3, Theorem 10.5], there is a non-principal ultrafilter and an isomorphism such that
- •
and , and
- •
,
- •
and are -saturated for some infinite cardinal .
Using Theorem 4.3 and dualising , we have a group homeomorphism such that for , . From the proof of [14, Proposition 3.6], we have an isomorphism extending for some with and . We conclude that
[TABLE]
Since , we have that for . Therefore we have that . ∎
Corollary 4.5**.**
Suppose that has nfcp and PAC is a first order property. Assume that are PAC. We have that if and only if .
5. Generalization of Chatzidakis’ Theorem
From now on we assume that is stable. We write for small subsets of and for tuples of of bounded length. We write if is a tuple consisting of elements of . For , we write for . For a subset , we denote . We recall a notion of the boundary property. The original definition ([18, Definition 3.1]) has a typo and therefore we refer to [26, Remark 2.3].
Notation 5.1**.**
Let be an -independent set. For , we write . And we write .
Definition 5.2**.**
[26, Remark 2.3] Let .
- (1)
Let be a small subset of . We say that the property holds over if for every -independent set ,
[TABLE] 2. (2)
We say that * holds for * if holds over every small subset of .
Fact 5.3**.**
[18, Lemma 3.3]** For any set and any , the following are equivalent:
- (1)
* has over .* 2. (2)
For any -independent set and any ,
[TABLE] 3. (3)
For any -independent set and any map such that
[TABLE]
* can be extended to which fixes*
[TABLE]
pointwise.
Lemma 5.4**.**
[6, Lemma 2.14]** Assume that holds for . Let be definably closed. Suppose that is an -independent set and consider the map
[TABLE]
defined by . Then we have that
[TABLE]
Proof.
Consider the following property :
[TABLE]
given for any triple of mappings with proper domains. Consider also the following diagram
[TABLE]
where \big{[}\ldots\big{]}^{*} denotes a adequate subgroup consisting exactly triplets satisfying , and
[TABLE]
It commutes, the columns form short exact sequences, and maps , and are monomorphisms.
Claim 1 The map is onto.
Proof of the claim: Let , we need to find a common extension to an element . By Fact 5.3.(3), we extend to . Similarly for and :
Set . Here ends the proof of the first claim.
Claim 2 The map is onto.
Proof of the claim: Let (\sigma_{1},\sigma_{2},\sigma_{3})\in\big{[}{\mathcal{G}}(\overline{A}\,\overline{B}/AB)\times{\mathcal{G}}(\overline{A}\,\overline{C}/AC)\times{\mathcal{G}}(\overline{B}\,\overline{C}/BC)\big{]}^{*}. Again, our goal is to find a common extension . Since is -independent, we have that \overline{A}\,\overline{B}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{\overline{E}}\overline{C}. Of course and agree on and is regular, therefore, by [19, Corollary 3.38], there exists such that and . By the property , we have also and , hence does the job. Here ends the proof of the second claim.
It follows that and are isomorphisms, hence, by the Short Five lemma, also is an isomorphism. ∎
We consider a relative algebraic closure for every small subsets and of .
Fact 5.5**.**
- (1)
Let be an elementary chain of some structures, of length . If each is -saturated, then every partial elementary map , where , extends to an automorphism of . 2. (2)
Let be an elementary chain of some structures, of length . If each is -saturated, then every partial elementary map , where , extends to an automorphism of and is -saturated.
Proof.
The first part is standard. The second part follows by repeating argument from the first part for all limit ordinals below . ∎
Proposition 5.6** (Generalization of Chatzidakis’ Theorem).**
Suppose that holds for . Fix a (very) saturated -structure such that and is PAC.
Assume that are regular extensions of small definably closed subsets such that
[TABLE]
Assume that satisfies . If there exists such that (where variables are identified via ), then there exists such that C^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{E}AB, (the variables for and are identified via ) and .
Proof.
The proof is a generalization of the proof of [6, Theorem 3.1]. In our proof, we are using tools related to stationarity and forking independence (i.e. [19, Corollary 3.38]) instead of linear disjointness. We include a detailed proof, since we found some gaps in the exposition of the original proof (e.g. in the proof of [6, Theorem 3.1], does not need to be an elementary extension of : it is elementarily equivalent to and there is an automorphism fixing such that , but does not necessarily fix ) and we would like to provide a more transparent exposition of this very nice argument. To be in accordance with the proof of [6, Theorem 3.1], we preserve its notations.
Let (where variables are identified via ), then there exist partial elementary maps (in ) (over ) and (over ) such that
[TABLE]
Let realize the pushforward of the type \operatorname{tp}_{S{\mathcal{G}}(F^{\ast})}\big{(}S{\mathcal{G}}(\operatorname{acl}^{r}_{F^{\ast}}(AC_{1}))/S{\mathcal{G}}(A)S{\mathcal{G}}(C_{1})\big{)} along (there is such a realization in by Corollary 3.27). Similarly, let be a realization of the pushforward of the type \operatorname{tp}_{S{\mathcal{G}}(F^{\ast})}\big{(}S{\mathcal{G}}(\operatorname{acl}^{r}_{F^{\ast}}(BC_{2}))/S{\mathcal{G}}(B)S{\mathcal{G}}(C_{1})\big{)} along . Without loss of generality we may denote partial elementary maps extending and again by and :
[TABLE]
We do not know whether is homogeneous and therefore, in a moment, we will construct an auxiliary PAC substructure such that is properly homogeneous.
Take a cardinal and a chain of elementary extensions (in ) of length such that and each is -saturated. Set . Since , we obtain that is PAC (by Fact 2.5). Note that is -saturated, hence also a -PAC substructure in (by [19, Proposition 3.9]).
Because is interpretable in and is -saturated, we deduce that also is -saturated (see Corollary 3.27). Let be such that . Say that is a partial elementary map (over ) such that . By Corollary 3.29, we have that and each is -saturated, so we may use Fact 5.5 and find which extend and respectively.
The following diagram illustrates our situation on the level of the sorted complete system :
[TABLE]
Recall that we have the canonical isomorphisms and for a sorted profinite group and a sorted complete system . For , consider the kernel of the following map , which is the composition of the dual of and the canonical isomorphism . Let . We transfer the previous diagram by the functor , add canonical isomorphisms (wavy lines) and place with proper restriction maps (red arrows):
[TABLE]
Let us denote the shortest path (in blue) between:
- •
and by ,
- •
and by ,
- •
and by ,
- •
and by .
Take such that C\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{\overline{E}}F for . Since \overline{C}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{\overline{E}}\overline{A}, \overline{C}_{1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{\overline{E}}\overline{A} and is regular, we may extend and to an automorphism (by [19, Corollary 3.38]). Set and .
Now, we refine . Since \overline{C}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{\overline{E}}\overline{B}, \overline{C_{2}}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{\overline{E}}\overline{B} and is regular, we may extend and to an automorphism . Note that , , and we have
[TABLE]
Set , , and .
The previous diagram simplifies to the following one extended by and (in orange):
[TABLE]
Set and . Consider the following map
[TABLE]
given by .
Note that for any we have and so . In the same manner we show that . By the commutativity of the last diagram we see that also Therefore we can use Lemma 5.4 to conclude that the image of is contained in the image of . So we extend to a map and define .
Note that the following diagram commutes
[TABLE]
By [14, Lemma 3.3], there exists such that and for each we have that .
Because compositions and are equal, we obtain that their kernels are also equal, hence, by Galois correspondence, . Similarly .
Note that for any we have {IEEEeqnarray*}rCl G(σ^-1)Θ_1(f↾_L_1) &= σΘ_1(f↾_L_1)σ^-1
= σΘ(f↾dcl(¯AB,L_1,L_2))↾¯ACσ^-1
= σΘ(f↾dcl(¯AB,L_1,L_2))σ^-1↾¯σ[D_1]
= σσ^-1fσ↾dcl(¯AB, ¯AC, ¯BC)σ^-1↾¯σ[D_1]
= f↾_¯σ[D_1]
Therefore the following diagram commutes
[TABLE]
By the proof of [14, Proposition 3.6] (i.e. by a back-and-forth construction of an isomorphism of small elementary substructures of ) and Fact 5.5, extends to an automorphism sending to , hence . In a similar manner we show that .
Because C\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{E}AB and we have that \sigma[C]\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{E}AB. We put . It remains to show the moreover part. We have the following commuting diagram
[TABLE]
where the external frame can be presented as
[TABLE]
After taking functor and extending the part related to the canonical isomorphism , we obtain
[TABLE]
Since (see Remark 3.9), we get that and coincide after embedding into , so . ∎
6. Weak Independence Theorem and NSOP1
In the following section we will study the relation between the Kim-independence in a PAC substructure and the Kim-independence in combined with the forking independence in . Our results in this section depend on the previous results about the interpretability of in for some containing (see Theorem 3.26). As we saw in Proposition 4.2, if we want to deal with model-theoretic properties of the structure alone rather than properties of the pair , then it is better to assume that has nfcp. Moreover nfcp is related to the notion of saturation over (see [30, Definition 3.1, Remark 3.6]), which will used in the proof of Lemma 6.5.
In short, if we start with some saturated PAC structure and want to prove the independence theorem over a model for , then we need to pick up some . However to use our methods we need also that which would follow if we will be able to find such that . We use exactly Lemma 6.5 to get a proper in this set-up.
Remark 6.1**.**
Suppose that has nfcp. Consider a small substructure of and any small which contains and which is -saturated. If we pass to , then, by [30, Remark 3.6], will be saturated over , hence also small over (for the definition check first lines of [4]).
Fact 6.2**.**
Let . Suppose is PAC in and is saturated over . Then is PAC in .
Proof.
Let be a regular extension of . Suppose for a quantifier free and . Take such that . Since is a regular extension of , the type is stationary, and it is realized in (by saturation over ). Let be a realization of . Since is stationary, is a regular extension of . Since is PAC and , is realized in . ∎
Let be a cardinal bigger than the size of any interesting set (although still smaller than the saturation of ). It is convenient to work with -saturated such that is saturated over and is PAC in (and so, by Fact 6.2, also in ). However to obtain such some assumptions are needed. Suppose that we start with which is a PAC substructure of . Take small which contains and which is -saturated. In the next step we pick up some -saturated . If we assume that has nfcp, then it follows that is saturated over (by Remark 6.1). If we assume that PAC is a first order property ([14, Definition 2.6]), then we obtain that also is PAC.
Therefore under assumptions that has nfcp and that PAC is a first order property we can obtain the desired structure . Furthermore, these assumptions allow us to obtain even a little bit better variant of “saturation” (preserved after passing to ):
Definition 6.3**.**
We say that a structure is weakly -special (compare to the definition of special structure given just before [5, Proposition 5.1.6]) if there exists ordered set , of size , and an increasing chain of elementary extensions such that is -saturated, where , and .
A standard argument (e.g. Fact 5.5) gives us the following remark.
Remark 6.4**.**
- (1)
If is weakly -special, then is -saturated. 2. (2)
If is weakly -special, then is strongly -homogeneous. 3. (3)
If is weakly -special, then is also weakly -special.
Instead of assuming now that has nfcp (however the assumption about the finite cover property will still appear in the upcoming results) and that PAC is a first order property, which can be used to obtain a desired , we will only assume now that we work in the desired . More precisely, from now on, we assume that is weakly -special (for some big ) such that , is saturated over and is PAC in (so also in ).
Lemma 6.5**.**
Suppose that has nfcp. If , then there exists small such that .
Proof.
Let be -saturated, but small in , such that .
Claim
Proof of the claim: Similarly as in the proof of Lemma 4.1, we are using [4, Proposition 2.1] and the proof of [4, Corollary 2.2], to state each -formula is equivalent in and in to -formula of the form
[TABLE]
where is an -formula and is a tuple of quantifiers. Let . We have the following sequence of equivalences {IEEEeqnarray*}rCl (M,E)⊧Φ(¯a) &⇔ (M,E)⊧Q¯α∈P φ(¯a,¯α)
⇔ E⊧Q¯α φ(¯a,¯α)
⇔ F^∗⊧Q¯α φ(¯a,¯α)
(M^∗,F^∗)⊧Φ(¯a) ⇔ (M^∗,F^∗)⊧Q¯α∈P φ(¯a,¯α)
Here ends the proof of the claim.
We embed over into and so obtain as the image of this embedding. ∎
Definition 6.6**.**
Suppose that is a somewhat saturated -structure and \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\circ} is a ternary relation on all small subsets of . We say that \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\circ} satisfies the Independence Theorem over a model if the following holds:
For every small , small subsets and tuples
such that A\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\circ}_{M}B, c_{1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\circ}_{M}A, c_{2}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\circ}_{M}B and ,
there exists
a tuple such that , and c\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\circ}_{M}AB.
Definition 6.7**.**
Suppose that is a somewhat saturated -structure and \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\circ} is a ternary relation on all small subsets of . We say that \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\circ} satisfies the extension over a model axiom if the following holds:
For every small , tuples such that a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\circ}_{M}b,
there exists such that a^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{M}^{\circ}bc.
Assume that is a substructure of and \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{S{\mathcal{G}}} is a ternary relation on small subsets of (more precisely: we treat in S_{1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{S{\mathcal{G}}}_{S_{0}}S_{2} as a tuple) such that
[TABLE]
whenever . Define a ternary relation \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\Game} on small subsets of in the following way:
[TABLE]
Theorem 6.8** (Weak Independence Theorem).**
Suppose that has nfcp and B(3) holds for . If \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{S{\mathcal{G}}} satisfies the Independence Theorem over a model axiom and the extension over a model axiom, then \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\Game} satisfies the Independence Theorem over a model (in ).
Proof.
Assume that , , , ,
[TABLE]
We want to use Proposition 5.6, let us start with some preparations.
Without loss of generality we may assume that and , and let us define and . Note that we have
[TABLE]
Since , there exists an automorphism sending to . Because is regular, we may extend , by [19, Fact 3.33], to such that and and . Note that and . Moreover, by Lemma 6.5 we find such that , hence (by Corollary 3.29) we conclude that .
Since \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{S{\mathcal{G}}} satisfies the Independence Theorem over a model, we obtain such that (where variables are identified via ) and S\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{S{\mathcal{G}}(E)}^{S{\mathcal{G}}}S{\mathcal{G}}(A)S{\mathcal{G}}(B). By the extension over a model axiom (and since ), we may assume that S\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{S{\mathcal{G}}(E)}^{S{\mathcal{G}}}S{\mathcal{G}}(\operatorname{acl}_{F^{\ast}}^{r}(AB)).
By Proposition 5.6, there exists such that C^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{E}AB, (the variables for and are identified via ) and . It follows that S{\mathcal{G}}(C^{\prime})\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{S{\mathcal{G}}(E)}^{S{\mathcal{G}}}S{\mathcal{G}}(\operatorname{acl}_{F^{\ast}}^{r}(AB)) so also C^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{E}^{\Game}AB. ∎
From now on and until the end of this section, we denote Kim-independence in (see [23, Definition 3.13]) by \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{S{\mathcal{G}}}. Our goal is to show that if is NSOP1, then is NSOP1. To show that is NSOP1 we will use the criterion [13, Theorem 5.7(2)], where A\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{u}_{C}B indicates that is finitely satisfiable in . This idea is different from the original idea from the proof of [32, Theorem 7.2.6], since we noted some gap in the proof of [32, Theorem 7.2.6]. After communicating with Nick Ramsey about the gap he suggested to use [13, Theorem 5.7], what we do.
Suppose that and set , .
Lemma 6.9**.**
If a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{u}_{F}b, then is finitely satisfiable in .
Proof.
Assume that is finitely satisfiable in . Let , and . Consider a quantifier-free -formula and such that and . Moreover, consider an -formula and such that . We have that
[TABLE]
[TABLE]
By [4, Proposition 2.1], there exists a quantifier-free -formula and tuple of quantifiers “” such that (1) is equivalent to
[TABLE]
Therefore and so . By finite satisfiability, there exists such that . Hence and so
[TABLE]
[TABLE]
Let be such that
[TABLE]
[TABLE]
Note that and there is such that . After “acting” by on , we obtain that . To finish the proof, observe that . ∎
Lemma 6.10**.**
If a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{u}_{F}b, then a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\Game}_{F}b.
Proof.
Finite satisfiability of in implies finite satisfiability of in , hence, by quantifier elimination in , finite satisfiability of in . Therefore a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{F}b. It remains to show that S{\mathcal{G}}(A)\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{S{\mathcal{G}}(F)}^{S{\mathcal{G}}}S{\mathcal{G}}(B).
We are done if we show that is finitely satisfiable in . By Lemma 6.9, we know that is finitely satisfiable in .
Suppose for some , where . Let be an -formula which is translation of and let be choice functions such that , and (see Remark 3.28). We have that and so belongs to .
There exists , where , such that . Note that d_{i}:=F_{k_{i},J_{i}}^{-1}\big{(}\epsilon_{k_{i}}[(d^{1}_{i},d^{2}_{i})/\approx]\big{)}\in S{\mathcal{G}}(F) and for it follows that . ∎
Theorem 6.11**.**
(Suppose has nfcp and holds for .) If is NSOP1, then is NSOP1.
Proof.
We will use the criterion [13, Theorem 5.7(2)]. In order to show that is NSOP1, we must show that given and satisfying
[TABLE]
there is such that .
By Lemma 6.10 and since \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\Game} is symmetric, we have that
[TABLE]
Since , we can use Theorem 6.8 to get such that , hence . ∎
6.1. Description of independence
Suppose that has nfcp and assume that is NSOP1 and that is NSOP1. Recall that and set , . We want to show that a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}b if and only if a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{F}^{\Game}b, but is is enough to show that A\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}B if and only if a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{F}^{\Game}b (by symmetry, monotonicity and [23, Corollary 5.17] it follows that: a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}b iff A\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{F}^{K}B).
By Lemma 6.5, there exists small such that and . Let be special and at least -saturated (it will play the role of a “monster monster” for global types in , we do not require that is PAC).
Consider as tuple, where (i.e. elements from occupy first positions in the tuple ). Note that is finitely satisfiable in (hence also in ). We define as a maximal set of -formulas in variables corresponding to which is finitely satisfiable in and which contains (in other words: we take a coheir extension). Note that , is finitely satisfiable in and -invariant (hence finitely satisfiable in and also -invariant). There exists such that . There also exists such that and (as a tuple).
The type is finitely satisfiable in and hence also -invariant. We define as the quantifier-free part of and we choose to be a maximal set of quantifier free -formulas in variables corresponding to which contains and which is finitely satisfiable in . By the assumption that has quantifier elimination, determines the unique complete type in , which is finitely satisfiable in and -invariant.
Remark 6.12**.**
The sequence is a Morley sequence in over .
Proof.
For each , we have that . Because , there exists such that (as tuples). Hence and . ∎
Remark 6.13**.**
is a Morley sequence in over .
Proof.
Because and , we obtain that and so . ∎
Note that , for each (all these tuples are -equivalent to ). Consider
[TABLE]
Remark 6.14**.**
The type is finitely satisfiable in hence also -invariant.
Proof.
Since is finitely satisfiable in , we can repeat the argument from the proof of Lemma 6.10. ∎
Remark 6.15**.**
is a Morley sequence in over .
Proof.
For each , we will find an automorphism
[TABLE]
such that . Because , there exists such that with respect to orderings of tuples and . We see that , hence . We set and easily check the remaining properties. ∎
Lemma 6.16**.**
Suppose that are small in , is regular and (in ). Then .
Proof.
Since , there exists such that . Because is regular, we can use [19, Fact 3.33] to conclude that there exists such that .
By [4, Proposition 2.1], we can restrict our attention to bounded formulas: let
[TABLE]
where , and is a quantifier-free -formula. Our goal is to show that , where .
For all , is equivalent to (by passing to and using ). Because is a bijection on , if , then . ∎
The phrase “respecting the enumeration of tuples ’s” refers to the previously chosen enumeration of tuples ’s as realizations of type .
Proposition 6.17**.**
If A\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}B, then a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\Game}_{F}b.
Proof.
The proof reuses a nice argument from the proof of [32, Theorem 7.2.6] (the argument in the proof of [32, Theorem 7.2.6] is used to show something different, but it is enough general to be adapted to show that some independence relation holds). Let , . Note that (respecting the enumeration of tuples ’s). Note also that C_{n,1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{u}_{F}C_{n,0}.
We will recursively construct a sequence such that
- •
,
- •
A_{n}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}C_{n+1,0},
- •
(respecting the enumeration of tuples ’s).
Case of :
Since , there exists such that (respecting the enumeration of tuples ’s). It follows that A\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}B_{0}, A^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}B_{1} and B_{0}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}B_{1}. By the Independence Theorem, there exists such that , and A^{\prime\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}B_{0}B_{1}. Set . Because A_{0}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}B_{0}B_{1}, we have that A_{0}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}C_{1,0}. By Lemma 6.16, it follows that and , hence (respecting enumeration of tuples ’s).
Recursion step:
Suppose that and we have defined satisfying our demands. Since , we can find such that
[TABLE]
(respecting enumeration of tuples ’s). We have that A_{n}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}B_{0}\ldots B_{2^{n+1}-1}, hence also A^{\prime}_{n}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}B_{2^{n+1}}\ldots B_{2^{n+2}-1} and so A_{n}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}C_{n+1,0}, A^{\prime}_{n}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}C_{n+1,1} and C_{n+1,0}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}C_{n+1,1}.
By the Independence Theorem, there exists such that A_{n+1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}C_{n+1,0}C_{n+1,1}. Therefore , A_{n+1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}C_{n+2,0}. Using Lemma 6.16 for and , we obtain
[TABLE]
[TABLE]
Therefore
[TABLE]
(respecting enumeration of tuples ’s). Here ends our recursive construction.
Note that leads to . Suppose that , by we denote element of corresponding to variables given by .
Claim If , then there exists an infinite such that is consistent.
Proof of the claim: We start with , where . Let be a quantifier-free -formula satisfying for some , say . Consider given as
[TABLE]
We have , so for some . Using ’s, we can show that the set is consistent. Let for some . It means that for each we have
[TABLE]
Because , there is such that for infinitely many we have . Here ends the proof of the claim.
By Kim’s lemma ([25, Proposition 2.2.6]), Remark 6.13 and Claim (subsequence of a Morley sequence is a Morley sequence), we obtain A\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{F}B.
Suppose that S{\mathcal{G}}(A)\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{S{\mathcal{G}}(F)}^{S{\mathcal{G}}}S{\mathcal{G}}(B). By a generalization of Kim’s lemma ([23, Theorem 3.16.(3)]), there exists , where , which -divides (c.f. [23, Definition 3.11]) for every global -invariant .
Because for each , there exist such that . Moreover for each .
Let for some , where . Let be an -formula which is a translation of and let and be choice functions such that and (see Remark 3.28). We have that and so , where , belongs to .
By Claim, there exists an infinite and such that for each we have (note that ).
Consider for each . By Remark 6.15, is a Morley sequence over , so also is a Morley sequence over . We will finish the proof of the Proposition if we show that the set is consistent. This can be done by translating into , for one proper for each . ∎
Proposition 6.18**.**
If a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\Game}_{F}b, then A\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}B.
Proof.
We follow here the proof of [32, Theorem 7.2.6], but using our generalizations of all necessary facts.
We assume that a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\Game}_{F}b, so, by definition, A\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\Game}_{F}B. Similarly as in the proof of Proposition 6.17, we will construct a sequence such that
- •
,
- •
A_{n}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\Game}_{F}C_{n+1,0},
- •
(respecting the enumeration of tuples ’s).
Instead of repeating the whole proof of [32, Theorem 7.2.6], which is similar to a part of the proof of Proposition 6.17, we only sketch how to find (which is actually missing in the proof of [32, Theorem 7.2.6]).
Since , there is such that . We see that A\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\Game}_{F}B_{0} implies that A^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\Game}_{F}B_{1}. Moreover, B_{0}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{u}_{F}B_{1} leads, by Lemma 6.10, to B_{0}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\Game}_{F}B_{1}. Because is NSOP1, we can use the Independence Theorem for \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{S{\mathcal{G}}} to obtain such that and S_{0}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{S{\mathcal{G}}}_{S{\mathcal{G}}(F)}S{\mathcal{G}}(B_{0})S{\mathcal{G}}(B_{1}). By extension over a model, there exists such that S\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{S{\mathcal{G}}}_{S{\mathcal{G}}(F)}S{\mathcal{G}}(C_{1,0}). Now, we use Proposition 5.6 to get such that (so S{\mathcal{G}}(A_{0})\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{S{\mathcal{G}}}_{S{\mathcal{G}}(F)}S{\mathcal{G}}(C_{1,0})), A_{0}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{F}B_{0}B_{1} (so A_{0}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\Game}_{F}C_{1,0}), and and (so — respecting the enumeration of tuples ’s).
By [23, Theorem 3.16], it is enough to show that for each the set is consistent (where is an element of corresponding to variables given by ). We have that , say for some . By our construction for each there is such that
[TABLE]
so the proof ends. ∎
Corollary 6.19**.**
The following are equivalent
- (1)
a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}b, 2. (2)
A\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{K}_{F}B, 3. (3)
a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\Game}_{F}b, 4. (4)
A\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\Game}_{F}B.
Proof.
The equivalence (2)(3) follows by Propositions 6.17 and 6.18. Other equivalences are clear. ∎
Remark 6.20**.**
Suppose that has nfcp and the property . As previously, we assume that is weakly -special (for some big ) such that , is saturated over and is PAC in (so also in ).
We recall here a result of Polkowska from [31]. Polkowska shows that bounded PAC substructures — under the additional assumption that PAC is a first order property — are simple. Her additional assumption is needed in her paper to fix some saturated PAC structure, which in our case is and therefore we do not assume that PAC is a first order property. We have the following:
if is bounded, then is simple.
Let us describe another way of getting her result. Suppose that is bounded. The structure is bounded exactly when is a small profinite group, i.e. it has only finitely many open normal subgroups (of finite index), hence is a structure such that each sort is finite. Hence is stable and every element is in the algebraic closure of the empty set. Thus the forking independence in is the trivial independence relation, that is, any triple belongs to the forking independence ternary relation. In this situation the previously defined ternary relation \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\Game} is given in the following way
[TABLE]
for any and small (\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}} is the forking independence in ). By Theorem 6.8, \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\Game} satisfies the Independence Theorem (over a model). By the proof of [31, Proposition 3.19], the above ternary relation satisfies the Extension axiom — over sets containing some fixed , and since it is given by the forking independence in it also satisfies all the missing conditions from [25, Theorem 3.3.1], so we can state that is simple in the language expanded by adding parameters for some fixed (and so is simple as an -structure) and the above \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\Game} coincides with the forking independence in (over sets containing some fixed , compare with [31, Proposition 3.19]).
6.2. NSOPn for
In this subsection, we generalize NSOPn criteria (for ) of PAC fields ([6, Theorem 3.9] and [32, Proposition 7.2.8]) to PAC structures. We basically follow the proof schemes of [6, Theorem 3.9] and [32, Proposition 7.2.8]. Also we give a detailed proof of a Galois theoretic result([6, Lemma 2.15]), used in the proof of [6, Theorem 3.9], in a general model theoretic setting (see Lemma 6.23). We need to do this detailed work because in [6], there are minor unclear things. For example, in the proof of [6, Lemma 2.15], is not necessarily a regular extension of (we only know that and not that , see Example 6.22).
Through this subsection, we say a structure is weakly special if it is weakly -special for a big enough cardinal .
Proposition 6.21**.**
Let and let be a Galois extension of . Let be such that and , given by , is onto. Let . Then we have that
- (1)
, and 2. (2)
.
Proof.
Take . Then, we have that for all so for all . Thus, for all , and .
Take . Then, for all , , that is, and so . By Galois Theory, .
It is clear that . Suppose for some . Then, and there is such that . Take such that . Then , and so , which is a contradiction. Thus, . ∎
Then the next example shows that in Proposition 6.21, does not need to be a regular extension of (what was present in the proof of [6, Lemma 2.15]).
Example 6.22**.**
Let . Let be any field elementary equivalent to and . Consider a Galois extension of . Let be an arbitrary embedding. Then, the embedding induces an epimorphism but is not a regular extension of . Indeed, .
We first prove the following lemma generalizing [6, Lemma 2.15], which with Theorem 5.6 plays a crucial role in the proof of Theorem 6.24. In the proof of Lemma 6.23, if we work with defined in the proof of [6, Lemma 2.15], we do not know whether is a regular extension of — by Example 6.22. The new choice of was suggested to us by Zoé Chatzidakis after communicating with her on the proof of [6, Lemma 2.15].
Lemma 6.23**.**
[6, Lemma 2.15]** Let be a monster PAC structure. Let be a small elementary substructure. Let and be definably closed substructures of such that and both be regular extensions, and let be a sorted complete system (see Definition 3.7). Suppose that
- •
there is an isomorphism such that is an elementary map in , and
- •
there is a partial -elementary isomorphism extending the double dual of (i.e. ).
Then there is a subset and an isomorphism sending to , which extends , such that
- •
B\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{E_{1}}F, and
- •
* and the double dual of is equal to .*
Moreover, realizes .
Proof.
Let be the kernel of the “restriction” map and let . Take such that and A_{1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{E_{1}}F. Let be an elementary map sending to and extending .
Then, we have that the double dual of extends , and the dual of defines an isomorphism from to which induces the dual of . Also the dual of defines an isomorphism from to , which induces . So we have the following diagram:
[TABLE]
Note that , via , by [19, Corollary 3.38]. Consider the following profinite group
[TABLE]
which can be identified with a closed subgroup of . Let and so . Note that contains . Since projects onto and , which are isomorphisms, two restriction maps from to and are onto, and the restriction to is an isomorphism. So we have that is a regular extension of and .
Consider the following diagram :
[TABLE]
Applying the Embedding Lemma [14, Lemma 3.5] to the diagram , we have an automorphism such that
- •
,
- •
,
- •
.
If there is no confusion, we write for . Moreover, by Proposition 6.21 (if we set , and in the place of structures , and from Proposition 6.21 respectively), for we have that
[TABLE]
Set and . It is clear that extends and B\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{E_{1}}F. It remains to show that and the double dual of is equal to .
Claim .
Proof of the claim: Take . Then, we have that
[TABLE]
Take and with . Thus, we have that
[TABLE]
and so . Take . Then, by the similar way, we have that . Since , , which implies that .
Claim and .
Proof of the claim: Consider the following diagram :
[TABLE]
where . We will show that .
Let be such that . Then, we have and so . Note that
[TABLE]
Take such that . It follows and so
[TABLE]
hence . Thus, we have and . Moreover,
[TABLE]
and so . Thus, we have that and . Therefore, and is the identity map.
Since is the identity map, the dual is the identity hence is also the identity map. Therefore, we conclude that and . Here ends the proof of the claim.
The moreover part comes from Theorem 4.4 using the map . ∎
Now, we provide criteria for NSOPn of PAC structures for .
Theorem 6.24**.**
[6, Theorem 3.9]** Let be a PAC structure. Suppose has NSOPn for . Then has NSOPn.
Proof.
Let be the Skolemization of in the expanded language . Let be a weakly special model of (i.e. is the Skolemization of in the language and is weakly special in ). So, we have that for any ,
- •
is an elementary substructure, and
- •
.
Let be an -formula with . Suppose that there is an infinite sequence , such that . By Ramsey and compactness, we may assume that there is an indiscernible sequence , , such that . To show that has NSOPn, we need to show that
[TABLE]
Let . We have that holds for each . Put . Then, for each , is finitely satifiable in and so is a Morely sequence over . Put . We have that is -indiscernible in and is -indiscernible in after fixing an enumeration of .
So, we may assume that there is an infinite sequence and such that
- •
for all or, equivalently, for all ,
- •
is -indiscernible in , and
- •
is independent over in .
Fix an automorphism such that , and let be the double dual of . For each , put and . Then, is -indiscernible in , and so for we have
[TABLE]
For each , we have
[TABLE]
and
[TABLE]
where .
Since has NSOPn, there are such that and realize . Take for and such that
[TABLE]
for . Thus for each we have an -elementary isomorphism such that
- •
and , and
- •
for ,
[TABLE]
and
[TABLE]
Moreover, for each we have the following diagrams
[TABLE]
Without loss of generality, we may assume that and is induced from the -isomorphism .
Claim There exist a sequence and a sequence of -isomorphisms , , extending the -elementary map from to in , such that
- •
is \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}-independent over in ;,
- •
in ,
- •
S{\mathcal{G}}\big{(}\operatorname{acl}_{F^{*}}^{r}(B_{i},B_{i+1})\big{)}=\begin{cases}S_{i,i+1}\mbox{ if }i<n-1\\ S_{n-1,0}\mbox{ if }i=n-1\end{cases}, and
- •
the double dual of is equal to where
[TABLE]
Proof of the claim: We recursively construct such a sequence. Put , , and . Suppose we have and an -isomorphism extending the -elementary map from to in for some and for each such that
- •
is \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}-independent over in ,
- •
in ,
- •
S{\mathcal{G}}\big{(}\operatorname{acl}_{F^{*}}^{r}(B_{j},B_{j+1})\big{)}=S_{j,j+1} for ,
- •
for , and
- •
the double dual of is equal to for .
Let be a small elementary substructure of containing . We apply Lemma 6.23 to the case , , , , and , and so, . It follows that there are and -isomorphisms extending such that
- •
is an -elementary map in and ,
- •
the double dual of is equal to , and
- •
\operatorname{acl}_{F^{*}}^{r}(B_{i}B_{i+1})\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{B_{i}}F_{i}.
Since in , we have that B_{i+1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{E}B_{i}. So, by transitivity, B_{i+1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{E}F_{i} and B_{i+1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{E}B_{\leq i}, hence is \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}-independent over . Here ends the proof of the claim.
We have that , thus . We apply Proposition 5.6 to the case , , , , , , and to obtain which realizes the type . Therefore the tuple witnesses
[TABLE]
∎
Now, we provide a NSOP2 criterion for PAC structures.
Theorem 6.25**.**
[32, Proposition 7.2.8]** Let be a PAC structure. Then is NSOP2 provided is NSOP2.
Proof.
We repeat here some parts of the proof of [32, Proposition 7.2.8] but using results generalized for PAC structures.
Let be a weakly special model of . And is the Skolemization of in the language and is weakly special in . Suppose that has witnessed by an -formula and thus has witnessed by the -formula . By compactness, there is a strongly indiscernible tree witnessing for the formula in the language . Take such that for all . By Ramsey, compactness, and after shifting by an automorphism, we may assume that is -indiscernible in .
Set and note that is an elementary substructure of . Let and let , where . Observe that in we have that
- •
is strongly indiscernible over ,
- •
is -indiscernible, and
- •
for each , is finitely satisfiable in so is an -finitely satisfiable Morley sequence in , enumerated in reverse.
By Kim’s lemma for stable theories, it follows A\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{E}B_{0}. By strong indiscernibility, we have that is also -indiscernible. By Kim’s lemma again, we obtain that B_{<1>}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{E}B_{0} and thus B_{0}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{E}B_{<1>}. Choose such that .
Let . Since is strongly indiscernible over and is -indiscernible, we have that
- •
is a strongly indiscernible tree over , and
- •
is -indiscernible and hence
[TABLE]
As is NSOP2, there is a realization of . We apply Proposition 5.6 to the case , , , , , , and for being an automorphism of given by the fact that . We get such that and .
Therefore is consistent, witnessed by , which contradicts the definition of . ∎
7. Algebraic closure in PAC structures
The following section is independent from the previous ones and basically generalizes well known facts about the algebraic closure in PAC fields (from [11]). In this section, we assume that is -stable. This assumption is used in the proof of Lemma 7.1, where we need to know that an algebraic extension of a PAC structure is a PAC structure (in the case of fields such fact is known as the Ax-Roquette theorem). Actually, it is enough to have only finitely many nonforking extensions for a given type, see assumptions of [20, Lemma 4.5].
Lemma 7.1**.**
[11, Lemma 4.4]** Assume that is -stable, is PAC in and is regular. Then there exists such that and the restriction map is an isomorphism.
Proof.
We copy here part of the proof of [11, Lemma 4.4], but using results generalized for PAC structures.
By [19, Proposition 3.6], there exists such that is regular and is PAC. By [20, Theorem 4.4], the group is projective. Since is regular, is onto. Therefore there exists an embedding such that the following diagram commutes
[TABLE]
Consider , which is PAC in by -stability and [30, Proposition 3.9] (or more precisely: by [20, Lemma 4.5]). By the Galois correspondence and the commutativity of the above diagram, we see that is an isomorphism. ∎
Lemma 7.2**.**
Assume that is -stable, is PAC in , is regular and is some cardinal. Then there exists such that , is -PAC and the restriction map is an isomorphism.
Proof.
For a small substructure of , let us define {IEEEeqnarray*}rCl ST(N,κ,λ) &:= {qftp(¯d/A) — A⊆N, —A—¡κ,
N⊆dcl(N,¯d) is regular and —¯d—¡λ}.
For a suitably big cardinal , we will recursively construct a tower of substructures of such that
- •
, ,
- •
and is an isomorphism for all ,
- •
each is PAC,
- •
realizes each element of , where .
Of course we put . Let be the PAC structure given by Lemma 7.1 for and .
Successor case for . Assume that we defined and we want to show the existence of a proper , where . Let be a set containing exactly one realization of each element from . Without loss of generality, we assume that is -independent in . By [19, Lemma 3.40], we see that is regular. Hence, by Lemma 7.1 (used for “” and “”), we find an appropriate .
Limit case. Now, assume that we defined for all strictly smaller than some . If is a limit cardinal, then set . To see that is PAC, we suppose that there is a regular extension such that for some . Naturally for some . By [19, Lemma 3.5], is regular, so and so is realized in . We need to show that the restriction map is an isomorphism. It follows, since for all we have that is an isomorphism and
[TABLE]
Assume that we have our tower of structures for all . We put
[TABLE]
As in the proof of the limit case, we can show that is PAC and that is an isomorphism. Obviously . It is left to show that is -PAC.
Suppose that is such that , and is a complete stationary type over (in the sense of ). We need to find a realization of inside . Consider such that is the unique non-forking extension. Since is stationary, also is stationary which means that is regular. Since , there exists such that . By [19, Lemma 3.5], is regular, hence is regular. In particular, is regular. This means that and so there is a realization of in . Because the last type is quantifier-free, it is also realized in , which ends the proof, since has quantifier elimination. ∎
Lemma 7.3**.**
[11, Proposition 4.5]** Assume that is -stable. Let be a -PAC substructure in (for some ). If is regular such that , then .
Proof.
The proof is based on the proof of [11, Proposition 4.5], but there are significant changes related to the saturation assumption in Corollary 2.11 (hidden in the notion of a -PAC substructure). Without loss of generality, let us assume that .
We will show that . Suppose not, so there exists . Consider . Let be the number of all realizations of in , say are all the realizations of this type. One has that .
Let be such that F\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{E}F^{\prime}, where . Let , so (otherwise ). Note that and .
We see that is an isomorphism of profinite groups. By [19, Corollary 3.38], for each there exists such that and . Note that
[TABLE]
given by is an embedding. We have the following commuting diagram
[TABLE]
We define
[TABLE]
One has that . By the Galois correspondence
[TABLE]
Note that is regular. To see this, assume that . If , then there is such that . But since , we have that , a contradiction.
By Lemma 7.2 for , there exists a -PAC substructure such that and is an isomorphism. We have the following diagram
[TABLE]
so every arrow in it is an isomorphism.
Now we use Corollary 2.11 for the following situations:
[TABLE]
[TABLE]
to state that and . Therefore , and , a contradiction. ∎
Proposition 7.4** (Algebraic closure description).**
Assume that is -stable. Let be a -PAC substructure in , where . Suppose that is such that . Then .
Proof.
Because has quantifier elimination, we have that . On the other hand is regular, hence, by Lemma 7.3,
[TABLE]
One has \operatorname{acl}_{F}(A)\subseteq\operatorname{acl}_{F}\big{(}\operatorname{acl}(A)\cap F)\big{)}=\operatorname{acl}(A)\cap F\subseteq\operatorname{acl}_{F}(A). ∎
8. Applications
If we want to apply all of our results, we need to find a first order theory with the following properties
- •
elimination of quantifiers
- •
elimination of imaginaries
- •
the no finite cover property
- •
the property
- •
PAC is a first order property
- •
-stability (for the description of the algebraic closure)
A very natural, but also already studied, example is . Showing that all the items above hold in is related to well known algebraic facts, e.g. PAC is a first order property is demonstrated in [17, Section 11.3]. Therefore we turn our attention to (which eliminates quantifiers and imaginaries, has nfcp and is -stable).
PAC substructures in were considered in the last part of [30], where the final result, [30, Proposition 5.8], states that two PAC differential subfields and of some monster model of are elementarily equivalent if and only if their reducts are elementarily equivalent as fields. Let us note here that finding conditions for elementary equivalence between PAC substructures is the main result of [14] (so one could try to obtain [30, Proposition 5.8] using results of [14] — see [14, Remark 3.8]) and, now, we can go further in the description of PAC substructures in , by describing a notion of independence in these structures.
Let be the language of rings and let . If is a differential field, then we write for the -theory of and for the -theory of the -reduct of .
Let us pick up some monster model of DCF0. For , “” [“”] denotes the algebraic [definable] closure of in the sense of and “” denotes the algebraic closure of in the sense of . We recall basic properties of (e.g. consult [27]):
Fact 8.1**.**
- (1)
For a small set , we have that and , where is the differential field generated by . 2. (2)
For small sets , we have that A\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{C}^{0}B if and only if
[TABLE]
where \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{0} and \mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{1} are the forking independence relations in and respectively. 3. (3)
For fields , of characteristic [math], means the field generated by and (so ). If and are differential subfields of the monster model of , then (which follows by Leibniz’s rule).
One could ask whether a differential subfield is a PAC-differential subfield of if it is a PAC subfield as a pure field. The following example provides a negative answer.
Example 8.2**.**
Let be an algebraically closed subfield of constants of , that is, is equipped with the trivial derivation. It is clear that is PAC as a pure field. We show that is not PAC as a differential field. Consider an absolutely irreducible affine curve over and so . Consider a following rational section . By [30, Proposition 5.6], if is PAC as a differential field, there is a -rational point such that . But there is no such -rational point because is equipped with the trivial derivation.
Now, one could ask whether the converse is true: suppose that is a PAC-differential subfield of , does it follow that its reduct is a PAC subfield (as pure field)? Here is the answer:
Fact 8.3**.**
Let be a PAC-differential subfield of . Then its reduct is a PAC field.
Proof.
We need to check whether is PAC as a pure field, i.e. suppose that some (pure) field is a regular extension (as a pure field) of , we want to show that is existentially closed in . Since we need to check that is existentially closed in , we may assume that is finitely generated over , say .
Let us start with extending the derivation from onto . We choose a transcendence basis of over . There is a natural derivation on () which extends derivation on , e.g. and for . The derivation on extends to the field of fractions, so to the , so we have a derivation on which extends derivation on . Note that over is algebraic separable, hence [math]-étale. A standard argument based on [math]-étality (e.g. see the proof of [28, Theorem 27.2]) shows that can be extended onto . We see that .
Differential field might be embedded into a model of and because of the elimination of quantifiers in , we assume (without loss of generality) that is embedded into .
To finish the proof it is enough to notice that is regular in the sense of differential fields and this is straightforward due to Fact 8.1.(1). ∎
Let us note what we used in the above proof:
Remark 8.4**.**
Let be a differential subfield, then
- (1)
Let be a pure field regular extension of . Then, there exists a derivation on extending the derivation on F. Furthermore, we may assume that is a differential subfield of by embedding into over . 2. (2)
Let be differential subfields of . Then, is a regular extension of (i.e. as differential fields) if and only if is a regular extension of (i.e. as pure fields).
These kinds of things happen because a type in is determined by for some (any) , where .
By [19, Lemma 3.35], if is a small subset of and is a complete type over , then is stationary if and only if for any , is a regular extension of . Combining this with Remark 8.4, we see the relationship between possible derivations on regular extensions and stationary types.
Remark 8.5**.**
Let , and let be such that is a regular extension of (as pure fields). Then is stationary.
Proof.
If extends , then, by Remark 8.4(1), we may assume that is a differential subfield of . By Remark 8.4(2), is a regular extension of and so is stationary. ∎
Suppose that is a PAC substructure (i.e. PAC-differential field) in . By [30, Proposition 5.6], we know that PAC is a first order property in (also in the sense of [14, Definition 2.6], which is used here), hence we may assume that is sufficiently saturated (for our purposes). We see that for any small subset of we have (by Proposition 7.4) that .
Now, we move to the notion of independence provided by our results for the theory of . Before applying what was proven in Section 6, we need only to show that enjoys the property :
[TABLE]
where is some -independent set in a monster model of .
Theorem 8.6**.**
* enjoys the boundary property .*
Proof.
We need to show that equality (2) holds. We may assume that (). Put for .
For , we have that . Then, and .
Since are -independent in , by Fact 8.1, it is equivalent to say that is -independent in . Because enjoys the property , we have that
[TABLE]
We are done if we can show
- (1)
, and 2. (2)
.
Using Fact 8.1, we obtain
[TABLE]
(where the last equality comes from the Leibniz’s rule). Similarly
[TABLE]
∎
Note that the above easy argument works also in other theories of fields with operators (it depends on the description of the algebraic and definable closure, the description of the forking independence and the Leibniz’s rule).
Let us come back to the PAC differential subfield . If the sorted complete system is NSOPn, then is NSOPn, where (by Theorem 6.11, Theorem 6.25 and Theorem 6.24). Moreover, in the case of , Corollary 6.19 provides a description of the Kim-independence in , and thus the crucial role played by the absolute Galois group (in the sense of ) of . The following remark simplifies the situation:
Remark 8.7**.**
For any differential field , we have that , where is the absolute Galois group of considered as a pure field and is the absolute Galois group of considered in (i.e. the Shelah-Galois group over in ).
Proof.
Let be a differential subfield of so . Note that is extended uniquely into and we also denote such a unique extension by .
It is clear that . By definition of , we have that
[TABLE]
Take arbitrary . Define a map . We show that . It is clear that is a differential operator on . Furthermore, . By the uniqueness of such a derivation on , we conclude that , and . ∎
Example 8.8**.**
The following example comes from a conversation with Minh Chieu Tran. Consider a model of DCFA (the model companion of the theory of difference-differential fields of characteristic zero) and put (i.e. the invariants of the automorphism). Since is a model of ACFA, we know that is a pseudo-finite field (by [9, Proposition 1.2]) and therefore . On the other hand is a PAC-differential subfield of (by [19, Proposition 3.51]), where the last structure is a model of .
By [19, Theorem 4.10], we know that is simple. In this case we can also apply [31] to get that is simple and to get a characterization of forking in (see [31, Proposition 3.19]). Simplicity and a description of the forking independence follow also from Remark 6.20.
Now, let us sketch prospective applications in neostability. Consider the infinite dihedral group
[TABLE]
(which is infinite, fintely generated, and virtually free, but is not free). By [3, Theorem 4.6], we know that the kernel of the universal Frattini cover of the profinite completion of is not a small profinite group.
Suppose that we are working with a stable -theory with quantifier elimination. Consider monster model (as we did in the previous parts of this paper). We define the language as extended by unary function symbols . We say that an -substructure of is equipped with a -action if there exists a group homomorphism , in this case we can talk about an -structure . Now, suppose that is existentially closed (in the sense of the language ) among all -substructures of equipped with a -action.
By [20, Corollary 5.6], we have
[TABLE]
where , and the left arrow is surjective (which follows from the fact that is regular and from Fact 2.10). Hence is not a small profinite group.
We know that and are PAC substructures in (see [19, Proposition 3.51, Proposition 3.56]). In the case of fields (i.e. ACF), we know that is simple if and only if is a small profinite group. We also know that bounded PAC substructures are simple ([31]). Therefore it is reasonable to ask:
Question 8.9**.**
Is not simple, if is unbounded? (for being a PAC substructure of a stable monster model)
Remark 8.10**.**
Note that Question 8.9 has positive answer in the case of DCF0, i.e. if is a simple PAC differential subfield of some monster model of DCF0, then is small. To see this, we note that the reduct of is simple PAC field, hence is a small profinite group, and we know that . After combining this with Polkowska’s result, we obtain that a PAC differential subfield in DCF0 is simple if and only if it is bounded.
A positive answer to the above question will imply that is not simple, hence could be a good candidate for an example of a non-simple NSOP1 structure ( is not such a candidate since it is simple in many cases, see [19, Theorem 4.40]).
Now, we need to discuss what are the chances for obtaining that is a NSOP1 structure. We would like to assume here that PAC is a first order property, that has nfcp and the property . By [35, Section 8], we know that \ker\big{(}\operatorname{Fratt}{\hat{G}}\to\hat{G}\big{)}\cong\mathbb{F}_{\omega}(2) (the free pro--group on many generators). This group has the Iwasawa Property (by [17, Lemma 24.3.3]), so the (non-sorted) complete system is stable (see [7]). In our case, we should rather consider a modified Iwasawa Property, i.e. a version involving only sorted profinite groups and sorted epimorphisms, so we can repeat the proof of [7, Theorem 2.2] and obtain stability. But even if we do this, there is one problem left. Namely, we do not know whether is an isomrphism (in the sense of pure profinite groups), so we can not easily conclude that is stable.
Question 8.11**.**
Is the sorted complete system a NSOP1 structure?
If the last two questions have positive answers, then we obtain a quite general algorithm for providing examples of non-simple NSOP1 structures.
Acknowledgements
We would like to thank Nick Ramsey for suggesting us a new strategy for the proof of Theorem 6.11. We also thank Zoé Chatzidakis for helpful discussions on the proof of Lemma 6.23. We are grateful to the anonymous referee related to our first submission for very careful reading and all the comments and suggestions which helped us to improve the mathematical content and its presentation.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] James Ax. Solving diophantine problems modulo every prime. Annals of Mathematics , 85(2):161–183, 1967.
- 2[2] James Ax. The elementary theory of finite fields. Annals of Mathematics , 88(2):239–271, 1968.
- 3[3] Özlem Beyarslan and Piotr Kowalski. Model theory of fields with virtually free group actions. Proceedings of the London Mathematical Society , 118(2):221–256, 2019.
- 4[4] Enrique Casanovas and Martin Ziegler. Stable theories with a new predicate. J. Symbolic Logic , 66(3):1127–1140, 09 2001.
- 5[5] Chen Chung Chang and Howard Jerome Keisler. Model theory . North-Holland, 1990.
- 6[6] Zoé Chatzidakis. Amalgamation of types in pseudo-algebraically closed fields and applications. Journal of Mathematical Logic , 0(0):1950006, 0.
- 7[7] Zoé Chatzidakis. Model theory of profinite groups having the Iwasawa property. Illinois J. Math. , 42(1):70–96, 03 1998.
- 8[8] Zoé Chatzidakis. Properties of forking in ω 𝜔 \omega -free pseudo-algebraically closed fields. Journal of Symbolic Logic , 67(3):957–996, 2002.
