\section{Introduction}
The motivation of this paper is to enrich the class of {\it non-elementary amenable} groups.
A group $G$ is amenable if there exists a finitely additive translation invariant probability measure on all subsets of $G$. This definition was given by John von Neumann, \cite{von-neumann1}, in a response to Banach-Tarski, and Hausdorff paradoxes. He singled out the property of a group which forbids paradoxical actions.

The class of {\it elementary amenable groups}, denoted by  $EG$, was introduced by Mahlon Day in \cite{day:semigroups}, as the smallest class of groups that contain finite and abelian groups and is closed under taking subgroups, quotients, extensions and directed unions. The fact that the class of amenable groups is closed under these operations was already known to von Neumann, \cite{von-neumann1}, who noted at that at that time there was no known amenable group which did not belong to $EG$.

No substantial progress in understanding this class has been made until the~80s, when  Chou, \cite{C}, showed that all elementary amenable groups have either polynomial or exponential growth, and Rostislav Grigorchuk, \cite{grigorchuk:milnor_en} gave an example of a group with intermediate growth. Grigorchuk's group served as a starting point in developing the theory of groups with intermediate growth, all of them being non-elementary amenable. In the same paper Chou showed that every simple finitely generated infinite group is not elementary amenable. In \cite{JM} it was shown that the  topological full group of Cantor minimal system is amenable.  By the results of  Matui, \cite{Matui}, this group has a simple and finitely generated commutator subgroup, in particular, it is not elementary amenable. This was the first example of infinite simple finitely generated amenable group.

Currently there are only two sources of non-elementary amenable groups: groups acting on rooted trees and topological full groups of Cantor minimal systems. In \cite{j-trees}, the author gives a unified approach to non-elementary amenability of groups acting on rooted trees. Here we give more examples of non-elementary amenable groups coming from topological full groups of Cantor minimal systems.

\begin{theorem}
\label{main}
Consider a minimal faithful action of $\mathbb{Z}^d$ on a Cantor set conjugate to the action on a closed $\mathbb{Z}^d$-invariant subset of $\mathsf{X}^{\mathbb{Z}^d}$ for some finite alphabet $\mathsf{X}$. Then the commutator subgroup of the topological full group $[[\mathbb{Z}^d]]$ is finitely generated.
\end{theorem}

We describe an explicit generating set, and give a simple direct proof. Subsequent paper~\cite{nek:fullgr} gives a less direct proof of the finite generation of special subgroups $\mathsf{A}(G)$ of the topological full groups in the case of expansive action. The groups $\mathsf{A}(G)$ are closely related to the derived subgroups of the full groups (in particular, they coincide in the case of the actions of abelian groups), but precise relation is still not well understood.

It was proved in \cite{matui2}, that the commutator subgroup of $[[\mathbb{Z}^d]]$ is simple. The topological full groups that correspond to interval exchange transformation group were studied in \cite{JMMS}. The authors prove that subgroups of {\it rank} equals to 2 are amenable. These groups can be realized as topological full groups of minimal action of $\mathbb{Z}^2$ on the Cantor set. Therefore, Theorem~\ref{main} in the combination with \cite{matui2}, \cite{JMMS} gives more examples of simple finitely generated infinite amenable groups, and thus by the result of Chou non-elementary amenable groups.  Matui,  \cite{matui2}, showed that $[[T_1, \ldots, T_m]] = [[T_1, \ldots, T_n]]$ implies $m=n$. In particular, this implies that the groups from the corollary are different from the one previously obtained in \cite{JM}.

In the last Section we associate a group $\mathcal{P}$ to the Penrose tiling. The main result is
\begin{theorem}
The derived subgroup of $\mathcal{P}$ is simple and finitely generated.
\end{theorem}

It is an open question to decide if the group $\mathcal{P}$ is amenable.

\section{A finite generating set of the derived subgroup  of $[[\mathbb{Z}^d]]$}

\begin{lemma}
\label{lem:free}
Let $G$ be an abelian group. If the action of $G$ on a Cantor set $\mathbf{C}$ is minimal and faithful, then it is free.
\end{lemma}

\begin{proof}
Suppose that $g\in G$ is a non-zero element. By faithfulness of the action, there exists $x\in\mathbf{C}$ such that $g(x)\ne x$. Then there exists a neighborhood $U$ of $x$ such that $g(U)\cap U=\emptyset$. Let $y\in\mathbf{C}$ be an arbitrary point. By minimality, there exists $h\in G$ such that $h(y)\in U$. Since $U$ and $g(U)$ are disjoint, the points $h(y)$ and $gh(y)$ are different.
Then $g(y)=h^{-1}gh(y)\ne h^{-1}h(y)=y$. It follows that $g$ has no fixed points in $\mathbf{C}$.
\end{proof}

Let us fix a minimal action of the free abelian group $\mathbb{Z}^d$ on a closed shift-invariant subset $\mathbf{C}\subset\mathsf{X}^{\mathbb{Z}^d}$ of the full shift over a finite alphabet $\mathsf{X}$. Then $\mathbf{C}$ is homeomorphic to the Cantor set. We use the additive notation for the group $\mathbb{Z}^d$. If $w:\mathbb{Z}^d\longrightarrow\mathsf{X}$ is a point of $\mathsf{X}^{\mathbb{Z}^d}$, then its image under the action of $g\in\mathbb{Z}^d$ is defined by the rule
\[g(w)(h)=w(h-g).\]
In other words, elements of $\mathsf{X}^{\mathbb{Z}^d}$ are labelings of the points of $\mathbb{Z}^d$ by elements of $\mathsf{X}$, and the elements $g\in\mathbb{Z}^d$ act by shifting all the labels by $g$. Alternatively, we may imagine the action of $g$ as the shift of the ``origin of coordinates'' in a given sequence $w$ by $-g$.

A \emph{patch} $\pi=(f, P)$ is a finite subset $P\subset\mathbb{Z}^d$ together with a map $f:P\longrightarrow\mathsf{X}$. The set $P$ is called the \emph{support} of the patch. We say that an element $w\in\mathsf{X}^{\mathbb{Z}^d}$ (a \emph{$\mathbb{Z}^d$-sequence})  \emph{contains} the patch $(f, P)$ if $w|_P=f$. The set $\mathcal{W}_\pi$ of all sequences containing a given patch $\pi$ is a clopen subset of $\mathsf{X}^{\mathbb{Z}^d}$ called the \emph{cylindrical set} defined by the patch, and the set of all such clopen subsets forms a basis of topology on $\mathsf{X}^{\mathbb{Z}^d}$, by definition.

We say that two patches $\pi_1=(f_1, P_1)$ and $\pi_2=(f_2, P_2)$ are \emph{compatible} if there exists sequence $w\in\mathbf{C}$ containing $\pi_1$ and $\pi_2$. In other words, the patches are compatible if the intersection of the associated cylindrical sets is non-empty. If the patches $\pi_1$ and $\pi_2$ are compatible then there \emph{union} $\pi_1\cup\pi_2$ is the patch $(f, P_1\cup P_2)$ where $f|_{P_1}=f_1$ and $f|_{P_2}=f_2$.
Note that in terms of the cylindrical sets, we have $\mathcal{W}_{\pi_1\cup\pi_2}=\mathcal{W}_{\pi_1}\cap\mathcal{W}_{\pi_2}$.

If $\pi=(f, P)$ is a patch, and $Q$ is a finite set containing $P$, then $\mathcal{W}_\pi$ is equal to the disjoint union of the sets $\mathcal{W}_{(\tilde f, Q)}$, where $\tilde f$ runs through the set of all maps $\tilde f:Q\longrightarrow\mathsf{X}$ such that $\tilde f|_P=f$. Note that some of these sets may be empty (if the corresponding patch is not allowed for the elements of $\mathbf{C}$).

If $\pi=(f, P)$ is a patch and $g\in\mathbb{Z}^d$, then we have $g(\mathcal{W}_{\pi})=\mathcal{W}_{\pi+g}$, where $\pi+g=(f+g, P+g)$, where $(f+g):(P+g)\longrightarrow\mathsf{X}$ is given by $(f+g)(h)=f(h-g)$, in accordance with the definition of the action of $\mathbb{Z}^d$ on $\mathsf{X}^{\mathbb{Z}^d}$.

\begin{lemma}
\label{lem:incompatible}
Let $A\subset\mathbb{Z}^d$ be a finite set not containing zero. Then there exists $B\subset\mathbb{Z}^d$ such that for every $w\in \mathbf{C}$ and every $g\in A$ the patches $(w|_B, B)$ and $((w+g)|_B, B)$ are not compatible.
\end{lemma}

\begin{proof}
Define the following metric on $\mathsf{X}^{\mathbb{Z}^d}$. The distance $|w_1-w_2|$ is equal to $2^{-R}$, where $R$ is the biggest number such that restrictions of $w_1$ and $w_2$ to the ball of radius $R$ in $\mathbb{Z}^d$ with center in $0$ (for example in the $\ell_\infty$ norm) coincide. The it is enough to prove that there exists $\epsilon$ such that $|g(w)-w|>\epsilon$ for all $g\in A$ and $w\in\mathbf{C}$. Namely, for every $\epsilon$ there exists a finite set $B\subset\mathbb{Z}^d$ such that for every $w\in\mathsf{X}^{\mathbb{Z}^d}$ the set of all $u\in\mathsf{X}^{\mathbb{Z}^d}$ such that $(u|_B, B)=(w|_B, B)$ is contained in the $\epsilon$-neighborhood of $w$.

Suppose that it is not true, i.e., that for every $\epsilon>0$ there exist $w$ and $g\in A$ such that $|g(w)-w|\le \epsilon$. Since $A$ is finite, this implies that there exists $g\in A$ and a sequence of points $w_n\in\mathsf{C}$ such that $|g(w_n)-w_n|\to 0$ as $n\to \infty$. Since $\mathbf{C}$ is homeomorphic to the Cantor set, this implies that $g$ has a fixed point, which is a contradiction Lemma~\ref{lem:free}.
\end{proof}

Let $U\subset\mathbf{C}$ be a clopen set, and $g_1, g_2, g_3\in\mathbb{Z}^d$ elements such that $g_1(U), g_2(U), g_3(U)$ are pairwise disjoint. Denote by $T_{U, (g_1, g_2, g_3)}$ the element of $[[\mathbb{Z}^d]]$ given by
\[T_{U, (g_1, g_2, g_3)}(w)=\left\{\begin{array}{rl} (g_2-g_1)(w) & \text{if $w\in g_1(U)$;}\\
(g_3-g_2)(w) & \text{if $w\in g_2(U)$;}\\
(g_1-g_3)(w) & \text{if $w\in g_3(U)$;}\\
w & \text{if $w\notin g_1(U)\cup g_2(U)\cup g_3(U)$.}\end{array}\right.\]
In other words, $T_{U, (g_1, g_2, g_3)}$ cyclically permutes $g_1(U)$, $g_2(U)$, and $g_3(U)$ in the natural way.
We will denote $T_{\pi, (g_1, g_2, g_3)}=T_{\mathcal{W}_\pi, (g_1, g_2, g_3)}$, for a patch $\pi$.

\begin{lemma}
Let $A_1, A_2, A_3, B_1, B_2, B_3$ be subsets of a set $X$ such that only $A_1$ and $B_1$ have non-empty intersection, while all the other pairs of subsets are disjoint. Let $a$ be a permutation of $X$ acting trivially on $X\setminus (A_1\cup A_2\cup A_3)$, and satisfying $a(A_1)=A_2$, $a(A_2)=A_3$, $a(A_3)=A_1$, and $a^3=1$. Similarly, let $b$ be a permutation acting trivially on $X\setminus (B_1\cup B_2\cup B_3)$ and satisfying $b(B_1)=B_2$, $b(B_2)=B_3$, $b(B_3)=A_3$, and $b^3=1$. Then $[[b^{-1}, a^{-1}], [b, a]]$ acts as $a$ on the set $(A_1\cap B_1)\cup a(A_1\cap B_1)\cup a^2(A_1\cap B_1)$ and identically outside of it.
\end{lemma}

Note that we use the left action here, but the usual commutator $[g, h]=g^{-1}h^{-1}gh$.

\begin{proof}
Let $C=A_1\cap B_1$. Then the sets $C, a(C), a^2(C), b(C), b^2(C)$ are pairwise disjoint. The permutations $a$ and $b$ act as cycles of length three permuting $C, a(C), a^2(C)$ and $C, b(C), b^2(C)$, respectively. The element $[[b^{-1}, a^{-1}], [b, a]]$ acts then on these fives sets in the same way as the similar expression involving commutators of the permutations $a=(1, 2, 3)$ and $b=(1, 4, 5)$ act on $\{1, 2, 3, 4, 5\}$. We have $[b, a]=b^{-1}a^{-1}ba=(1, 5, 3)$ and $[b^{-1}, a^{-1}]=bab^{-1}a^{-1}=(1, 4, 2)$, and $[[b^{-1}, a^{-1}, [b, a]]=(1, 4, 2)^{-1}(1, 5, 3)^{-1}(1, 4, 2)(1, 5, 3)=(1, 2, 3)=a$.

The set $A'=(A_1\setminus C)\cup a(A_1\setminus C)\cup a^2(A_1\setminus C)$ is $a$-invariant, and $b$ acts trivially on it. It follows that the restriction of $[b^{-1}, a^{-1}]$ and $[b, a]]$ to $A'$ is equal to the restriction of $[1, a^{-1}]$ and $[1, a]$, which are trivial. It follows that $[[b^{-1}, a^{-1}], [b, a]]$ acts trivially on $A'$. The same argument shows that $[[b^{-1}, a^{-1}], [b, a]]$ acts trivially on $(B_1\setminus C)\cup b(B_1\setminus C)\cup b^2(B_1\setminus C)$.
\end{proof}

As a corollary, we get the following relation between the elements of the form $((f, P), g_1, g_2, g_3)$.

\begin{corollary}
\label{cor:patchesunion}
Let $\pi_1$, $\pi_2$ be patches, $g_1, g_2, h_1, h_2$ be elements of $\mathbb{Z}^d$ such that $\pi_1, \pi_1+g_1, \pi_1+g_2, \pi_2, \pi_2+h_1, \pi_2+h_2$ are pairwise incompatible except for the pair $\pi_1$ and $\pi_2$. Then
\[[[T_{\pi_2, (0, h_1, h_2)}^{-1}, T_{\pi_1, (0, g_1, g_2)}^{-1}], [T_{\pi_2, (0, h_1, h_2)}, T_{\pi_1, (0, g_1, g_2)}]]=T_{\pi_1\cup\pi_2, (0, g_1, g_2)}.\]
\end{corollary}

We will use the usual $\ell_1$ metric on $\mathbb{Z}^d$, i.e., the word metric associated with the standard generating set of $\mathbb{Z}^d$. Denote by $B(R)$ the ball of radius $R$ with the center in $0\in\mathbb{Z}^d$ for this metric.

By Lemma~\ref{lem:incompatible}, there exists $R_1$ such that for every $w\in\mathbf{C}$ the patches $\pi=(B(R_1), w|_{B(R_1)})$ and $\pi+g$ are incompatible for every $g\in\mathbb{Z}^d$ of length $\le 3$.

Let $\{e_1, e_2, \ldots, e_d\}$ be the standard generating set of $\mathbb{Z}^d$.
Denote by $\mathcal{T}_R$ the set of elements of $[[\mathbb{Z}^d]]'$ of the form $T_{\pi, (0, e_i, -e_i)}$, where $\pi$ runs through the set of all patches of the form $(B(R), w|_{B(R)})$ for $w\in\mathbf{C}$.

\begin{proposition}
If $R\ge R_1+2$, then the group generated by $\mathcal{T}_R$ contains $\mathcal{T}_{R+1}$.
\end{proposition}

\begin{proof}
Denote $S=\{\pm e_1, \pm e_2, \ldots, \pm e_d\}$.
Let $B\subset\mathbb{Z}^d$ be a finite subset containing $B(R_1+2)$.
Define the patches $\rho_0=(w|_B, B)$, $\rho_h=(w|_{B+h}, B+h)$,  for $h\in S$. Note that the patch $\rho_h$ contains the patch $(w|_{B(R_1)}, B(R_1))$ and that $\rho_h-h=((w-h)|_B, B)$.

Let us apply Corollary~\ref{cor:patchesunion} for $\pi_1=\rho_0$, $\pi_2=\rho_h$,
$g_1=g$, $g_2=-g$, $h_1=h$, $h_2=2h$, where $g, h$ are different elements of $S$. Since $\rho_0$ and $\rho_h$ both contain the patch $(w|_{B(R_1)}, B(R_1))$, the patches $\pi_1, \pi_1+g_1$, $\pi_1+g_2$, $\pi_2$, $\pi_2+h_1$, and $\pi_2+h_2$ are pairwise incompatible, except for $\pi_1$ and $\pi_2$, which are both patches of $w$. It follows that we can apply Corollary~\ref{cor:patchesunion}, hence
\[[[T_{\rho_h, (0, h, 2h)}^{-1}, T_{\rho_0, (0, g, -g)}^{-1}], [T_{\rho_h, (0, h, 2h)}, T_{\rho_0, (0, g, -g)}]]=T_{\rho_0\cup \rho_h, (0, g, -g)}.\]
Note that $T_{\rho_h, (0, h, 2h)}=T_{\rho_h-h, (-h, 0, h)}=T_{\rho_h-h, (0, h, -h)}$.

Let us apply now Corollary~\ref{cor:patchesunion} to $\pi_1=\rho_0-g$, $\pi_2=\rho_g-g$, $g_1=-2g$, $g_2=-g$, $h_1=h$, $h_2=-h$. The patches $\pi_1$ and $\pi_2$ are patches of $w-g$, and contain $((w-g)|_{B(R_1)}, B(R_1))$. It follows that, in the same way as above, we can apply Corollary~\ref{cor:patchesunion}, and get
\[[[T_{\rho_g-g, (0, h, -h)}^{-1}, T^{-1}_{\rho_0-g, (0, -2g, -g)}],
[T_{\rho_g-g, (0, h, -h)}, T_{\rho_0-g, (0, -2g, -g)}]]=T_{(\rho_0-g)\cup(\rho_h-g), (0, -2g, -g)}.\]
Recall that $\rho_g-g=((w-g)|_B, B)$ and that we have $T_{\rho_0-g, (0, -2g, -g)}=T_{\rho_0, (g, -g, 0)}=T_{\rho_0, (0, g, -g)}$. We also have $T_{(\rho_0-g)\cup (\rho_h-g), (0, -2g, -g)}=T_{\rho_0\cup\rho_h, (0, g, -g)}$.

We have shown that the group generated by the set
\[\{T_{\pi, (0, g, -g)}\;:\;g\in S, \pi=(w|_B, B), w\in\mathbf{C}\}\]
contains the set
\[\{T_{\pi, (0, g, -g)}\;:\;g\in S, \pi=(w|_{B\cup B+h}, B\cup B+h), w\in\mathbf{C}, h\in S\}.\]
Since $B(R+1)=\bigcup_{h\in S}B(R)+h$, this finishes the proof of the proposition.
\end{proof}

It follows that the group generated by $\mathcal{T}_{R_1+2}$ contains $\mathcal{T}_R$ for every $R\ge R_1+2$. For every cylindrical set $U\subset\mathbf{C}$ there exists $R$ such that $U$ is equal to the disjoint union of cylindrical sets $\mathcal{W}_\pi$ such that $\pi$ is a patch with support $B(R)$. It follows that every element of the form $T_{\pi, (0, e_i, -e_i)}$ can be written as a product of elements of the same type such that $\pi$ is a patch with support $B(R)$ for some $R$ big enough. Consequently, the group generated by $\mathcal{T}_{R_1+2}$ contains all elements of the form $T_{\pi, (0, e_i, -e_i)}$.

The proof of Theorem~\ref{main} is finished by the following, since the set $\mathcal{T}_{R_1+2}$ is finite.

\begin{proposition}
The derived subgroup of the full group of the action of $\mathbb{Z}^d$ on $\mathsf{C}$ is generated by the set of elements of the form $T_{\pi, (0, e_i, -e_i)}$.
\end{proposition}

\begin{proof}
It is known, see~\cite{matui1}, that the derived subgroup of $[[\mathbb{Z}^d]]$ is simple and is contained in every non-trivial normal subgroup of $[[\mathbb{Z}^d]]$.

Consider the set $\mathcal{T}\subset[[\mathbb{Z}^d]]$ of all elements elements of order three  permuting cyclically three disjoint clopen subsets $U_1, U_2, U_3$ of $\mathbf{C}$ and acting identically outside their union. The set $\mathcal{T}$ is obviously invariant under conjugation by elements of $[[\mathbb{Z}^d]]$, hence the group generated by $\mathcal{T}$ is normal. On the other hand, we have $\mathcal{T}\subset [[\mathbb{Z}^d]]'$, as every element of $\mathcal{T}$ is equal to the commutator of two transformations: one permuting $U_1$ with $U_2$, and the other permuting $U_2$ with $U_3$. Consequently, $\mathcal{T}$ generates $[[\mathbb{Z}^d]]'$.

For every element $T\in\mathcal{T}$ permuting cyclically clopen sets $U_1, U_2, U_3$, there exists partitions of $U_i$ into cylindrical sets such that $T$ maps a piece of the partition to a piece of the partition, and restriction of $T$ to every piece of the partitions is equal to the restriction of an element of $\mathbb{Z}^d$. It follows that $T$ is a product of a finite set of elements of the form $T_{\pi, (g_1, g_2, g_3)}$. It remains to show that we can generate all elements of the form $T_{\pi, (g_1, g_2, g_3)}$ by elements of the form $T_{\pi, (0, e_i, -e_i)}$. It is well known that the alternating group $A_n$ is generated by cycles $(k, k+1, k+2)$. It follows that the group generated by $T_{\pi, (0, e_i, -e_i)}$ contains the set of elements of the form $T_{\pi, (g_1, g_2, g_3)}$, where $g_i$ belong to one direct factor of $\mathbb{Z}^d$.

Let us prove the following technical lemma.

\begin{lemma}\label{l1}
Let $X_d=\{x_1\ldots x_d|x_i \in \{a,b,c\}, \ 1\le i \le d \}$ be the $3^d$-element set of $d$-letter words over the alphabet $\{a,b,c\}$, and let $S_{X_d}$ be the symmetric group of permutations of $X_d$. Denote the alternating subgroup of even permutations of $X_d$ by $A_{X_d}$. Consider the set $B_d$ of all elements of the type $(XaY\ XbY\ XcY) \in S_{X_d}$, where $X$ and $Y$ are arbitrary (possibly, empty) words such that $|X|+|Y|=d-1$. Then $A_{X_d}$ is generated by the set $B_d$.
\end{lemma}

\begin{proof}
The lemma can be proved by induction on $d$.

For $d=2$, we use the well-known fact that $A_9$ is generated by 3-cycles $\{(1 2 3), (2 3 4), \ldots, (7 8 9)\}$. To apply this fact, we need to show that all 7 elements $(aa \ ab \ ac)$, $(ab \ ac \ ba)$, $(ac \ ba \ bb)$, $(ba \ bb \ bc)$, $(bb \ bc \ ca)$, $(bc \ ca \ cb)$, $(ca \ cb \ cc)$ are generated by $B_2$. This can be checked by hand:

\begin{itemize}
	\item $(aa \ ab \ ac) \in B_d$;
	\item $(ab \ ac \ ba) = (aa \ ba \ ca)(aa \ ab \ ac)(aa \ ca \ ba) $;
	\item $(ac \ ba \ bb) = (ac \ cc \ bc)(ba \ bb \ bc)(ac \ bc \ cc) $;
	\item $(ba \ bb \ bc) \in B_d$;
	\item $(bb \ bc \ ca) = (aa \ ba \ ca)(ba \ bb \ bc)(aa \ ca \ ba) $;
	\item $(bc \ ca \ cb) = (ac \ cc \ bc)(ca \ cb \ cc)(ac \ bc \ cc) $;
	\item $(ca \ cb \ cc) \in B_d$.
\end{itemize}

Suppose the statement holds for $d=k$ and consider the case $d=k+1$. Since the alternating group is generated by 3-cycles, it's sufficient to show that every 3-cycle is generated by $B_{k+1}$. Assume we have a cycle $(Ax \ By \ Cz)$, where $A,B,C \in X_k$ are pairwise distinct, and $x,y,z \in \{a,b,c\}$, not necessarily distinct. We know the following:

\begin{itemize}
	\item $(Ax \ Bx \ Cx)$, $(Ay \ By \ Cy)$, $(Az \ Bz \ Cz)$ are generated by $B_{k+1}$. Indeed, we can take the elements of $B_k$ generating $(A \ B \ C)$ and append the needed letter to each of them.
	\item $(Ax \ Ay \ Az)$, $(Bx \ By \ Bz)$, $(Cx \ Cy \ Cz)$ are in $B_{k+1}$ by definition.
\end{itemize}

Then, applying the induction base for the set $\{A,B,C\} \times \{a,b,c\}$, we conclude that $(Ax \ By \ Cz)$ is also generated by $B_{k+1}$.

In case $A,B,C$ are not distinct, we can use a slightly modified version of the proof above. If, for example, $A=B$ (which automatically implies $x \neq y$), we can take an arbitrary word $D \in X_k$ distinct from $A$ and $C$ in order to apply the induction base to $\{A,C,D\} \times \{a,b,c\}$. Clearly, the 3-cycle $(Ax \ Ay \ Cz)$ will belong to $X_{k+1}$

The induction step is complete.
\end{proof}

Lemma~\ref{l1} implies that the group generated by all elements of the form $T_{\pi, (g_1, g_2, g_3)}$, where $g_i$ belong to one factor of $\mathbb{Z}^d$, contains all elements of the form $T_{\pi, (g_1, g_2, g_3)}$, where $g_i\in\mathbb{Z}^d$ are now arbitrary. This finishes the proof of the proposition and Theorem~\ref{main}.
\end{proof}

\section{Topological full group and interval exchange group}

Let $\alpha_1, \alpha_2, \ldots, \alpha_d$ be irrational numbers such that the additive group $H=\langle\alpha_1, \alpha_2, \ldots, \alpha_d\rangle/\mathbb{Z}$ generated by them modulo $\mathbb{Z}$ is isomorphic to $\mathbb{Z}^d$ (this implies that $\langle\alpha_1, \alpha_2, \ldots, \alpha_d\rangle$ is also isomorphic to $\mathbb{Z}^d$). The group $H$ is a subgroup of the circle $\mathbb{R}/\mathbb{Z}$, and hence acts on it in the natural way. By the classical Kroneker's theorem, the action of each subgroup $\langle\alpha_i\rangle$ on $\mathbb{R}/\mathbb{Z}$ is minimal, hence the action of $H$ on $\mathbb{R}/\mathbb{Z}$ is also minimal.

Let us lift $H$ as a set to $[0, 1]$ by the natural quotient map $[0, 1]\to\mathbb{R}/\mathbb{Z}$, and let $W\subset[0, 1]$ be the obtained set.

Let us replace each number $q\in W\subset[0, 1]$ by two copies: $q_{-0}$ and $q_{+0}$. Here we identify $0_{-0}$ with $1$ and $0_{+0}$ with $0$, $1_{-0}$ with 1 and $1_{+0}$ with 0, according to the natural cyclic order on $\mathbb{R}/\mathbb{Z}$ (seen also as the quotient of the interval $[0, 1]$). Denote by $R_H$ the obtained set (equal to the disjoint union of $[0, 1]\setminus W$ and the set of doubled points $W$). The set $R_H$ is ordered in the natural way (we assume that $q_{-0}<q_{+0}$), and the order is linear (total).

Let us introduce the order topology on $R_H$. Recall, that it is the topology generated by the open intervals $(a, b)=\{x\in R_H\;:\;a<x<b\}$.

\begin{lemma}
The space $R_W$ is homeomorphic to the Cantor set.
\end{lemma}

\begin{proof}
	We use the following formulation of Brouwer's theorem: A topological space is a Cantor space if and only if it is non-empty, compact, totally disconnected, metrizable and has no isolated points. Note that by classical metrization theorems, we can replace metrizability by Hausdorffness and second countability.

The space $R_H$ is obviously non-empty, has no isolated points. For any $a, b\in W\cap[0, 1]$ such that $a<b$, we have $[a_{+0}, b_{-0}]=(a_{-0}, b_{+0})$, hence the intervals $(a_{-0}, b_{+0})$ are clopen. The set of such intervals is a basis of topology, since the set $W$ is dense. We also see that the space $R_H$ is second countable and Hausdorff.

Let $A\subset R_H$ be an arbitrary subset. Let us show that $\sup A$ and $\inf A$ exist, which will imply compactness. Let $\hat A$ be the image of $A$ in $[0, 1]$. We know that $\sup\hat A, \inf\hat A\in [0, 1]$ exist. If $\sup\hat A\notin W$, then the corresponding element of $R_H$ is also a supremum of $A$. If $\sup\hat A\in W$, then $\sup A=\sup\hat A_{-0}$, unless $\sup\hat A_{+0}\in A$, in which case $\sup A=\sup\hat A_{+0}$. Infima are treated in the same way.
\end{proof}

The action of $H$ on $\mathbb{R}/\mathbb{Z}$ naturally lifts to an action on $R_H$: we just set $h(q_{+0})=h(q)_{+0}$ and $h(q_{-0})=h(q)_{-0}$.

Denote by $IET_H$ the topological full group of the action $(H, R_H)$. For every element $g\in IET_H$ there exists a finite partition of $R_H$ into clopen subsets such that the action of $g$ on each of the subsets coincides with a translation by an element of $H$. Clopen subsets of $R_H$ are finite unions of intervals of the form $(a_{+0}, b_{-0})$ for $a, b\in H$. It follows that $g$ is an \emph{interval exchange transformation}: it splits the interval $[0, 1]$ into a finite number of intervals and then rearranges them. The endpoints of the intervals belong to $W$. Conversely, every interval exchange transformation such that the endpoints of the subintervals belong to $W$ is lifted to an element of $IET_H$.

We have proved the following.

\begin{lemma}
The group $IET_H$ is naturally isomorphic to the group of all interval exchange transformations of $[0, 1]$ such that the endpoints of the intervals into which $[0, 1]$ is split belong to $H$.
\end{lemma}

Theorem~\ref{main} now implies the following.

\begin{theorem}
The derived subgroup of $IET_H$ is simple and finitely generated.
\end{theorem}

A two-dimensional version of an interval exchange transformation group is considered in the next section.

\section{Penrose tiling group}

There are several versions of the Penrose
tiling~\cite{penrose}, let us describe one of them. The tiles
are two types of rhombi of equal side length 1. The angles of one
rhombus are $72^\circ$ and $108^\circ$. The angles of the other are
$36^\circ$ and $144^\circ$. We call these rhombuses ``thick'' and
``thin'', respectively. Mark a vertex of angle $72^\circ$ in the thick
rhombus, and a vertex of angle $144^\circ$ of the thin rhombus. Mark
the sides adjacent to the marked vertex by single arrows pointing towards
the marked vertex. Mark the other edges by double arrows, so that in the
thick rhombus they point away from the unmarked vertex of angle
$72^\circ$ and in the thin rhombus they point towards the unmarked
vertex of angle $144^\circ$, see Figure~\ref{fig:penrosetiling}.
A \emph{Penrose tiling} is a tiling of
the whole plane by
such rhombi, where markings of the edges match (adjacent tiles must
have same number of arrows pointing in the same direction). See
Figure~\ref{fig:tiling} for an example of a patch of a Penrose tiling.

\begin{figure}
\centering
\includegraphics{tiles.eps}
\caption{Tiles of the Penrose tilings}
\label{fig:penrosetiling}
\end{figure}

\begin{figure}
\centering
\includegraphics{tiling.eps}
\caption{Penrose tiling}
\label{fig:tiling}
\end{figure}

There are uncountably many different (up to translation and rotation)
Penrose tilings. Each of them is \emph{aperiodic}, i.e., does not
admit a translational symmetry.

Let us identify $\mathbb{R}^2$ with $\mathbb{C}$, and consider all
Penrose tilings by rhombi such that their sides are parallel to the
lines $e^{k\pi i/5}\mathbb{R}$, $k\in\mathbb{Z}$. A \emph{pointed}
Penrose tiling is a Penrose tiling with a marked vertex of a tile. Let
$\mathcal{T}$ be the set of all such pointed Penrose tilings, up to
translations (two pointed tilings correspond to the same element of
$\mathcal{T}$ if and only if there exists a translation mapping one
tiling to the other and the marked vertex of one tiling to the marked
vertex of the other). We sometimes identify a tiling with the set of vertices of
its tiles.

Let us introduce a topology on $\mathcal{T}$ in the following way. Let
$A\subset T$ be a finite  set of vertices of a Penrose tiling (a \emph{patch}), and let
$v\in A$. The corresponding open set
$\mathcal{U}_{A, v}$ is the set of all pointed tilings $(T, u)$ such that
$A+u-v\subset T$. In other words, a pointed
tiling $(T, u)$ belongs to $\mathcal{U}_{A, v}$ if we can see the pointed
patch $(A, v)$ around $u$ as a part of $T$. Then the
natural topology on $\mathcal{T}$ is given by the basis of open sets
of the form $\mathcal{U}_{A, v}$ for all finite pointed patches $(A,
v)$ of Penrose tilings. It follows from the properties of Penrose
tilings that the space $\mathcal{T}$ is homeomorphic to the Cantor
set, and that for every Penrose tiling $T$ the set of pointed tilings
$(T, v)$ is dense in $\mathcal{T}$. In the literature, see..., the
space $\mathcal{T}$ is called sometimes \emph{transversal}.

Consider  a patch $A$ with two marked vertices $v_1, v_2\in A$. Then we have a
natural homeomorphism
$F_{A, v_1, v_2}:\mathcal{U}_{A, v_1}\longrightarrow\mathcal{U}_{A, v_2}$
mapping $(T, u)\in\mathcal{U}_{A, v_1}$ to $(T,
u+v_2-v_1)\in\mathcal{U}_{A, v_2}$. The homeomorphism $F_{A, v_1,
  v_2}$ moves in every patch $A$ the marking from the vertex $v_1$ to
the vertex $v_2$. It is easy to see that $F_{A, v_1, v_2}$ is a
homeomorphism between clopen subsets of $\mathcal{T}$.

\begin{definition}
The \emph{topological full group of Penrose tilings} is the group
$\mathcal{P}$ of
homeomorphisms of $\mathcal{T}$ that are locally equal to the
homeomorphisms of the form $F_{A, v_1, v_2}$.
\end{definition}

The set of all pointed tilings $(T, v)$ obtained from a given
tiling $T$ is dense in $\mathcal{T}$ and invariant under the action of
the topological full group. It follows that every element of the full
group is uniquely determined by the permutation it induces on the set
of vertices of the tiling. In terms of permutations of $T$ the full
group can be defined in the following way.

We say that a map
$\alpha:T\longrightarrow T$ \emph{is defined by local rules} if there exists $R$
such that for every $x\in T$ the value of $x-\alpha(x)$ depends only
on the set $B_R\cap (T-x)$, where $B_R$ is the disc of radius $R$
around the origin $(0, 0)\in\mathbb{R}^2$.

The following is straightforward.

\begin{proposition}
A permutation $\alpha:T\longrightarrow T$ is induced by the element of the full
group if and only if $\alpha$ is defined by a local
rule. Consequently, the full group is isomorphic to the group of all
permutations of $T$ defined by local rules.
\end{proposition}

Let us describe a more explicit model of the space $\mathcal{T}$ and
the full group $\mathcal{P}$ using a description of the Penrose tilings given in
the papers~\cite{bruijn:pen1,bruijn:pen2}.

Denote $\zeta=e^{\frac{2\pi i}5}$, and let
\[P=\left\{\sum_{j=0}^4 n_j\zeta^j\;:\;n_j\in\mathbb{Z}, \sum_{j=0}^4
  n_j=0\right\}=
(1-\zeta)\mathbb{Z}[\zeta]\]
be the group generated by the vectors on the sides of the regular
pentagon $S=\{1, \zeta, \zeta^2, \zeta^3, \zeta^4\}$. Note that
$5=4-\zeta-\zeta^2-\zeta^3-\zeta^4\in P$.
As an abelian group, $P$ is isomorphic to $\mathbb{Z}^4$.

Denote by $\mathcal{L}$ the set of lines of the form
$i\zeta^j\mathbb{R}+w$, for $j=0, 1, \ldots, 4$ and $w\in P$. It is
easy to see that for any two intersecting lines $l_1,
l_2\in\mathcal{L}$ and any generator $z\in\{1-\zeta, \zeta-\zeta^2,
\zeta^2-\zeta^3, \zeta^3-\zeta^4\}$ there exists $z'\in P$ such that
$z'$ is parallel to $l_2$ and $l_1+z=l_1+z'$. It follows that for any
pair of intersecting lines $l_1, l_2\in\mathcal{L}$ the intersection
point $l_1\cap l_2$ belongs to $P$. Consequently, a point $\xi\in\C$
belongs either to 0, 1, or to 5 lines from $\mathcal{L}$. If $\xi\in\C$
does not belong to any line $l\in\mathcal{L}$, then we call $\xi$
\emph{regular}.

Similarly to the case of interval exchange transformations, let us double each line $l\in\mathcal{L}$.
Let $\mathcal{C}$ be the obtained space and let
$Q:\mathcal{C}\longrightarrow\mathbb{C}$ be the corresponding quotient map. If
$\xi\in\mathbb{C}$ is regular, then $Q^{-1}(\xi)$ consists of a single
point. If $\xi\in\mathcal{C}\setminus P$ belongs to a line
$l\in\mathcal{L}$,
then $Q^{-1}(\xi)$ consists of two points associated with each of the
two half-planes into which $l$ separates $\mathbb{C}$. Every point
$\xi\in P$ has 10 preimages in $\mathcal{C}$ associated with each of
the ten sectors into which the lines from $\mathcal{L}$ passing
through $\xi$ separate the plane. A sequence $\xi_n$ of points of $\mathcal{C}$
converges to a point $\xi\in\mathcal{C}$ if and only if the sequence $Q(\xi_n)$
converges to $Q(\xi)$ and the sequence $\xi_n$ eventually belongs (if $Q(\xi)$ is not
regular) to the associated closed half-plane or sector.
The space $\mathcal{C}$ is locally compact and totally
disconnected. Polygons with sides belonging to lines
from $\mathcal{L}$ form a basis of topology of $\mathcal{C}$.

The group $P$ acts on $\mathcal{C}$ in the natural way, so that the
action is projected by $Q$ to the action of $P$ on $\mathbb{C}$ by
translations. Therefore, sums of the form $\tilde\xi+a$, for
$\tilde\xi\in\mathcal{C}$ and $a\in P$, are well defined.

Let us describe, following~\cite{bruijn:pen1,bruijn:pen2}, how a Penrose tiling is
associated with a point $\tilde\xi\in\mathcal{C}$. We will usually
denote $\xi=Q(\tilde\xi)$.
Suppose that $\xi$ is regular.
The vertices of the corresponding tiling $T_{\tilde\xi}$ will be the points of the
form $\sum_{j=0}^4k_j\zeta^j$, where $k_j\in\mathbb{Z}$ are such that
\[\left(\sum_{j=0}^4 k_j,\quad\sum_{j=0}^4 k_j\zeta^{2j}+\xi\right)\in
\bigcup_{s=1}^4(s, V_s),\] where  $V_1$
is the pentagon with vertices $\zeta^j$, $V_2$ is the pentagon with
vertices $\zeta^j+\zeta^{j+1}$, $V_3=-V_2$, and $V_4=-V_1$. (Note that
we have changed $\xi$ to $-\xi$ comparing with~\cite{bruijn:pen1,bruijn:pen2}.)

If $\xi$ is singular, then we
can find a sequence $\tilde\xi_n$ of regular points converging in $\mathcal{C}$ to
$\tilde\xi$, and then the tiling $T_{\tilde\xi}$ is the limit of the
tilings $T_{\tilde\xi_n}$.

 Let $v=\sum_{j=0}^4n_j\zeta^{2j}\in P$
and $v'=\sum_{j=0}^4n_j\zeta^j$. Then $x\in T_{\tilde\xi}$ if and only if
$x-v'\in T_{\tilde\xi+v}$. It follows that action of $P$ on
$\mathcal{C}$ preserves the associated tilings up to translations. In
fact, it is not hard to show that
two tilings $T_{\tilde\xi_1}$ and $T_{\tilde\xi_2}$ are
translations of each other if and only if $\tilde\xi_1$ and
$\tilde\xi_2$ belong to one $P$-orbit, see~\cite{bruijn:pen1,bruijn:pen2}....

Note that sides of the pentagons $V_s'=V_s-s$ are contained in lines from the
collection $\mathcal{L}$, hence they are naturally identified with
compact open subsets of $\mathcal{C}$. See Figure~\ref{fig:vs} for the
pentagons $V_s'$. Denote by $V'=\bigcup_{s=1}^4 (s, V_s')$.

\begin{figure}
\centering
\includegraphics{pentagonsBW.eps}
\caption{Pentagons $V_s'$}
\label{fig:vs}
\end{figure}

For every $(s, \tilde\xi)\in V'$ the point
$s=s+0\cdot\zeta+0\cdot\zeta^2+0\cdot\zeta^3+0\cdot\zeta^4$ belongs to
the tiling $T_{\tilde\xi}$. We say that the pointed tiling
$(T_{\tilde\xi}, s)$ \emph{corresponds} to the point $(s,
\tilde\xi)\in V'$.

Let $x=\sum_{j=0}^4k_j\zeta^j\in T_{\tilde\xi}$, and let
$s=\sum_{j=0}^4k_j$. Then the numbers $v'=x-s$ and
$v=\sum_{j=0}^4k_j\zeta^{2j}-s$ belong to $P$, and the map $y\mapsto
y-v'$ is a bijection $T_{\tilde\xi}\longrightarrow T_{\tilde\xi+v}$. This maps
moves $x$ to the marked vertex $s=x-(x-s)$ of the tiling corresponding to $(s,
\tilde\xi+v)$. It follows that every pointed tiling, up to translation,
corresponds to a point of $V'$. It is easy to see that every
pointed Penrose tiling is represented by a unique point of $V'$, so
that we get a bijection between $V'$ and the space $\mathcal{T}$. It follows from the results
of~\cite{bruijn:pen1,bruijn:pen2} that this bijection is a homeomorphism.

\begin{proposition}
\label{pr:fullVprime}
The group $\mathcal{P}$ acts on $V'\cong\mathcal{T}$ locally by
translations by elements of $P$. In other words, for every
$\alpha\in\mathcal{P}$ there exists a partition of $V'$ into disjoint
clopen subsets $(s_i, U_i)$ such that $\alpha$ acts on each of them by
a translation $\alpha(s_i, x)=(s_i', x+\xi_i)$ for some $s_i'\in\{1,
2, 3, 4\}$ and $\xi_i\in P$.
\end{proposition}

Let us find some elements $t_i\in P$ such that $V_s'+t_i$ are pairwise
disjoint, and denote by $V''\subset\mathcal{C}$ the union of the sets
$V_s''=V_s'+t_i$. Then it follows from Proposition~\ref{pr:fullVprime}
that $\mathcal{P}$ is the group of all transformations $V''\longrightarrow V''$
that are locally equal to translations by elements of $P$.

Let us say that two clopen sets $U_1, U_2\subset\mathcal{C}$ are
\emph{equidecomposable} if there exists a homeomorphism $\phi:U_1\longrightarrow
U_2$ locally equal to translations by elements of $P$. If $U$ is any
clopen subset which is equidecomposable with $V''$, then $\mathcal{P}$
is equal to the group of all transformations of $U$ that are locally
translations by elements of $P$.

\begin{proposition}
The set $V''$ is equidecomposable with the parallelogram $F$ with vertices
$0, w_1=\zeta^2-\zeta^3, w_2=5(1-\zeta^2-\zeta^3+\zeta^4), w_1+w_2$.
\end{proposition}

\begin{proof}
Let us cut the pentagons $V_s''$ into triangles as it is shown on
Figure~\ref{fig:pentagonscut}.

\begin{figure}
\centering
\includegraphics{pentagonscut.eps}
\caption{Cutting pentagons $V_s$ into triangles}
\label{fig:pentagonscut}
\end{figure}

The obtained triangles can be grouped into pairs of triangles $T, T'$ such
that $T'$ is obtained from $T$ by a rotation by $2\pi$ (and
translation). Such pairs can be put together to form parallelograms,
as it is shown on Figure~\ref{fig:parallelograms}.

\begin{figure}
\centering
\includegraphics{parallelograms.eps}
\caption{Equidecomposability of parallelograms}
\label{fig:parallelograms}
\end{figure}

Figure~\ref{fig:parallelograms} also shows that each such
parallelogram is equidecomposable with its rotation by $\pi/5$. It
follows that each parallelogram is equidecomposable with its rotation
by any angle of the form $k\pi/5$.  Consequently, every parallelogram
formed by the acute-angled triangles is equidecomposable with the
parallelogram with the set of vertices $\{0, \zeta^2-\zeta^3,
1-\zeta^2, 1-\zeta^3\}$,
and each parallelogram formed by the
obtuse-angled triangles is equidecomposable with the parallelogram
with the set of vertices $\{0, \zeta^2-\zeta^3, \zeta^4-\zeta^3,
\zeta^2-2\zeta^3+\zeta^4\}$. We get 5 parallelograms of each kind.
We can put all the obtained parallelograms
together to form the parallelogram $F$.
\end{proof}

The parallelogram $F$,
seen as a subset of $\mathcal{C}$, is
the fundamental domain of the group $\langle w_1, w_2\rangle<P$. It is
easy to check that $P/\langle w_1, w_2\rangle$ is isomorphic to
$\mathbb{Z}^2\oplus\mathbb{Z}/5\mathbb{Z}$. The space of orbits
$\mathcal{C}/\langle w_1, w_2\rangle$ is naturally homeomorphic to the
parallelogram $F$ (and hence to the spaces $V'$ and $\mathcal{T}$).

\begin{proposition}
The group $\mathcal{P}$ is isomorphic to the full topological group of
the action of $P/\langle w_1, w_2\rangle$ on the Cantor set
$\mathcal{C}/\langle w_1, w_2\rangle$.
\end{proposition}

\begin{corollary}
The derived subgroup of $\mathcal{P}$ is simple and finitely generated.
\end{corollary}


\section{Introduction}

Let $F$ be a non-Archimedean local field with ring of integers $\mathfrak{o}$ and let $\mathfrak{p}$ be the unique maximal ideal of $\mathfrak{o}$. Assume that the residue field $\bold{k}=\mathfrak{o}/\mathfrak{p}$ is finite of order $q$ and characteristic $p$. This paper concerns groups of the form $\G=\G(\mathfrak{o})$ where $\G$ is one of the $\mathfrak{o}$-group schemes of type $\A_{3}$, i.e.\ $\GL_4$ or $\GU_4$. Here, the groups $\GU_n(\mathfrak{o})$ are defined over $\mathfrak{o}$ using the non-trivial Galois automorphism of an unramified quadratic extension of $\mathfrak{o}$. For $l\in\mathbb{N}$ we denote by $\mathfrak{o}_l$ the reduction of $\mathfrak{o}_l$ modulo $\mathfrak{p}^l$, i.e.\ $\mathfrak{o}_l=\mathfrak{o}/\mathfrak{p}^l$. We will simply write $\G^{\epsilon}_n$ where $\epsilon\in\{\pm 1\}$ to denote $\G^{1}_n = \GL_n$ and $\G^{-1}_n=\GU_n$. We define the representation zeta function of a group $G$ to be the sum
$$
\zeta_G(s):=\sum_{\chi\in\Irr (G)}\chi(1)^{-s},
$$
where we sum over the complex irreducible characters of $G$, $\Irr (G)$ and $s$ is a complex variable.

The groups $\G^{\epsilon}_n(\mathfrak{o})$ play an important role in the representation theory of the groups $\G^{\epsilon}_n(F)$, being maximal compact subgroups. Furthermore, every continuous representation of $\G^{\epsilon}_n(\mathfrak{o})$ factors through one of the natural homomorphisms $\G^{\epsilon}_n(\mathfrak{o})\rightarrow\G^{\epsilon}_n(\mathfrak{o}_l)$. This brings the study of representations of the groups $\G^{\epsilon}_n(\mathfrak{o}_l)$ to the forefront. The study of representations of groups of type $\A_{n-1}$ has attracted much attention. In 1955 Green \cite{Green} described the characters of the complex irreducible representations of general linear groups over finite fields, i.e.\ groups of the form $\GL_n(\mathbb{F}_q)$. In the 1960s Ennola \cite{Ennola1, Ennola2} gave a description of the characters of the general unitary groups over finite fields and made a curious observation regarding the relationship between characters of general linear and general unitary groups. This `Ennola Duality' is discussed in more detail in Section \ref{ennola}. Recently, Avni, Onn, Klopsch \& Voll \cite{AKOV3} have developed explicit formulae for the representation zeta functions of the groups $\G^{\epsilon}_3(\mathfrak{o}_l)$. Singla \cite{Pooja} has described the representation zeta function of the groups $\GL_4(\mathfrak{o}_2)$, general linear groups over principal ideal rings of length two. In Theorem \ref{main}, the main result of this paper, we give a uniform description of the representation zeta function of the groups $\G^{\epsilon}_4(\mathfrak{o}_2)$ for $\epsilon\in\{\pm 1\}$. We impose no restriction on the residue characteristic of $\mathfrak{o}$.

\subsection{Ennola Duality}\label{ennola}

In the 1960s Ennola (see \cite{Ennola1, Ennola2}) observed a duality between the character tables of the groups $\GL_n(\mathbb{F}_q)$ and $\GU_n(\mathbb{F}_q)$. In particular, he noted that there exists a finite index set $I=I(n)$ and polynomials $g_i\in\mathbb{Z}[t]$, $i\in I$ such that
$$
\cd(\GL_n(\mathbb{F}_q)) = \{g_i(q):i\in I\}\mbox{ and }\cd(\GU_n(\mathbb{F}_q)) = \{(-1)^{\deg(g_i)}g_i(-q):i\in I\}.
$$
where $\cd(G)=\{\chi(1)\,:\,\chi\in\Irr(G)\}$ denotes the set of character degrees of a group $G$. This phenomenon, known as `Ennola Duality', was later explained by Kawanaka \cite{Kawanaka}. In \cite[Theorem H]{AKOV3}, Avni, Onn, Klopsch \& Voll have observed an anologous form of Ennoloa duality for the groups $\GL_3(\mathfrak{o}_l)$ and $\GU_3(\mathfrak{o}_l)$. In particular, they observed that, for all $g(t)\in\mathbb{Z}[t]$ and $l\in\mathbb{N}$,
$$
g(q)\in\cd(\GL_3(\mathfrak{o}_l))\mbox{ if and only if }(-1)^{\deg g}g(-q)\in\cd(\GU_3(\mathfrak{o}_l)).
$$
For any prime $p$, we write $\cd(G)_{p'}=\{\chi(1)_{p'}\,:\,\Irr(G)\}$ for the prime-to-$p$ parts of the irreducible character degrees of a group $G$. From Theorem \ref{main} we deduce that an analogue of Ennola duality also holds for the groups $\G^{\epsilon}_4(\mathfrak{o}_2)$. More specifically, we observe that the prime-to-$p$ parts of the character degrees satisfy Ennola Duality:

\begin{corollary}\label{corp'}
There are $20$ character degrees ($p'$-part) of the groups $\G^{\epsilon}_4(\mathfrak{o}_2)$:\newline

\noindent$\cd(\G^{\epsilon}_4(\mathfrak{o}_2))_{p'}= \cd(\G^{\epsilon}_4(\mathfrak{o}_1))_{p'}\,\cup\,$
$\{

		$(q+\epsilon)(q^2+1)$,

		$(q^3-\epsilon)(q^4-1)$,
		$(q+\epsilon)(q^3-\epsilon)(q^4-1)$,\\

		\hspace{2cm}$(q-\epsilon)(q^3-\epsilon)(q^4-1)$,
		$(q^2-1)(q^3-\epsilon)(q^4-1)$,
		$(q+\epsilon)(q^2+\epsilon q + 1)(q^4-1)$,\\

		\hspace{2cm}$(q^3+\epsilon q^2+q+\epsilon)^2\}$\\
where\\

\noindent$\cd(\G^{\epsilon}_4(\mathfrak{o}_1))_{p'}= $
$\{ 1,$
		$q^2+1$,
		$q^2+\epsilon q+1$,

		$(q+\epsilon)^2(q^2+1)$,

		$(q+\epsilon)^2(q^2+1)(q^2+\epsilon q+1)$,
		$(q^2+\epsilon q+1)(q^4-1)$,\\

		\hspace{2cm}$(q^2-1)(q^4-1)$,
		$(q^2+1)(q^2+\epsilon q+1)$,
		$(q+\epsilon)(q^3+\epsilon)$,
		$(q^2+1)(q^3-\epsilon)$,\\

		\hspace{2cm}$(q-\epsilon)(q^2+1)(q^3-\epsilon)$,
		$(q-\epsilon)(q^2-1)(q^3-\epsilon),$
		$(q-\epsilon)(q^3-\epsilon)\}$.\\

\noindent Moreover, for $l=1,2$,
$$
g(q)\in\cd(\GL_4(\mathfrak{o}_l))_{p'}\iff (-1)^{\deg(g)}g(-q)\in\cd(\GU_4(\mathfrak{o}_l))_{p'}.
$$
\end{corollary}

In \cite[Theorem H]{AKOV3} the authors note that for $n=3$ there is a case distinction between $l=1$ and $l\geq 2$ for the prime-to-$p$ parts of the set of character degrees, $\cd(\G^{\epsilon}_3(\mathfrak{o}_l))_{p'}$. Corollary \ref{corp'} shows that there is also a case distinction for the prime-to-$p$ parts of set of character degrees between $l=1$ and $l=2$ for $n=4$ but we are unable to say anything for $l\geq 3$. We make the following more general conjecture:

\begin{conjecture}[Ennola Duality over $\mathfrak{o}_l$]
For all $l\in\mathbb{N}$
$$
g(q)\in\cd(\GL_n(\mathfrak{o}_l))_{p'}\iff (-1)^{\deg(g)}g(-q)\in\cd(\GU_n(\mathfrak{o}_l))_{p'}.
$$
\end{conjecture}

\subsection{Symmetric matrices and the Frobenius-Schur indicator}

In \cite[Remark 1.3]{AKOV3} the authors note that the special value of the zeta function $\zeta_{\GU_3(\mathfrak{o}_l)}(s)$ at $s = -1$ (i.e.\ the sum of character degrees) is equal to the number of symmetric matrices in $\GU_3(\mathfrak{o}_l)$, that is
$$
\zeta_{\GU_3(\mathfrak{o}_l)}(-1)  = (1+q^{-1})(1+q^{-3})q^{6l} = \mbox{number of symmetric matrices in $\GU_3(\mathfrak{o}_l)$}.
$$
The corresponding assertion for $\GL_3(\mathfrak{o}_l)$ holds only for $l=1$. This observation, that the sum of character degrees is equal to the number of symmetric matrices, was observed by Gow \& Klyachko for the groups $\GL_n(\mathbb{F}_q)$ and Thiem \& Vinroot for the groups $\GU_n(\mathbb{F}_q)$ (see \cite{ThiemVinroot}). This phenomenon fails in the cases $\G^{\epsilon}_4(\mathfrak{o}_2)$. Let $\sym^{\epsilon}_n(\mathfrak{o}_l)$ denote the number of symmetric matrices in $\G^{\epsilon}_n(\mathfrak{o}_l)$. For $n=4$ we have
$$
\sym^{\epsilon}_4(\mathfrak{o}_l)=(1-\epsilon q^{-1})(1-\epsilon q^{-3})q^{20}.
$$
We have the following corollary of Theorem \ref{main}
\begin{corollary}\label{cormain}
The representation zeta functions of the groups $\G^{\epsilon}_4(\mathfrak{o}_2)$ evaluated at $s=-1$ are given by
\begin{eqnarray*}
\zeta_{\GU_4(\mathfrak{o}_2)}(-1) &=& q^2(q^2-q+1)(q^{14}+q^7-2q^6-q^5+2q^4-q^3+2q^2+q-2)(q+1)^2;\\
\zeta_{\GL_4(\mathfrak{o}_2)}(-1) &=& q(q^2+q+1)(q^{15}+2q^{10}-2q^8+2q^6-2q^4-4q^2+4)(q-1)^2
\end{eqnarray*}
where $q$ is the cardinality of $\mathfrak{o}_1$. Moreover,
\begin{eqnarray*}
\zeta_{\GU_4(\mathfrak{o}_2)}(-1)-\sym^{-1}_4(\mathfrak{o}_2) &=& q^2(q-2)(q^2+1)(q^2-q+1)(q-1)^2(q+1)^4;\\
\zeta_{\GL_4(\mathfrak{o}_2)}(-1)-\sym^{1}_4(\mathfrak{o}_2) &=& 2q(q^2+q+1)(q^4+2)(q^2+1)(q+1)^2(q-1)^4;\\
\frac{\zeta_{\GU_4(\mathfrak{o}_2)}(-1)}{\sym^{-1}_4(\mathfrak{o}_2)} &= &\frac{q^{14}+q^7-2q^6-q^5+2q^4-q^3+2q^2+q-2}{q^{14}};\\
\frac{\zeta_{\GL_4(\mathfrak{o}_2)}(-1)}{\sym^{1}_4(\mathfrak{o}_2)}&=&\frac{q^{15}+2q^{10}-2q^8+2q^6-2q^4-4q^2+4}{q^{15}}.
\end{eqnarray*}
In particular,
$$
\lim_{q\rightarrow\infty}\frac{\G^{\epsilon}_4(\mathfrak{o}_2)}{\sym^{\epsilon}_4(\mathfrak{o}_2)}=1.
$$
\end{corollary}
The reason for the failure of the sum of character degrees to equal the number of symmetric matrices can be expressed in terms of word maps with automorphisms and generalized Frobenius-Schur indicators. It is known, see \cite{BumpGinzburg}, that for a finite group $G$ with automorphism $\tau$ of order $2$ we have, for each $g\in G$:
\begin{eqnarray}\label{fs}
\sum_{\chi\in\Irr(G)}\mathfrak{i}_{\tau}(\chi)\chi(g) = |\{h\in G:h^{\tau}h = g\}|,
\end{eqnarray}
where $\mathfrak{i}_{\tau}(\chi) = \frac{1}{|G|}\sum_{g\in G}\chi(g^{\tau}g)$ (analogous to the classic Frobenius-Schur indicator when $\tau$ is trivial). We can think of the right hand side of (\ref{fs}) as the number of solutions to the word map given by $h^{\tau}h = g$ where we solve for $h\in G$ for a given element $g\in G$. When $G = \G^{\epsilon}_n(\mathfrak{o}_l)$, $g=1$ and $\tau$ is the transpose-inverse automorphism equation (\ref{fs}) becomes
$$
\sum_{\chi\in\Irr(G)}\mathfrak{i}_{\tau}(\chi)\chi(1) = |\{h\in G:h\mbox{ is symmetric}\}|,
$$
a weighted sum of character degrees. We conclude from Corollary \ref{cormain} that, for $\G^{\epsilon}_4(\mathfrak{o}_2)$, some representations have non-trivial generalized Frobenius-Schur indicator. This contrasts with the field case where all groups $\G^{\epsilon}_n(\mathbb{F}_q)$ have generalised Frobenius-Schur indicators equal to $1$. It would be interesting to see to what extent the final statement of Corollary \ref{cormain} holds for the groups $\G^{\epsilon}_n(\mathfrak{o}_l)$ with $n\geq 4$ and $l\geq 2$.

\section{The representation zeta function of $\G^{\epsilon}_n(\mathfrak{o}_l)$}

Let $F$ be a non-Archimedean local field with ring of integers $\mathfrak{o}$ and let $\mathfrak{p}$ be the unique maximal ideal of $\mathfrak{o}$. Assume that the residue field $\bold{k}=\mathfrak{o}/\mathfrak{p}$ is finite of order $q$ and characteristic $p$. We also fix a uniformiser $\pi$ of $\mathfrak{o}$. A typical example of such a field $F$ is $\mathbb{Q}_p$ (the $p$-adic numbers) with ring of integers $\mathbb{Z}_p$ (the $p$-adic integers), unique maximal ideal $p\mathbb{Z}_p$ and residue field $\mathbb{F}_p$. Let $\mathfrak{O}$ be an unramified quadratic extension of $\mathfrak{o}$, with valuation ideal $\mathfrak{P}$ and residue field $\bold{k}_2$, a quadratic extension of $\bold{k}$. Then $\mathfrak{O}=\mathfrak{o}[\delta]$, where $\delta=\sqrt{\rho}$ for an element $\rho\in\mathfrak{o}$ whose reduction modulo $\mathfrak{p}$ is a non-square in $\bold{k}$, and $\mathfrak{P}=\pi\mathfrak{O}$. Let $\mathfrak{I}$ denote the integral closure of $\mathfrak{O}$ in some fixed algebraic closure of its fraction field, and choose an $\mathfrak{o}$-automorphism $\circ$ of $\mathfrak{I}$ restricting to the non-trivial Galois automorphism of the quadratic extension $\mathfrak{O} | \mathfrak{o}$.  Let $n\in\mathbb{N}$. For a matrix $A = (a_{ij})\in\M_n(\mathfrak{O})$ write $A^{\circ} = ((a_{ij}^{\circ})^{\tr})$, for the conjugate transpose. A matrix is \textit{hermitian} if $A^\circ=A$ and \textit{anti-hermitian} if $A^\circ = -A$. The \textit{standard unitary group} over $\mathfrak{o}$ is the group
$$
\GU_n(\mathfrak{o}) = \{A\in\GL_n(\mathfrak{O}):A^\circ A = \I_n\}.
$$
We also define the corresponding \textit{standard unitary $\mathfrak{o}$-Lie lattice} to be
$$
\mathfrak{gu}_n(\mathfrak{o}) = \{A\in\mathfrak{gl}_n(\mathfrak{O}):A^\circ+A=0\}.
$$
For $l\in\mathbb{N}$ we denote by $\mathfrak{o}_l$ the reduction of $\mathfrak{o}_l$ modulo $\mathfrak{p}^l$, i.e.\ $\mathfrak{o}_l=\mathfrak{o}/\mathfrak{p}^l$, and analogously $\mathfrak{O}_l=\mathfrak{D}/\mathfrak{P}^l$. A matrix $A\in\GU_n(\mathfrak{o}_l)$ is called \textit{hermitian}, respectively \textit{anti-hermitian}, if it is the image of a hermitian, respectively anti-hermitian matrix, modulo $\mathfrak{P}^l$. Recall that we will simply write $\G^{\epsilon}_n$ where $\epsilon\in\{\pm 1\}$ to denote $\G^{1}_n = \GL_n$ and $\G^{-1}_n=\GU_n$.

Our overall aim, reached in Theorem \ref{main}, is to compute a uniform formula for the representation zeta function of the groups of the form $\G^{\epsilon}_4(\mathfrak{o}_2)$, $\epsilon\in\{\pm 1\}$. First we consider general $n\in\mathbb{N}$, specialising to $n=4$ later on. Now we describe a bijection between the irreducible representations of the groups $\G^{\epsilon}_n(\mathfrak{o}_2)$ and the union of the irreducible representations of centralisers of certain matrices over the field $\mathfrak{o}_1$. Details can be found in \cite{Pooja2}. Let $\K^{\epsilon}_n$ denote the kernel of the map $\kappa:\G^{\epsilon}_n(\mathfrak{o}_2)\rightarrow\G^{\epsilon}_n(\mathfrak{o}_1)$. Note that $\K^{\epsilon}_n$ is a finite abelian group and let $\widehat{\K^{\epsilon}_n}$ denote the set of characters of $\K^{\epsilon}_n$. The group $\G^{\epsilon}_n(\mathfrak{o}_2)$ acts on $\widehat{\K^{\epsilon}_n}$ by conjugation: if $g\in\G^{\epsilon}_n(\mathfrak{o}_2)$ and $\phi\in\widehat{\K^{\epsilon}_n}$ then $\phi^g(x) = \phi(x^g)$ for $x\in\K^{\epsilon}_n$. For any $\phi\in\widehat{\K^{\epsilon}_n}$, write $\T^{\epsilon}_n(\phi)=\{g\in\G^{\epsilon}_n(\mathfrak{o}_2):\phi^g=\phi\}$. Let $\mathfrak{C}^{\epsilon}_n$ denote the set of $\G^{\epsilon}_n(\mathfrak{o}_2)$-orbits in $\widehat{\K^{\epsilon}_n}$. It is shown in \cite{Pooja2} that for a character $\phi\in\widehat{\K^{\epsilon}_n}$ there exists a canonical extension $\chi_{\phi}$ to $T^{\epsilon}_n(\phi)$ so that $\chi_{\phi}|_{\K^{\epsilon}_n}=\phi$. By Clifford Theory and \cite{Pooja2} there exists a bijetion between the sets
$$
\amalg_{\phi\in\mathfrak{C}^{\epsilon}_n}\{\Irr(\T^{\epsilon}_n(\phi)/\K^{\epsilon}_n)\} \longleftrightarrow\Irr(\G^{\epsilon}_n(\mathfrak{o}_2))
$$
given by
$$
\delta\mapsto\Ind_{\T^{\epsilon}_n(\phi)}^{\G^{\epsilon}_n(\mathfrak{o}_2)}(\chi_{\phi}\otimes\delta).
$$
Fix a non-trivial additive character $\psi:\mathfrak{o}_1\rightarrow\mathbb{C}^*$. Define $\g^1_n(\mathfrak{o}_1):=\mathfrak{gl}_n(\mathfrak{o}_1)$. For each matrix $A\in$ $\g^1_n(\mathfrak{o}_1)$ define the character $\psi_A:\K_n^{1}\rightarrow\mathbb{C}^*$ by
$$
\psi_A(\I_n + \pi X) = \psi(\Tr(AX)).
$$
The assignment $A\mapsto\psi_A$ defines an isomorphism $\g^1_n(\mathfrak{o}_1)\cong\widehat{\K_n^{1}}$. Define $\g^{-1}_n(\mathfrak{o}_1)$ to be the subgroup of $\g^1_n(\mathfrak{D}_1)$ such that $X\mapsto I_n + \pi X$ defines an isomorphism $\g^{-1}_n(\mathfrak{o}_1)\cong\widehat{\K_n^{-1}}$. Thus $\g^{-1}_n(\mathfrak{o}_1) = \{X\in\g^1_n(\mathfrak{O}_1):X+X^\circ = 0\}=\mathfrak{gu}_n(\mathfrak{o}_1)$. Let $\mathfrak{S}^{\epsilon}_n$ denote the set of orbits of $\g^{\epsilon}_n(\mathfrak{o}_1)$ by $\G^{\epsilon}_n(\mathfrak{o}_2)$. Since $T^{\epsilon}_n(\phi)/\K^{\epsilon}_n\cong Z_{\G^{\epsilon}_n(\mathfrak{o}_1)}(A)$ we have the following bijection
\begin{eqnarray}\label{eqnsim}
\amalg_{A\in\mathfrak{S}^{\epsilon}_n}\{\Irr(Z_{\G^{\epsilon}_n(\mathfrak{o}_1)}(A))\} \longleftrightarrow\Irr(\G^{\epsilon}_n(\mathfrak{o}_2)).
\end{eqnarray}
It follows that to find the complex irreducible representations of the groups $\G^{\epsilon}_n(\mathfrak{o}_2)$ one can simply write down representatives for the similarity classes $\mathfrak{S}^{\epsilon}_n$ and induce representations of their centralisers. The case $\epsilon = 1$, $n=4$ has been described by Singla \cite{Pooja}. In Theorem \ref{main} we give formulae for the number of irreducible representations of each degree of the group $\GU_4(\mathfrak{o}_2)$. This is achieved by writing down representatives $A$ of similarity classes in $\g^{-1}_4(\mathfrak{o}_1)$ and studying the representations of their centralisers $Z_{\G^{\epsilon}_4(\mathfrak{o}_1)}(A)$.

Let $f(t) = t^d-a_{d-1}t^{d-1}-...-a_0$ be a polynomial over a field $\mathbb{F}_q$ of degree $d$. Define matrices
$$
U(f) = U_1(f) = \begin{pmatrix} 0 & 1\\ 0 & 0 & 1\\ . & . & . & . & . \\ 0 & 0 & 0 & ... &1\\ a_0 & a_1 & a_2 & ... & a_{d-1}\end{pmatrix}
$$
and
$$
U_m(f) = \begin{pmatrix} U(f) & \I_d  \\  & U(f) & \I_d\\ . & . & . & . & \\  &  &  & U(f)\end{pmatrix}
$$
with $m$ diagonal blocks $U(f)$ and where $\I_d$ is the $d\times d$ identity matrix. For a partition $\lambda = \{l_1,l_2,...,l_p\}$ of a positive integer $k$ with $l_1\geq l_2\geq...\geq l_p>0$ write
$$
U_{\lambda}(f) = \begin{pmatrix} U_{l_1}(f) \\  & U_{l_1}(f) \\ . & . & . & . & \\  &  &  & U_{l_p}(f)\end{pmatrix}.
$$
In \cite{Green} Green shows that there is a one-to-one correspondence between similarity clases in $\g^{1}_n(\mathfrak{o}_1)$ and collections of irreducible polynomials with associated partitions satisfying certain conditions.
More specifically, suppose that the characteristic polynomial of a similarity class $C$ is $f_1^{k_1}...f_N^{k_N}$ where the $f_i$ are distinct irreducible polynomials over $\mathfrak{o}_1$, $k_i\geq 0$ and if the respective degrees of the $f_i$ are $d_i$ then $\sum_{i=1}^{N}k_id_i=n$. Then $C$ is similar to the diagonal block matrix
$$
\diag\{U_{\nu_C(f_1)}(f_1), U_{\nu_C(f_2)}(f_2),...,U_{\nu_C(f_N)}(f_N)\}
$$
where each $\nu_C(f_i)$ is a certain partition of $k_i$ depending on $C$. We may therefore represent the similarity class $C$ by the symbol
$$
\{f_1^{\nu_C(f_1)},...,f_N^{\nu_C(f_N)}\}.
$$
Now let $C= \{...,f_i^{\nu_C(f_i)},...\}$ for some irreducible polynomials $f_i$. For  a natural number $d\geq 1$ and a partition $\nu$ other than $0$ write $r_C(d,\nu)$ for the number of irreducible polynomials of degree $d$ appearing in the characteristic polynomial of $C$ with partition $\nu_C(f)=\nu$.  Let $\rho_C(\nu)$ be the partition
$$
(n^{r_C(n,\nu)},(n-1)^{r_C(n-1,\nu)},...).
$$
We say that two similarity classes, $A$ and $B$, are of the same \textit{type} if and only if $\rho_A(\nu)=\rho_B(\nu)$ for every non-zero partition $\nu$. We will also say that two matrices are of the same type if their respective similarity classes are of the same type.
Now let $\rho_\nu$ be a partition valued function on the non-zero partitions $\nu$ (we allow $\rho_\nu$ to take the value zero). The function $\rho_\nu$ describes a type in $\g^{1}_n(\mathfrak{o}_1)$ if and only if
\begin{eqnarray}\label{eqntype}
\sum_{\nu}|\rho_\nu||\nu| = n.
\end{eqnarray}
We analogously define the \textit{type} of a similarity class in $\g^{-1}_n(\mathfrak{o}_1)$. The following lemmas, from \cite{AKOV3}, allow us to describe the types of matrices that occur in $\g^{\epsilon}_n(\mathfrak{o}_1)$:
\begin{lemma}[Lemma 3.2 \cite{AKOV3}]
Let $A,B\in\g^{-1}_n(\mathfrak{o})$ be similar, i.e.\ $\GL_n(\mathfrak{O})$-conjugate. Then $A,B$ are already $\GU_n(\mathfrak{o})$-conjugate.
\end{lemma}
\begin{lemma}[Lemma 3.5 \cite{AKOV3}]
Let $A\in\g^{1}_n(\mathfrak{O}_l)$ with characteristic polynomial $f_A=t^n+\sum_{i=0}^{n-1}c_it^i\in\mathfrak{O}_l[t]$. If $A$ is $\GL_n(\mathfrak{O})$-conjugate to an anti-hermitian matrix, then $c_i^{\circ}=(-1)^{n-i}c_i$ for $0\leq i<n$.
\end{lemma}
The following lemma highlights the importance of type in the context of computing representation zeta functions:
\begin{lemma}
If matrices $A$ and $B$ in $\g^\epsilon_n(\mathfrak{o}_1)$ are of the same type, then their centralisers are isomorphic.
\end{lemma}
\begin{proof}
Since $A$ and $B$ are of the same type there exist irreducible polynomials $f_1,...,f_N$ and $g_1,...,g_N$ such that $\deg(f_i)=\deg(g_i)=d_i$ and positive integers $k_i$ such that the characteristic polynomial of $A$ is $f_1^{k_1}...f_N^{k_N}$and the characteristic polynomial of $B$ is $g_1^{k_1}...g_N^{k_N}$. Moreover, there exist partitions $\nu_i$ of the $k_i$ such that $A$ is similar to
$$
\diag\{U_{\nu_1}(f_1),...,U_{\nu_N}(f_N)\}
$$
and $B$ is similar to
$$
\diag\{U_{\nu_1}(g_1),...,U_{\nu_N}(g_N)\}.
$$
From this it is clear that $A$ and $B$ have isomorphic centralisers.
\end{proof}

For any group $\G^{\epsilon}_n(\mathfrak{o}_1)$, using equation (\ref{eqntype}) we may wrtie down a complete and irredundant list of representatives of types that are characterised by sets of irreducible polynomials and their associated partitions. This list will not depend on the underlying field, $\mathfrak{o}_1$, however each of these representatives may be parameterised by coefficients that do depend on the underlying field. Let $\mathbb{T}^{\epsilon}_n$ denote the set of representatives of types in $\g^{\epsilon}_n(\mathfrak{o}_1)$ and for each $A\in\mathbb{T}^{\epsilon}_n$, let $n_A$ be the total number of similarity classes of type $A$. We will also write $Z_{\G^{\epsilon}_n(\mathfrak{o}_1)}(A)$ for the centraliser of a matrix of type $A$. Then
\begin{eqnarray}\label{eqnzeta}
\zeta_{\G^{\epsilon}_n(\mathfrak{o}_2)}(s)=\sum_{A\in\mathbb{T}^{\epsilon}_n}n_{A}\zeta_{Z_{\G^{\epsilon}_n(\mathfrak{o}_1)}(A)}(s)|\G^{\epsilon}_n(\mathfrak{o}_1):Z_{\G^{\epsilon}_n(\mathfrak{o}_1)}|^{-s}.
\end{eqnarray}

\subsection{Representations of $\G^{\epsilon}_2(\mathfrak{o}_l)$}

Before proceeding with the proof of Theorem \ref{main} we summarise what is already known about the number of complex irreducible representations of each degree of the groups $\G^{\epsilon}_2(\mathfrak{o}_l)$ for $\epsilon\in\{\pm 1\}$ and $l = 1, 2$. For $(\epsilon, n, l) = (1,2,1)$ see Steinberg \cite{Steinberg2}. For $(\epsilon, n, l) = (-1,2,1)$ see Ennola \cite{Ennola2}. The number of irreducible representations of the groups $\G^{\epsilon}_2(\mathfrak{o}_1)$ is given in Table \ref{table21}. Details on the irreducible representations for $(\epsilon, n, l) = (1,2,2)$ are described by Nagornyi \cite{Nag} and Onn \cite{Onn}. For $(\epsilon, n, l) = (-1,2,2)$ see \cite{AKOV3}. Table \ref{table22} is a complete and irredundant list of representatives of similarity class types of $\g^{\epsilon}_2(\mathfrak{o}_1)$ under the action by $\G^{\epsilon}_2(\mathfrak{o}_2)$. Using equation (\ref{eqnzeta}) one can obtain the representation zeta function of the groups $\G^{\epsilon}_2(\mathfrak{o}_2)$.

\begin{table}[h!]
\small
\centering
\caption{Representations of $\G^{\epsilon}_2(\mathfrak{o}_1)$}
  \begin{center}
    \label{table21}
    \begin{tabular}{| c | c |
      \hline
      Number of irreducible representations & Degree \\
      \hline
 &\\

		$q-\epsilon$ &
		$1$\\
& \\

		$q-\epsilon$ &
		$q$\\
&\\

		$\frac{1}{2}(q-\epsilon-1)(q-\epsilon)$ &
		$q+\epsilon$\\
 &\\

		$\frac{1}{2}(q+\epsilon-1)(q-\epsilon)$ &
		$q-\epsilon$\\
 &\\
     \hline
    \end{tabular}
  \end{center}
\end{table}

\begin{landscape}
\begin{table}[t]
\small
\centering
\caption{Representatives of similarity classes in $\g^{\epsilon}_2(\mathfrak{o}_1)$ under $\G^{\epsilon}_2(\mathfrak{o}_2)$}
  \begin{center}
    \label{table22}
    \begin{tabular}{| c | c | c | c | c |
      \hline
Type $A\in\mathbb{T}^{\epsilon}_2$& Parameter & Number of similarity & Isomorphism type & Index of $Z$ \\
   &  & classes, $n_A$ &$Z$ of $Z_{\G^{\epsilon}_2(\mathfrak{o}_1)}(A)$ & in $\G^{\epsilon}_2(\mathfrak{o}_1)$\\
      \hline
&&& &\\
      $\parbox{4.5cm}{$\{(t-\alpha)^{(1,1)}\}$}$  &
		$\parbox{4.2cm}{$\epsilon=1:\alpha\in\mathbb{F}_q$\\$\epsilon=-1: \alpha+\alpha^\circ=0$}$&
		$q$ &
		$\G^{\epsilon}_2(\mathfrak{o}_1)$ &
		$1$\\
&&& &\\
      $\parbox{4.5cm}{$\{(t-\alpha)^{(2)}\}$}$  &
		$\parbox{4.2cm}{$\epsilon=1:\alpha\in\mathbb{F}_q$\\$\epsilon=-1: \alpha+\alpha^\circ=0$}$&
		$q$ &
		$\G^{\epsilon}_1(\mathfrak{o}_2)$ &
		$q^2-1$\\
&&& &\\
      $\parbox{4.5cm}{$\{(t-\alpha_1)^{(1)},(t-\alpha_2)^{(1)}\}$}$  &
		$\parbox{4.2cm}{$\epsilon=1:\alpha_1\neq\alpha_2\in\mathbb{F}_q$\\$\epsilon=-1: \alpha_i+\alpha_i^\circ=0$\\$\alpha_1\neq\alpha_2$}$&
		$\frac{1}{2}q(q-1)$ &
		$\G^{\epsilon}_1(\mathfrak{o}_1)\times\G^{\epsilon}_1(\mathfrak{o}_1)$ &
		$q(q+\epsilon)$\\
&&& &\\
      $\parbox{4.5cm}{$\epsilon = 1: \{f^{(1)}\}$\\$\epsilon=-1:\{(t-\alpha_1)^{(1)},(t-\alpha_2)^{(1)}\}$}$  &
		$\parbox{4.2cm}{$\epsilon=1:f$ irreducible quadratic\\$\epsilon=-1:\alpha_1=-\alpha_2^\circ$ distinct}$&
		$\frac{1}{2}q(q-1)$ &
		$\mathbb{F}_{q^2}^*$ &
		$q(q-\epsilon)$\\
&& &&\\
       \hline
    \end{tabular}
  \end{center}

\end{table}
\end{landscape}

\subsection{Representations of $\G^{\epsilon}_3(\mathfrak{o}_l)$}

We summarise what is already known about the number of complex irreducible representations of each degree of the groups $\G^{\epsilon}_3(\mathfrak{o}_l)$ for $\epsilon\in\{\pm 1\}$ and $l = 1, 2$. For $(\epsilon, n, l) = (1,3,1)$ see Steinberg \cite{Steinberg2}. For $(\epsilon, n, l) = (-1,3,1)$ see Ennola \cite{Ennola2}. The number of irreducible representations of the groups $\G^{\epsilon}_3(\mathfrak{o}_1)$ is given in Table \ref{table31}.

\begin{table}[h!]
\small
\centering
\caption{Representations of $\G^{\epsilon}_3(\mathfrak{o}_1)$}
  \begin{center}
    \label{table31}
    \begin{tabular}{| c | c |
       \hline
      Number of irreducible representations & Degree \\
       \hline
 &\\

		$q-\epsilon$ &
		$1$\\
 &\\

		$q-\epsilon$ &
		$q(q+\epsilon)$\\
 &\\

		$q-\epsilon$ &
		$q^3$\\
 &\\

		$(q-\epsilon-1)(q-\epsilon)$ &
		$q^2+\epsilon q+1$\\
 &\\

		$(q-\epsilon-1)(q-\epsilon)$ &
		$q(q^2+\epsilon q+1)$\\
 &\\

		$\frac{1}{6}(q-\epsilon-2)(q-\epsilon-1)(q-\epsilon)$ &
		$(q+\epsilon)(q^2+\epsilon q+ 1)$\\
 &\\

		$\frac{1}{2}(q+\epsilon-1)(q-\epsilon)^2$ &
		$q^3-\epsilon$\\
 &\\

		$\frac{1}{3}q(q^2-1)$ &
		$(q^2-1)(q-\epsilon)$\\
  &\\
       \hline
    \end{tabular}
  \end{center}
\end{table}

For $l\geq 2$ we define $\G^{\epsilon}_{(l,1)}$ to be the group $H^{\epsilon}\rtimes D_l^{\epsilon}$, where
\begin{eqnarray*}
H^{1}&:=&\left\{\begin{pmatrix}1 & \alpha & \gamma \\ 0 & 1 & \beta \\ 0 & 0 & 1\end{pmatrix}:\alpha,\beta,\gamma\in\mathbb{F}_{q}\right\};\\
H^{-1}&:=&\left\{\begin{pmatrix}1 & \alpha & \gamma \\ 0 & 1 & \bar{\alpha} \\ 0 & 0 & 1\end{pmatrix}:\alpha,\gamma\in\mathbb{F}_{q^2}, \alpha\bar{\alpha} = \gamma+\bar{\gamma}\right\};\\
D_l^{\epsilon}&:=&\left\{\begin{pmatrix}a & 0 & 0\\0 & b & 0\\0 & 0 & a\end{pmatrix}: a\in \G^{\epsilon}_1(\mathfrak{o}_{l-1}), b\in \G^{\epsilon}_1(\mathfrak{o}_{1})\right\}.
\end{eqnarray*}

Before describing the irreducible representations of the groups $\G^{\epsilon}_3(\mathfrak{o}_2)$ we first describe the irreducible representations of the groups $\G^{\epsilon}_{(l,1)}$.

\begin{proposition}
The complex irreducible representations of the groups $\G^{\epsilon}_{(l,1)}$ for $l\geq 2$ are given in the Table 4. Hence, its zeta function is given by
$$
\zeta_{\G^\epsilon_{(l,1)}}(s)=q^{l-2}(q-\epsilon)((q-\epsilon)+(q+\epsilon)(q-\epsilon)^{-s}+(q-1)(q-\epsilon)q^{-s}).
$$
\end{proposition}

\begin{proof}
This follows by adapting the proof of \cite[Proposition 6.9]{AKOV3} or \cite[Theorem 4.1]{Onn}. We will provide a sketch proof for completion.
The group $H^{\epsilon}$ has $q-1$ irreducible representations of degree $q$ that correspond to the non-trivial characters of the centre, and $q^2$ linear characters factoring through its abelianisation by its centre $Z^{\epsilon} = Z(H^{\epsilon})$. Write $Q^{\epsilon} := H^{\epsilon}/Z^{\epsilon}=\mathbb{F}_q\times\mathbb{F}_q$. For each of the $q-1$ non-trivial characters of the centre, $\chi$, there is a unique irreducible representation $\rho_{\chi, H^\epsilon}$ of $H^{\epsilon}$ of dimension $q$. The remaining representations of $H^\epsilon$ correspond to the trivial character of the centre and hence factor through the quotient $Q^{\epsilon}$. Each of the representations $\rho_{\chi, H^\epsilon}$ is stabilised by $H^{\epsilon}$. Let $T^\epsilon=Z^{\epsilon}D^{\epsilon}\cong\G^\epsilon(\mathfrak{o}_l)\times\G^\epsilon(\mathfrak{o}_1)$ and let $H^\epsilon_1$ be a maximal abelian subgroup of $H^{\epsilon}$. Then $\chi$ can be extended from $Z^{\epsilon}=T^{\epsilon}\cap H^\epsilon_1$ to $T^\epsilon H^\epsilon_{1}$. Inducing the extension from $T^\epsilon H^\epsilon_1$ to $\G^\epsilon_{(l,1)}$ gives a $q$-dimensional representation which must extend $\rho_{\chi, H^\epsilon}$. This yields $|\G^{\epsilon}_{(l,1)}/H^{\epsilon}| = |T^\epsilon/Z^{\epsilon}|=q^{l-2}(q-\epsilon)^2$ different extensions of $\rho_{\chi,H^\epsilon}$ and so $q^{l-2}(q-\epsilon)^2(q-1)$ representations of $\G^{\epsilon}_{(l,1)}$.

The remaining irreducible characters of $\G^{\epsilon}_{(l,1)}$ factor through its quotient by $Z^\epsilon$. The case $\epsilon = 1$ is done in \cite{Onn}. If $\epsilon = -1$ identify $Q^{-1}$ and its dual $Q^{-1\vee}$ with the additive group $\mathbb{F}_{q^2}$. The action of $\mbox{diag}(a,b,a)\in D_l^{-1}$ on $Q^{-1\vee}$ is given by $\mathbb{F}_{q^2}\ni u\mapsto(a^{-1}bu)$. The orbits of $D_l^{-1}$ on $Q^{-1\vee}$ are:

\begin{table}[!]
\small
\centering
  \begin{center}
    \label{tab:table1}
    \begin{tabular}{| c | c | c |
      \hline
      Orbit & Parameter & Stabiliser in $D$ \\
      \hline
& &\\
		$[0,0]$ &
		$-$ &
		$\GU_1(\mathfrak{o}_{l-1})\times\GU_1(\mathfrak{o}_1)$\\
& &\\
		$[s]$ &
		$s\in\mathbb{F}_{q^2}/\GU_1(\mathbb{F}_q)$ &
		$\GU_1(\mathfrak{o}_{l-1})$\\
& &\\

      \hline
    \end{tabular}
  \end{center}
\end{table}

By Mackey's method for semi-direct products (see \cite{JPS}, Section 8.2) this yields $|\GU_1(\mathfrak{o}_{l-1})\times\GU_1(\mathfrak{o}_1)| = q^{l-2}(q+1)^2$ linear characters and $|\mathbb{F}_{q^2}^*/\GU_1(\mathfrak{o}_{l-1})||\GU_1(\mathfrak{o}_1)| = q^{l-2}(q^2-1)$ irreducible characters of degree $|\GU_1(\mathfrak{o}_1)| = (q+1)$ of $\G_{(l,1)}^{-1}$. Putting this all together yields the required result.
\end{proof}

\begin{table}[!h!]
\small
\centering
\caption{Representations of $\G^{\epsilon}_{(l,1)}$}
  \begin{center}
    \label{tab:table1}
    \begin{tabular}{| c | c |
       \hline
      Number of irreducible representations & Degree \\
      \hline
 &\\

		$q^{l-2}(q-\epsilon)^2$ &
		$1$\\
& \\

		$q^{l-2}(q^2-1)$ &
		$q-\epsilon$\\
&\\

		$q^{l-2}(q-\epsilon)^2(q-1)$ &
		$q$\\
 &\\
      \hline
    \end{tabular}
  \end{center}
\end{table}

The irreducible representations of $\G^{\epsilon}_n(\mathfrak{o}_l)$ for $(\epsilon, n, l) = (1,3,2), (-1,3,2)$ can be found in \cite{AKOV3}. Table \ref{table32} is a complete and irredundant list of representatives of similarity class types of $\g^{\epsilon}_3(\mathfrak{o}_1)$ under the action by $\G^{\epsilon}_3(\mathfrak{o}_2)$. Using equation (\ref{eqnzeta}) one can obtain the representation zeta function of the groups $\G^{\epsilon}_3(\mathfrak{o}_2)$.

\begin{landscape}
\begin{table}[t]
\small
\centering
\caption{Representatives of similarity classes in $\g^{\epsilon}_3(\mathfrak{o}_1)$ under $\G^{\epsilon}_3(\mathfrak{o}_2)$}
  \begin{center}
    \label{table32}
    \begin{tabular}{| c | c | c | c | c|
       \hline
Type $A\in\mathbb{T}^{\epsilon}_3$ & Parameter & Number of similarity & Isomorphism type $Z$ of& Index of $Z$ in \\
  &   & classes, $n_A$ & $Z_{\G^{\epsilon}_3(\mathfrak{o}_1)}(A)$ & $\G^{\epsilon}_3(\mathfrak{o}_1)$\\
       \hline
&& &&\\
      $\parbox{6cm}{$\{(t-\alpha)^{(1,1,1)}\}$}$  &
		$\parbox{5.7cm}{$\epsilon=1:\alpha\in\mathbb{F}_q$\\$\epsilon=-1: \alpha+\alpha^\circ=0$}$&
		$q$ &
		$\G^{\epsilon}_3(\mathfrak{o}_1) $ &
		$1$\\
&&& &\\
      $\parbox{6cm}{$\{(t-\alpha)^{(2,1)}\}$}$  &
		$\parbox{5.7cm}{$\epsilon=1:\alpha\in\mathbb{F}_q$\\$\epsilon=-1: \alpha+\alpha^\circ=0$}$&
		$q$ &
		$\G^{\epsilon}_{(2,1)}$ &
		$(q^3-\epsilon)(q+\epsilon)$\\
&&& &\\
      $\parbox{6cm}{$\{(t-\alpha)^{(3)}\}$}$  &
		$\parbox{5.7cm}{$\epsilon=1:\alpha\in\mathbb{F}_q$\\$\epsilon=-1: \alpha+\alpha^\circ=0$}$&
		$q$ &
		$\G^{\epsilon}_1(\mathfrak{o}_3)$ &
		$q(q^2-1)(q^3-\epsilon)$\\
&&& &\\
      $\parbox{6cm}{$\{(t-\alpha_1)^{(1,1)},(t-\alpha_2)^{(1)}\}$}$  &
		$\parbox{5.7cm}{$\epsilon=1:\alpha_1\neq\alpha_2\in\mathbb{F}_q$\\$\epsilon=-1: \alpha_i+\alpha_i^\circ=0,\,\alpha_1\neq\alpha_2$}$&
		$q(q-1)$ &
		$\G^{\epsilon}_1(\mathfrak{o}_1)\times \G^{\epsilon}_2(\mathfrak{o}_1)$ &
		$q^2(q+\epsilon)(q^3-\epsilon)$\\
&&& &\\
       $\parbox{6cm}{$\{(t-\alpha_1)^{(1,1)},(t-\alpha_2)^{(1)}\}$}$  &
		$\parbox{5.7cm}{$\epsilon=1:\alpha_1\neq\alpha_2\in\mathbb{F}_q$\\$\epsilon=-1: \alpha_i+\alpha_i^\circ=0,\,\alpha_1\neq\alpha_2$}$&
		$q(q-1)$ &
		$\G^{\epsilon}_1(\mathfrak{o}_1)\times\G^{\epsilon}_1(\mathfrak{o}_2)$ &
		$q^2(q+\epsilon)(q^3-\epsilon)$\\
&&& &\\
      $\parbox{6cm}{$\{(t-\alpha_1)^{(1)},(t-\alpha_2)^{(1)},(t-\alpha_3)^{(1)}\}$}$  &
		$\parbox{5.7cm}{$\epsilon=1:\alpha_i\in\mathbb{F}_q$ distinct\\$\epsilon=-1: \alpha_i+\alpha_i^\circ=0$ distinct}$&
		$\frac{1}{6}q(q-1)(q-2)$ &
		$\G^{\epsilon}_1(\mathfrak{o}_1)\times\G^{\epsilon}_1(\mathfrak{o}_1)
								\times\G^{\epsilon}_1(\mathfrak{o}_1)$ &
		$q^3(q+\epsilon)(q^2+\epsilon q+ 1)$\\
&&& &\\
      $\parbox{6cm}{$\epsilon = 1: \{(t-\alpha)^{(1)},f^{(1)}\}$\\$\epsilon=-1:\{(t-\alpha_1)^{(1)},(t-\alpha_2)^{(1)},(t-\alpha_3)^{(1)}\}$}$  &
		$\parbox{5.7cm}{$\epsilon=1:\alpha\in\mathbb{F}_q,\, f$ irreducible quadratic\\$\epsilon=-1:\alpha_1+\alpha_1^{\circ} = 0,\, \alpha_2=-\alpha_3^\circ$ distinct}$&
		$\frac{1}{2}q^2(q-1)$ &
		$\G^{\epsilon}_1(\mathfrak{o}_1)\times\mathbb{F}_{q^2}^*$ &
		$q^3(q^3-\epsilon)$\\
&& &&\\
      $\parbox{6cm}{$\{f^{(1)}\}$}$  &
		$\parbox{5.7cm}{$f$ irreducible cubic *}$&
		$\frac{1}{3}q(q^2-1)$ &
		$\G^{\epsilon}_1(\mathbb{F}_{q^3})$ &
		$q^3(q^2-1)(q-\epsilon)$\\
&& &&\\
       \hline
    \end{tabular}
  \end{center}
\begin{tablenotes}
      \small
      \item *If $\epsilon=-1$ we require that $f=t^3+\sum_{i=0}^{2}c_it^i\in\mathbb{F}_{q^2}[t]$ where $c_i^{\circ}=(-1)^{i+1}c_i$ for $0\leq i<3$.
    \end{tablenotes}
\end{table}
\end{landscape}
\clearpage

\subsection{Representations of $\G^{\epsilon}_4(\mathfrak{o}_l)$}

The irreducible representations of $\G^{\epsilon}_n(\mathfrak{o}_l)$ for $(\epsilon, n, l) = (1,4,1)$ can be found in Steinberg \cite{Steinberg2} and are displayed in Table \ref{table41}. The case $(\epsilon, n, l) = (-1,4,1)$ is described by Nozawa \cite{Nozawa}.

\begin{table}[h!]
\small
\centering
\caption{Representations of $\G^{\epsilon}_4(\mathfrak{o}_1)$}
  \begin{center}
    \label{table41}
    \begin{tabular}{| c | c |
       \hline
      Number of irreducible representations  & Degree \\
       \hline
 &\\

		$q-\epsilon$ &
		$1$\\
 &\\

		$q-\epsilon$ &
		$q(q^2+\epsilon q+1)$\\
 &\\

		$q-\epsilon$ &
		$q^2(q^2+1)$\\
 &\\

		$q-\epsilon$ &
		$q^3(q^2+\epsilon q+1)$\\
 &\\

		$q-\epsilon$ &
		$q^6$\\
 &\\

		$(q-\epsilon-1)(q-\epsilon)$ &
		$(q+\epsilon)(q^3+\epsilon)$\\
 &\\

		$(q-\epsilon-1)(q-\epsilon)$ &
		$q(q^2+1)(q+\epsilon)^2$\\
 &\\

		$(q-\epsilon-1)(q-\epsilon)$ &
		$q^3(q^3+\epsilon)(q+\epsilon)$\\
 &\\

		$\frac{1}{2}(q-\epsilon-1)(q-\epsilon)$ &
		$(q^2+1)(q^2+\epsilon q+1)$\\
  &\\

		$(q-\epsilon-1)(q-\epsilon)$ &
		$q(q^2+1)(q^2+\epsilon q+1)$\\
 &\\

		$\frac{1}{2}(q-\epsilon-1)(q-\epsilon)$ &
		$q^2(q^2+1)(q^2+\epsilon q+1)$\\
 &\\

		$\frac{1}{2}(q-\epsilon-2)(q-\epsilon-1)(q-\epsilon)$ &
		$(q+\epsilon)(q^2+1)(q^2+\epsilon q+1)$\\
  &\\

		$\frac{1}{2}(q-\epsilon-2)(q-\epsilon-1)(q-\epsilon)$ &
		$q(q+\epsilon)(q^2+1)(q^2+\epsilon q+1)$\\
 &\\

		$\frac{1}{24}(q-\epsilon-3)(q-\epsilon-2)(q-\epsilon-1)(q-\epsilon)$ &
		$(q^2+1)(q+\epsilon)^2(q^2+\epsilon q+ 1)$\\
 &\\

		$\frac{1}{2}(q+\epsilon-1)(q-\epsilon)^2$ &
		$(q-\epsilon)(q^2+1)(q^2+\epsilon q+1)$\\
 &\\

		$\frac{1}{2}(q+\epsilon-1)(q-\epsilon)^2$ &
		$q(q-\epsilon)(q^2+1)(q^2+\epsilon q+1)$\\
  &\\

		$\frac{1}{4}q(q-2)(q-\epsilon)^2$ &
		$(q^4-1)(q^2+\epsilon q+1)$\\
 &\\

		$\frac{1}{2}(q+\epsilon-1)(q-\epsilon)$ &
		$q^2(q-\epsilon)^2(q^2+\epsilon q + 1)$\\
 &\\

		$\frac{1}{2}(q+\epsilon-1)(q-\epsilon)$ &
		$(q-\epsilon)^2(q^2+\epsilon q + 1)$\\
 &\\

		$\frac{1}{8}(q^2-q-2)(q^2-q-2+2\epsilon)$ &
		$(q-\epsilon)^2(q^2+1)(q^2+\epsilon q+1)$\\
 &\\

		$\frac{1}{3}q(q^2-1)(q-\epsilon)$ &
		$(q^4-1)(q^2-1)$\\
 &\\

		$\frac{1}{4}q^2(q^2-1)$ &
		$(q-\epsilon)^2(q^2-1)(q^2+\epsilon q+1)$\\
&\\
      \hline
    \end{tabular}
  \end{center}
\end{table}

\clearpage

We define $\G^{\epsilon}_{(2,1,1)}$ to be the group $E^{\epsilon}\rtimes M^{\epsilon}$ where
\begin{eqnarray*}
E^{1}&:=&\left\{\begin{pmatrix}1 & \alpha & \beta & \gamma \\ 0 & 1 & 0 & \delta \\ 0 & 0 & 1 &\eta\\ 0 & 0 & 0 & 1\end{pmatrix}:\alpha,\beta,\gamma, \delta,\eta\in\mathbb{F}_{q}\right\};\\
E^{-1}&:=&\left\{\begin{pmatrix}1 & \alpha & \beta & \gamma \\ 0 & 1 & 0 & \bar{\alpha} \\ 0 & 0 & 1 & \bar{\beta} \\ 0 & 0 & 0 & 1\end{pmatrix}:\alpha,\beta,\gamma\in\mathbb{F}_{q^2}; \alpha\bar{\alpha}+\beta\bar{\beta}=\gamma+\bar{\gamma}\right\};\\
M^{\epsilon}&:=&\left\{\begin{pmatrix}a & 0 & 0 & 0\\0 & w & z & 0\\0 & y & x & 0\\ 0 & 0 & 0 & a\end{pmatrix}: a\in \G^{\epsilon}_1(\mathfrak{o}_1), \begin{pmatrix}w & z\\y & x\end{pmatrix}\in\G^{\epsilon}_2(\mathfrak{o}_1)\right\}.
\end{eqnarray*}

Before describing the irreducible representations of $\G^{\epsilon}_n(\mathfrak{o}_l)$ for $(\epsilon, n, l) = (1,4,2), (-1,4,2)$ we must first describe the irreducible representations of the groups $\G^{\epsilon}_{(2,1,1)}$.

\begin{proposition}
The representation zeta function of the group $\G^{\epsilon}_{(2,1,1)}$ is given by
$$
\zeta_{\G^\epsilon_{(2,1,1)}}(s)=(q-1)(q-\epsilon)\zeta_{\G^\epsilon_2(\mathfrak{o}_1)}(s)q^{-2s} + \zeta_{\K^\epsilon}(s)
$$
where
$$
\K^{\epsilon} := E^{\epsilon}/Z(E^{\epsilon})\rtimes M^{\epsilon}
$$
and
\begin{eqnarray*}
\zeta_{\K^1}(s)&=&(q-1)\zeta_{\GL_2(\mathfrak{o}_1)}(s)+2(q-1)^2(q^2-1)^{-s}+(q-1)(q+2)((q^2-1)(q-1))^{-s}+\\&&(q-1)^3(q(q^2-1))^{-s};\\
\zeta_{\K^{-1}}(s)&=&(q+1)\zeta_{\GU_2(\mathfrak{o}_1)}(s)+(q^2-1)(q+1)(q(q^2-1))^{-s}+q(q^2-1)(q-1)(q+1)^{-2s}.
\end{eqnarray*}

\end{proposition}

\begin{proof}
The case $\epsilon = 1$ can be found in \cite{Pooja}. We proceed with the proof for $\epsilon = -1$ which is similar to the proof for $\epsilon = 1$.
For simplicity write $E:=E^{-1}$ and $M:=M^{-1}$ and let $H = E\rtimes M$.
The group $E\cong H_4(\mathbb{F}_q)$, the Heisenberg group of degree $4$, has $q-1$ irreducible representations of dimension $q^2$ which lie above the non-trivial linear representations of the centre $Z=Z(E)\cong\mathbb{F}_q$. The group $M$ acts trivially on $Z$ and hence stabilises all the $q^2$-dimensional irreducible characters of $E$. Inducing these representations to $H$ contributes $(q-1)\zeta_M(s)q^{-2s}=(q-1)(q+1)q^{-2s}\zeta_{\G^{\epsilon}_2(\mathfrak{o}_1)}$ to the zeta function of $H$.

We now deal with the remaining representations. These correspond to representations of $E$ whose central representation is trivial and factor through $Q = E/Z$. Consider $Q\rtimes M$ and identify $Q$ and its dual $Q^{\vee}$ with the additive group $\mathbb{F}_{q^2}\times\mathbb{F}_{q^2}$. The action of $m\in M$ on $Q^{\vee}$ is given by $\mathbb{F}_{q^2}\times\mathbb{F}_{q^2}\ni(u,v)\mapsto(a(u\bar{x}+v\bar{y}), a(-u\bar{D}y+vx\bar{D}))$ where we write an element $m\in M$ as
$$
m = \begin{pmatrix} a & 0 & 0 & 0\\0 & x & y & 0\\0 & -\bar{y}D & \bar{x}D & 0\\ 0 & 0 & 0 & a\end{pmatrix}
$$
for some $a,x,y,D\in\mathbb{F}_{q^2}$ satisfying $a\bar{a} = 1$, $x\bar{x}+y\bar{y} = 1$ and $D\bar{D} = 1$. We now use Mackey's method for semi-direct products (see \cite{JPS}, Section 8.2). The orbits of $M$ on $Q^{\vee}$ are:

\begin{table}[ht!]
\small
\centering
  \begin{center}
    \label{tab:table1}
    \begin{tabular}{| c | c | c |
      \hline
      Orbit & Parameter & Stabiliser in $D$ \\
      \hline
& &\\
		$[0,0]$ &
		$-$ &
		$\G^{\epsilon}_2(\mathfrak{o}_1)\times\G^{\epsilon}_1(\mathfrak{o}_1)$\\
& &\\
		$[s,0]$ &
		$s\in\mathbb{F}_{q^2}/\GU_1(\mathbb{F}_q)$ &
		$\G^{\epsilon}_1(\mathfrak{o}_1)\times \G^{\epsilon}_1(\mathfrak{o}_1)$\\
& &\\
		$[s,1]$ &
		$s\in\mathbb{F}_{q^2}/\GU_1(\mathbb{F}_q)$ &
		$T$\\
& &\\
      \hline
    \end{tabular}
  \end{center}
\end{table}

where
$$
T=\left\{\begin{pmatrix}x & y\\ y & x\end{pmatrix}:x,y\in\mathbb{F}_{q^2}, x\bar{x}+y\bar{y}=1\right\}.
$$
This completes the proof.
\end{proof}

The irreducible representations of $\G^{\epsilon}_n(\mathfrak{o}_l)$ for $(\epsilon, n, l) = (1,4,2)$ can be found in \cite{Pooja}. We have now found every irreducible representation for ($\epsilon, n, l) = (-1,4,2)$ and we summarise this in Table \ref{table42}. The number of complex irreducible representations of each degree of the groups $\G^{\epsilon}_4(\mathfrak{o}_2)$ can be obtained from the information in Table \ref{table42} using equation (\ref{eqnzeta}).

\begin{theorem}\label{main}
The zeta function of the group $\G^{\epsilon}_4(\mathfrak{o}_2)$ is given by
$$
\zeta_{\G^{\epsilon}_4(\mathfrak{o}_2)}(s) = \sum_{A\in\mathbb{T}^{\epsilon}_4}n_A\zeta_{Z_{\G^{\epsilon}_4(\mathfrak{o}_1)}(A)}(s)|\G^{\epsilon}_4(\mathfrak{o}_1):Z_{\G^{\epsilon}_4(\mathfrak{o}_1)}(A)|^{-s},
$$
where $\mathbb{T}^{\epsilon}_4$ denotes the set of types of similarity classes in $\g^{\epsilon}_4(\mathfrak{o}_1)$.
\end{theorem}
\begin{landscape}
\begin{table}[t]
\small
\centering
\caption{Representatives of similarity classes in $\g^{\epsilon}_4(\mathfrak{o}_1)$ under $\G^{\epsilon}_4(\mathfrak{o}_2)$}
  \begin{center}
    \label{table42}
    \begin{tabular}{| c | c | c | c | c |}
      \hline
Type $A\in\mathbb{T}^{\epsilon}_4$& Parameter & Number of similarity & Isomorphism type & Index of $Z$ in $\G^{\epsilon}_4(\mathfrak{o}_1)$ \\
   &  & classes, $n_A$ &$Z$ of $Z_{\G^{\epsilon}_4(\mathfrak{o}_1)}(A)$ & \\
      \hline
&&& &\\
      $\parbox{5cm}{$\{(t-\alpha)^{(1,1,1,1)}\}$}$  &
		$\parbox{4.4cm}{$\epsilon=1:\alpha\in\mathbb{F}_q$\\$\epsilon=-1: \alpha+\alpha^\circ=0$}$&
		$q$ &
		$\G^{\epsilon}_4(\mathfrak{o}_1) $ &
		$1$\\
&&& &\\
      $\parbox{5cm}{$\{(t-\alpha)^{(2,1,1)}\}$}$  &
		$\parbox{4.4cm}{$\epsilon=1:\alpha\in\mathbb{F}_q$\\$\epsilon=-1: \alpha+\alpha^\circ=0$}$&
		$q$ &
		$\G^{\epsilon}_{(2,1,1)}$ &
		$(q^2+1)(q^3-\epsilon)(q+\epsilon)$\\
&&& &\\
      $\parbox{5cm}{$\{(t-\alpha)^{(2,2)}\}$}$  &
		$\parbox{4.4cm}{$\epsilon=1:\alpha\in\mathbb{F}_q$\\$\epsilon=-1: \alpha+\alpha^\circ=0$}$&
		$q$ &
		$\G^{\epsilon}_2(\mathfrak{o}_2)$ &
		$q(q^4-1)(q^3-\epsilon)$\\
&&& &\\
      $\parbox{5cm}{$\{(t-\alpha)^{(3,1)}\}$}$  &
		$\parbox{4.4cm}{$\epsilon=1:\alpha\in\mathbb{F}_q$\\$\epsilon=-1: \alpha+\alpha^\circ=0$}$&
		$q$ &
		$\G^{\epsilon}_{(3,1)}$ &
		$q^2(q^4-1)(q^3-\epsilon)(q+\epsilon)$\\
&& & &\\
      $\parbox{5cm}{$\{(t-\alpha)^{(4)}\}$}$  &
		$\parbox{4.4cm}{$\epsilon=1:\alpha\in\mathbb{F}_q$\\$\epsilon=-1: \alpha+\alpha^\circ=0$}$&
		$q$ &
		$\G^{\epsilon}_1(\mathfrak{o}_4)$ &
		$q^3(q^4-1)(q^3-\epsilon)(q^2-1)$\\
&&& &\\
      $\parbox{5cm}{$\{(t-\alpha_1)^{(1,1,1)},(t-\alpha_2)^{(1)}\}$}$  &
		$\parbox{4.4cm}{$\epsilon=1:\alpha_1\neq\alpha_2\in\mathbb{F}_q$\\$\epsilon=-1: \alpha_i+\alpha_i^\circ=0,/,\alpha_1\neq\alpha_2$}$&
		$q(q-1)$ &
		$\G^{\epsilon}_3(\mathfrak{o}_1)\times\G^{\epsilon}_1(\mathfrak{o}_1)$ &
		$q^3(q+\epsilon)(q^2+1)$\\
& &&&\\
      $\parbox{5cm}{$\{(t-\alpha_1)^{(2,1)},(t-\alpha_2)^{(1)}\}$}$  &
		$\parbox{4.4cm}{$\epsilon=1:\alpha_1\neq\alpha_2\in\mathbb{F}_q$\\$\epsilon=-1: \alpha_i+\alpha_i^\circ=0,\,\alpha_1\neq\alpha_2$}$&
		$q(q-1)$ &
		$\G^{\epsilon}_{(2,1)}\times\G^{\epsilon}_1(\mathfrak{o}_1)$ &
		$q^3(q^2+1)(q+\epsilon)^2(q^3-\epsilon)$\\
&&& &\\
      $\parbox{5cm}{$\{(t-\alpha_1)^{(3)},(t-\alpha_2)^{(1)}\}$}$  &
		$\parbox{4.4cm}{$\epsilon=1:\alpha_1\neq\alpha_2\in\mathbb{F}_q$\\$\epsilon=-1: \alpha_i+\alpha_i^\circ=0,\,\alpha_1\neq\alpha_2$}$&
		$q(q-1)$ &
		$\G^{\epsilon}_1(\mathfrak{o}_3)\times\G^{\epsilon}_1(\mathfrak{o}_1)$ &
		$q^4(q^4-1)(q^3-\epsilon)(q+\epsilon)$\\
&&& &\\
      $\parbox{5cm}{$\{(t-\alpha_1)^{(1,1)},(t-\alpha_2)^{(1,1)}\}$}$  &
		$\parbox{4.4cm}{$\epsilon=1:\alpha_1\neq\alpha_2\in\mathbb{F}_q$\\$\epsilon=-1: \alpha_i+\alpha_i^\circ=0,\, \alpha_1\neq\alpha_2$}$&
		$\frac{1}{2}q(q-1)$ &
		$\G^{\epsilon}_2(\mathfrak{o}_1)\times\G^{\epsilon}_2(\mathfrak{o}_1)$ &
		$q^4(q^2+1)(q^2+\epsilon q+1)$\\
&&& &\\
    $\parbox{5cm}{$\{(t-\alpha_1)^{(2)},(t-\alpha_2)^{(1,1)}\}$}$  &
		$\parbox{4.4cm}{$\epsilon=1:\alpha_1\neq\alpha_2\in\mathbb{F}_q$\\$\epsilon=-1: \alpha_i+\alpha_i^\circ=0,\, \alpha_1\neq\alpha_2$}$&
		$q(q-1)$ &
		$\G^{\epsilon}_1(\mathfrak{0}_2)\times\G^{\epsilon}_2(\mathfrak{o}_1)$ &
		$q^4(q^2+\epsilon q+1)(q^4-1)$\\
&&& &\\
      $\parbox{5cm}{$\{(t-\alpha_1)^{(2)},(t-\alpha_2)^{(2)}\}$}$  &
		$\parbox{4.4cm}{$\epsilon=1:\alpha_1\neq\alpha_2\in\mathbb{F}_q$\\$\epsilon=-1: \alpha_i+\alpha_i^\circ=0,\, \alpha_1\neq\alpha_2$}$&
		$\frac{1}{2}q(q-1)$ &
		$\G^{\epsilon}_1(\mathfrak{o}_2)\times\G^{\epsilon}_1(\mathfrak{o}_2)$ &
		$q^4(q+\epsilon)(q^4-1)(q^3-\epsilon)$\\
&& &&\\
      $\parbox{5cm}{$\{(t-\alpha_1)^{(1,1)},(t-\alpha_2)^{(1)},(t-\alpha_3)^{(1)}\}$}$  &
		$\parbox{4.4cm}{$\epsilon=1:\alpha_i\in\mathbb{F}_q$ distinct\\$\epsilon=-1: \alpha_i+\alpha_i^\circ=0$, distinct}$&
		$\frac{1}{2}q(q-1)(q-2)$ &
		$\G^{\epsilon}_2(\mathfrak{o}_1)\times\G^{\epsilon}_1(\mathfrak{o}_1)^2$&

		$q^5(q+\epsilon)(q^2+1)(q^2+\epsilon q+1)$\\
&&& &\\
\hline
    \end{tabular}
  \end{center}
\end{table}
\end{landscape}

\begin{landscape}
\begin{table}[t]
\small
\centering
  \begin{center}
    \label{tab:table1}
    \begin{tabular}{| c | c | c | c | c|}
      \hline
Type $A\in\mathbb{T}^{\epsilon}_4$& Parameter & Number of similarity & Isomorphism type & Index of $Z$ \\
   &  & classes, $n_A$ &$Z$ of $Z_{\G^{\epsilon}_4(\mathfrak{o}_1)}(A)$ & in $\G^{\epsilon}_4(\mathfrak{o}_1)$\\
      \hline
      $\parbox{6.5cm}{$\{(t-\alpha_1)^{(2)},(t-\alpha_2)^{(1)},(t-\alpha_3)^{(1)}\}$}$  &
		$\parbox{6.75cm}{$\epsilon=1:\alpha_i\in\mathbb{F}_q$ distinct\\$\epsilon=-1: \alpha_i+\alpha_i^\circ=0$ distinct}$&
		$\frac{1}{2}q(q-1)(q-2)$ &
		$\G^{\epsilon}_1(\mathfrak{o}_1)^3$

		$q^5(q^2+1)(q+\epsilon)^2(q^3-\epsilon)$\\
&&& &\\
      $\parbox{6.5cm}{$\{(t-\alpha_i)^{(1)}\}_{i=1,2,3,4}$}$
		$\parbox{6.75cm}{$\epsilon=1:\alpha_i\in\mathbb{F}_q$ distinct\\$\epsilon=-1: \alpha_i+\alpha_i^\circ=0$ distinct}$&
		$\frac{1}{24}q(q-1)(q-2)(q-3)$ &
		$\G^{\epsilon}_1(\mathfrak{o}_1)^4$

		$\parbox{3cm}{$q^6(q^3+\epsilon q^2+q+\epsilon)\times$\\$(q+\epsilon)(q^2+\epsilon q+ 1)$}$\\
&&& &\\
      $\parbox{6.5cm}{$\epsilon = 1: \{(t-\alpha)^{(1,1)},f^{(1)}\}$\\$\epsilon=-1:\{(t-\alpha_1)^{(1,1)},(t-\alpha_2)^{(1)},(t-\alpha_3)^{(1)}\}$}$  &
		$\parbox{6.75cm}{$\epsilon=1:\alpha\in\mathbb{F}_q,\,f$ irreducible quadratic\\$\epsilon=-1:\alpha_1+\alpha_1^{\circ} = 0,\,\alpha_2=-\alpha_3^\circ$ distinct}$&
		$\frac{1}{2}q^2(q-1)$ &
		$\G^{\epsilon}_2(\mathfrak{o}_1)\times\mathbb{F}_{q^2}^*$ &
		$q^5(q^3-\epsilon)(q^4-1)$\\
&& &&\\
       $\parbox{6.5cm}{$\epsilon = 1: \{(t-\alpha)^{(2)},f^{(1)}\}$\\$\epsilon=-1:\{(t-\alpha_1)^{(2)},(t-\alpha_2)^{(1)},(t-\alpha_3)^{(1)}\}$}$  &
		$\parbox{6.75cm}{$\epsilon=1:\alpha\in\mathbb{F}_q,\,f$ irreducible quadratic\\$\epsilon=-1:\alpha_1+\alpha_1^{\circ} = 0,\,\alpha_2=-\alpha_3^\circ$ distinct}$&
		$\frac{1}{2}q^2(q-1)$ &
		$\G^{\epsilon}_1(\mathfrak{o}_2)\times\mathbb{F}_{q^2}^*$ &
		$q^5(q^3-\epsilon)(q^4-1)$\\
&&& &\\
       $\parbox{6.5cm}{$\epsilon = 1: \{(t-\alpha_1)^{(1)},(t-\alpha_2)^{(1)},f^{(1)}\}$\\$\epsilon=-1:\{(t-\alpha_i)^{(1)}\}_{i=1,2,3,4}$}$
		$\parbox{6.75cm}{$\epsilon=1:\alpha_i\in\mathbb{F}_q$ distinct, $f$ irreducible quadratic\\$\epsilon=-1:\alpha_i+\alpha_i^{\circ} = 0,\,i=1,2$ distinct\\$\alpha_3=-\alpha_4^\circ$ distinct}$&
		$\frac{1}{4}q^2(q-1)^2$ &
		$\G^{\epsilon}_1(\mathfrak{o}_1)^
										\times\mathbb{F}_{q^2}^*$ &
		$q^6(q+\epsilon)(q^2+1)(q^3-\epsilon)$\\
&&& &\\
       $\parbox{6.5cm}{$\epsilon = 1: \{f^{(1,1)}\}$\\$\epsilon=-1:\{(t-\alpha_1)^{(1,1)},(t-\alpha_2)^{(1,1)}\}$}$  &
		$\parbox{6.75cm}{$\epsilon=1:f$ irreducible quadratic\\$\epsilon=-1:\alpha_1=-\alpha_2^\circ$ distinct}$&
		$\frac{1}{2}q(q-1)$ &
		$\GL_2(\mathbb{F}_{q^2})$ &
		$q^4(q-\epsilon)(q^3-\epsilon)$\\
&&& &\\
      $\parbox{6.5cm}{$\epsilon = 1: \{f^{(2)}\}$\\$\epsilon=-1:\{(t-\alpha_1)^{(2)},(t-\alpha_2)^{(2)}\}$}$  &
		$\parbox{6.75cm}{$\epsilon=1:f$ irreducible quadratic\\$\epsilon=-1:\alpha_1=-\alpha_2^\circ$ distinct}$&
		$\frac{1}{2}q(q-1)$ &
		$\mathbb{F}_{q^2}\times\mathbb{F}_{q^2}^*$ &
		$q^4(q^4-1)(q^3-\epsilon)(q-\epsilon)$\\
& &&&\\
      $\parbox{6.5cm}{$\epsilon = 1: \{f^{(1)},g^{(1)}\}$\\$\epsilon=-1:\{(t-\alpha_i)^{(1)}\}_{i=1,2,3,4}$}$
		$\parbox{6.75cm}{$\epsilon=1:f\neq g$ irreducible quadratics\\$\epsilon=-1:\alpha_1=-\alpha_2^\circ$ distinct, $\alpha_3=-\alpha_4^\circ$ distinct\\$\{\alpha_1,\alpha_2\}\neq\{\alpha_3,\alpha_4\}$}$&
		$\frac{1}{8}q(q-1)(q^2-q-2)$ &
		$\mathbb{F}_{q^2}^*\times\mathbb{F}_{q^2}^*$ &
		$q^6(q^2+1)(q^3-\epsilon)(q-\epsilon)$\\
&& &&\\
      $\parbox{6.5cm}{$\{(t-\alpha)^{(1)},f^{(1)}\}$ $f$ irreducible cubic}$  &
		$\parbox{6.75cm}{$\epsilon=1:\alpha\in\mathbb{F}_q$\\$\epsilon=-1:\alpha+\alpha^\circ=0$ *}$&
		$\frac{1}{3}q^2(q^2-1)$ &
		$\G^{\epsilon}_1(\mathfrak{o}_1)\times\G^{\epsilon}_1(\mathbb{F}_{q^3})$ &
		$q^6(q^4-1)(q^2-1)$\\
 &&& &\\
      $\parbox{6.5cm}{$\{f^{(1)}\}$ $f$ irreducible quartic}$  &
		$\parbox{6.75cm}{**}$&
		$\frac{1}{4}q^2(q^2-1)$ &
		$\mathbb{F}_{q^4}^*$ &
		$q^6(q-\epsilon)(q^2-1)(q^3-\epsilon)$\\
 &&& &\\
      \hline
    \end{tabular}
 \end{center}
\begin{tablenotes}
      \small
      \item * If $\epsilon=-1$ we require that $f=t^3+\sum_{i=0}^{2}c_it^i\in\mathbb{F}_{q^2}[t]$ where $c_i^{\circ}=(-1)^{i+1}c_i$ for $0\leq i<3$.\\
** If $\epsilon=-1$ we require that $f=t^4+\sum_{i=0}^{3}c_it^i\in\mathbb{F}_{q^2}[t]$ where $c_i^{\circ}=(-1)^{i+1}c_i$ for $0\leq i<4$.\\
    \end{tablenotes}
\end{table}
\end{landscape}

\clearpage

\section{Acknowledgements}
I would like to thank Christopher Voll for introducing me to this problem and for his support, guidance and insight throughout this project.

\bibliographystyle{plain}