Abstract: We construct large families of groups admitting free transitive actions on median spaces. In particular, we construct groups which act freely and transitively on the complete universal real tree with continuum valence such that any subgroup of the additive reals is realised as the stabiliser of an axis. We prove a more precise version of this, which implies that there are 2^{2^{\aleph_0}} pairwise non-isomorphic groups which admit a free transitive action on this real tree. We also construct free transitive actions on products of complete real trees such that any subgroup of  is realised as the stabiliser of a maximal flat, and an irreducible action on the product of two complete real trees.
          To construct each of these groups, we introduce the notion of an ore: a set equipped with the structure of a meet semilattice and a cancellative monoid with involution, which verifies some additional axioms. We show that one can extract a group from an ore and equip this group with a left-invariant median structure.

Abstract: We introduce several approaches to studying the Cantor-Bendixson decomposition of and the dynamics on the (topological) space of subgroups for various families of countable groups. In particular, we uncover the perfect kernel and the Cantor-Bendixson rank of the space of subgroups of many new groups, including for instance infinitely ended groups, limit groups, hyperbolic 3-manifold groups and many graphs of groups. We also study the topological dynamics of the conjugation action on the perfect kernel, establishing the conditions for topological transitivity and higher topological transitivity.
          As an application, we obtain many new examples of groups in the class A of Glasner and Monod, i.e. admitting faithful transitive amenable actions. This includes for example right-angled Artin groups, limit groups, finitely presented C'(1/6) small cancellation groups, random groups at density d<1/6, and more generally all virtually compact special groups.

Abstract: We study finitely generated pairs of groups H \leq G such that the Schreier graph of H has at least two ends and is narrow. Examples of narrow Schreier graphs include those that are quasi-isometric to finitely ended trees or have linear growth. Under this hypothesis, we show that H is a virtual fiber subgroup if and only if G contains infinitely many double cosets of H. Along the way, we prove that if a group acts essentially on a finite dimensional CAT(0) cube complex with no facing triples then it virtually surjects onto the integers with kernel commensurable to a hyperplane stabiliser.