This talk will introduce the notion of quasi-convex subgroups. As an application, we will prove that the intersection of two finitely generated subgroups of a free group is again finitely generated.

# Past Junior Topology and Group Theory Seminar

Stallings' theorem states that a finitely generated group splits over a finite subgroup if and only if it has more than one end. As a consequence of this, group splittings over finite subgroups are invariant under quasi-isometry. I will discuss a generalisation of Stallings' theorem which shows that under suitable hypotheses, group splittings over classes of infinite groups, namely coarse $PD_n$ groups, are also invariant under quasi-isometry.

A Kähler group is a group which can be realised as fundamental group of a compact Kähler manifold. I shall begin by explaining why such groups are not arbitrary and then address Delzant-Gromov's question of which subgroups of direct products of surface groups are Kähler. Work of Bridson, Howie, Miller and Short reduces this to the case of subgroups which are not of type $\mathcal{F}_r$ for some $r$. We will give a new construction producing Kähler groups with exotic finiteness properties by mapping products of closed Riemann surfaces onto an elliptic curve. We will then explain how this construction can be generalised to higher dimensions. This talk is independent of last weeks talk on Kähler groups and all relevant notions will be explained.

A Kähler group is a group which can be realised as the fundamental group of a close Kähler manifold. We will prove that for a Kähler group $G$ we have that $G$ is residually free if and only if $G$ is a full subdirect product of a free abelian group and finitely many closed hyperbolic surface groups. We will then address Delzant-Gromov's question of which subgroups of direct products of surface groups are Kähler: We explain how to construct subgroups of direct products of surface groups which have even first Betti number but are not Kähler. All relevant notions will be explained in the talk.

We will explain a result of Bridson, Howie, Miller and Short on the finiteness properties of subgroups of direct products of surface groups. More precisely, we will show that a subgroup of a direct product of n surface groups is of finiteness type $FP_n$ if and only if there is virtually a direct product of at most n finitely generated surface groups. All relevant notions will be explained in the talk.

I will describe a method to find negatively curved structures on some groups, by manipulating metrics on piecewise hyperbolic complexes. As an example, I will prove that hyperbolic limit groups are CAT(-1).

The simplicial boundary is another way to study the boundary of CAT(0) cube complexes. I will define this boundary introducing the relevant terminology from CAT(0) cube complexes along the way. There will be many examples and many pictures, hopefully to help understanding but also to improve my (not so great) drawing skills.

I will discuss the circumstances in which residual finiteness properties of an amalgamated free product $A\ast_c B$ may be deduced from the properties of $A$ and $B$, with particular regard to the pro-p residual properties.

Quasimorphisms (QM) of groups to the reals are well studied and are linked to stable commutator length (scl) via Bavard Duality- Theorem. The notion of QM can be generalized to yield maps between groups such that each QM from one group pulls back to a QM in the other.

We will give both a short overview of features of scl and investigate these generalized QMs with large scale properties of the commutator group.