1. Introduction
Let G be a group. Given a locally compact, Hausdorff G-space M, the set 2M of closed subsets of M, endowed with the Chabauty topology, is naturally a compact G-space. This dynamical system has been extensively studied in the case where M itself is compact and turned out to play a relevant role in the study of the G-space M itself, see, for example, [Reference Auslander and Glasner3, Reference Bauer and Sigmund6, Reference Glasner15] or the more recent papers [Reference Akin, Auslander and Nagar1, Reference Auslander2, Reference Nagar24] and references therein. A particular emphasis has been put on minimal subsystems of 2M, which are sometimes referred to as quasi-factors.
If M is compact, every element of 2M is obviously compact. In this note, we allow M to be non-compact; this is already done in [Reference Akin, Auslander and Nagar1] with 
$G=\mathbf{Z}$, but in the study of minimal subsystems of 2M, the authors restrict themselves to the case where M is compact. Our goal is to study those minimal subsystems 
$\mathcal Y$ of 2M that entirely consist of compact subsets of M. An obvious sufficient condition is that all elements of 
$\mathcal Y$ are contained in a compact subset of M; in other words, the union 
$\bigcup \mathcal Y$ has compact closure.
Our main results show that this sufficient condition is also necessary, provided the space M satisfies mellow conditions. One of these conditions is that the space M is paracompact, i.e., every open cover of this space admits a locally finite open refinement. Locally finite means that each point admits a neighbourhood that intersects only finitely many of the sets of the cover. For example, any σ-compact space is paracompact; more generally, a locally compact Hausdorff space is paracompact if and only if it is a disjoint union of open σ-compact subsets, see Proposition 2.8.
We can now state the following.
Theorem 1.1.
Let a group Γ act by homeomorphisms on a paracompact, locally compact, Hausdorff space M and consider the associated action of Γ on the compact space 2 M of closed subsets of M. Let 
$\mathcal{Y}$ be a minimal, closed, Γ-invariant subset of 2 M.
Then all elements of 
$\mathcal{Y}$ are compact if and only if 
$\bigcup \mathcal{Y}$ has compact closure.
We shall also show that the same conclusion holds if the paracompactness of M is replaced by other formally independent conditions (see § 4), notably by the hypothesis that some 
$Y \in \mathcal{Y}$ has finitely many connected components (see Theorem 4.1). However, we do not know whether the conclusion holds in full generality for a locally compact Hausdorff space M without any further restriction.
Question 1.2.
Can the hypothesis of paracompactness be discarded in Theorem 1.1?
Our initial motivation to study this question arose from the special case where the space M is a locally compact group G. The conjugation action of G on itself yields a continuous G-action on 2G, which preserves the closed subset 
$\operatorname{Sub}(G)$ formed by the closed subgroups of G. A minimal subsystem of 
$\operatorname{Sub}(G)$ is called a uniformly recurrent subgroup or URS. The notion of a URS was first introduced in [Reference Glasner and Weiss14], where it was shown that every minimal action of a group on a compact space gives rise to a URS on the group. The converse is also true [Reference Matte Bon and Tsankov22, Reference Elek12], and this duality makes URS a powerful tool for studying minimal group actions.
The growing interest in URS is driven by their broad applications, particularly in operator algebras. For instance, an intrinsic characterization of 
$C^*$-simplicity in terms of URS is provided in [Reference Kennedy18] (building on [Reference Kalantar and Kennedy16]), with additional developments in [Reference Le Boudec and Matte Bon19, Reference Elek12, Reference Kawabe17]. URSs have also been used to study lattice embeddings [Reference Le Boudec20], as well as commensurated subgroups [Reference Caprace and Le Boudec11]. In addition, recent papers study URS for specific classes of groups, such as locally finite groups [Reference Thomas26], arithmetic groups [Reference Bader and Vigdorovich5], lattices in higher rank Lie groups [Reference Boutonnet and Houdayer10] and topological full groups [Reference Matte Bon21].
Using Theorem 1.1, we establish the following:
Corollary 1.3. Let G be a locally compact group and let 
$\mathcal{Y}$ be a URS of G consisting of compact subgroups. Then 
$\bigcup \mathcal{Y}$ is contained in a compact normal subgroup.
This corollary emerged as an attempt to identify a purely topological analogue of a theorem by Bader–Duchesne–Lécureux [Reference Bader, Duchesne, Lécureux and Wesolek4], asserting that an amenable invariant random subgroup of a locally compact, second countable group G is almost surely contained in an amenable normal subgroup of G.
In the special case where the URS 
$\mathcal{Y}$ is homogeneous, i.e., when it consists of a single conjugacy class (equivalently, every 
$Q \in \mathcal{Y}$ has a cocompact normalizer in G), we recover a result of V. Ušakov, see the lemma on the first page of [Reference Ušakov28].
As an application, we get a result about confined subgroups. A closed subgroup 
$H \leq G$ is called confined if the closure of the conjugacy class of H in 
$\operatorname{Sub}(G)$ does not contain the trivial subgroup. In particular, H itself must be non-trivial. The following consequence of Corollary 1.3 is immediate.
Corollary 1.4. Let G be a locally compact group whose only compact normal subgroup is the trivial one. Let 
$K \leq G$ be a compact subgroup. If K is confined, then the Chabauty-closure of the conjugacy class of K contains a non-compact subgroup.
The following additional consequence of Corollary 1.3 is inspired by a suggestion made by a referee.
Corollary 1.5. In a discrete group G, a finite subgroup is confined if and only if it has a non-trivial intersection with a finite normal subgroup of G.
In particular, the group G has a finite confined subgroup if and only if G has a finite normal subgroup of order at least 2.
2. Preliminaries
Pursuing the aim of making the paper as self-contained as possible, we have included complete proofs of preliminary lemmas whenever we found it justified, without altering the overall conciseness of this note.
2.1. Minimal systems
Let Γ be a group and let X be a topological space. When Γ acts on X by homeomorphisms we say that X is a Γ-space, and the pair 
$(X,\Gamma)$ is called a dynamical system, or simply a system. If 
$(X,\Gamma)$ is a dynamical system and 
$Y\subset X$ is a non-empty, closed, Γ-invariant subset, then 
$(Y,\Gamma)$ is a subsystem of 
$(X,\Gamma)$.
Definition 2.1. A dynamical system 
$(X,\Gamma)$ is called minimal if X is non-empty and there is no non-empty closed, Γ-invariant subset 
$Y \subsetneq X$. Equivalently, every Γ-orbit is dense in X.
We note that it is a standard application of Zorn’s lemma that every dynamical system with X compact contains a minimal subsystem.
A subset S of a group Γ is called syndetic if there is a finite set 
$F\subset \Gamma$ such that 
$\Gamma=FS$. The following lemma is well known in many dynamical settings.
Lemma 2.2. Let Γ be a group and X a compact Γ-space. If 
$(X, \Gamma)$ is minimal, then for any point 
$x\in X$ and any non-empty open subset 
$U\subset X$, the set 
$R(x,U):=\{g\in\Gamma \mid gx\in U\}$ is syndetic.
Proof. Let 
$U\subset X$ be open and non-empty. By minimality, 
$X = \bigcup_{g \in \Gamma} gU$, and by compactness, there is a finite 
$F \subset \Gamma$ such that 
$X = \bigcup_{g \in F} gU$. Then, for any x, we have 
$G = FR(x,U)$.
Suppose further that X is Hausdorff, then a converse to this lemma also holds. Namely, let 
$x\in X$ be any point. If for every open neighbourhood U of x, the set 
$R(x,U)$ is syndetic, then 
$(\overline{\Gamma x},\Gamma)$ is minimal.
2.2. Minimal systems consisting of subsets
Let M be a locally compact, Hausdorff topological space. We denote by 2M the space of closed subsets of M equipped with the Chabauty topology. This topology is also known as the Fell topology, the topology of closed convergence or, if expressed in terms of sequences, the Painlevé–Kuratowski convergence. For an introduction, we refer to [Reference Beer7] and [Reference Beer8]. A subbasis for the Chabauty topology is given by
\begin{equation*}\operatorname{Hit}(U):=\{A\in 2^M|A\cap U \neq \varnothing\} \quad \text{and} \quad \operatorname{Miss}(K):=\{A\in 2^M|A\cap K=\varnothing\},\end{equation*}where U ranges over all open and K over all compact subsets of M. The space 2M is compact, and the group of homeomorphisms of M acts on 2M by homeomorphisms.
In particular, given a group Γ, if M is a Γ-space, then 2M is also a Γ-space. By convention, when referring to a system of the form 
$(2^M,\Gamma)$, with M a Γ-space, we mean that the Γ-action on 2M is the one induced from the Γ-action on M. The goal of this article is to address the following.
Question 2.3.
Let 
$(\mathcal{Y},\Gamma)$ be a minimal subsystem of 
$(2^M,\Gamma)$, whose elements are all compact. When is the closure of 
$\bigcup \mathcal{Y}$ compact?
In this paper, we only find several sufficient conditions that are independent of each other. The question whether the statement holds without any condition on M whatsoever remains open.
Remark 2.4.
We note that Question 2.3 has a trivial answer if for every compact set 
$K \subset M$ there is 
$\gamma \in \Gamma$ with 
$K \cap \gamma K = \varnothing$. Then 
$\varnothing \in \overline{\Gamma K}$ for all compact 
$K \subset M$ and thus 
$(\{\varnothing\},\Gamma)$ is the only minimal subsystem of 
$(2^M,\Gamma)$ consisting of compact sets. A non-paracompact example of this kind will be discussed in § 4.
We need two lemmas regarding the closure of 
$\bigcup \mathcal{Y}$.
Lemma 2.5. Let Γ be a group, let M be a locally compact, Hausdorff Γ-space, and let 
$(\mathcal{Y},\Gamma)$ be a minimal subsystem of 
$(2^M,\Gamma)$. Then for every 
$Y \in \mathcal{Y}$, we have 
$\overline{\bigcup \Gamma Y} = \overline{\bigcup \mathcal{Y}}$.
Proof. The containment 
$\subseteq$ is clear since 
$\Gamma Y\subseteq \mathcal{Y}$ for any 
$Y\in \mathcal{Y}$. The containment 
$\supseteq$ follows by observing that 
$\mathcal{Y} \cap 2^{\overline{\bigcup \Gamma Y}}$ is a closed, non-empty, Γ-invariant subset of 
$\mathcal{Y}$, while 
$\mathcal{Y}$ is minimal.
Lemma 2.6. Let Γ be a group, let M be a locally compact, Hausdorff Γ-space, and let 
$(\mathcal{Y},\Gamma)$ be a minimal subsystem of 
$(2^M,\Gamma)$ whose elements are compact. Suppose that the closure of 
$\bigcup \mathcal{Y}$ is non-compact. Then for every 
$Y\in \mathcal{Y}$, every non-empty open subset 
$\mathcal{W}\subset \mathcal{Y}$, and every compact subset 
$K\subset M$, there exists 
$g\in \Gamma$ such that 
$gY \in \mathcal{W}$ and 
$gY\nsubseteq K$.
Proof. Assume that the lemma does not hold. Thus there exists 
$Y\in \mathcal{Y}$, a non-empty open subset 
$\mathcal{W}\subset \mathcal{Y}$, and a compact 
$K\subset M$ such that 
$gY\subseteq K$ for every 
$g\in R=R(Y,\mathcal{W})=\{g\in \Gamma \mid gY\in \mathcal{W}\}$. In particular, 
$\bigcup _{g\in R}gY\subseteq K$. By Lemma 2.2, there exists a finite subset 
$F \subset \Gamma$ with 
$FR=\Gamma$. It follows that
\begin{align*}
\bigcup_{g \in \Gamma} gY = \bigcup_{f \in F}\bigcup_{g \in R} fgY \subset \bigcup_{f \in F} fK.
\end{align*} Since F is finite, the latter set is compact. However, by Lemma 2.5, we have that 
$\overline{\bigcup_{g\in \Gamma} g Y} =\overline{\bigcup \mathcal{Y}}$, contradicting the assumption that 
$\overline{\bigcup \mathcal{Y}}$ is not compact.
2.3. Paracompact spaces
We recall the following elementary fact about paracompact spaces.
Lemma 2.7. Let M be a paracompact, locally compact, Hausdorff space. Let 
$\mathcal{U}$ be a locally finite cover of M, and let 
$K\subset M$ be a compact subset. Then the set 
$\{U \in \mathcal{U} : \overline U \cap K \neq \varnothing\}$ is finite.
Proof. Suppose 
$\{U_n\in \mathcal{U} : n\in \mathbb{N}\}$ are infinitely many sets from 
$\mathcal{U}$ such that 
$\overline U_n\cap K\neq \varnothing$ for all 
$n\in \mathbb{N}$. For every 
$n\in \mathbb{N}$, let 
$x_n\in \overline U_n\cap K$. Let 
$x\in K$ be an accumulation point of 
$\{x_n : n\in \mathbb{N}\}$. Any neighbourhood U of x contains xn for infinitely many indices n, and so 
$U\cap U_n\neq \varnothing$ for infinitely many indices n. This contradicts the assumption that 
$\mathcal{U}$ is locally finite.
Lastly, we will use the following characterizations of paracompact spaces.
Proposition 2.8. For a locally compact, Hausdorff topological space M, the following are equivalent:
(i) M is paracompact.
(ii) M admits a locally finite open cover in which every set has compact closure.
(iii) M admits a partition into σ-compact, open sets.
Proof. For the equivalence of (i) and (iii), see [Reference Bourbaki9] Chapitre 1, §9. That (i) implies (ii) is immediate, and (ii) implies (iii) as a consequence of Lemma 2.7.
3. The main result for paracompact spaces and locally compact groups
3.1. Proof of main theorem
Proof of Theorem 1.1
Assume by contradiction that the closure of 
$\bigcup \mathcal{Y}$ is not compact. Fix a locally finite open cover 
$\mathcal{U}$ of M in which every set has compact closure (see Proposition 2.8). Let 
$Y\in \mathcal{Y}$. We will construct by induction a sequence 
$(U_n)_{n}$ of distinct sets from the cover 
$\mathcal{U}$ and a sequence 
$(g_n)_{n}$ of elements of Γ such that 
$g_n Y \cap U_i \neq \varnothing$ for all indices n and i with 
$n\geq i$.
For the base case, we take 
$g_0 = 1_\Gamma$ and U 0 any element of 
$\mathcal{U}$ that intersects Y. Suppose now that 
$U_0, \ldots, U_n$ and gn have already been constructed. Let 
$\mathcal{W} = \bigcap_{i \leq n} \operatorname{Hit}(U_i) \cap \mathcal{Y}$ and note that 
$\mathcal{W}$ is non-empty because it contains gnY. By Lemma 2.6, there exists 
$g \in \Gamma$ such that 
$gY \in \mathcal{W}$ and 
$gY \nsubseteq \bigcup_{i \leq n} \overline U_i$. Choose a point 
$z \in gY$ not contained in 
$\bigcup_{i \leq n} \overline U_i$. As 
$\mathcal{U}$ is a cover, there exists 
$U \in \mathcal{U}$ containing z. By construction, we have 
$U \neq U_0, \ldots, U_n$ and 
$gY \cap U \neq \varnothing$. Now we define 
$g_{n+1} = g$ and 
$U_{n+1} = U$.
Let Y 0 be any accumulation point of the net 
$\{g_nY : n \in \mathbb N\}$. Since 
$\operatorname{Hit}(\overline{U_i})$ is closed, and contains gnY for every 
$n\geq i$, it follows that the intersection 
$Y_0 \cap \overline U_i$ is non-empty for all i. Since Y 0 is compact and since the cover 
$\mathcal U$ is locally finite, this contradicts Lemma 2.7.
3.2. Uniformly recurrent subgroups
We now show how this purely topological theorem yields an application to URSs, whose definition can be found in the introduction.
A group element is called elliptic if it is contained in a compact subgroup. The following basic proposition is concerned with the structure of compact normal subgroups of a locally compact group. For totally disconnected groups, it was proved by Ušakov [Reference Ušakov27], the generalization to all locally compact groups is due to Wang.
Proposition 3.1. (Theorem 5.5 in [Reference Wang29])
Let G be a locally compact group and let 
$B \subset G$ be a subset of elliptic elements, invariant under conjugation, whose closure 
$\overline B$ is compact. Then the subgroup 
$\langle B \rangle$ generated by B is normal, and its closure 
$\overline{\langle B \rangle}$ is compact.
For a group G denote by 
$\operatorname{Inn}(G)$ the group of inner automorphisms of G, i.e., all automorphisms given by conjugation by a group element, and by 
$\operatorname{Aut}(G)$ the group of all topological automorphisms of G, i.e., group automorphisms that are also homeomorphisms. We note the following immediate corollary of Proposition 3.1.
Corollary 3.2. Let G be a locally compact group. Let Γ be a group of automorphisms of G with 
$\operatorname{Inn}(G) \leq \Gamma \leq \operatorname{Aut}(G)$. Let 
$B \subset G$ be a subset of elliptic elements, with compact closure, that is invariant under Γ. Then the group 
$\langle B \rangle$ generated by B is a Γ-invariant subgroup of G whose closure is compact.
Remark 3.3.
Some assumption on Γ is clearly necessary in this corollary, since in general, even in a discrete group, two elliptic elements may generate an infinite subgroup.
Let G be a locally compact group. As in the case of a general topological space M, we denote by 2G the space of closed subsets of G, equipped with the Chabauty topology. Let 
$\operatorname{Sub}(G)\subset 2^G$ denote the subspace of closed subgroups of G with the induced topology. It is often called the Chabauty space of G. It is a closed subset of 2G, therefore also compact and Hausdorff. The conjugation G-action turns 
$\operatorname{Sub}(G)$ into a G-space.
In what comes next, we wish to apply Theorem 1.1 with M = G a locally compact group. For that purpose, we need the following basic fact.
Proposition 3.4. Locally compact topological groups are paracompact.
Proof. Let G be a locally compact group and K a compact identity neighbourhood. Let 
$P = \bigcup_{n \geq 1} (K \cup K^{-1})^n$ be the subgroup of G generated by K. Hence P is an open subgroup, and it is σ-compact. The group G is partitioned into the left cosets of P. This proves that G is paracompact by Proposition 2.8.
By this proposition, every locally compact group satisfies the assumptions on the space M in Theorem 1.1. We derive the following.
Theorem 3.5.
Let G be a locally compact group. Consider a group Γ with 
$\operatorname{Inn}(G)\leq \Gamma\leq \operatorname{Aut}(G)$. Let 
$(\mathcal{Y},\Gamma)$ be a minimal subsystem of 
$(\operatorname{Sub}(G),\Gamma)$, such that all elements of 
$\mathcal{Y}$ are compact. Then 
$\bigcup \mathcal{Y}$ is contained in a compact, Γ-invariant subgroup of G.
Proof. By Theorem 1.1, 
$\bigcup\mathcal{Y}$ has compact closure. Since 
$\bigcup \mathcal{Y}$ is Γ-invariant and consists only of elliptic elements, Corollary 3.2 implies that it must be contained in a compact subgroup that is Γ-invariant.
We obtain Corollary 1.3 as an immediate consequence.
Proof of Corollary 1.5
Let G be a discrete group and 
$H \leq G$ be a finite subgroup. If H has a non-trivial intersection with a finite normal subgroup N, then every conjugate of H contains one of the elements of 
$N \setminus \{1\}$, so that H is confined.
Assume conversely that H is confined. Then every group in the Chabauty-closure 
$\mathcal C$ of the conjugacy class of H is non-trivial, and of order at most 
$|H|$. In particular, the compact G-set 
$\mathcal C$ contains a URS 
$\mathcal Y$ all of whose elements are finite of order at most 
$|H|$. Pick any 
$Y \in \mathcal Y$. By Corollary 1.3, the subgroup Y is contained in some finite normal subgroup N of G. Since Y is finite, the collection of subgroups of G containing Y is an open neighbourhood of Y in 
$\operatorname{Sub}(G)$. Thus some conjugate of H, say 
$g H g^{-1}$, contains Y. It follows that 
$H \cap N$ contains the non-trivial subgroup 
$g^{-1} Y g$.
4. Some examples of non-paracompact spaces
In this final section, we establish other sufficient conditions, providing further partial answers to Question 2.3.
4.1. The first uncountable ordinal
Here is an example of a locally compact, Hausdorff space M that is not paracompact, and a group Γ acting continuously on M such that 
$\{\varnothing\}$ is the only minimal subsystem of 
$(2^M,\Gamma)$ whose elements are all compact (see Remark 2.4). Take 
$M=\omega_1$ the first uncountable ordinal with the order topology. Basic properties of ω 1 can be found in [Reference Steen and Seebach25, Example 42]. Let Γ be any group of homeomorphisms of ω 1 containing all compactly supported homeomorphisms. For a discussion of the homeomorphism group of ω 1, we refer to [Reference Gheysens13]. Recall that an element of 
$2^{\omega_1}$ is compact if and only if it is contained in a closed interval. Define for every limit ordinal α the map 
$g_\alpha\colon \omega_1\to \omega_1$ by
\begin{equation*}
g_\alpha(x) = \begin{cases}
\alpha + x + 1 & x \lt \omega_0 \\
\alpha + x & \omega_0 \leq x \leq \alpha \\
n - 1 & x = \alpha + n, \, 0 \lt n \lt \omega_0 \\
\beta & x = \alpha + \beta, \, \omega_0 \leq \beta \leq \alpha \\
x & \text{else.}
\end{cases}
\end{equation*} It is a homeomorphism exchanging the clopen intervals 
$[0,\alpha]$ and 
$[\alpha + 1,\alpha \cdot 2]$, and fixing everything else. We have that 
$g_\alpha\in \Gamma$, since it is supported on the compact subset 
$[0,\alpha \cdot 2]$.
4.2. Finitely many connected components
In what follows, we do not impose a condition on M, but rather on elements of 
$\mathcal{Y}$.
Theorem 4.1.
Let Γ be a group and let M be a locally compact, Hausdorff Γ-space. Let 
$(\mathcal{Y},\Gamma)$ be a minimal subsystem of 
$(2^M,\Gamma)$, such that all elements of 
$\mathcal{Y}$ are compact. If 
$\mathcal{Y}$ contains an element with finitely many connected components, then 
$\bigcup \mathcal{Y}$ has compact closure.
Proof. Suppose towards a contradiction that 
$\overline{\bigcup \mathcal{Y}}$ is not compact. Let 
$Y \in \mathcal{Y}$ be an element with n connected components 
$Y_1, \ldots, Y_n$ and let 
$U_1, \ldots, U_n$ be open subsets of M with compact closures such that 
$Y_i \subset U_i$ and 
$\overline U\!_i \cap \overline U\!_j = \varnothing$ for i ≠ j. Let
\begin{equation*}\mathcal{W} = \big(\bigcap_i \operatorname{Hit}(U_i)\big) \cap \big(\bigcap_i \operatorname{Miss}(\overline{U_i} \setminus U_i)\big) \cap \mathcal Y,\end{equation*} and note that 
$\mathcal{W}$ is non-empty because 
$Y \in \mathcal{W}$. Let 
$g \in \Gamma$ with 
$gY \in \mathcal{W}$. Then, for every 
$i=1,\dots,n$, there is a connected component gYj of gY with 
$gY_j \cap U_i \neq \varnothing$, which implies 
$gY_j \subset U_i$ since gYj is connected and does not intersect the boundary of Ui. Because 
$U_1,\dots,U_n$ are disjoint and because there are precisely n connected components we get 
$gY \subset U_1 \cup \dots \cup U_n \subset \overline{U_1} \cup \dots \cup \overline{U_n}$. This is a contradiction to Lemma 2.6.
4.3. Linear continua
A standard example of a space that is not paracompact is the long line. In this subsection, we prove that our main result still holds for this space, or more generally, for any linear continuum.
Recall that a linear continuum is a totally ordered space M with the order topology, such that the order is dense (i.e., for all 
$x,y \in M$ with x < y there is 
$z \in M$ with 
$x \lt z \lt y$) and such that M has the least upper bound property (i.e., every subset with an upper bound has a least upper bound). Equivalently, it is a totally ordered space with the order topology that is connected. Examples are the real numbers R with the usual order, the long line, and 
$[0,1]^2$ with the lexicographical ordering (remove the endpoints, 
$\{(0,0),(1,1)\}$, to make it non-compact).
It follows from the density of the order that every linear continuum is Hausdorff. Moreover, the proof that all closed intervals in R are compact carries over to linear continua, showing that they are also locally compact.
Proposition 4.2. Let Γ be a group acting by homeomorphisms on a linear continuum 
$(M, \lt )$. Let 
$(\mathcal{Y},\Gamma)$ be a minimal subsystem of 
$(2^M,\Gamma)$, such that all elements of 
$\mathcal{Y}$ are compact. Then 
$\bigcup \mathcal{Y}$ has compact closure.
Proof. We recall the following facts, most of which can be found in [Reference Munkres23, §24]. The set M has the greatest lower bound property. A subset of M is connected if and only if it is an interval. A subset of M is compact if and only if it is closed and contained in a bounded interval. It is now easy to see from the least upper and greatest lower bound property that every non-empty compact subset has a maximum and a minimum. Also, it is an easy consequence of the Intermediate Value Theorem that every homeomorphism either preserves or reverses the order. It follows that after passing to an index two subgroup if necessary, we can assume that Γ preserves the order on M.
We assume that 
$\varnothing \notin \mathcal{Y}$, since otherwise 
$\mathcal{Y} = \{\varnothing\}$ and we would be done already.
For a compact subset 
$A \subset M$ denote by 
$\operatorname{conv}(A) := [\min A, \max A]$ its convex hull. Since Γ preserves the order on M, we have that 
$\operatorname{conv}(gA)=g(\operatorname{conv}(A))$ for all 
$g\in \Gamma$. The maps 
$\min, \max \colon 2^M \to M$ are not continuous, not even when restricted to compact sets. However, we have the following.
Claim 1.
The maps min and max are continuous on 2 K for every compact 
$K \subset M$.
Proof. Fix a compact 
$K\subset M$, and assume without loss of generality that 
$K=[k^-,k^+]$ is a closed interval. Let 
$a\in [k^-,k^+]$ and 
$A\in 2^K$. We have that 
$\min A \lt a \iff A \cap (-\infty, a) \neq \varnothing$ and 
$\min A \gt a \iff A \cap [k^-, a] = \varnothing$, both of which are open conditions. The proof for max is similar.
Claim 2.
There exists 
$Z \in \mathcal{Y}$ such that 
$\operatorname{conv}(Z)$ is inclusion-minimal among all 
$\operatorname{conv}(Y)$ with 
$Y\in \mathcal{Y}$.
Proof. Let 
$\preceq$ be the partial order on 
$\mathcal{Y}$ defined by 
$Y \preceq Y'$ if 
$\operatorname{conv}(Y) \subset \operatorname{conv}(Y')$. We need to show that there exists a 
$\preceq$-minimal element in 
$\mathcal{Y}$. By Zorn’s lemma, it is enough to show that every 
$\preceq$-chain in 
$\mathcal{Y}$ has a lower bound. Let 
$\{Y_i : i\in I\}$ be such a chain; note that it is also a net (directed downwards). By compactness of 
$\mathcal{Y}$, the net 
$\{Y_i : i\in I\}$ admits an accumulation point 
$Z\in \mathcal{Y}$; note that 
$Z\neq \varnothing$, because 
$\varnothing \notin \mathcal{Y}$. Fix 
$i_0 \in I$. From the continuity of min and max on 
$2^{Y_{i_0}}$, it follows that 
$\operatorname{conv}(Z) \subset \operatorname{conv}(Y_i)$ for all i and we are done.
Suppose towards a contradiction that 
$\bigcup \mathcal{Y}$ is unbounded in M. Let Z be as in the last claim and denote 
$\operatorname{conv} Z = [z^-, z^+]$. Note that, by the inclusion-minimality of 
$\operatorname{conv}(Z)$, for any 
$g \in \Gamma$, the sets 
$\operatorname{conv}(Z)$ and 
$\operatorname{conv}(gZ)$ cannot be strictly included in one another, i.e., one of the three possibilities must happen: 
$\operatorname{conv}(Z) = \operatorname{conv}(gZ)$, or 
$z^- \lt gz^-$ and 
$z^+ \lt gz^+$, or 
$z^- \gt gz^-$ and 
$z^+ \gt gz^+$.
First consider the case where 
$\min \bigcup \Gamma Z = z^-$. By Lemma 2.6, there exists 
$g_0 \in \Gamma$ such that 
$g_0Z \nsubseteq \operatorname{conv}(Z)$ and then we must have that 
$g_0 z^- \gt z^-$. Again by Lemma 2.6, there exists 
$g_1 \in \Gamma$ such that 
$g_1 z^- \lt g_0 z^-$ and 
$g_1Z \nsubseteq \operatorname{conv}(Z \cup g_0Z)$. Now 
$g_1z^- \lt g_0z^-$ and 
$g_1z^+ \gt g_0z^+$, so 
$\operatorname{conv}(g_0Z) \subsetneq \operatorname{conv}(g_1Z)$, implying that 
$\operatorname{conv}(g_1^{-1}g_0Z) \subsetneq \operatorname{conv}(Z)$, contradiction. We treat the case where 
$\max \bigcup \Gamma Z = z^+$ similarly.
Finally, suppose that there exist 
$g_1, g_2 \in \Gamma$ such that 
$g_1 z^- \lt z^-$ and 
$g_2 z^+ \gt z^+$. Again, by Lemma 2.6, there exists 
$g \in \Gamma$ with 
$g z^- \lt g_2 z^-$, 
$g z^+ \gt g_1 z^+$ and 
$gZ \nsubseteq [g_1z^-, g_2z^+]$. The other case being symmetric, we may assume that 
$gz^+ \gt g_2z^+$. Then 
$g_2Z \subsetneq gZ$ and we arrive at a contradiction as before.
Acknowledgements
PEC is supported in part by the FWO and the F.R.S.-FNRS under the EOS programme (project ID 40007542). GG is supported by the University of California President’s Postdoctoral Fellowship. WL has been a F.R.S.-FNRS postdoctoral researcher. We are grateful to both referees for their comments.
Open access
