1 Introduction
Recently, several breakthrough results have been obtained that clarify the relationship between certain important algebraic and dynamical properties of discrete groups. Among the most prominent are the characterization of strongly amenable groups by Frisch, Tamuz and Vahidi Ferdowsi [Reference Frisch, Tamuz and Vahidi Ferdowsi8] (see also [Reference Glasner, Tsankov, Weiss and Zucker11]) and the characterization of Choquet–Deny groups by Frisch, Hartman, Tamuz and Vahidi Ferdowsi [Reference Frisch, Hartman, Tamuz and Ferdowsi7] (see also [Reference Erschler and Kaimanovich6]). Both classes were identified with the algebraic notion of FC-hypercentral groups, where FC refers to finite conjugacy classes.
In this paper, we continue this line of research from a slightly different perspective. A key technical idea is the use of a device that we view as a kind of ‘topological Furstenberg correspondence’ that allows us to give algebraic descriptions of the universal minimal proximal flow and the universal minimal strongly proximal flow associated to a group.
The descriptions are in terms of subsets of the group that we call completely syndetic and strongly complete syndetic, respectively, because they are higher-order variants of syndetic subsets. These subsets have very interesting algebraic, combinatorial and topological dynamical properties. In addition, it turns out that the existence of disjoint subsets with these properties completely characterizes both strong amenability and amenability.
Specifically, for a discrete group G, we say that a subset 
$A \subseteq G$ is completely syndetic if for every 
$n \in \mathbb {N}$ finitely many translates of the Cartesian product 
$A^{n}$ by elements in G cover 
$G^{n}$, where G acts diagonally on 
$G^{n}$. Equivalently and more succinctly, if there is a finite subset 
$F \subseteq G$ such that 
$FA^{n} = G^{n}$. The definition of a strongly completely syndetic subset is similar, and every strongly completely syndetic subset is, as the name suggests, completely syndetic.
The next result, which is Theorem 6.5, realizes the universal minimal proximal flow 
$\operatorname {{\partial _{\mathrm {p}}}} G$ as the Stone space of a translation-invariant Boolean algebra of completely syndetic subsets of G. This is an analogue of a result of Balcar and Franek [Reference Balcar and Franek3] that realizes the universal minimal G-flow 
$\operatorname {{\partial _{\mathrm {m}}}} G$ as the Stone space of a translation-invariant Boolean algebra of syndetic subsets of G. We note that 
$\operatorname {{\partial _{\mathrm {p}}}} G$ and 
$\operatorname {{\partial _{\mathrm {m}}}} G$ are sometimes denoted by 
$\Pi (G)$ and 
$M(G)$ in existing literature.
Theorem 1.1. Let G be a discrete group. Then the universal minimal proximal G-flow 
$\operatorname {{\partial _{\mathrm {p}}}} G$ is isomorphic to the Stone space of any translation-invariant Boolean subalgebra of 
$2^{G}$ that is maximal with respect to the property that every nonempty element is completely syndetic.
The main result in [Reference Frisch, Tamuz and Vahidi Ferdowsi8] is that a discrete group is strongly amenable if and only if it is FC-hypercentral, meaning that it has no nontrivial ICC quotient, i.e., no nontrivial quotient with the property that every nontrivial conjugacy class is infinite. We show directly in Section 7.1 that the main technical step in their paper, which consists of constructing a family of subshifts satisfying certain disjointedness conditions, is equivalent to the construction of completely syndetic subsets.
Since the strong amenability of G is equivalent to the triviality of 
$\operatorname {{\partial _{\mathrm {p}}}} G$, as a consequence of this observation and the previous theorem, we obtain, in Theorem 7.1, a new characterization of strong amenability (and hence of FC-hypercentrality).
Corollary 1.2. Let G be a discrete group. Then G is not strongly amenable if and only if there is a proper normal subgroup 
$H \unlhd G$ such that, for every finite subset 
$F \subseteq G \setminus H$, there is a completely syndetic subset 
$A \subseteq G$ such that 
$FA \cap A = \emptyset $.
The next result, which is Theorem 6.8, is a similar realization of the universal minimal strongly proximal flow 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ as the Stone space of a Boolean algebra of strongly completely syndetic subsets of G. See Definition 3.1 for the latter notion. In existing literature 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ is sometimes denoted by 
$\Pi _{s}(G)$.
Theorem 1.3. Let G be a discrete group. Then the universal minimal strongly proximal G-flow 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ is isomorphic to the Stone space of any translation-invariant Boolean subalgebra of 
$2^{G}$ that is maximal with respect to the property that every nonempty element is strongly completely syndetic.
Since the amenability of G is equivalent to the triviality of 
$\operatorname {{\partial _{\mathrm {sp}}}} G$, we also obtain, in Theorem 7.5, a new characterization of amenability that seems to have a different flavor than existing characterizations in terms of paradoxical subsets and Følner sequences.
Corollary 1.4. Let G be a discrete group. Then G is not amenable if and only if there is a subset 
$A \subseteq G$ such that both A and 
$G \setminus A$ are strongly completely syndetic.
A key idea in our paper is the correspondence between between totally disconnected G-flows and translation-invariant Boolean subalgebras of 
$2^{G}$ that we view as a kind of ‘topological Furstenberg correspondence.’ Zucker [Reference Zucker26] showed that the G-flows 
$\operatorname {{\partial _{\mathrm {p}}}} G$ and 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ are maximally highly proximal, implying that they are extremally disconnected (and therefore totally disconnected).
An important observation in [Reference Kalantar and Kennedy22] is that the C*-algebra 
$\mathrm {C}(\operatorname {{\partial _{\mathrm {sp}}}} G)$ of continuous functions on 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ is G-injective in a certain strong sense. One consequence is the existence of relatively invariant measures in the sense of [Reference Glasner12], which proves to be particularly useful when used in combination with the above-mentioned correspondence.
More generally, we show that for a G-flow X, the C*-algebra 
$\mathrm {C}(X)$ is G-injective in the above sense if and only if X is what we call maximally affinely highly proximal, which is a strengthening of the property of being maximally highly proximal. We prove in Theorem 5.12 that in addition to the G-flow 
$\operatorname {{\partial _{\mathrm {sp}}}} G$, the G-flows 
$\operatorname {{\partial _{\mathrm {m}}}} G$ and 
$\operatorname {{\partial _{\mathrm {p}}}} G$ also have this property.
Theorem 1.5. Let G be a discrete group. Then the Stone–Čech compactification 
$\beta G$, the universal minimal G-flow 
$\operatorname {{\partial _{\mathrm {m}}}} G$, the universal minimal proximal G-flow 
$\operatorname {{\partial _{\mathrm {p}}}} G$ and the universal strongly proximal G-flow 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ are all maximally affinely highly proximal.
The perspective we take in this paper allows us to answer a question of Glasner, Tsankov, Weiss and Zucker from [Reference Glasner, Tsankov, Weiss and Zucker11]. They asked for a characterization of dense orbit sets, which are subsets 
$A \subseteq G$ with the property that for every minimal G-flow X and every point 
$x \in X$, the set 
$Ax$ is dense in X. The following characterization of dense orbit sets, which is implied by Theorem 8.2 and the results in Section 8, provides an answer to this question in terms of syndetic sets.
Theorem 1.6. Let G be a discrete group. A subset 
$A \subseteq G$ is a dense orbit set if and only if there is no subset 
$B \subseteq A^{c}$ with the property that for every pair of finite subsets 
$F_{1} \subseteq B$ and 
$F_{2} \subseteq B^{c}$, the set 
$(\cap _{f_{1} \in F_{1}} f_{1}^{-1} B) \cap (\cap _{f_{2} \in F_{2}} f_{2}^{-1} B^{c})$ is syndetic.
Other results in Section 8 may also be of interest. For example, we establish a characterization of dense orbit sets in terms of the semigroup structure of the Stone–Čech compactification of G.
2 Preliminaries
In this section, we will briefly review some of the basic facts that we will require from the theory of topological dynamics and the theory of C*-algebras. For a reference on topological dynamics, we direct the reader to Glasner’s monograph [Reference Glasner13]. For a reference on C*-algebras, we direct the reader to Arveson’s monograph [Reference Arveson1].
2.1 Flows
Let G be a discrete group. A nonempty compact Hausdorff space X is a G-flow if it is endowed with an action of G by homeomorphisms. For 
$g \in G$ and 
$x \in X$, we will write 
$gx$ for the image of x under the homeomorphism corresponding to g. We will consider the category of G-flows with equivariant continuous maps as morphisms.
A G-flow Y is an extension of X, and X is a factor of Y if there is an equivariant continuous surjective map 
$\alpha : Y \to X$. We will refer to the map 
$\alpha $ as an extension.
Almost all of the flows that we will consider in this paper will be minimal. A G-flow X is minimal if for every point 
$x \in X$, the orbit 
$Gx = \{gx : g \in G\}$ is dense. There is a unique minimal G-flow 
$\operatorname {{\partial _{\mathrm {m}}}} G$ that is universal in the sense that every minimal G-flow is a factor of 
$\operatorname {{\partial _{\mathrm {m}}}} G$.
Proximal and strongly proximal flows will also play an important role. A G-flow X is proximal if, for any two points 
$x,y \in X$, there is a net 
$(g_{i})$ in G such that 
$\lim g_{i}x = \lim g_{i} y$. It is strongly proximal if, for any probability measure 
$\mu \in \mathrm {P}(X)$, there is a net 
$(g_{i})$ in G such that 
$\lim g_{i} \mu \in X$. Here we have identified points in X with the corresponding Dirac measures in 
$\mathrm {P}(X)$. It is not hard to show that this definition is equivalent to the proximality of the G-flow 
$\mathrm {P}(X)$. There is a unique minimal proximal G-flow 
$\operatorname {{\partial _{\mathrm {p}}}} G$ that is universal in the sense that every minimal proximal G-flow is a factor of 
$\operatorname {{\partial _{\mathrm {p}}}} G$. Similarly, there is a unique universal minimal strongly proximal G-flow.
A G-flow X is point transitive if there is a transitive point 
$x \in X$, i.e., a point such that the orbit 
$Gx = \{gx : g \in G\}$ is dense in X. The Stone–Čech compactification 
$\beta G$ is the unique universal point transitive G-flow, meaning that if X is a G-flow with a transitive point x, then there is an extension 
$\alpha : \beta G \to X$ such that 
$\alpha (e) = x$. Here 
$e \in G$ denotes the unit in G, identified in a canonical way with an element of 
$\beta G$.
For a subset 
$A \subseteq G$, we will let 
$\overline {A}$ denote the closure of A in 
$\beta G$. The set 
$\overline {A}$ is clopen, and every clopen subset of 
$\beta G$ is of this form. Moreover, the family of clopen subsets of 
$\beta G$ form a basis for the topology on 
$\beta G$. These facts follow from the fact that 
$\beta G$ can be realized as the Stone space of the Boolean algebra of subsets of G. We will discuss the relationship between G-flows and Boolean subalgebra of G in more detail in Section 6.
We will consider 
$\beta G$ as a compact right topological semigroup, meaning that for 
$y \in \beta G$ the map 
$\beta G \to \beta G : x \to xy$ is continuous. Many aspects of the structure of 
$\beta G$ are well understood (see, e.g., [Reference Hindman and Strauss20]). For example, 
$\beta G$ contains idempotents and has minimal left ideals.
Let L be a minimal left ideal in 
$\beta G$. Then L is closed. Let 
$E \subseteq L$ denote the set of idempotents in L. Then L decomposes as a disjoint union 
$L = \sqcup _{u \in E} uL$. In particular, L contains idempotents, which are said to be minimal. Note that L is a compact G-flow with respect to the left multiplication action of G. We will frequently use the fact that L is isomorphic as a G-flow to the universal minimal flow 
$\operatorname {{\partial _{\mathrm {m}}}} G$. In fact, whenever X is a G-flow there is an action of 
$\beta G$ on X obtained by extending the maps 
$G \to X : x \to gx$ to maps 
$\beta G \to X$.
For a G-flow X, a subset 
$S \subseteq X$ and a point 
$x \in X$, the corresponding return set 
$S_{x} \subseteq G$ is defined by 
$S_{x} = \{g \in G : gx \in S \}$. We will frequently make use of the following characterization of the closure of the return set of a clopen subset.
Lemma 2.1. Let X be a G-flow, and let 
$U \subseteq X$ be a clopen subset. Then for 
$x \in X$, 
$\overline {U_{x}} = \{y \in \beta G : yx \in U\}$.
Proof. Suppose that 
$y \in \overline {U_{x}}$. Then there is a net 
$(g_{i})$ in 
$U_{x}$ such that 
$\lim g_{i} = y$. Then 
$\lim g_{i} x = yx$. Since 
$g_{i} x \in U$ for each i and U is closed, it follows that 
$yx \in U$.
Conversely, suppose that 
$yx \in U$. Let 
$(g_{i})$ be a net in G such that 
$\lim g_{i} = y$. Then 
$\lim g_{i} x = yx \in U$. Since U is open, eventually 
$g_{i} x \in U$. Hence, eventually 
$g_{i} \in \overline {U_{x}}$ and therefore 
$y \in \overline {U_{x}}$.
2.2 Unital commutative C*-algebras
The category of compact Hausdorff spaces with continuous maps as morphisms is dually equivalent to the category of unital commutative C*-algebras with unital *-homomorphisms as morphisms. For a compact Hausdorff space X, the corresponding dual object is the C*-algebra 
$\mathrm {C}(X)$ of continuous functions on X.
If Y is another compact Hausdorff space, then a continuous map 
$\alpha : Y \to X$ corresponds to the *-homomorphism 
$\pi : \mathrm {C}(X) \to \mathrm {C}(Y)$ defined by 
$\pi (f)(y) = f(\alpha (y))$ for 
$f \in \mathrm {C}(X)$ and 
$y \in Y$. We will frequently use the fact that the map 
$\alpha $ is surjective if and only if the map 
$\pi $ is injective.
Let G be a discrete group. We will say that the unital commmutative C*-algebra 
$\mathrm {C}(X)$ is a G-C*-algebra if there is an action of G on 
$\mathrm {C}(X)$ by automorphisms. For 
$g \in G$ and 
$f \in \mathrm {C}(X)$, we will write 
$gf$ for the image of f under the automorphism corresponding to f.
The category of G-flows with equivariant continuous maps as morphisms is dually equivalent to the category of unital commutative G-C*-algebras. If X is a G-flow, then the C*-algebra 
$\mathrm {C}(X)$ is a G-C*-algebra with respect to the corresponding action of G defined by 
$gf(x) = f(g^{-1}x)$ for 
$g \in G$ and 
$f \in \mathrm {C}(X)$. We will discuss the relationship between G-flows and G-C*-algebras in more detail in Section 5.
3 Higher-order syndeticity
3.1 Higher-order syndeticity
Let G be a discrete group. Recall that a subset 
$A \subseteq G$ is (left) syndetic if there is a finite subset 
$F \subseteq G$ such that 
$FA = G$. In this section, we will introduce a ‘higher-order’ notion of syndeticity for subsets of G and consider several characterizations of sets with this property. In later sections, we will establish connections with the topological dynamics of G. In particular, we will see that the structure of the completely syndetic subsets of a group is closely related to the problem of the existence of minimal proximal flows for the group.
Definition 3.1. Let G be a discrete group. For 
$n \in \mathbb {N}$, a subset 
$A \subseteq G$ is (left) n-syndetic if there is a finite subset 
$F \subseteq G$ such that 
$F A^{n} = G^{n}$. We will say that A is completely (left) syndetic if it is n-syndetic for all 
$n \in \mathbb {N}$.
The next result follows immediately from Definition 3.1, and provides a useful reformulation of the definition of an n-syndetic subset.
Lemma 3.2. Let G be a discrete group and 
$n \in \mathbb {N}$. A subset 
$A \subseteq G$ is n-syndetic if and only if there is a finite subset 
$F \subseteq G$ such that for every finite subset 
$K \subseteq G$ with 
$|K| = n$, there is 
$f \in F$ such that 
$fK \subseteq A$.
The next proposition provides another characterization of n-syndetic subsets.
Proposition 3.3. Let G be a discrete group. A subset 
$A \subseteq G$ is n-syndetic if and only if there is a finite subset 
$F \subseteq G$ such that, whenever F is partitioned as 
$F = F_{1} \sqcup \cdots \sqcup F_{n}$, then 
$F_{i} A = G$ for some i.
Proof. For 
$n \in \mathbb {N}$ and a finite subset 
$F \subseteq G$,
$$ \begin{align*} (F(A^{n}))^{c} &= \bigcap_{f \in F} f (A^{n})^{c} \\ & = \bigcap_{f \in F} f((A^{c} \times G^{n-1}) \cup (G \times A^{c} \times G^{n-2}) \cup \cdots \cup (G^{n-1} \times A^{c})) \\ & = \bigcup_{F = F_{1} \sqcup \cdots \sqcup F_{n}} \left( \bigcap_{f \in F_{1}} f A^{c} \times \cdots \times \bigcap_{f \in F_{n}} f A^{c} \right) \\ & = \bigcup_{F = F_{1} \sqcup \cdots \sqcup F_{n}} (F_{1} A)^{c} \times \cdots \times (F_{n} A)^{c}, \end{align*} $$where the union is taken over all partitions 
$F = F_{1} \sqcup \cdots \sqcup F_{n}$, with the convention that, if 
$F_{i} = \emptyset $, then 
$\cap _{f \in F_{i}} fA^{c} = G$ and 
$F_{i} A = \emptyset $. It follows that 
$FA^{n} = G^{n}$ if and only if whenever F is partitioned as 
$F = F_{1} \sqcup \cdots \sqcup F_{n}$, then 
$F_{i} A = G$ for some i.
Recall that a subset 
$B \subseteq G$ is (right) thick if for every finite subset 
$F \subseteq G$ there is 
$h \in G$ such that 
$Fh \subseteq B$. One can see right from the definitions that a subset 
$A \subseteq G$ is syndetic if and only if 
$A^{c}$ is not thick. This correspondence can be expressed in terms of dual families.
Let 
$\mathcal {F}$ be a family of subsets of G. The dual family 
$\mathcal {F}^{*}$ is the family of subsets of G having nonzero intersection with every element of 
$\mathcal {F}$, i.e.,
$$ \begin{align*} \mathcal{F}^{*} = \{B \subseteq G : A \cap B \ne \emptyset \text{ for all } A \in \mathcal{F} \}. \end{align*} $$An important property of the family of thick subsets of G is that it is dual to the family of syndetic subsets of G. This fact will be generalised to n-syndetic subsets in Corollary 3.6 below.
We first identify the complements of n-syndetic subsets.
Definition 3.4. Let G be a discrete group. For 
$n \in \mathbb {N}$, we will say that a subset 
$B \subseteq G$ is (right) 
$1/n$-thick if for every finite subset 
$F \subseteq G$ there is 
$(h_{1},\ldots ,h_{n})\in G^{n}$ such that
$$ \begin{align*} F(h_{1},\ldots,h_{n}) \subseteq \bigcup_{i=1}^{n} G^{n-i} \times B \times G^{i-1}. \end{align*} $$We will say that B is fractionally (right) thick if it is 
$1/n$-thick for some 
$n \in \mathbb {N}$.
We observe that also 
$1/n$-thickness admits a characterization in terms of partitions of sets, in analogy with Proposition 3.3. Indeed, a subset 
$B \subseteq G$ is 
$1/n$-thick if for every finite subset 
$F \subseteq G$ there are elements 
$h_{1},\dotsc ,h_{n} \in G$ such that for every element 
$f \in F$ at least one of the elements 
$fh_{i}$, 
$i \in \{1,\dotsc , n\}$ lies in B. Phrased differently, there is a partition 
$F = F_{1} \sqcup \dotsm \sqcup F_{n}$ and element 
$h_{1}, \dotsc , h_{n} \in G$ such that 
$F_{i} h_{i} \subseteq B$ for all i.
Proposition 3.5. Let G be a discrete group. For 
$n \in \mathbb {N}$, a subset 
$A \subseteq G$ is n-syndetic if and only if 
$A^{c}$ is not 
$1/n$-thick. Hence, A is completely syndetic if and only if 
$A^{c}$ is not fractionally thick.
Proof. For a finite subset 
$F \subseteq G$,
$$ \begin{align*} (FA^{n})^{c} = \cap_{f \in F} f(A^{n})^{c} = \bigcap_{f \in F} f \left( \bigcup_{i=1}^{n} G^{n-i} \times A^{c} \times G^{i-1} \right). \end{align*} $$Therefore, 
$FA^{n} \ne G^{n}$ if and only if the intersection on the right is nonempty. This is equivalent to the condition that there is 
$(h_{1},\ldots ,h_{n}) \in G^{n}$ such that
$$ \begin{align*} F^{-1}(h_{1},\ldots,h_{n}) \subseteq \bigcup_{i=1}^{n} G^{n-i} \times A^{c} \times G^{i-1}.\\[-48pt] \end{align*} $$Corollary 3.6. Let G be a discrete group. For 
$n \in \mathbb {N}$, the dual to the family of n-syndetic subsets is the family of 
$1/n$-thick sets. Hence, the dual to the family of completely syndetic subsets is the family of fractionally thick subsets.
Proof. Suppose 
$B \subseteq G$ is a subset satisfying 
$A \cap B \ne \emptyset $ for all n-syndetic subsets 
$A \subseteq G$. Then since 
$B \cap B^{c} = \emptyset $, 
$B^{c}$ is not n-syndetic. Hence, by Proposition 3.5, B is 
$1/n$-thick.
Conversely, suppose that 
$A \cap B = \emptyset $ for some n-syndetic subset A. Then 
$A \subseteq B^{c}$, and since any set containing an n-syndetic subset is itself n-syndetic, 
$B^{c}$ is n-syndetic. Hence by Proposition 3.5, B is not 
$1/n$-thick.
Example 3.7. It is well known that a subset 
$A \subseteq \mathbb {Z}$ is syndetic if and only if it has ‘bounded gaps’, meaning that there is 
$k \in \mathbb {N}$ such that, for any 
$a \in \mathbb {Z}$, 
$\{a, a + 1, \ldots , a + k\} \cap A \ne \emptyset $.
For 
$n \in \mathbb {N}$, a subset 
$A \subseteq \mathbb {Z}$ is n-syndetic if and only if 
$A^{n}$ has ‘bounded diagonal gaps’, meaning that there is 
$k \in \mathbb {N}$ such that, for any n-tuple 
$(a_{1},\dots ,a_{n}) \in \mathbb {Z}^{n}$,
$$ \begin{align} \{(a_{1},\dots,a_{n}), (a_{1}+1,\dots,a_{n}+1) \dots, (a_{1}+k,\dots,a_{n}+k)\} \cap A^{n} \ne \emptyset. \end{align} $$To see this, recall that A is n-syndetic if and only if 
$A^{c}$ is not 
$1/n$-thick, meaning that there is a finite subset 
$F \subseteq \mathbb Z$ such that, for every n-tuple 
$(a_{1},\dots ,a_{n}) \in \mathbb {Z}^{n}$, 
$(F+(a_{1},\dots ,a_{n})) \not \subseteq \bigcup _{i=1}^{n} \mathbb {Z}^{n-i} \times A^{c} \times \mathbb {Z}^{i-1}$. Equivalently, 
$(F+(a_{1},\dots ,a_{n})) \cap A^{n} \neq \emptyset $. Therefore, if A is n-syndetic and 
$F \subseteq \mathbb {Z}$ satisfies 
$F+A^{n} = \mathbb {Z}^{n}$, then equation (3.1) is satisfied for 
$k=\max (F)-\min (F)+1$. Conversely, if there is 
$k \in \mathbb {N}$ such that equation (3.1) is satisfied, then for 
$F = \{0,1,\ldots ,k\}$, 
$F+A^{n} = \mathbb {Z}^{n}$, showing that A is n-syndetic.
Since a subgroup is syndetic if and only if it is finite index and since every subgroup of 
$\mathbb {Z}$ is of the form 
$m\mathbb {Z}$ for 
$m \in \mathbb {N}$ and so is of finite index, every subgroup of 
$\mathbb {Z}$ is syndetic. However, no subgroup of 
$\mathbb {Z}$ is 
$2$-syndetic since, for any 
$m \in \mathbb {N} \setminus \{1\}$, there are arbitrarily long diagonal segments in 
$\mathbb {Z}^{2}$ that do not intersect 
$(m\mathbb {Z})^{2}$. This can be seen, for example, in Figure 1.
Figure 1 The subgroup 
$2\mathbb {Z} \subseteq \mathbb {Z}$ is syndetic but not 
$2$-syndetic since there are arbitrarily long diagonal segments in 
$\mathbb {Z} \times \mathbb {Z}$ that do not intersect 
$2\mathbb {Z} \times 2\mathbb {Z}$.
Now fix 
$n \in \mathbb {N}$ with 
$n> 2$. We will show that the set 
$A=\mathbb {Z} \setminus n\mathbb {Z}$ is 
$(n-1)$-syndetic but not n-syndetic. To see that A is 
$(n-1)$-syndetic, first note that, for 
$a \in \mathbb {Z}$, there is exactly one multiple of n in the set 
$\{a,a+1 \dots , a+(n-1)\}$. Hence, for an 
$(n-1)$-tuple 
$(a_{1},\dots , a_{n-1}) \in \mathbb {Z}^{n-1}$, at most 
$n-1$ elements of the set
$$ \begin{align*} \{(a_{1},\dots, a_{n-1}),(a_{1}+1,\dots, a_{n-1}+1), \dots,(a_{1}+(n-1),\dots, a_{n-1}+(n-1))\} \end{align*} $$have an entry that is a multiple of n. Therefore, at least one element in the set has no entries that are multiples of n, and this element belongs to 
$A^{n-1}$.
To see that A is not n-syndetic, note that, for 
$k\in \mathbb {N}$, every member of the set
$$ \begin{align*} \{(1,2,\dots, n),(2,3,\dots, n+1), \dots, (1+k,2+k,\dots, n+k)\} \end{align*} $$has an entry that is a multiple of n. Therefore, the set does not intersect 
$A^{n}$.
Figure 2 The subset 
$\mathbb {Z} \setminus 3\mathbb {Z} \subseteq \mathbb {Z}$ is 
$2$-syndetic but not 
$3$-syndetic since, for 
$k\in \mathbb N$, every element in the set 
$\{(1,2,3),(2,3,4),(3,4,5),(4,5,6), \dots , (1+k,2+k,3+k)\}$ has an entry that is a multiple of 3, implying that the set does not intersect 
$A^{3}$.
Finally, we will construct an example of a nontrivial completely syndetic set. Let B denote the complement of the set of powers of 
$2$ in 
$\mathbb {Z}$. Fix 
$n\in \mathbb {N}$, and let 
$k=2^{n-1}+1$. Then, for 
$a \in \mathbb {Z}$, there are at most n powers of 
$2$ in the subset 
$\{a,a+1, \dots , a+k\}$. Hence, for every n-tuple 
$(a_{1},\dots , a_{n}) \in \mathbb {Z}^{n}$, there are at most 
$n^{2}$ elements of the set
$$ \begin{align*} \{(a_{1},\dots, a_{n}),(a_{1}+1,\dots, a_{n}+1), \dots,(a_{1}+k,\dots, a_{n}+k)\} \end{align*} $$with an entry that is a power of 
$2$. Since 
$n^{2}<2^{n}+2=k+1$, this implies that at least one element of the set has no entries that are a power of 
$2$, and this element belongs to 
$B^{n}$. Therefore, B is n-syndetic. Since n was arbitary, it follows that B is completely syndetic.
Figure 3 The complement of the set of powers of 
$2$ in 
$\mathbb {Z}$ is completely syndetic and, in particular, is 
$2$-syndetic.
The next result is a generalization of the criterion that was used in Example 3.7.
Lemma 3.8. Let G be a discrete group. For 
$n \in \mathbb {N}$, a subset 
$A \subseteq G$ is n-syndetic if and only if there is a finite subset 
$F \subseteq G$ such that, for any finite subset 
$K \subseteq G$ with 
$|K| = n$, 
$F \cap (\cap _{k \in K} Ak) \ne \emptyset $.
Proof. If A is n-syndetic, then there is a finite subset 
$F \subseteq G$ such that 
$FA^{n} = G^{n}$. For finite 
$K \subseteq G$ with 
$|K| = n$, write 
$K=\{k_{1},\ldots , k_{n}\}$. Then there is 
$f \in F$ such that 
$(k_{1}^{-1},\ldots ,k_{n}^{-1}) \in fA^{n}$. Equivalently, 
$f^{-1} \in \cap _{i=1}^{n} Ak_{i}$. In particular, 
$F^{-1} \cap (\cap _{k \in K} Ak) \ne \emptyset $.
Conversely, if there is a finite subset 
$F \subseteq G$ such that for any finite subset 
$K \subseteq G$ with 
$|K| = n$, 
$F \cap (\cap _{k \in K} Ak) \ne \emptyset $, then it is easy to check that 
$F^{-1}A^{n} = G^{n}$. Hence, A is n-syndetic.
Example 3.9. Let G be a discrete group. Let 
$A,B \subseteq G$ be subsets with A syndetic and B thick. Then the set 
$AB$ satisfies the property that 
$\bigcap _{f \in F} fAB$ is syndetic for every finite subset 
$F \subseteq G$. Equivalently, 
$\overline {AB} \subseteq \beta G$ contains every minimal ideal. Such sets are called thickly syndetic in the literature. We claim that the product set 
$AB$ is also completely syndetic. To see this, choose a finite subset 
$F \subseteq G$ such that 
$FA = G$. Given 
$K \subseteq G$ finite, the assumption on B implies that there is 
$h \in \cap _{k \in K} Bk \ne \emptyset $. Then Lemma 3.8 applied for 
$n = 1$, says that 
$F^{-1} \cap Ah \ne \emptyset $. Therefore,
$$ \begin{align*} \emptyset \ne F^{-1} \cap Ah \subseteq F^{-1} \cap A(\cap_{k \in K} Bk) \subseteq F^{-1} \cap (\cap_{k \in K} ABk), \end{align*} $$so Lemma 3.8 implies that 
$AB$ is completely syndetic.
In later sections we will be interested in subsets 
$A \subseteq G$ that “avoid” a given finite subset of 
$F \subseteq G$, in the sense that 
$FA \cap A = \emptyset $. For 
$n \in \mathbb {N}$, let 
$2^{G}_{n}$ denote the family of subsets of G of size n. Then n-syndetic subsets of G with this property correspond to certain “colorings” of 
$2^{G}_{n}$.
Definition 3.10. Let G be a countable discrete group. For a finite subset 
$F \subseteq G$ and 
$n \in \mathbb {N}$, an 
$(F,n)$-coloring of G is a pair 
$(K,k)$ consisting of a finite subset 
$K \subseteq G$ and a function 
$k : 2^{G}_{n} \to K$ such that, for any pair of subsets 
$E_{1},E_{2} \in 2^{G}_{n}$, we have 
$F k(E_{1})E_{1} \cap k(E_{2})E_{2} = \emptyset $.
Proposition 3.11. Let G be a discrete group and 
$F \subseteq G$ finite. There is a surjection from 
$(F,n)$-colorings of G onto n-syndetic subsets 
$A \subseteq G$ satisfying 
$FA \cap A = \emptyset $. For an 
$(F,n)$-coloring 
$(K,k)$, the corresponding n-syndetic subset is 
$A = \bigcup _{E \in 2^{G}_{n}} k(E)E$.
Proof. Let 
$(K,k)$ be an 
$(F,n)$-coloring of G, and let 
$A = \cup _{E \in 2^{G}_{n}} k(E) E$. Then by the definition of an 
$(F,n)$-coloring,
$$ \begin{align*} FA \cap A \subseteq \bigcup_{E_{1},E_{2} \in 2^{G}_{n}} F k(E_{1})E_{1} \cap k(E_{2})E_{2} = \emptyset. \end{align*} $$Furthermore, for 
$E \in 2^{G}_{n}$, we have the inclusion 
$k(E)E \subseteq A$, implying that A is n-syndetic.
Conversely, let 
$A \subseteq G$ be an n-syndetic subset such that 
$FA \cap A = \emptyset $. Then there is a finite subset 
$K \subseteq G$ such that 
$KA^{n} = G^{n}$. Write 
$K = \{k_{1},\ldots ,k_{m}\}$, and define 
$k : 2_{n}^{G} \to K^{-1}$ by 
$k(E) = k_{i}^{-1}$ for 
$E \subseteq 2_{n}^{G}$, where 
$i = \min \{i : E \subseteq k_{i} A \}$. Then, for 
$E_{1},E_{2} \subseteq 2^{G^{n}}$, the fact that 
$k(E_{1}) E_{1},k(E_{2}) E_{2} \subseteq A$ implies that 
$F k(E_{1}) E_{1} \cap k(E_{2}) E_{2} = \emptyset $. Therefore, the pair 
$(k,K^{-1})$ is an 
$(F,n)$-coloring of G.
Remark 3.12. Since the choice of the enumeration of K in the second part of the proof of Proposition 3.11 is arbitrary, this correspondence will not generally be a bijection.
3.2 Stone–Čech compactification
Let G be a discrete group. There is an important characterization of syndetic subsets in terms of the Stone–Čech compactification 
$\beta G$ of G. Namely, a subset 
$A \subseteq G$ is syndetic if and only if for every minimal left ideal L of 
$\beta G$, 
$\overline {A} \cap L \ne \emptyset $. In this section, we will establish a characterization of higher-order syndetic subsets in terms of 
$\beta G$. This characterization will be important in later sections when we consider the topological dynamical structure of G.
For a subset 
$A \subseteq G$ and a point 
$x \in \beta G$, the corresponding return set is 
$\overline {A}_{x} = \{g \in G : gx \in \overline {A} \}$.
Proposition 3.13. Let G be a discrete group. A subset 
$A \subseteq G$ is n-syndetic if and only if, for every finite subset 
$K \subseteq \beta G$ with 
$|K| \leq n$, there is 
$g \in G$ such that 
$gK \subseteq \overline {A}$. Equivalently, 
$\cap _{x \in K} \overline {A}_{x} \ne \emptyset $.
Proof. Suppose that A is n-syndetic. Then there is a finite subset 
$F \subseteq G$ such that 
$FA^{n} = G^{n}$, and taking closures on both sides with respect to the product topology implies 
$F\overline {A}^{n} = (\beta G)^{n}$. Let 
$K \subseteq \beta G$ be a finite subset with 
$|K| \leq n$. Then from above, 
$K \subseteq f \overline {A}$ for some 
$f \in F$. Hence, 
$f^{-1} K \subseteq \overline {A}$.
Conversely, suppose that, for every finite subset 
$K \subseteq \beta G$ with 
$|K| \leq n$, there is 
$g \in G$ such that 
$gK \subseteq \overline {A}$. Then 
$\bigcup _{g \in G} g \overline {A}^{n} = (\beta G)^{n}$. Since 
$\overline {A}$ is clopen and 
$\beta G$ is compact, 
$\overline {A}^{n}$ is clopen and 
$(\beta G)^{n}$ is compact with respect to the product topology. Hence, there is a finite subset 
$F \subseteq G$ such that 
$F \overline {A}^{n} = (\beta G)^{n}$. It follows that 
$FA^{n} = G^{n}$, so A is n-syndetic.
Proposition 3.14. Let G be a discrete group. A subset 
$A \subseteq G$ is completely syndetic if and only if the closure 
$\overline {A} \subseteq \beta G$ contains a closed right ideal of 
$\beta G$.
Proof. Suppose that 
$\overline {A}$ contains a right ideal R. Then for 
$x \in R$ and a finite subset 
$K \subseteq \beta G$, 
$xK \subseteq R \subseteq \overline {A}$. Let 
$(g_{i})$ be a net in G such that 
$\lim g_{i} = x$. Then, since 
$\overline {A}$ is clopen, eventually 
$g_{i} K \subseteq \overline {A}$ since the product on 
$\beta G$ is continuous in the first variable. Hence, by Proposition 3.13, A is completely syndetic.
Conversely, suppose that A is completely syndetic. Then by Proposition 3.13, the family of sets 
$\{\overline {A}_{y}\}_{y \in \beta G}$ has the finite intersection property. Hence, the family 
$\{\overline {\overline {A}_{y}}\}_{y \in \beta G}$ of clopen subsets also has the finite intersection property. Therefore, by the compactness of 
$\beta G$, there is 
$x \in \cap _{y \in \beta G} \overline {\overline {A}_{y}}$. Then 
$xy \in \overline {A}$ for all 
$y \in \beta G$, implying that the right ideal 
$R = x\beta G$ satisfies 
$R \subseteq \overline {A}$.
If 
$\overline {A}$ contains a right ideal, then, since the closure of every right ideal in 
$\beta G$ is a right ideal (see, e.g., [Reference Hindman and Strauss20, Theorem 2.15]), 
$\overline {A}$ necessarily contains a closed right ideal.
If G is amenable, then syndetic subsets of G can be characterized in terms of left invariant means on G. Specifically, a subset 
$A \subseteq G$ is syndetic if and only if, for every left invariant mean m on G, 
$m(A)> 0$ (see, e.g., [Reference Bergelson, Hindman and McCutcheon4, Theorem 2.7]). The next result generalizes this characterization.
Lemma 3.15. Let G be an amenable discrete group. For 
$n \in \mathbb {N}$, a subset 
$A \subseteq G$ is n-syndetic if and only if for every mean m on 
$G^{n}$ that is invariant under left translation by G we have 
$m(A^{n})> 0$.
Proof. Suppose that A is n-syndetic, and let m be a mean on 
$G^{n}$ that is invariant under left translation by G. Since A is n-syndetic, there is a finite subset 
$F \subseteq G$ such that 
$FA^{n} = G^{n}$. Then 
$m(FA^{n}) = 1$. By the translation invariance of m, it follows that 
$m(A^{n})> 0$.
Conversely, suppose that 
$A \subseteq G$ is not n-syndetic. Then, by Proposition 3.5, for every finite subset 
$F \subseteq G$ there is 
$h_{F} = (h_{1},\ldots ,h_{n}) \in G^{n}$ such that 
$Fh_{F} \subseteq (A^{n})^{c}$. The net 
$(h_{F})_{F \subseteq G}$ indexed by finite subsets 
$F \subseteq G$ is directed by inclusion. Let 
$x \in \beta (G^{n})$ be a cluster point. Then 
$gx \in \overline {(A^{n})^{c}}$ for all 
$g \in G$.
From above, letting 
$\delta _{x}$ denote the Dirac measure on 
$\beta (G^{n})$ corresponding to x, 
$(g\delta _{x})(\overline {A^{n}}) = 0$ for all 
$g \in G$. Since G is amenable, there is a probability measure 
$\mu $ on 
$\beta (G^{n})$ contained in the closed convex hull of the set 
$\{g \delta _{x}\}_{g \in G}$ that is invariant under left translation by G. By construction, 
$\mu (\overline {A^{n}}) = 0$. Therefore, letting m denote the corresponding mean on 
$G^{n}$, m is invariant under left translation by G and satisfies 
$m(A^{n}) = 0$.
3.3 Subshift dynamics
Let G be a countable discrete group, and let 
$2^{G}$ denote the family of subsets of G. Fix an enumeration of G as 
$G = \{g_{k} : k \in \mathbb {N} \}$, and equip 
$2^{G}$ with the metric 
$d : 2^{G} \times 2^{G} \to \mathbb {R}$ defined by 
$d(A,B) = 1/n$ for 
$A,B \in 2^{G}$, where 
$n = \inf \{k \in \mathbb {N} : A \cap \{g_{k}\} \ne B \cap \{g_{k}\} \}$. Then 
$2^{G}$ is compact and the right translation action on 
$2^{G}$ defines a G-flow called the Bernoulli shift.
A subflow of the Bernoulli shift is called a subshift. In this section, we will establish a characterization of higher-order syndetic subsets in terms of a property of the subshifts that they generate. We will apply this result in later sections when we discuss strong amenability.
For a subset 
$A \subseteq G$, let 
$X \subseteq 2^{G}$ denote the subshift generated by A. Then it is well known that A is syndetic if and only if 
$\emptyset \notin X$ and 
$A^{c}$ is syndetic if and only if 
$G \notin X$. The next result is a generalization of this fact.
Proposition 3.16. Let G be a countable discrete group, let 
$A \subseteq G$ be a subset of G and let 
$X \subseteq 2^{G}$ denote the subshift generated by A. Then, for 
$n \in \mathbb {N}$, A is n-syndetic if and only if for any 
$B_{1},\ldots ,B_{n} \in X$, 
$B_{1} \cap \cdots \cap B_{n} \ne \emptyset $. Also, 
$A^{c}$ is n-syndetic if and only if for any 
$B_{1},\ldots ,B_{n} \in X$, 
$B_{1} \cup \cdots \cup B_{n} \ne G$.
Proof. Suppose that A is n-syndetic. Then by Lemma 3.8 there is a finite subset 
$F \subseteq G$ such that, for any finite subset 
$K \subseteq G$ with 
$|K| = n$, 
$F \cap (\cap _{k \in K} Ak) \ne \emptyset $. Choose 
$B_{1},\ldots ,B_{n} \in X$, and for each 
$i \in \{1, \dotsc , n\}$ let 
$(g_{k}^{i})$ be a sequence in G such that 
$\lim _{k} A g_{k}^{i} = B_{i}$. Then from above, 
$F \cap (\cap _{i=1}^{n} Ag_{k}^{i}) \ne \emptyset $ for each k. Since F is finite, by passing to subsequences we can assume that there is 
$f \in F$ such that 
$f \in A g_{k}^{i}$ for all k and i. Then 
$f \in B_{1} \cap \cdots \cap B_{n}$, and in particular 
$B_{1} \cap \cdots \cap B_{n} \ne \emptyset $.
Conversely, suppose there is 
$B_{1},\ldots ,B_{n} \in X$ such that 
$B_{1} \cap \cdots \cap B_{n} = \emptyset $. Let 
$(g_{k}^{i})$ be sequences in G such that 
$\lim _{k} A g_{k}^{i} = B_{i}$. Then for any finite subset 
$F \subseteq G$, eventually 
$F \cap (\cap _{i=1}^{n} A g_{k}^{i}) = \emptyset $. Indeed, otherwise we could argue as above that 
$B_{1} \cap \cdots \cap B_{n} \ne \emptyset $. Hence, by Lemma 3.8, A is not n-syndetic.
For subsets 
$B_{1},\ldots ,B_{n} \subseteq G$, 
$B_{1},\ldots ,B_{n}$ are in the subshift generated by A if and only if 
$B_{1}^{c},\ldots ,B_{n}^{c}$ are in the subshift generated by 
$A^{c}$. It follows from above that 
$A^{c}$ is n-syndetic if and only if for any 
$B_{1},\ldots ,B_{n} \in X$, 
$B_{1} \cup \cdots \cup B_{n} \ne G$.
3.4 Strongly complete syndeticity
In this section, we will introduce a slightly stronger notion of complete syndeticity for subsets of a discrete group inspired by the proof of [Reference Glasner13, Chapter VII, Proposition 2.1]. We will see later that, just as the structure of the completely syndetic subsets of a group is closely related to the problem of the existence of minimal proximal flows for the group, the structure of the subsets satisfying this stronger property is closely related to the problem of the existence of minimal strongly proximal flows.
Recall that a multiset is a set with multiplicity. Formally, a multiset is a pair 
$X = (A,m)$ consisting of a set A and a multiplicity function 
$m : A \to \mathbb {N}_{\geq 1}$. The cardinality of X is 
$|X| = \sum _{a \in A} m(a)$. For an ordinary set Y, we will write 
$X \subseteq Y$ if 
$A \subseteq Y$, and we will write 
$X \cap Y$ for the multiset 
$(A \cap Y, m|_{A \cap Y})$. Finally, for a discrete group G, a multiset 
$X = (A,m) \subseteq G$ and 
$g \in G$, we will write 
$gX = (gA, gm)$, where 
$gm : gA \to \mathbb {N}_{\geq 1}$ is defined by 
$gm(ga) = m(a)$ for 
$a \in A$. Note that, if X is an ordinary set, identified with a multiset in the obvious way, then these definitions will coincide with the usual definitions.
Definition 3.17. Let G be a discrete group. We will say that a subset 
$A \subseteq G$ is strongly completely (left) syndetic if for every 
$\epsilon> 0$ there is a finite subset 
$F \subseteq G$ such that, for every finite multiset 
$K \subseteq G$, there is 
$f \in F$ such that 
$|fK \cap A| \geq (1-\epsilon )|K|$.
Remark 3.18. We will see in Section 6.3 that it is essential that the set K in the above definition is allowed to be a multiset.
Remark 3.19. Recall from Definition 3.1 and Lemma 3.2 that a subset 
$A \subseteq G$ is completely syndetic if for every 
$n \in \mathbb {N}$ there are finitely many translates of A such that any sequence 
$g_{1}, \dotsc , g_{n}$ in G belongs all together to at least one of the translates. One possible attempt to strengthen this notion is to drop the bound on the number of elements from G, but then 
$A = G$ is the only set satisfying this definition. Strong complete syndeticity provides a probabilistic version of this idea. Indeed, a subset 
$A \subseteq G$ is strongly completely syndetic if and only if for every 
$\epsilon> 0$ there are finitely many translates of A such that of any sequence 
$g_{1}, \dotsc , g_{n}$ in G at least 
$(1 - \epsilon )n$ of its members belong to one of the translates.
Lemma 3.20. Let G be a discrete group. If a subset 
$A \subseteq G$ is strongly completely syndetic, then it is completely syndetic.
Proof. Suppose that A is strongly completely syndetic. For 
$n \in \mathbb {N}$, let 
$\epsilon = \frac {1}{2n}$. Then there is a finite subset 
$F \subseteq G$ such that for every finite subset 
$K \subseteq G$ with 
$|K| = n$ there is 
$f \in F$ such that 
$|fK \cap A| \geq (1 - \epsilon )|K| = n - \frac {1}{2}$. Hence, 
$|fK \cap A| = n$, implying 
$fK \subseteq A$. Therefore, A is left n-syndetic.
We will see later that not every completely syndetic subset is strongly completely syndetic.
Example 3.21. Consider the free group on two generators 
$\mathbb {F}_{2} = \langle a,b \rangle $, and let 
$A \subseteq \mathbb {F}_{2}$ denote the set of all elements in 
$\mathbb {F}_{2}$ with reduced form beginning with a. We will show that A is strongly completely syndetic. To this end, choose 
$\epsilon> 0$ and 
$n \in \mathbb {N}$ with 
$n \geq 1/(2\epsilon ) + 1$.
For a reduced word w in 
$\{a,b\}$, let 
$B_{w} \subseteq \mathbb {F}_{2}$ denote the subset of elements such that the corresponding reduced word begins with w. Then there are reduced words 
$w_{2},\ldots ,w_{2n}$ such that setting 
$w_{1} = a$, 
$\mathbb {F}_{2} \setminus \{e\}= B_{w_{1}} \sqcup B_{w_{2}} \sqcup \cdots \sqcup B_{w_{2n}}$ and there is a finite subset 
$F \subseteq \mathbb {F}_{2}$ with the property that, for each 
$2\leq i \leq 2n$, there is 
$f \in F$ satisfying 
$fB_{w_{j}} \subseteq B_{a}=B_{w_{1}}$ if 
$j \ne i$.
For example, if 
$n = 2$, we can take 
$w_{2} = a^{-1}$, 
$w_{3} = b$, 
$w_{4} = b^{-1}$ and 
$F = \{a,ab^{-1},ab\}$. Then, for all 
$j\neq 2$, 
$aB_{w_{j}}\subseteq B_{a}$; for all 
$j\neq 3$, 
$ab^{-1}B_{w_{j}}\subseteq B_{a}$ and for all 
$j\neq 4$, 
$abB_{w_{j}}\subseteq B_{a}$. Similiarly, for 
$n = 3$, we can take 
$w_{2} = a^{-2}$, 
$w_{3} = a^{-1}b$, 
$w_{4} = a^{-1}b^{-1}$, 
$w_{5} = b$, 
$B_{6} = b^{-1}$ and 
$F = \{a^{2},ab^{-1}a,aba,ab^{-1},ab\}$.
Then, for a finite multiset 
$K \subseteq G$, 
$|K \cap B_{w_{i}}| \leq |K|/(2n-1)$ for some 
$i \neq 1$. By construction there is 
$f \in F$ such that 
$fB_{w_{j}} \subseteq B_{a}$ for 
$j \ne i$. Then
$$ \begin{align*} |fK \cap A| \geq \left(1-\tfrac{1}{2n-1}\right)|K| \geq (1-\epsilon)|K|. \end{align*} $$Therefore, A is strongly completely syndetic.
4 Algebraically irreducible affine flows
Let G be a discrete group and let X be a G-flow. If X is minimal and strongly proximal, then the affine flow 
$\mathrm {P}(X)$ of probability measures on X is irreducible, meaning that it has no proper affine subflow. Indeed, an affine subflow of 
$\mathrm {P}(X)$ necessarily contains X, and hence, by the Krein–Milman theorem, contains all of 
$\mathrm {P}(X)$. Furstenberg proved (see, e.g., [Reference Glasner13, Theorem 2.3]) a kind of converse: If K is any irreducible affine G-flow, then the closure of the set of extreme points of K is a minimal strongly proximal G-flow.
Zorn’s lemma implies that every affine G-flow L contains an irreducible affine G-flow K. It follows from above that for a G-flow X, the affine flow 
$\mathrm {P}(X)$ always contains a minimal strongly proximal G-flow. Consequently, there is always a continuous equivariant map from the universal minimal strongly proximal G-flow 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ to 
$\mathrm {P}(X)$. The existence of this map along with more general ‘boundary maps’ has played an important role in recent applications of topological dynamics to C*-algebras (see, e.g., [Reference Kalantar and Kennedy22] and [Reference Kennedy23]).
In this section, we will establish a similar result for minimal proximal flows. We will utilize this result in later sections. However, in general it does not seem to be as useful as the corresponding result for minimal strongly proximal flows. For the next definition, recall that 
$\partial K$ denotes the set of extreme points of a convex set K.
Definition 4.1. Let G be a discrete group, and let K be an affine G-flow. We will say that K is algebraically irreducible if whenever 
$L \subseteq K$ is an affine G-subflow with the property that 
$L \cap \operatorname {conv}(\overline {\partial K}) \ne \emptyset $, then 
$L = K$.
Proposition 4.2. Let G be a discrete group, let K be an algebraically irreducible affine G-flow and let 
$X = \overline {\partial K}$. Then X is a minimal proximal G-flow, and it is the unique minimal subflow of K with the property that 
$X \cap \operatorname {conv}(\overline {\partial K}) \ne \emptyset $.
Proof. We prove a statement from which both minimality and proximality of X can be deduced. Choose 
$x, y \in X$, and let 
$w = \frac {1}{2}(x + y) \in K$. Let 
$L \subseteq K$ denote the closed convex hull of the orbit 
$Gw$. Then L is an affine subflow with 
$L \cap \operatorname {conv}(\overline {\partial K}) \ne \emptyset $. Since K is algebraically irreducible, 
$L = K$. Hence, by Milman’s partial converse to the Krein–Milman theorem, 
$\partial K \subseteq \overline {Gw}$. It follows that 
$X \subseteq \overline {Gw}$.
Taking 
$x = y$ in the previous paragraph implies that X is minimal. To see that X is proximal, choose a point 
$z \in \partial K$. Then from above there is a net 
$(g_{i})$ in G such that 
$z = \lim g_{i} w = \lim \frac {1}{2}(g_{i} x + g_{i} y)$. Since X is compact, by passing to a subnet we can assume there are points 
$x^{\prime },y^{\prime } \in X$ such that 
$\lim g_{i} x = x^{\prime }$ and 
$\lim g_{i} y = y^{\prime }$. Then 
$z = \frac {1}{2}(x^{\prime } + y^{\prime })$. Since z is an extreme point, it follows that 
$x^{\prime } = y^{\prime } = z$. Hence, X proximal.
Finally, to see that X is unique, let 
$Y \subseteq K$ be a minimal subflow of K such that 
$Y \cap \operatorname {conv}(\overline {\partial K}) \ne \emptyset $. Then the closed convex hull L of Y is an affine G-flow with 
$L \cap \operatorname {conv}(\overline {\partial K}) \ne \emptyset $. Since K is algebraically irreducible, 
$L = K$. Hence, by Milman’s partial converse to the Krein–Milman theorem, 
$\partial K \subseteq Y$. Since 
$\overline {\partial K}$ is invariant, the minimality of Y implies that 
$Y = \overline {\partial K} = X$.
Theorem 4.3. Let G be a discrete group. A G-flow X is minimal and proximal if and only if the affine G-flow 
$\mathrm {P}(X)$ is algebraically irreducible.
Proof. Suppose that 
$\mathrm {P}(X)$ is algebraically irreducible. Then Proposition 4.2 implies 
$X = \partial \mathrm {P}(X)$ is minimal and proximal. Conversely, suppose that X is minimal and proximal. Let 
$K \subseteq \mathrm {P}(X)$ be an affine G-flow with 
$K \cap \mathrm {conv}(X) \ne \emptyset $. Then there is 
$\mu \in K$ of the form 
$\mu = \alpha _{1} \delta _{x_{1}} + \cdots + \alpha _{n} \delta _{x_{n}}$ for 
$\alpha _{1},\ldots ,\alpha _{n}> 0$ and 
$\alpha _{1} + \cdots + \alpha _{n} = 1$ and 
$x_{1},\ldots ,x_{n} \in X$. By the proximality of x there is a net 
$(s_{i})$ in G and 
$y \in X$ such that 
$\lim s_{i} x_{i} = y$ for all i. Hence, 
$\lim s_{i} \mu = \delta _{y}$. Thus, 
$X \subseteq K$ and 
$K = \mathrm {P}(X)$. Hence, 
$\mathrm {P}(X)$ is algebraically irreducible.
We wonder whether Theorem 4.3 could be used to establish the existence of nontrivial minimal proximal flows for non-FC-hypercentral groups, thereby giving a new proof of the main result in [Reference Frisch, Tamuz and Vahidi Ferdowsi8]. We will return to the question of the existence of nontrivial minimal proximal flows in later sections.
5 Highly proximal extensions and injectivity
Zucker recently showed in [Reference Zucker26] that, if G is a Polish group, then the universal minimal G-flow 
$\operatorname {{\partial _{\mathrm {m}}}} G$, the universal minimal proximal G-flow 
$\operatorname {{\partial _{\mathrm {p}}}} G$ and the universal strongly proximal G-flow 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ are all maximally highly proximal (see Section 5.2). If G is discrete, then it turns out that a G-flow X is maximally highly proximal if and only if the C*-algebra 
$\mathrm {C}(X)$ is injective in the category of unital commutative C*-algebras.
Injectivity is an important and well-studied property of C*-algebras. However, a key observation in [Reference Kalantar and Kennedy22] is that the C*-algebra 
$\mathrm {C}(\operatorname {{\partial _{\mathrm {sp}}}} G)$ is actually injective in a much stronger sense. Specifically, it is injective in the category of function systems equipped with a G-action. Here, a function system refers to a closed unital self-adjoint subspace of a unital commutative C*-algebra.
In this section, we will consider a property of G-flows that corresponds to this stronger notion of injectivity. We will show that, in addition to the universal minimal strongly proximal G-flow 
$\operatorname {{\partial _{\mathrm {sp}}}} G$, the universal pointed G-flow (i.e., the Stone–Čech compactification) 
$\beta G$, the universal minimal G-flow 
$\operatorname {{\partial _{\mathrm {m}}}} G$ and the universal minimal proximal G-flow 
$\operatorname {{\partial _{\mathrm {p}}}} G$ also have this property.
5.1 Injectivity and essentiality
Since we will be considering injective objects in two different categories, it will be convenient to give a broad overview of the basic category theory that we will require.
Let 
$\mathcal {C}$ be a category with objects 
$\operatorname {\mathrm {Obj}}(\mathcal {C})$ and morphisms 
$\operatorname {\mathrm {Mor}}(\mathcal {C})$. We fix a class of morphisms 
$E \subseteq \operatorname {\mathrm {Mor}}(\mathcal {C})$. We will refer to the morphisms in E as embeddings. For the categories that we will consider, E will consist of morphisms that are ‘embeddings’ in an appropriate sense.
For example, in the next section, we will consider the category of unital commutative C*-algebras with unital *-homomorphisms as morphisms. In this setting, the class E will be the unital *-monomorphism.
An object 
$I \in \operatorname {\mathrm {Obj}}(\mathcal {C})$ is injective if, for any objects 
$A,B \in \operatorname {\mathrm {Obj}}(\mathcal {C})$, any embedding 
$\iota : A \to B$ and any morphism 
$\phi : A \to I$, there is a morphism 
$\psi : B \to I$ such that 
$\psi \circ \iota = \phi $, or equivalently, such that the following diagram commutes.
For an object 
$A \in \operatorname {\mathrm {Obj}}(\mathcal {C})$, we will be interested in finding an injective object 
$I \in \operatorname {\mathrm {Obj}}(\mathcal {C})$ along with an embedding 
$\iota : A \to I$ that is minimal in the sense that, if 
$J \in \operatorname {\mathrm {Obj}}(\mathcal {C})$ is injective and 
$\kappa : A \to J$ is an embedding, then there is a surjective morphism 
$\phi : J \to I$ such that 
$\phi \circ \kappa = \iota $. A pair 
$(A,\iota )$ with this property is an injective hull for A. For the categories that we will consider, it is a nontrivial result that every object has an injective hull that is unique up to isomorphism.
An embedding 
$\iota : A \to B$ is essential if for every object 
$C \in \operatorname {\mathrm {Obj}}(\mathcal {C})$ and every morphism 
$\phi : B \to C$, 
$\phi $ is an embedding whenever 
$\phi \circ \iota $ is an embedding.
There is typically a close relationship between injective objects and essential embeddings. For the categories that we will consider here, an object 
$I \in \operatorname {\mathrm {Obj}}(\mathcal {C})$ is injective if and only if it is maximal essential, meaning that for every object 
$A \in \operatorname {\mathrm {Obj}}(\mathcal {C})$, an essential embedding 
$\iota : I \to A$ is an isomorphism.
5.2 Maximally highly proximal flows
The notion of a maximally highly proximal flow was introduced by Auslander and Glasner [Reference Auslander and Glasner2] (see also [Reference Zucker26]). Let G be a discrete group, and let X and Y be G-flows. An extension 
$\phi : Y \to X$ is highly proximal if for every nonempty open subset 
$U \subseteq Y$ there is a point 
$x \in X$ such that 
$\phi ^{-1}(x) \subseteq U$. The extension 
$Y \to X$ is universally highly proximal if whenever Z is a G-flow and 
$\psi : Z \to X$ is a highly proximal extension, then there is an extension 
$\rho : Y \to Z$ such that 
$\phi = \psi \circ \rho $. The universal highly proximal extension is unique up to isomorphism. The G-flow X is called maximally highly proximal if the identity map 
$\operatorname {\mathrm {\operatorname {id}}}_{X}$ is the universal highly proximal extension.
Recall that the category with G-flows as objects and G-equivariant continuous maps as morphisms is dually equivalent to the category with unital commutative G-C*-algebras as objects and G-equivariant unital *-homomorphisms as morphisms. An embedding in this latter category is a unital *-monomorphism.
A pair of G-flows X and Y correspond to the G-C*-algebras 
$\mathrm {C}(X)$ and 
$\mathrm {C}(Y)$, and an extension 
$\alpha : Y \to X$ corresponds to an embedding 
$\pi : \mathrm {C}(X) \to \mathrm {C}(Y)$ via the formula 
$f \circ \alpha (y) = \pi (f)(y)$ for 
$f \in \mathrm {C}(X)$ and 
$y \in Y$. Vice versa, an embedding 
$\mathrm {C}(X) \to \mathrm {C}(Y)$ leads to an extension 
$Y \to X$ obtained by considering the spectra of 
$\mathrm {C}(Y)$ and 
$\mathrm {C}(X)$.
In order to identify the C*-algebras corresponding to maximally highly proximal flows, we will work within the category of unital commutative C*-algebras. Before stating the results, we briefly review some definitions.
For compact Hausdorff spaces X and Y, a *-homomorphism 
$\pi : \mathrm {C}(X) \to \mathrm {C}(Y)$ is an embedding if it is a *-monomorphism. It follows from Zorn’s lemma that every unital commutative C*-algebra 
$\mathrm {C}(X)$ admits an essential embedding 
$\pi : \mathrm {C}(X) \to \mathrm {C}(Y)$ which is maximal in the following sense: Whenever 
$\rho :\mathrm {C}(Y) \to \mathrm {C}(Z)$ is an embedding such that 
$\rho \circ \pi $ is essential, then 
$\rho $ is a 
$*$-isomorphism.
Gleason [Reference Gleason14] (see also [Reference Hadwin and Paulsen17]) showed that the unital commutative C*-algebra 
$\mathrm {C}(Y)$ is injective if and only if the space Y is extremally disconnected. Gonshor [Reference Gonshor15] showed that this is equivalent to 
$\mathrm {C}(Y)$ being maximal essential. Moreover, Gleason showed that every unital commutative C*-algebra 
$\mathrm {C}(X)$ has an injective hull 
$\mathrm {C}(Y)$ that is unique up to isomorphism. The space Y is often referred to as the Gleason cover of X.
The next result from [Reference Gonshor15] characterizes essential embeddings of unital commutative C*-algebras in terms of the corresponding compact Hausdorff spaces.
Theorem 5.1. Let X and Y be compact Hausdorff spaces, and let 
$\pi : \mathrm {C}(X) \to \mathrm {C}(Y)$ be an embedding. Let 
$\phi : Y \to X$ denote the corresponding continuous map. The following are equivalent:
1. The embedding
$\pi $ is essential.2. For every nonzero ideal J in
$\mathrm {C}(Y)$, $J \cap \pi (\mathrm {C}(X)) \ne 0$.3. For every proper closed subset
$C \subseteq Y$, $\phi (C) \ne X$.
Gonshor [Reference Gonshor16] showed that the Gleason cover of a compact Hausdorff space X is isomorphic to the Stone space of the Boolean algebra of regular open subsets of X. Recall that an open subset 
$U \subseteq X$ is regular if it is equal to the interior of its closure. The regular open subsets of X form a Boolean algebra with respect to the following operations:
•
$U \land V$ is $U \cap V$,•
$U \lor V$ is the interior of the closure of $U \cup V$ and•
$\neg U$ is the interior of $U^{c}$.
Theorem 5.2. Let G be a discrete group, and let X and Y be minimal G-flows. An extension 
$\phi : Y \to X$ is highly proximal if and only if the corresponding embedding 
$\pi : \mathrm {C}(X) \to \mathrm {C}(Y)$ is essential. Hence, Y is maximally highly proximal if and only if 
$\mathrm {C}(Y)$ is the injective hull of 
$\mathrm {C}(X)$. In this case, Y is isomorphic to the Stone space of the Boolean algebra of regular open subsets of X.
Proof. Suppose that 
$\phi $ is highly proximal. Let 
$C \subseteq Y$ be a proper closed subset. Then 
$V = Y \setminus C$ is a nonempty open subset, so there is 
$x \in X$ such that 
$\phi ^{-1}(x) \subseteq V$. Hence 
$x \notin \phi (C)$. Therefore, by (3) of Theorem 5.1, 
$\pi $ is essential.
Conversely, suppose that 
$\pi $ is essential. Fix a nonempty open subset 
$V \subseteq Y$. Let 
$C = Y \setminus V$ so that C is a proper closed subset. Then by (3) of Theorem 5.1, 
$\phi (C) \ne X$. Hence, there is 
$x \in X$ with 
$\phi ^{-1}(x) \subseteq V$. Therefore, 
$\phi $ is highly proximal.
The equivalence between Y being maximally highly proximal and 
$\mathrm {C}(Y)$ being the injective hull of 
$\mathrm {C}(X)$ is now implied by the characterization of the injective hull of 
$\mathrm {C}(X)$ as maximal essential. The final statement describing Y when 
$\mathrm {C}(Y)$ is injective is from [Reference Gonshor16].
Example 5.3. Let G be a discrete group and let X and Y be G-flows such that Y is maximally highly proximal and let 
$\alpha : Y \to X$ be an extension. By Theorem 5.2, the C*-algebra 
$\mathrm {C}(Y)$ is injective in the category of unital commutative C*-algebras. However, it is not necessarily injective in the category of unital commutative G-C*-algebras.
To see this, suppose that G is nontrivial and let X denote the trivial G-flow. Then X is maximally highly proximal, so by Theorem 5.2, 
$\mathbb {C} \mathrm {conv}ng \mathrm {C}(X)$ is injective (note that this also follows from the Hahn–Banach theorem). However, 
$\mathbb {C}$ is not G-injective in the category of unital commutative G-C*-algebras. Otherwise the identity map 
$\operatorname {\mathrm {\operatorname {id}}}_{\mathbb {C}}$ would extend to an equivariant *-homomorphism 
$\pi : \ell ^{\infty }(G) \to \mathbb {C}$. Since 
$\ell ^{\infty }(G) \mathrm {conv}ng \mathrm {C}(\beta G)$, such an extension would be of the form 
$\pi = \delta _{x}$ for some 
$x \in \beta G$, where 
$\delta _{x}$ denotes the Dirac measure corresponding to x. However, by [Reference Ellis5] 
$\beta G$ has no G-fixed point, so this is impossible. Therefore, 
$\mathbb {C}$ is not injective in the category of unital commutative G-C*-algebras.
5.3 Maximally affinely highly proximal flows
In this section, we will work with function systems, which are closed unital self-adjoint subspaces of unital commutative C*-algebras. For a reference on the theory of function systems, we refer the reader to the recent paper of Paulsen and Tomforde [Reference Paulsen and Tomforde25].
Let 
$\mathcal {R}$ and 
$\S $ be function systems. A unital linear map 
$\phi : \mathcal {R} \to \S $ is an order homomorphism if 
$\phi (f) \geq 0$ for all 
$f \in \mathcal {R}$ with 
$f \geq 0$. It is an order isomorphism if it has an inverse that is also an order homomorphism.
If K is a compact convex set, then the space 
$\mathrm {A}(K)$ of continuous affine functions on K is a function system. Moreover, Kadison’s [Reference Kadison21] representation theorem implies that every function system is isomorphic to a function system of this form. Specifically, let 
$\mathcal {R}$ be a function system, and let K denote the compact convex set of states on 
$\mathcal {R}$, i.e., the unital order homomorphisms from 
$\mathcal {R}$ to 
$\mathbb {C}$ equipped with the weak* topology. Then the map 
$\phi : \mathcal {R} \to \mathrm {A}(K)$ defined by 
$\phi (f)(\alpha ) = \alpha (f)$ for 
$f \in \mathcal {R}$ and 
$\alpha \in K$ is a unital order isomorphism.
The category with compact convex sets as objects and continuous affine maps as morphisms is dual to the category with function systems as objects and order homomorphisms as morphisms. An embedding in the latter category is an order monomorphism.
Let G be a discrete group. An action of G on a function system 
$\mathcal {R}$ is a group homomorphism from G into the group of order automorphisms of 
$\mathcal {R}$. We will refer to 
$\mathcal {R}$ as a G-function system.
It follows from the duality between the category of compact convex sets and the category of function systems that the category with affine G-flows as objects and equivariant continuous affine maps as morphisms is dual to the category with G-function systems as objects and equivariant order homomorphisms as morphisms. An embedding in the latter category is an equivariant order monomorphism.
Note that every unital G-C*-algebra is isomorphic (i.e., equivariantly order isomorphic to) a G-function system. If X and Y are G-flows and 
$\alpha : Y \to X$ is an extension, then the corresponding equivariant unital *-monomorphism 
$\pi : \mathrm {C}(X) \to \mathrm {C}(Y)$ is an embedding in the category of G-function systems.
A pair of affine G-flows K and L correspond to the G-function systems 
$\mathrm {A}(K)$ and 
$\mathrm {A}(L)$, and an affine extension 
$\alpha : L \to K$ corresponds to an embedding 
$\phi : \mathrm {A}(K) \to \mathrm {A}(L)$ via the formula 
$f \circ \alpha (y) = \phi (f)(y)$ for 
$f \in \mathrm {A}(K)$ and 
$y \in L$.
Hamana [Reference Hamana18] showed that a G-function system is injective if and only if it is maximal essential and used this to show that every G-function system has an injective envelope that is unique up to isomorphism. Hamana further observed that an injective G-function system is isomorphic (as a G-function system) to a G-C*-algebra. However, as the next exmaple shows, a unital commutative G-C*-algebra that is injective in the category of unital commutative C*-algebras may not be injective in the category of G-function systems.
Example 5.4. Let G be a discrete group and consider the complex numbers 
$\mathbb {C}$ equipped with the trivial G-action. Note that 
$\mathbb {C}$ is a unital commutative G-C*-algebra that is injective in the category of unital commutative C*-algebras. In particular, it is also a function system.
It was shown in [Reference Kalantar and Kennedy22] that the injective hull of 
$\mathbb {C}$ in the category of G-function systems is the C*-algebra 
$\mathrm {C}(\operatorname {{\partial _{\mathrm {sp}}}} G)$, where 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ denotes the universal minimal strongly proximal G-flow. In particular, the embedding 
$\mathbb {C} \subseteq \mathrm {C}(\operatorname {{\partial _{\mathrm {sp}}}} G)$ is essential.
Furstenberg [Reference Furstenberg9] showed that 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ is trivial if and only if G is amenable. This can also be seen using the ideas introduced in this section. Choose 
$x \in \operatorname {{\partial _{\mathrm {sp}}}} G$, and let 
$\pi _{x} : \mathrm {C}(\operatorname {{\partial _{\mathrm {sp}}}} G) \to \ell ^{\infty }(G)$ denote the equivariant unital *-homomorphism defined by 
$\pi _{x}(f)(g) = f(gx)$ for 
$f \in \mathrm {C}(\operatorname {{\partial _{\mathrm {sp}}}} G)$ and 
$g \in G$. Then, since 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ is minimal, 
$\pi _{x}$ is an embedding.
Suppose that G is amenable. Then there is an invariant state on 
$\ell ^{\infty }(G)$. Equivalently, there is an equivariant order homomorphism 
$\phi : \ell ^{\infty }(G) \to \mathbb {C}$. Since the embedding 
$\mathbb {C} \subseteq \mathrm {C}(\operatorname {{\partial _{\mathrm {sp}}}} G)$ is essential, it follows that 
$\phi |_{\pi _{x}(\mathrm {C}(\operatorname {{\partial _{\mathrm {sp}}}} G))}$ is also an embedding. Hence, 
$\mathrm {C}(\operatorname {{\partial _{\mathrm {sp}}}} G) \mathrm {conv}ng \mathbb {C}$ and 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ is trivial, so 
$\mathbb {C}$ is an injective G-function system.
Conversely, if G is nonamenable, then, since 
$\mathrm {C}(\operatorname {{\partial _{\mathrm {sp}}}} G)$ is injective in the category of G-function systems, there is an equivariant order homomorphism 
$\psi : \ell ^{\infty }(G) \to \mathrm {C}(\operatorname {{\partial _{\mathrm {sp}}}} G)$ (see Proposition 5.11 below). However, since G is nonamenable, there is no invariant state on 
$\ell ^{\infty }(G)$. Therefore, the range of 
$\psi $ cannot be 
$\mathbb {C}$, implying that 
$\mathrm {C}(\operatorname {{\partial _{\mathrm {sp}}}} G) \not \mathrm {conv}ng \mathbb {C}$. Hence, 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ is nontrivial, so 
$\mathbb {C}$ is not an injective G-function system.
The next result characterizes essential embeddings of G-function systems in terms of the corresponding affine G-flows. This is a special case of a more general result from [Reference Kennedy and Schafhauser24, Theorem 7.4].
Proposition 5.5. Let G be a discrete group, and let K and M be affine G-flows. Let 
$\phi : \mathrm {A}(K) \to \mathrm {A}(M)$ be an embedding, and let 
$\alpha : M \to K$ denote the corresponding equivariant continuous affine map. The following are equivalent:
1. The embedding
$\phi $ is essential.2. The extension
$\alpha : M \to K$ is K-irreducible in the sense of [Reference Glasner12], i.e., for every proper affine subflow $L \subseteq M$, $\alpha (L) \ne K$.
Proof. (1) 
$\Rightarrow $ (2) Let 
$L \subseteq M$ be an affine subflow such that 
$\alpha (L) = K$. Let 
$\psi : \mathrm {A}(M) \to \mathrm {A}(L)$ denote the restriction map. Then 
$\psi $ is an equivariant order homomorphism and 
$\psi \circ \phi $ is isometric and therefore is an equivariant order isomorphism. The essentiality of 
$\phi $ implies that 
$\psi $ is an order isomorphism. Hence, 
$L = M$.
(2) 
$\Rightarrow $ (1) Let N be an affine G-flow, and let 
$\psi : \mathrm {A}(M) \to \mathrm {A}(N)$ be an equivariant order homomorphism such that 
$\psi \circ \phi $ is an isomorphism. Let 
$\beta : N \to M$ denote the corresponding equivariant continuous affine map and let 
$L = \beta (N)$. Then L is an affine subflow and 
$\alpha (L) = K$. Hence, 
$L = M$, so 
$\psi $ is an isomorphism. Therefore, 
$\phi $ is essential.
Definition 5.6. Let G be a discrete group.
1. Let K and M be affine G-flows. We will say that an extension
$\alpha : M \to K$ is affinely highly proximal if for every proper affine G-subflow $L \subseteq M$, there is a point $x \in K$ such that $\alpha ^{-1}(Gx) \subseteq M \setminus L$. Equivalently, $\alpha |_{L}$ is not surjective.2. Let X and Y be G-flows. We will say that an extension
$\alpha : Y \to X$ is affinely highly proximal if the corresponding affine extension $\tilde {\alpha } : \mathrm {P}(Y) \to \mathrm {P}(X)$ is affinely highly proximal.
Universally affinely highly proximal extensions and maximally affinely highly proximal affine G-flows are defined as they were for G-flows in Section 5.2. We will say that a G-flow Y is maximally affinely highly proximal if the corresponding affine G-flow 
$\mathrm {P}(Y)$ is maximally affinely highly proximal.
We observe directly that an affinely highly proximal extension of a minimal G-flow 
$\alpha : Y \to X$ automatically is minimal. Indeed, if 
$Z \subseteq Y$ is a subflow, then 
$\tilde {\alpha }(\mathrm {P}(Z)) = \mathrm {P}(X)$ by minimality so that 
$\mathrm {P}(Z) = \mathrm {P}(Y)$, and hence, 
$Z = Y$ follows from the assumption that 
$\alpha $ is affinely highly proximal.
Remark 5.7. Note that there is no ambiguity in Definition 5.6, since if K and M are affine G-flows and 
$\alpha : M \to K$ is an affinely highly proximal extension, then the corresponding extension 
$\tilde {\alpha } : \mathrm {P}(M) \to \mathrm {P}(K)$ is also affinely highly proximal. To see this, let 
$L \subseteq \mathrm {P}(M)$ be an affine G-subflow. Let 
$\beta _{K} : \mathrm {P}(K) \to K$ and 
$\beta _{M} : \mathrm {P}(M) \to M$ denote the barycenter maps. Then 
$\beta _{K}$ and 
$\beta _{M}$ are equivariant and continuous, and 
$\beta _{K} \circ \tilde {\alpha } = \alpha \circ \beta _{M}$.
It follows from above that 
$\beta (L) \subseteq M$ is an affine G-subflow, so by assumption there is 
$x \in K$ such that 
$\alpha ^{-1}(Gx) \subseteq M \setminus \beta _{M}(L)$. Applying 
$\beta _{M}^{-1}$ to both sides gives
$$ \begin{align*} \tilde{\alpha}^{-1}(Gx) \subseteq (\tilde \alpha)^{-1} \circ \beta_{K}^{-1}(Gx) &= \beta_{M}^{-1} \circ \alpha^{-1}(Gx) \subseteq \beta_{M}^{-1}(M \setminus \beta_{M}(L)) \\ &= \mathrm{P}(M) \setminus \beta_{M}^{-1}(\beta_{M}(L)) \subseteq \mathrm{P}(M) \setminus L. \end{align*} $$Hence, 
$\tilde {\alpha }$ is affinely highly proximal.
Theorem 5.8. Let G be a discrete group, and let K and M be affine G-flows. Let 
$\alpha : M \to K$ be an extension, and let 
$\phi : \mathrm {A}(K) \to \mathrm {A}(M)$ denote the corresponding embedding. Then 
$\alpha $ is affinely highly proximal if and only if 
$\phi $ is essential. Hence, M is maximally affinely highly proximal if and only if 
$\mathrm {A}(M)$ is the injective hull of 
$\mathrm {A}(K)$.
Proof. Suppose that 
$\alpha $ is affinely highly proximal. Let 
$L \subseteq M$ be a proper affine subflow. Then there is 
$x \in K$ such that 
$\alpha ^{-1}(Gx) \subseteq M \setminus L$. In particular, 
$\alpha (L)$ is proper. Hence, by (2) of Proposition 5.5, 
$\phi $ is essential.
Conversely, suppose that 
$\phi $ is essential. Let 
$L \subseteq M$ be a proper affine subflow. Then by (2) of Proposition 5.5, 
$\alpha (L) \ne K$. Since 
$K \setminus \alpha (L)$ is invariant, there is 
$x \in K$ such that 
$Gx \in K \setminus \alpha (L)$. Hence, 
$\alpha ^{-1}(Gx) \subseteq M \setminus L$. Therefore, 
$\alpha $ is affinely highly proximal.
The final statement follows from the characterization of the injective hull of 
$\mathrm {A}(K)$ as maximal essential.
Since every unital commutative G-C*-algebra is also (equivariantly order isomorphic to) a G-function system, and since an equivariant *-monomorphism is an embedding in the category of G-function systems, Theorem 5.8 immediately implies the following result.
Corollary 5.9. Let G be a discrete group, and let X and Y be G-flows. Let 
$\alpha : Y \to X$ be an extension, and let 
$\pi : \mathrm {C}(X) \to \mathrm {C}(Y)$ denote the corresponding equivariant unital *-monomorphism. Then 
$\alpha $ is affinely highly proximal if and only if 
$\pi $ is an essential embedding in the category of G-function systems. Hence, Y is maximally affinely highly proximal if and only if 
$\mathrm {C}(Y)$ is the injective hull of 
$\mathrm {C}(X)$ in the category of G-function systems.
Remark 5.10. The notion of an affinely highly proximal extension is related to Glasner’s [Reference Glasner12] notion of a strongly proximal extension. Let X and Y be G-flows. An extension 
$\alpha : Y \to X$ is strongly proximal if the corresponding extension 
$\tilde {\alpha } : \mathrm {P}(Y) \to \mathrm {P}(X)$ has the property that, whenever 
$\mu \in \mathrm {P}(Y)$ satisfies 
$\tilde {\alpha }(\mu ) \in X$, then there is a net 
$(g_{i})$ in G such that 
$\lim g_{i} \mu \in Y$.
If X is minimal and 
$\alpha $ is affinely highly proximal, then by Proposition 5.5 and Corollary 5.9, 
$\tilde {\alpha }$ is 
$\mathrm {P}(X)$-irreducible. Hence, by [Reference Glasner12, Theorem 2.1], 
$\alpha $ is strongly proximal. On the other hand, if Y is minimal and 
$\alpha $ is strongly proximal, then by [Reference Glasner12, Proposition 2.2], 
$\tilde {\alpha }$ is 
$\mathrm {P}(X)$-irreducible. Hence by Proposition 5.5 and Corollary 5.9, 
$\alpha $ is affinely highly proximal.
If X is a maximally affinely highly proximal G-flow, then Corollary 5.9 implies that 
$\mathrm {C}(X)$ is injective as a G-function system. Hamana observed in [Reference Hamana18, Remark 2.3] that this implies that 
$\mathrm {C}(X)$ is also injective in the category of commutative C*-algebras. Hence by Theorem 5.2, X is maximally highly proximal. However, Example 5.4 shows that the converse is not true in general.
The next result implies the existence of relatively invariant measures in the sense of Glasner [Reference Glasner12] for maximally affinely highly proximal affine G-flows. However, since not every G-function system is isomorphic to a G-C*-algebra, the present setting is slightly more general than the setting considered by Glasner. In the theory of operator algebras, relatively invariant measures are typically referred to as conditional expectations.
Proposition 5.11. Let G be a discrete group, and let K and L be affine G-flows. Let 
$\alpha : L \to K$ be an extension with corresponding embedding 
$\phi : \mathrm {A}(K) \to \mathrm {A}(L)$.
1. If K is maximally affinely highly proximal, then there is an equivariant order homomorphism
$\psi : \mathrm {A}(L) \to \mathrm {A}(K)$ such that $\psi \circ \phi $ is the identity map on $\mathrm {A}(K)$.2. If L is maximally affinely highly proximal and there is an equivariant order homomorphism
$\psi : \mathrm {A}(L) \to \mathrm {A}(K)$ such that $\psi \circ \phi = \operatorname {\mathrm {\operatorname {id}}}_{\mathrm {A}(K)}$, then K is also maximally affinely highly proximal.
Proof. (1) Since K is maximally affinely highly proximal, Theorem 5.8 implies that 
$\mathrm {A}(K)$ is G-injective. Hence, the identity map on 
$\mathrm {A}(K)$ extends to an equivariant order homomorphism 
$\psi : \mathrm {A}(L) \to \mathrm {A}(K)$, that is 
$\psi \circ \phi = \operatorname {\mathrm {\operatorname {id}}}_{\mathrm {A}(K)}$.
(2) Let 
$\mathcal {R}$ and 
$\S $ be function systems, and let 
$\rho : \mathcal {R} \to \S $ be an embedding. Let 
$\sigma : \mathcal {R} \to \mathrm {A}(K)$ be an equivariant order homomorphism. Since L is maximally affinely highly proximal, Theorem 5.8 implies that 
$\mathrm {A}(L)$ is G-injective. Hence, there is an equivariant order homomorphism 
$\tau : \S \to \mathrm {A}(L)$ such that 
$\phi \circ \sigma = \tau \circ \rho $. Then 
$\psi \circ \tau $ extends 
$\sigma $ since 
$\psi \circ \tau \circ \rho = \psi \circ \varphi \circ \sigma = \sigma $. Hence, 
$\mathrm {A}(K)$ is G-injective.
Theorem 5.12. Let G be a discrete group. Then the Stone–Čech compactification 
$\beta G$, the universal minimal G-flow 
$\operatorname {{\partial _{\mathrm {m}}}} G$, the universal strongly proximal G-flow 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ and the universal minimal proximal G-flow 
$\operatorname {{\partial _{\mathrm {p}}}} G$ are all maximally affinely highly proximal. Hence, the C*-algebras 
$\mathrm {C}(\beta G)$, 
$\mathrm {C}(\operatorname {{\partial _{\mathrm {m}}}} G)$, 
$\mathrm {C}(\operatorname {{\partial _{\mathrm {sp}}}} G)$ and 
$\mathrm {C}(\operatorname {{\partial _{\mathrm {p}}}} G)$ are all G-injective in the category of G-function systems.
Proof. We will show that the C*-algebras 
$\mathrm {C}(\beta G)$, 
$\mathrm {C}(\operatorname {{\partial _{\mathrm {m}}}} G)$, 
$\mathrm {C}(\operatorname {{\partial _{\mathrm {sp}}}} G)$ and 
$\mathrm {C}(\operatorname {{\partial _{\mathrm {p}}}} G)$ are all injective in the category of G-function systems. The fact that the corresponding G-flows are maximally affinely highly proximal will then follow from Theorem 5.8.
The injectivity of 
$\mathrm {C}(\beta G) \mathrm {conv}ng \ell ^{\infty }(G)$ as a G-function system was shown in [Reference Hamana18], and the injectivity of 
$\mathrm {C}(\operatorname {{\partial _{\mathrm {sp}}}} G)$ as a G-function system was shown in [Reference Kalantar and Kennedy22].
To see that 
$\mathrm {C}(\operatorname {{\partial _{\mathrm {m}}}} G)$ is injective as a G-function system, let L be a minimal ideal of 
$\beta G$ and identify L with 
$\operatorname {{\partial _{\mathrm {m}}}} G$. Let 
$u \in L$ be an idempotent. Since 
$\operatorname {{\partial _{\mathrm {m}}}} G$ is minimal, the map 
$\beta G \to L: x \mapsto xu$ is an extension. Let 
$\pi _{u} : \mathrm {C}(L) \to \mathrm {C}(\beta G)$ denote the corresponding equivariant unital *-monomorphism. Then 
$\pi _{u}$ is an embedding in the category of G-function systems.
Let 
$\rho : \mathrm {C}(\beta G) \to \mathrm {C}(L)$ denote the equivariant surjective unital *-homomorphism corresponding to the inclusion 
$L \subseteq \beta G$. In other words, 
$\rho $ is the restriction map. Then for 
$f \in \mathrm {C}(L)$ and 
$x \in L$, 
$\rho \circ \pi _{u}(f)(x) = f(xu) = f(x)$. Hence, 
$\phi \circ \pi _{u} = \operatorname {\mathrm {\operatorname {id}}}_{\mathrm {C}(L)}$. Therefore, it follows from the injectivity of 
$\mathrm {C}(\beta G)$ as a G-function system and (2) of Proposition 5.11 that 
$\mathrm {C}(L)$ is also injective as a G-function system.
Finally, to see that 
$\mathrm {C}(\operatorname {{\partial _{\mathrm {p}}}} G)$ is injective as a G-function system, let Y be a maximally affinely highly proximal G-flow, and let 
$\alpha : Y \to \operatorname {{\partial _{\mathrm {p}}}} G$ be an affinely highly proximal extension. Then 
$\mathrm {C}(Y)$ is the injective hull of 
$\mathrm {C}(\operatorname {{\partial _{\mathrm {p}}}} G)$. We will show that 
$\alpha $ is an isomorphism.
Let 
$K = \mathrm {P}(\operatorname {{\partial _{\mathrm {p}}}} G)$, and let 
$M = \mathrm {P}(Y)$. Then K and M are affine G-flows, and there is an extension 
$\tilde {\alpha } : M \to K$ extending 
$\alpha $. By Theorem 5.8, 
$\tilde {\alpha }$ is affinely highly proximal.
By Theorem 4.3, K is algebraically irreducible. We claim that M is also algebraically irreducible. To see this, let 
$L \subseteq M$ be an affine subflow such that 
$L \cap \operatorname {conv}(Y) \ne \emptyset $. Then 
$\tilde {\alpha }(L) \subseteq K$ is an affine subflow and 
$\tilde {\alpha }(L) \cap \operatorname {conv}(\operatorname {{\partial _{\mathrm {p}}}} G) \ne \emptyset $. Hence, by the algebraic irreducibility of K, 
$\tilde {\alpha }(L) = K$. Since 
$\tilde {\alpha }$ is affinely highly proximal, 
$L = M$. Therefore, M is algebraically irreducible.
By Proposition 4.2, Y is minimal and proximal. Since 
$\operatorname {{\partial _{\mathrm {p}}}} G$ is the universal minimal proximal G-flow, it follows that 
$\alpha $ is an isomorphism.
It is possible to give a purely dynamic proof of Theorem 5.12, using the notion of affinely highly proximal flows directly. The proof given here makes use of the fact that the minimal injective extension and the maximal essential extension of a G-function system agree so that we can check injectivity instead.
An important consequence of the fact that the G-flows 
$\operatorname {{\partial _{\mathrm {m}}}} G$, 
$\operatorname {{\partial _{\mathrm {p}}}} G$ and 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ are maximally highly proximal, pointed out in [Reference Glasner, Tsankov, Weiss and Zucker11], is that they are extremally disconnected. We will make use of this throughout the remainder of this paper.
6 Realizations of universal flows
In this section, we will show that the universal minimal proximal flow and the universal minimal strongly proximal flow of a discrete group are isomorphic to Stone spaces of translation-invariant Boolean algebras of subsets of the group that are maximal with respect to the property that every nonempty element has one of the properties considered in Section 3. For the universal minimal proximal flow, the nonzero elements are completely syndetic, while for the universal minimal strongly proximal flow, the elements are strongly completely syndetic.
These results are analogues of a result of Balcar and Franek [Reference Balcar and Franek3]. They showed that the universal minimal flow is isomorphic to the Stone space of a translation-invariant Boolean algebra of subsets of the group that is maximal with respect to the property that every nonempty element is syndetic.
6.1 Totally disconnected point transitive flows
Let G be a discrete group, and let 
$2^{G}$ denote the Boolean algebra of subsets of G. We will say that a Boolean subalgebra 
$\operatorname {{\partial _{\mathrm {sp}}}} \subseteq 2^{G}$ is translation-invariant if 
$gA \in \operatorname {{\partial _{\mathrm {sp}}}}$ for every 
$A \in \operatorname {{\partial _{\mathrm {sp}}}}$ and 
$g \in G$.
Recall that the Stone space X of 
$\operatorname {{\partial _{\mathrm {sp}}}}$ is the space of ultrafilters on 
$\operatorname {{\partial _{\mathrm {sp}}}}$ equipped with a compact totally disconnected Hausdorff topology. For 
$A \in \operatorname {{\partial _{\mathrm {sp}}}}$, the set 
$\{x \in X : A \in x\}$ is a clopen subset of X and the family of all such clopen subsets corresponding to elements in 
$\operatorname {{\partial _{\mathrm {sp}}}}$ is a basis for the topology on X. Since 
$\operatorname {{\partial _{\mathrm {sp}}}}$ is translation invariant, X is a G-flow with respect to the corresponding action by left translation. Moreover, identifying 
$e \in G$ with the corresponding principal ultrafilter in 
$\beta G$, the point 
$e \cap \operatorname {{\partial _{\mathrm {sp}}}} \in X$ is transitive. Let us record the following well-known correspondence.
Proposition 6.1. Let G be a discrete group. The Stone space of a translation-invariant Boolean subalgebra of 
$2^{G}$ is a totally disconnected point transitive G-flow. Conversely, every totally disconnected point transitive G-flow is isomorphic to the Stone space of a translation-invariant Boolean subalgebra of 
$2^{G}$.
Proof. It follows from the introduction to this section that the Stone space of a translation-invariant Boolean subalgebra of 
$2^{G}$ is a totally disconnected point transitive G-flow. For the converse, suppose that X is a totally disconnected G-flow with a transitive point 
$x \in X$. Since X is totally disconnected, there is a Boolean algebra 
$\mathfrak {C}$ of clopen subsets of X that forms a basis for the topology on X. For 
$U \in \mathfrak {C}$, let 
$U_{x} = \{g \in G : gx \in U\}$ denote the corresponding return set. Then, since x is a transitive point, the equivariant Boolean algebra homomorphism 
$\mathfrak {C} \to 2^{G} : U \to U_{x}$ is an embedding of 
$\mathfrak {C}$ into 
$2^{G}$.
From [Reference Zucker26], we know that the universal minimal proximal G-flow 
$\operatorname {{\partial _{\mathrm {p}}}} G$ and the universal minimal strongly proximal G-flow 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ are extremally disconnected (and in particular totally disconnected). Hence, by Proposition 6.1, they are isomorphic to the Stone spaces of translation-invariant Boolean subalgebras of 
$2^{G}$. In the next two sections, we will describe these subalgebras in terms of the subsets considered in Section 3.
6.2 Universal minimal proximal flow
Lemma 6.2. Let G be a discrete group, and let X be a minimal proximal G-flow. Then, for every nonempty open subset 
$U \subseteq X$ and every point 
$x \in X$, the return set 
$U_{x} = \{g \in G : gx \in U \}$ is completely syndetic.
Proof. Let 
$K \subseteq \beta G$ be a finite subset. Then 
$Kx \subseteq X$ is also finite. Since X is minimal and proximal, there is 
$g \in G$ such that 
$gKx \subseteq U$. This implies that 
$gK \subseteq \overline {U_{x}}$. Hence, by Proposition 3.13, 
$U_{x}$ is completely syndetic.
Proposition 6.3. Let G be a discrete group, and let 
$\operatorname {{\partial _{\mathrm {sp}}}} \subseteq 2^{G}$ be a translation-invariant Boolean subalgebra. Let X denote the Stone space of 
$\operatorname {{\partial _{\mathrm {sp}}}}$. Then X is a G-flow, and X is minimal and proximal if and only if every nonempty element in 
$\operatorname {{\partial _{\mathrm {sp}}}}$ is completely syndetic.
Proof. Suppose that X is minimal and proximal. Identify 
$e \in G$ with the corresponding principal ultrafilter in 
$\beta G$, and let 
$x = e \cap \operatorname {{\partial _{\mathrm {sp}}}}$. Then for 
$A \in \operatorname {{\partial _{\mathrm {sp}}}}$, if 
$U = \{y \in X : A \in y \} \subseteq X$ denotes the corresponding clopen subset, 
$A = U_{x}$, where 
$U_{x} = \{g \in G : gx \in U\}$ denotes the return set of U at x. It follows from Lemma 6.2 that, if 
$A \ne \emptyset $, then A is completely syndetic.
Conversely, suppose that every nonempty element in 
$\operatorname {{\partial _{\mathrm {sp}}}}$ is completely syndetic. Choose nonempty 
$A \in \operatorname {{\partial _{\mathrm {sp}}}}$, and let 
$U = \{x \in X : A \in x \} \subseteq X$ denote the corresponding clopen subset. For points 
$x,y \in X$, let 
$u,v \in \beta G$ be ultrafilters extending x and y, respectively. Then by Proposition 3.13 there is 
$g \in G$ such that 
$A \in gu,gv$. Hence, 
$A \in gx,gy$, so 
$gx,gy \in U$. Therefore, X is minimal and proximal.
Remark 6.4. It follows from the proof of Proposition 6.3 that, in order for X to be minimal and proximal, it suffices for every nonempty element in 
$\operatorname {{\partial _{\mathrm {sp}}}}$ to be 
$2$-syndetic.
Theorem 6.5. Let G be a discrete group. Then the universal minimal proximal G-flow 
$\operatorname {{\partial _{\mathrm {p}}}} G$ is isomorphic to the Stone space of any translation-invariant Boolean subalgebra of 
$2^{G}$ that is maximal with respect to the property that every nonempty element is completely syndetic.
Proof. We first show that 
$\operatorname {{\partial _{\mathrm {p}}}} G$ is isomorphic to the Stone space of a translation-invariant Boolean subalgebra of 
$2^{G}$ that is maximal with respect to the property that every nonempty element is completely syndetic.
By [Reference Zucker26], 
$\operatorname {{\partial _{\mathrm {p}}}} G$ is extremally disconnected, so Proposition 6.1 implies that there is a translation-invariant Boolean subalgebra 
$\operatorname {{\partial _{\mathrm {sp}}}} \subseteq 2^{G}$ such that the Stone space of 
$\operatorname {{\partial _{\mathrm {sp}}}}$ is isomorphic to 
$\operatorname {{\partial _{\mathrm {p}}}} G$. By Proposition 6.3, every nonempty element in 
$\operatorname {{\partial _{\mathrm {sp}}}}$ is completely syndetic. It remains to show that 
$\operatorname {{\partial _{\mathrm {sp}}}}$ is maximal with respect to this property.
Let 
$\mathfrak {C} \subseteq 2^{G}$ be a translation-invariant Boolean subalgebra that is maximal with respect to the property that 
$\operatorname {{\partial _{\mathrm {sp}}}} \subseteq \mathfrak {C}$ and every nonempty element is completely syndetic. Then by Proposition 6.3, the Stone space Y of 
$\mathfrak {C}$ is a minimal proximal G-flow. The inclusion 
$\operatorname {{\partial _{\mathrm {sp}}}} \subseteq \mathfrak {C}$ induces an extension 
$\alpha : Y \to \operatorname {{\partial _{\mathrm {p}}}} G$. By the universality of 
$\operatorname {{\partial _{\mathrm {p}}}} G$, 
$\alpha $ must be an isomorphism. Therefore, 
$\operatorname {{\partial _{\mathrm {sp}}}} = \mathfrak {C}$.
Conversely, let 
$\mathfrak {C} \subseteq 2^{G}$ be a translation-invariant Boolean subalgebra that is maximal with respect to the property that every nonempty element in 
$\mathfrak {C}$ is completely syndetic. By Proposition 6.3, the Stone space Y of 
$\mathfrak {C}$ is a minimal proximal G-flow. Hence, by the universality of 
$\operatorname {{\partial _{\mathrm {p}}}} G$, there is an extension 
$\alpha : \operatorname {{\partial _{\mathrm {p}}}} G \to Y$.
Identify 
$e \in G$ with the corresponding principal ultrafilter in 
$\beta G$, and let 
$y = e \cap \mathfrak {C} \in Y$. Choose 
$z \in \alpha ^{-1}(y)$, and let 
$\pi _{z} : \mathrm {C}(\operatorname {{\partial _{\mathrm {p}}}} G) \to \mathrm {C}(\beta G) \mathrm {conv}ng \ell ^{\infty }(G)$ denote the equivariant *-homomorphism defined by 
$\pi _{z}(f)(g) = f(gz)$ for 
$f \in \mathrm {C}(\operatorname {{\partial _{\mathrm {p}}}} G)$ and 
$g \in G$. Then, since 
$\operatorname {{\partial _{\mathrm {p}}}} G$ is minimal, 
$\pi _{z}$ is an embedding. Furthermore, by the choice of z, the restriction of 
$\pi _{z}$ is the identity map on 
$\mathfrak {C}$, when identifying elements of 
$\mathfrak {C}$ with characteristic functions of clopen subsets of 
$\beta G$. Therefore, the image 
$\operatorname {{\partial _{\mathrm {sp}}}} \subseteq 2^{G}$ of the Boolean algebra of projections in 
$\operatorname {{\partial _{\mathrm {p}}}} G$ under 
$\pi _{z}$ is a translation-invariant Boolean subalgebra with Stone space isomorphic to 
$\operatorname {{\partial _{\mathrm {p}}}} G$ such that 
$\mathfrak {C} \subseteq \operatorname {{\partial _{\mathrm {sp}}}}$. By Proposition 6.3, every nonempty element in 
$\operatorname {{\partial _{\mathrm {sp}}}}$ is completely syndetic. Hence, by the maximality of 
$\mathfrak {C}$, we conclude that 
$\operatorname {{\partial _{\mathrm {sp}}}} = \mathfrak {C}$. It follows that Y is isomorphic to 
$\operatorname {{\partial _{\mathrm {p}}}} G$.
6.3 Universal minimal strongly proximal flow
Lemma 6.6. Let G be a discrete group, and let X be a minimal strongly proximal G-flow. Then for every nonempty open subset 
$U \subseteq X$ and every point 
$x \in X$, the return set 
$U_{x} = \{g \in G : gx \in U\}$ is strongly completely syndetic.
Proof. The proof is inspired by the proof of [Reference Glasner13, Chapter VII, Proposition 2.1]. Fix an open subset 
$U \subseteq X$. For every probability measure 
$\mu \in \mathrm {P}(X)$ there is 
$g_{\mu } \in G$ such that 
$1 - \mu (g_{\mu } U) < \epsilon $. Let 
$V_{\mu } \subseteq \mathrm {P}(X)$ be an open neighborhood of 
$\mu $ such that 
$1 - \nu (g_{\mu } U) < \epsilon $ for all 
$\nu \in V_{\mu }$. By compactness there is 
$\mu _{1},\ldots ,\mu _{n} \in \mathrm {P}(X)$ such that 
$V_{\mu _{1}},\ldots ,V_{\mu _{n}}$ cover 
$\mathrm {P}(X)$. Hence, letting 
$F = \{g_{\mu _{1}}^{-1},\ldots ,g_{\mu _{n}}^{-1}\}$, it follows that for every 
$\mu \in \mathrm {P}(X)$ there is 
$f \in F$ such that 
$1 - (f\mu )(U) < \epsilon $.
Let 
$K \subseteq G$ be a finite multiset, and let 
$\lambda = \frac {1}{|K|} \sum _{k \in K} \delta _{k} \in \mathrm {P}(\beta G)$. Let 
$\mu \in \mathrm {P}(X)$ denote the push-forward of 
$\lambda $ along the unique factor map 
$\beta G \to X$ that maps e to x. Then 
$\mu = \frac {1}{|K|} \sum _{k \in K} \delta _{kx}$. Writing 
$A = U_{x}$, we then have 
$\lambda (A) = \mu (U)$, and so from above there is 
$f \in F$ such that 
$1 - (f\lambda )(A) < \epsilon $. Hence,
$$ \begin{align*} \epsilon> 1 - (f\lambda)(A) = 1 - \frac{|fK \cap A|}{|K|}, \end{align*} $$implying 
$|fK \cap A| \geq (1-\epsilon )|K|$. Therefore, A is strongly completely syndetic.
Proposition 6.7. Let G be a discrete group, and let 
$\operatorname {{\partial _{\mathrm {sp}}}} \subseteq 2^{G}$ be a translation-invariant Boolean subalgebra. Let X denote the Stone space of 
$\operatorname {{\partial _{\mathrm {sp}}}}$. Then X is minimal and strongly proximal if and only if every nonempty element in 
$\operatorname {{\partial _{\mathrm {sp}}}}$ is strongly completely syndetic.
Proof. Suppose that X is minimal and strongly proximal. Identify 
$e \in G$ with the corresponding principal ultrafilter in 
$\beta G$, and let 
$x = e \cap \operatorname {{\partial _{\mathrm {sp}}}}$. Then for 
$A \in \operatorname {{\partial _{\mathrm {sp}}}}$, if 
$U = \{y \in X : A \in y \} \subseteq X$ denotes the corresponding clopen subset, 
$A = U_{x}$, where 
$U_{x} = \{g \in G : gx \in U\}$ denotes the return set of U at x. It follows from Lemma 6.6 that, if A is nonempty, then A is strongly completely syndetic.
Conversely, suppose that every nonempty element in 
$\operatorname {{\partial _{\mathrm {sp}}}}$ is strongly completely syndetic. To show that X is minimal and strongly proximal, it suffices to show that, for every probability measure 
$\mu \in \mathrm {P}(X)$, every 
$\epsilon> 0$ and every nonempty clopen subset 
$U \subseteq X$, there is 
$g \in G$ such that 
$(g\mu )(U)> 1 - \epsilon $.
Let 
$\mu \in \mathrm {P}(X)$ be a probability measure, and choose 
$\epsilon> 0$. Let 
$U \subseteq X$ be a nonempty clopen subset. Then there is 
$A \in \operatorname {{\partial _{\mathrm {sp}}}}$ such that 
$U = \{x \in X : A \in x \}$. From above A is strongly completely syndetic, so there is a finite subset 
$F \subseteq G$ such that for every finite multiset 
$K \subseteq G$ there is 
$f \in F$ with 
$|fK \cap A| \geq (1-\epsilon /2)|K|$.
Let 
$\nu \in \mathrm {P}(\beta G)$ be a probability measure such that 
$\nu |_{\operatorname {{\partial _{\mathrm {sp}}}}} = \mu $. Choose a finitely supported measure 
$\lambda \in \ell ^{1}(G)$ such that 
$|\lambda (f^{-1}A) - \nu (f^{-1}\overline {A})| < \epsilon /2$ for all 
$f \in F$. We can assume there is a finite multiset 
$K \subseteq G$ such that 
$\lambda = \frac {1}{|K|} \sum _{k \in K} \delta _{k}$.
From above there is 
$f \in F$ such that 
$|fK \cap A| \geq (1-\epsilon /2)|K|$. Then
$$ \begin{align*} (f\lambda)(A) = \frac{|fK \cap A|}{|K|} \geq 1 - \frac{\epsilon}{2}. \end{align*} $$Hence, 
$|(f\mu )(U)| \geq |(f\lambda )(A)| - |(f\nu )(\overline {A}) - (f\lambda )(A)|> 1 - \epsilon $. Therefore, X is minimal and strongly proximal.
The proof of the next result is essentially the same as the proof of Theorem 6.5.
Theorem 6.8. Let G be a discrete group. Then the universal minimal strongly proximal G-flow 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ is isomorphic to the Stone space of any translation-invariant Boolean subalgebra of 
$2^{G}$ that is maximal with respect to the property that every nonempty element is strongly completely syndetic.
6.4 Symmetric higher-order syndeticicity
In this section, we will establish a characterization of subsets of discrete groups that generate translation-invariant Boolean algebras with the property that every nonempty element is (completely, strongly completely) syndetic. These subsets play an important role in Section 8.
Definition 6.9. Let G be a discrete group. We will say that a subset 
$A \subseteq G$ is symmetrically (completely, strongly completely) syndetic if it is (completely, strongly completely) syndetic and for any finite subsets 
$F_{1},F_{2} \subseteq G$, the set 
$(\cap _{f_{1} \in F_{1}} f_{1} A) \cap (\cap _{f_{2} \in F_{2}} f_{1} A^{c})$ is either (completely, strongly completely) syndetic or empty.
Observe that, if 
$A \subseteq G$ is proper, then it is symmetrically (completely, strongly completely) syndetic if and only if 
$A^{c}$ is. This is part of the motivation for our terminology, but we will see more motivation in Section 8. Note that the complement of an ordinary (completely, strongly completely) syndetic subset is not necessarily syndetic.
The next result establishes the key property of (completely, strongly completely) symmetrically syndetic subsets.
Proposition 6.10. Let G be a discrete group, and let 
$A \subseteq G$ be a subset. Then A is symmetrically (completely, strongly completely) syndetic if and only if it is (completely, strongly completely) syndetic and every nonzero element in the translation-invariant Boolean subalgebra of 
$2^{G}$ generated by A is (completely, strongly completely) syndetic.
Proof. Observe that, for finite subsets 
$F_{1},F_{2} \subseteq G$, the intersection 
$(\cap _{f_{1} \in F_{1}} f_{1} A) \cap (\cap _{f_{2} \in F_{2}} f_{1} A^{c})$ is contained in the translation-invariant Boolean subalgebra generated by A. Moreover, every nonempty element in the Boolean subalgebra necessarily contains a nonempty subset of this form, and the property of being (completely, strongly completely) syndetic passes to supersets.
Proposition 6.11. Let G be a discrete group. A subset 
$A \subseteq G$ is symmetrically (completely, strongly completely) syndetic if and only if the universal minimal (proximal, strongly proximal) flow contains an open subset U and a point x such that 
$A = U_{x}$.
Proof. We will first consider the syndetic case. Suppose that 
$A \subseteq G$ is symmetrically syndetic, and let 
$\operatorname {{\partial _{\mathrm {sp}}}} \subseteq 2^{G}$ denote the G-Boolean algebra generated by A. Then by Proposition 6.10, every nonempty element in 
$\operatorname {{\partial _{\mathrm {sp}}}}$ is syndetic. Let 
$\mathfrak {C}$ be a G-Boolean subalgebra of 
$2^{G}$ that contains 
$\operatorname {{\partial _{\mathrm {sp}}}}$ and is maximal with respect to the property that every nonempty subset is left syndetic. Let X denote the Stone space of 
$\mathfrak {C}$. Then, by [Reference Balcar and Franek3], X is a G-flow that is isomorphic to the universal minimal G-flow 
$\operatorname {{\partial _{\mathrm {m}}}} G$ of G. Identify 
$e \in G$ with the principal ultrafilter it generates, and let 
$x = e \cap \mathfrak {C} \in X$. Then letting 
$U \subseteq X$ denote the clopen set corresponding to A, 
$A = U_{x}$.
Conversely, assume that there is a nonempty clopen subset 
$U \subseteq \operatorname {{\partial _{\mathrm {m}}}} G$ and some 
$x \in \operatorname {{\partial _{\mathrm {m}}}} G$ such that 
$A = U_{x}$. Let 
$\operatorname {{\partial _{\mathrm {sp}}}}$ denote the Boolean algebra of clopen subsets of 
$\operatorname {{\partial _{\mathrm {m}}}} G$, and let 
$\mathfrak {C} = \{V_{x} : V \in \operatorname {{\partial _{\mathrm {sp}}}}\} \subseteq 2^{G}$ be the G-Boolean algebra of all return sets of elements in 
$\operatorname {{\partial _{\mathrm {sp}}}}$. Since 
$\operatorname {{\partial _{\mathrm {m}}}} G$ is minimal, the map 
$\operatorname {{\partial _{\mathrm {sp}}}} \to \mathfrak {C} : V \to V_{x}$ is an equivariant isomorphism of Boolean algebras. So the Stone space of 
$\mathfrak {C}$ is minimal, which implies that all nonempty elements in 
$\mathfrak {C}$ are syndetic. Since 
$A \in \mathfrak {C}$, it follows that the translation-invariant Boolean subalgebra of 
$\mathfrak {C}$ generated by A has the same property. Hence, by Proposition 6.10, A is symmetrically syndetic.
The proof for the completely syndetic case is identical, except that Theorem 6.5 is required for the isomorphism 
$X \mathrm {conv}ng \operatorname {{\partial _{\mathrm {p}}}} G$. Similarly, the proof for the strongly completely syndetic case requires Theorem 6.8 for the isomorphism 
$X \mathrm {conv}ng \operatorname {{\partial _{\mathrm {sp}}}} G$.
We will reconsider symmetrically syndetic subsets in Section 8.
7 Strong amenability and amenability
7.1 Strong amenability
Let G be a discrete group. In this section, we will establish necessary and sufficient conditions, in terms of higher-order syndetic subsets, for G to be strongly amenable.
We will utilize the results in [Reference Frisch, Tamuz and Vahidi Ferdowsi8], meaning that we will need to consider subshifts of the right Bernoulli shift 
$2^{G}$ as in Section 3.3. For a finite subset 
$F \subseteq G \setminus \{e\}$, we will say that a subset 
$A \subseteq G$ is F-avoiding if 
$FA \cap A = \emptyset $. Following [Reference Frisch, Tamuz and Vahidi Ferdowsi8], for a finite symmetric subset 
$F \subseteq G$, we will say that a subshift 
$X \subseteq 2^{G}$ is an F-witness shift if every 
$B \in X$ is F-avoiding and for 
$B,C \in X$, we have 
$B \cap C \ne \emptyset $.
As emphasized by the authors of [Reference Frisch, Tamuz and Vahidi Ferdowsi8], the main technical effort in their paper is the construction of F-witness shifts. It follows from Proposition 3.16 that, if 
$A \subseteq G$ is 
$2$-syndetic and F-avoiding, then the subshift 
$X \subseteq 2^{G}$ generated by A is an F-witness shift. Conversely, if X is an F-witness shift, then every 
$B \in X$ is F-avoiding from above and 
$2$-syndetic by Proposition 3.16. Therefore, the construction of F-witness shifts is equivalent to the construction of F-avoiding 
$2$-syndetic subsets of G.
Theorem 7.1. Let G be a discrete group. Then G is not strongly amenable if and only if there is a proper normal subgroup 
$H \unlhd G$ such that for every finite subset 
$F \subseteq G \setminus H$, there is an F-avoiding completely syndetic subset 
$A \subseteq G$. In fact, it suffices for A to be 
$2$-syndetic.
Proof. Suppose that G is not strongly amenable. Then the universal minimal proximal G-flow 
$\operatorname {{\partial _{\mathrm {p}}}} G$ is nontrivial. By [Reference Frisch, Tamuz and Vahidi Ferdowsi8], the kernel of the action on 
$\operatorname {{\partial _{\mathrm {p}}}} G$ is the FC hypercenter of G, which is normal in G. Therefore, by passing to the quotient, we can assume that the FC hypercenter is trivial. We can then invoke [Reference Glasner, Tsankov, Weiss and Zucker11] to see that 
$\operatorname {{\partial _{\mathrm {p}}}} G$ is free.
By Theorem 6.5, 
$\operatorname {{\partial _{\mathrm {p}}}} G$ is isomorphic to the Stone space of a translation-invariant Boolean subalgebra 
$\operatorname {{\partial _{\mathrm {sp}}}} \subseteq 2^{G}$ consisting of completely syndetic subsets, which are in particular 
$2$-syndetic. Since the elements in 
$\operatorname {{\partial _{\mathrm {sp}}}}$ correspond to a basis for the topology on X, it follows from freeness of 
$\operatorname {{\partial _{\mathrm {p}}}} G$ that, for every finite subset 
$F \subseteq G \setminus \{e\}$, there is an F-avoiding subset 
$A \in \operatorname {{\partial _{\mathrm {sp}}}}$.
Conversely, suppose that there is a proper normal subgroup 
$H \unlhd G$ such that for every finite subset 
$F \subseteq G \setminus H$, there is an F-avoiding 
$2$-syndetic subset 
$A \subseteq G$. By passing to the quotient, we can assume that 
$H = \{e\}$. Then by the remarks at the beginning of this section, A generates an F-witness subshift 
$X \subseteq 2^{G}$. It now follows, as in the last part of the proof of [Reference Frisch, Tamuz and Vahidi Ferdowsi8, Theorem 1], that G is not strongly amenable.
Remark 7.2. We believe that the following statement should hold true: The group G is not strongly amenable if and only there is a subset 
$A \subseteq G$ such that both A and 
$A^{c}$ are completely syndetic.
In the next section, we will give a direct proof of an analogous characterization of amenability in terms of strongly completely syndetic subsets.
The next result follows from Theorem 7.1 and the main result in [Reference Frisch, Tamuz and Vahidi Ferdowsi8].
Corollary 7.3. A discrete group G is ICC if and only if for every finite subset 
$F \subseteq G$ there is an F-avoiding 
$2$-syndetic subset 
$A \subseteq G$.
The next result characterizes strong amenability in terms of the existence of a single nonempty symmetrically completely syndetic subset.
Theorem 7.4. Let G be a discrete group. Then G is not strongly amenable if and only if it contains a nonempty proper symmetrically completely syndetic subset.
Proof. If G is not strongly amenable, then 
$\operatorname {{\partial _{\mathrm {p}}}} G$ is nontrivial, and for any nonempty clopen subset 
$U \subseteq \operatorname {{\partial _{\mathrm {p}}}} G$ and any point 
$x \in \operatorname {{\partial _{\mathrm {p}}}} G$, Proposition 6.11 implies that the return set 
$U_{x} \subseteq G$ is symmetrically completely syndetic. Conversely, if 
$A \subseteq G$ is nonempty symmetrically completely syndetic, then by Proposition 6.11, 
$A = U_{x}$ for a nonempty clopen subset 
$U \subseteq \operatorname {{\partial _{\mathrm {p}}}} G$ and 
$x \in \operatorname {{\partial _{\mathrm {p}}}} G$. If A is additional a proper subset of G, then necessarily 
$U \neq \operatorname {{\partial _{\mathrm {p}}}} G$. In particular, 
$\operatorname {{\partial _{\mathrm {p}}}} G$ is nontrivial, so G is not strongly amenable.
7.2 Amenability
Theorem 7.5. Let G be a discrete group. Then G is nonamenable if and only if there is a subset 
$A \subseteq G$ such that both A and 
$A^{c}$ are strongly completely syndetic.
Proof. Suppose that G is nonamenable. Then by [Reference Furstenberg9], the universal minimal strongly proximal G-flow 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ is nontrivial, so there is 
$x \in \operatorname {{\partial _{\mathrm {sp}}}} G$ and 
$g \in G$ such that 
$gx \ne x$. Hence, there is an open subset 
$U \subseteq \operatorname {{\partial _{\mathrm {sp}}}} G$ with 
$x \in U$ such that 
$gU \cap U = \emptyset $. Let 
$A = U_{x} = \{h \in G : hx \in U\}$. Then 
$gA \cap A = \emptyset $, and by Lemma 6.6, A is strongly completely syndetic.
Conversely, suppose that there is a subset 
$A \subseteq G$ such that both A and 
$A^{c}$ are strongly completely syndetic. Since 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ is compact and minimal, we can identify 
$\mathrm {C}(\operatorname {{\partial _{\mathrm {sp}}}} G)$ with a subalgebra of 
$\mathrm {C}(\beta G)$. By Proposition 5.11 there is an idempotent equivariant unital order homomorphism 
$\phi : \mathrm {C}(\beta G) \to \mathrm {C}(\operatorname {{\partial _{\mathrm {sp}}}} G)$. There is a probability measure 
$\mu \in \mathrm {P}(\beta G)$ such that 
$\phi = \phi _{\mu }$, where 
$\phi _{\mu } : \mathrm {C}(\beta G) \to \mathrm {C}(\beta G)$ is defined by 
$\phi _{\mu }(f)(g) = \langle f, g\mu \rangle $ for 
$f \in \mathrm {C}(\beta G)$ and 
$g \in G$.
Arguing as in the proof of Proposition 6.7, there are 
$g,h \in G$ such that 
$(g\mu )(\overline {A})> 3/4$ and 
$(h\mu )(\overline {A}^{c})> 3/4$. Then 
$(h\mu )(\overline {A}) \leq 1/4$. Hence, letting 
$f = \phi _{\mu }(\chi _{\overline {A}})$, and letting 
$x,y \in \operatorname {{\partial _{\mathrm {sp}}}} G$ be the points satisfying 
$\delta _{x} = \delta _{g}|_{\mathrm {C}(\operatorname {{\partial _{\mathrm {sp}}}} G)}$ and 
$\delta _{y} = \delta _{h}|_{\mathrm {C}(\operatorname {{\partial _{\mathrm {sp}}}} G)}$, it follows that 
$f(x)> 3/4$ and 
$f(y) < 1/4$. In particular, 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ is nontrivial.
Remark 7.6. We believe that the above proof of Theorem 7.5 is particularly interesting because it highlights the utility of the fact from Theorem 5.12 that 
$\operatorname {{\partial _{\mathrm {sp}}}} G$ is maximally affinely highly proximal. However, the reverse implication of Theorem 7.5 can also be proved using Følner nets as we now show.
Recall that a group G is amenable if and only if there is a Følner net for G. This is a net 
$(K_{i})$ of subsets of G such that for every 
$g \in G$, 
$\lim |gK_{i} \Delta K_{i}|/|K_{i}| = 0$.
Let 
$A \subseteq G$ be a subset such that both A and 
$A^{c}$ are strongly completely syndetic subsets. Suppose for the sake of contradiction that G is amenable, and let 
$(K_{i})$ be a Følner net for G. For each i, let 
$m_{i}$ denote the mean on 
$\ell ^{\infty }(G)$ defined by 
$m_{i}(f) = \frac {1}{|K_{i}|} \sum _{g \in K_{i}} f(g)$ for 
$f \in \ell ^{\infty }(G)$. Choose 
$\epsilon> 0$. By definition, there is a finite subset 
$F \subseteq G$ such that for each i there is 
$g_{i} \in F$ such that 
$|g_{i}K_{i} \cap A| \geq (1 - \epsilon )|K_{i}|$. By passing to a subnet we can assume there is 
$g \in F$ such that 
$g = g_{i}$ for each i.
Let m be a weak* limit point of the net 
$(m_{i})$. Then a standard argument shows that m is a left invariant mean on on 
$\ell ^{\infty }(G)$. Letting 
$(m_{j})$ be a subnet such that 
$\lim m_{j} = m$, and letting 
$\chi _{A} \in \ell ^{\infty }(G)$ denote the indicator function corresponding to A,
$$ \begin{align*} m(g^{-1}\chi_{A}) = \lim_{j} \frac{|gK_{j} \cap A|}{|K_{j}|} \geq 1 - \epsilon. \end{align*} $$Since m is left invariant, this implies that 
$m(\chi _{A}) \geq 1 - \epsilon $. Since 
$\epsilon $ was arbitrary, it follows that 
$m(\chi _{A}) = 1$. However, since 
$A^{c}$ is also strongly completely syndetic, the same argument applied to 
$A^{c}$ implies that 
$m(\chi _{A^{c}}) = 1$. Then 
$1 = m(\chi _{A}) + m(\chi _{A^{c}})> 1$, giving a contradiction.
Note that this argument did not require the use of multisets.
Remark 7.7. Note that, if A is strongly completely left syndetic and there is 
$g \in G$ such that 
$gA \cap A = \emptyset $, then 
$gA \subseteq A^{c}$. Since translations and supersets of strongly completely syndetic subsets are strongly completely syndetic, it follows that 
$A^{c}$ is also strongly completely left syndetic.
Example 7.8. Let 
$\mathbb {F}_{2} = \langle a,b \rangle $ denote the free group on two generators. Let 
$A \subseteq \mathbb {F}_{2}$ denote the set of all elements in 
$\mathbb {F}_{2}$ with reduced form beginning with a. Similarly, let 
$B \subseteq \mathbb {F}_{2}$ denote the set of all elements in 
$\mathbb {F}_{2}$ with reduced form beginning with b. Arguing as in Example 3.21, both A and B are strongly completely syndetic. Since 
$A \cap B = \emptyset $, Theorem 7.5 implies that 
$\mathbb {F}_{2}$ is nonamenable.
The next result characterizes amenability in terms of the existence of a single nonempty symmetrically strongly completely syndetic subset. The proof is similar to the proof of Theorem 7.4.
Theorem 7.9. Let G be a discrete group. Then G is not amenable if and only if it contains a nonempty proper symmetrically strongly completely syndetic subset.
8 Dense orbit sets
In this section, we will characterize dense orbit sets in discrete groups, answering a question of Glasner, Tsankov, Weiss and Zucker from [Reference Glasner, Tsankov, Weiss and Zucker11, Question 9.6].
Definition 8.1. Let G be a discrete group. A subset 
$A \subseteq G$ is a dense orbit set for G if for every minimal G-flow X and every point 
$x \in X$, the set 
$Ax$ is dense in X.
The key observation is that the family of dense orbit sets is dual to the family of symmetrically syndetic subsets from Definition 6.9. While our characterization of dense orbit sets is not necessarily easy to check, we will be able to shed some light on their structure using techniques similar to those from earlier sections of this paper. We wonder, however, whether a more elementary characterization exists.
Theorem 8.2. Let G be a discrete group and 
$A \subseteq G$ a subset. Then A is a dense orbit set if and only if 
$A^{c}$ does not contain a symmetrically syndetic subset. Hence, the dual family to the family of dense orbit sets is the family of symmetrically syndetic subsets.
Proof. By the universality of 
$\operatorname {{\partial _{\mathrm {m}}}} G$, if follows that A is a dense orbit set if and only if 
$Ax \subseteq \operatorname {{\partial _{\mathrm {m}}}} G$ is dense for all 
$x \in \operatorname {{\partial _{\mathrm {m}}}} G$. Since 
$\operatorname {{\partial _{\mathrm {m}}}} G$ is extremally disconnected (e.g., by Section 5), and in particular totally disconnected, the topology of 
$\operatorname {{\partial _{\mathrm {m}}}} G$ has a basis consisting of clopen subsets. Hence, A is a dense orbit set if and only if for every 
$x \in \operatorname {{\partial _{\mathrm {m}}}} G$ and every nonempty clopen subset 
$U \subseteq \operatorname {{\partial _{\mathrm {m}}}} G$, there is 
$g \in A$ such that 
$gx \in U$. In other words, A is a dense orbit set if and only if for every 
$x \in \operatorname {{\partial _{\mathrm {m}}}} G$ and every nonempty clopen subset 
$U \subseteq \operatorname {{\partial _{\mathrm {m}}}} G$, we have 
$A \cap U_{x} \neq \emptyset $. By Proposition 6.11, sets of the form 
$U_{x}$ as above are precisely the symmetrically syndetic subsets in G.
Remark 8.3. We could similarly say that a subset 
$A \subseteq G$ is a (strongly) proximally dense orbit set if for every minimal (strongly) proximal G-flow X and every point 
$x \in X$, the set 
$Ax$ is dense in X. A similar proof shows that A is a (strongly) proximally dense orbit set if and only if 
$A^{c}$ does not contain a symmetrically (strongly) completely syndetic subset and, hence, that the dual family to the family of (strongly) proximally dense orbit sets is the family of symmetrically (strongly) completely syndetic subsets.
We will now establish several characterizations of symmetrically syndetic subsets.
Lemma 8.4. Let G be a discrete group and let 
$A \subseteq G$ be symmetrically syndetic and let L be a minimal left ideal of 
$\beta G$. Then there is an idempotent 
$u \in L$ such that 
$A = (\overline {A} \cap L)_{u} = \overline {A}_{u}$.
Proof. Since A is symmetrically syndetic, Proposition 6.11 implies that there is a clopen subset 
$U \subseteq \operatorname {{\partial _{\mathrm {m}}}} G$ and some 
$x \in \operatorname {{\partial _{\mathrm {m}}}} G$ such that 
$A = U_{x}$. We can identify 
$\operatorname {{\partial _{\mathrm {m}}}} G$ with L. By [Reference Hindman and Strauss20, Theorem 1.42], L can be written as a disjoint union 
$L = \bigsqcup _{u} uL$, where u runs through all idempotents of L. So in particular, there is an idempotent 
$u \in L$ such that 
$ux = x$. By Lemma 2.1, 
$\overline {U_{x}} = \{y \in \beta G \mid yx \in U\}$. Therefore,
$$ \begin{align*} \overline{A}_{u} = \{g \in G \mid gu \in \overline{A}\} &= \{g \in G \mid gu \in \overline{U_{x}}\} \\ &= \{g \in G \mid gux \in U\} = U_{ux} = U_{x} = A \end{align*} $$Since L is a left ideal, it is clear that 
$(\overline {A} \cap L)_{u} = \overline {A}_{u}$.
The next result provides a simpler characterization of symmetrically syndetic subsets and reveals a connection to the notion of a central subset. Central sets in 
$\mathbb {N}$ were introduced by Furstenberg [Reference Furstenberg10]. Later, central sets for general semigroups were introduced by Hindman and Maleki [Reference Hindman, Maleki and Strauss19]. Both algebraic and topological dynamical characterizations of central sets are now known. We will use the fact that, for a discrete group G, a subset 
$A \subseteq G$ is central if and only if the closure 
$\overline {A} \subseteq \beta G$ contains a minimal idempotent of 
$\beta G$ (see, e.g., [Reference Hindman and Strauss20]).
Proposition 8.5. Let G be a discrete group. A subset 
$A \subseteq G$ is symmetrically syndetic if and only if for every pair of finite subsets 
$F_{1} \subseteq A$ and 
$F_{2} \subseteq A^{c}$, the set 
$(\cap _{f_{1} \in F_{1}} f_{1}^{-1} A) \cap (\cap _{f_{2} \in F_{2}} f_{2}^{-1} A^{c})$ is syndetic. In this case, the latter subset is central.
Proof. Suppose that A is symmetrically syndetic. Identify 
$\operatorname {{\partial _{\mathrm {m}}}} G$ with a fixed minimal left ideal L of 
$\beta G$. Then by Proposition 8.4, there is an idempotent 
$u \in L$ such that 
$A = \overline {A}_{u}$. Therefore, 
$u \in a^{-1} \overline {A}$ for every 
$a \in A$ and 
$u \notin b^{-1} \overline {A}$ for every 
$b \in A^{c}$. The latter statement is equivalent to 
$u \in b^{-1}\overline {A}^{c}$ for every 
$b \in A^{c}$. Therefore, for every pair of finite subsets 
$F_{1} \subseteq A$ and 
$F_{2} \subseteq A^{c}$,
$$ \begin{align*} u \in (\bigcap_{f_{1} \in F_{1}} f_{1}^{-1} \overline{A}) \cap (\bigcap_{f_{2} \in F_{2}} f_{2}^{-1} \overline{A}^{c}) = \overline{(\bigcap_{f_{1} \in F_{1}} f_{1}^{-1} A) \cap (\bigcap_{f_{2} \in F_{2}} f_{2}^{-1} A^{c})}. \end{align*} $$This implies that the intersection 
$(\cap _{f_{1} \in F_{1}} f_{1}^{-1} A) \cap (\cap _{f_{2} \in F_{2}} f_{2}^{-1} A^{c})$ is nonempty, so by the definition of a symmetrically syndetic subset, it is syndetic. We further observe that is central.
Conversely, suppose that A is such that for every pair of finite subsets 
$F_{1} \subseteq A$ and 
$F_{2} \subseteq A^{c}$, the set 
$(\cap _{f_{1} \in F_{1}} f_{1}^{-1} A) \cap (\cap _{f_{2} \in F_{2}} f_{2}^{-1} A^{c})$ is syndetic. Fix a minimal left ideal L of 
$\beta G$. Since the sets 
$(\cap _{f_{1} \in F_{1}} f_{1}^{-1} A) \cap (\cap _{f_{2} \in F_{2}} f_{2}^{-1} A^{c})$ are syndetic for any choice of finite subsets 
$F_{1} \subseteq A$, 
$F_{2} \subseteq A^{c}$, the family of sets 
$\{a^{-1} \overline {A} \cap L : a \in A\} \cup \{b^{-1} \overline {A}^{c} \cap L : b \in A^{c}\}$ has the finite intersection property. By the compactness of L, there is 
$x \in (\cap _{a \in A} a^{-1} \overline {A}) \cap (\cap _{b \in A^{c}} b^{-1}\overline {A}^{c}) \cap L$. Letting 
$U = \overline {A} \cap L$, U is a nonempty clopen subset and 
$ax \in U$ for all 
$a \in A$ and 
$bx \notin U$ for all 
$b \in A^{c}$. In other words, 
$A = U_{x}$. Hence, by Proposition 6.11, A is symmetrically syndetic.
We will now give another characterization of symmetrically syndetic subsets that uses the finer structure of the semigroup 
$\beta G$. It extends ideas from the proof of Proposition 8.5. Recall that an idempotent in 
$\beta G$ is minimal if it belongs to a minimal left ideal of 
$\beta G$. We begin by establishing some facts about minimal idempotents in 
$\beta G$.
Definition 8.6. Let G be a discrete group. We will say that a family 
$E \subseteq \beta G$ of minimal idempotents is compatible if
1. for every minimal left ideal L of
$\beta G$ there is a unique $u \in E \cap L$,2.
$uv = v$ for all $u,v \in E$.
Remark 8.7. For minimal left ideals 
$L_{1},L_{2}$ of 
$\beta G$ with corresponding idempotents 
$u_{1},u_{2} \in E$, the maps 
$L_{1} \to L_{2} : x \to xu_{2}$ and 
$L_{2} \to L_{1} : y \to yu_{1}$ are isomorphisms of G-flows (see, e.g., [Reference Glasner13, Proposition I.2.5]).
Lemma 8.8. Let G be a discrete group, let L be a minimal left ideal of 
$\beta G$ and let 
$u \in L$ be an idempotent. Then there is a unique compatible family of minimal idempotents for 
$\beta G$ containing u. In particular, there is a compatible family of minimal idempotents in 
$\beta G$.
Proof. Let 
$\{L_{i}\}_{i}$ be the family of minimal left ideals of 
$\beta G$. The structure theory of compact right topological semigroups (see, e.g., [Reference Hindman and Strauss20, Theorem 1.64]) implies that for each i there is a unique idempotent 
$v_{i} \in L_{i}$ such that 
$u v_{i} = v_{i}$ and 
$v_{i} u = u$. Then for each j, it follows that 
$v_{i} v_{j} = v_{i} (u v_{j}) = (v_{i} u) v_{j} = u v_{j} = v_{j}$. Therefore, the family 
$E = \{v_{i}\}_{i}$ is compatible. If 
$L = L_{i}$, then 
$u^{2} = u$ so that the above uniqueness of the idempotent 
$v_{i}$ implies 
$u = v_{i}$.
The next result provides further motivation for the name ‘symmetrically syndetic’ by showing that a subset is symmetrically syndetic if and only if it is invariant under taking return sets relative to a compatible family of minimal idempotents.
Proposition 8.9. Let G be a discrete group. A subset 
$A \subseteq G$ is symmetrically syndetic if and only if there is a compatible family of minimal idempotents 
$E \subseteq \beta G$ such that 
$A = \overline {A}_{u}$ for all 
$u \in E$.
Proof. Suppose that A is symmetrically syndetic, and fix a minimal left ideal 
$L \subseteq \beta G$. By Proposition 6.11, there is an idempotent 
$u \in L$ such that 
$A = \overline {A}_{u}$. By Lemma 8.8 there is a compatible family of minimal idempotents 
$E \subseteq \beta G$ such that 
$u \in E$. By Lemma 2.1, we have 
$\overline {A} = \overline {\overline {A}_{u}} = \{x \in \beta G \mid xu \in \overline {A} \}$. Hence, for all 
$v \in E$, we find that
$$ \begin{align*} \overline{A}_{v} = \{g \in G \mid gvu \in \overline{A} \} = \{g \in G \mid gu \in \overline{A} \} = \overline{A}_{u} = A. \end{align*} $$ Conversely, suppose there is a compatible family of minimal idempotents 
$E \subseteq \beta G$ such that 
$\overline {A}_{u} = A$ for all 
$u \in E$. Let L be a minimal left ideal of 
$\beta G$, and let 
$u \in E$ be the unique idempotent such that 
$u \in L$. Let 
$U = \overline {A} \cap L$. Then U is clopen and 
$g \in U_{u}$ if and only if 
$gu \in U$ if and only if 
$gu \in \overline {A}$. Hence, 
$A = \overline {A}_{u} = U_{u}$, so A is symmetrically syndetic.
Acknowledgments
The authors are grateful to Eli Glasner, Nicholas Manor, Todor Tsankov and Andy Zucker for pointing out errors in and providing helpful feedback on a previous draft of this paper. We also thank the two anonymous referees for their suggestions, which improved the exposition of this paper.
M.K. was supported by the Canadian Natural Sciences and Engineering Research Council grant number 50503-10787. S.R. was supported by the Swedish Research Council grant number 2018-04243 and the European Research Council under the European Union’s Horizon 2020 research and innovation programme grant number 677120-INDEX. G.S. was supported by a Rothschild Fellowship and a Koshland Fellowship.
Competing Interests
None.
Open access
