Constructing surfaces with first Steklov eigenvalue of arbitrarily large multiplicity

We construct surfaces with arbitrarily large multiplicity for their first non-zero Steklov eigenvalue. The proof is based on a technique by M. Burger and B. Colbois originally used to prove a similar result for the Laplacian spectrum. We start by constructing surfaces $S_p$ with a specific subgroup of isometry $G_p:={\mathbb{Z}}_p⋊{\mathbb{Z}}_p^{\ast }$ for each prime $p$. We do so by gluing surfaces with boundary following the structure of the Cayley graph of $G_p$. We then exploit the properties of $G_p$ and $S_p$ in order to show that an irreducible representation of high degree (depending on $p$) acts on the eigenspace of functions associated with ${\sigma }_1(S_p)$, leading to the desired result.