Examples of automorphic forms over $\mathbb{H}^3/\text{PSL}_2(\mathbb{Z}[i])$ If I understood my automorphic forms correctly, at least cusp forms can be thought of as elements of $L^2(G/\Gamma)$ for a $G = \text{SL}_2(\mathbb{R})$ and $\Gamma = \text{SL}_2(\mathbb{Z})$ or a suitable congrence subgroup.
I want to know if there is an analogous result for hyperbolic-3 space modulo a Bianchi group.  For example:
$$ \mathbb{H}^3 \,/\, \text{PSL}_2 \big(\mathbb{Z}[i] \big) $$
This is a group action by isometries.  They inherit from this action of the full group:
\begin{eqnarray*}
\text{SL}_2(\mathbb{C}) \times  \mathbb{H}^3 &=& \mathbb{H}^3\\
(g,z) &=& \frac{az+b}{cz+d}
\end{eqnarray*}
In this case, is there a version of modular forms (or cusp forms) here?  I have never seen a discussion of modular forms over quaternionic arguments. I suppose the method of images could produce an invariant function:
$$ f(z) = \sum_{\gamma \in \text{PSL}_2(\mathbb{Z}[i])} f_0( \gamma \, z) $$
I am hoping or something more explicit.  Is there an analog of theta function or newform in this setting?  My guess this should be an element of the space $L^2(G/\Gamma)$ that I have constructed.
$$ f_0(a+bi+cj+dk) = e^{2\pi i \, (a^2 + b^2+c^2 + d^2)}  = q^{z \overline{z}} $$
This is just a speculation.  Certainly this will be invariant but it won't be in $L^2$.

$\text{PSL}_2(\mathbb{Z}[i])$ is a textbook exmple of a Kleininan group and there are basica ways to construct hyperbolic 3-manifolds, such as $\mathbb{H}^3/\text{PSL}_2(\mathbb{Z}[i])$.  

In the case of $\mathbb{H}/\text{SL}_2(\mathbb{Z})$ we could construct modular forms in fairly using Eisenstein series or theta functions.  And these examples will be fairly explicit since we often know their Fourier coefficients.  And I'm sure the question for modular forms over Bianchi groups is discussed somewhere $\text{PSL}_2(\mathbb{Z}[i])$
 A: In addition to @Kimball's good suggestion of Elstrodt-Grunewald-Mennicke, chapter one of my book (available on-line at http://www.math.umn.edu/~garrett/m/v/Book_28Aug2017.pdf) treats the example of $SL(2,\mathbb Z[i])\subset SL(2,\mathbb C)\sim SO(3,1)$ in some detail (as well as the iconic $SL(2,\mathbb Z)$, and also $Sp^*(1,1)(\mathfrak o)\subset Sp^*(1,1)(\mathbb R) \sim SO(4,1)$ and $SL(2,\mathfrak o)\subset SL(2,\mathbb H)\sim SO(5,1)$, where $\mathfrak o$ is the ring of Hurwitz integers in $\mathbb H$. The unicuspidality is proven, pseudo-Eisenstein series are spectrally decomposed in terms of Eisenstein series, and so on.
A: Please have a look at "Period integrals of cohomology classes which are represented by Eisenstein Series" by Guenter Harder, it appeared in a proceedings of a conference in Bombay. He only deals with the case of $PSL(2, \mathbb{Z}[i])$. Its a beautiful paper, and it will take you through the wonderful world of Eisenstein Cohomology in this particular case.
After this you can also look at "Eisenstein series for $SL_2(\mathbb{Z}[i])$ and special values of L-functions" by Guenter Harder. Its a sequel to the paper mentioned above and gets more into the arithmetic aspects of the L-series associated with Eisenstein modular forms. Again, explicit examples are included.
