We study families of metrics on automorphic vector bundles associated with representations of the modular group. These metrics are defined using an Eisenstein series construction. We show that in certain cases, the residue of these Eisenstein metrics at their rightmost pole is a harmonic metric for the underlying representation of the modular group. The last section of the paper considers the case of a family of representations that are indecomposable but not irreducible. The analysis of the corresponding Eisenstein metrics, and the location of their rightmost pole, is an open question whose resolution depends on the asymptotics of matrix-valued Kloosterman sums.

We prove the following theorem. Suppose that $F\,=\,\left( {{f}_{1}},\,{{f}_{2}} \right)$ is a 2-dimensional, vector-valued modular form on $\text{S}{{\text{L}}_{2}}\left( \mathbb{Z} \right)$ whose component functions ${{f}_{1}}$, ${{f}_{2}}$ have rational Fourier coefficients with bounded denominators. Then ${{f}_{1}}$ and ${{f}_{2}}$ are classical modular forms on a congruence subgroup of the modular group.

We describe algorithms that allow the computation of fundamental domains in the Bruhat–Tits tree for the action of discrete groups arising from quaternion algebras. These algorithms are used to compute spaces of rigid modular forms of arbitrary even weight, and we explain how to evaluate such forms to high precision using overconvergent methods. Finally, these algorithms are applied to the calculation of conjectural equations for the canonical embedding of p-adically uniformizable rational Shimura curves. We conclude with an example in the case of a genus 4 Shimura curve.