1: \begin{definition}

2:       Let $S,T\in\GL_r(\BC)$ and define constants $d_j:=S_{0j}$, $\theta_j:=T_{jj}$, $D^2:=\sum_j d_j^2$

3:       and $p_{\pm}=\sum_{k=0}^{r-1}(S_{0,k})^2\th_{k}^{\pm1}$.  The pair $(S,T)$

4:       is an \defnfont{admissible modular data} of rank

5:       $r$ if they satisfy the following conditions:

6:       \begin{enumerate}

7:         \item $d_j\in\BR$ and $S=S^t$ with $S\overline{S}^t=D^2 \Id$.

8:           $T_{i,j}=\delta_{i,j}\theta_i$ with $N:=\ord(T)< \infty$.

9:         \item $(ST)^3=p^{+}S^2$, $p_{+}p_{-}=D^2$ and $\frac{p_{+}}{p_{-}}$ is a root of unity.

10:         \item $N_{i,j}^k:=\frac{1}{D^2} \sum_{a=0}^{r-1} \frac{S_{ia} S_{ja}

11:           \overline{S_{ka}}}{S_{0a}}\in\BN$ for all $0\leq i,j,k\leq (r-1)$.

12:         \item   $\theta_i\theta_j

13:           S_{ij}=\sum_{k=0}^{r-1} N_{i^*j}^kd_k\theta_k$ where $i^*$ is the unique label such that $N_{i,i^*}^0=1$.

14:         \item Define $\nu_n(k): = \frac{1}{D^2} \sum_{i,j =0}^{r-1} N_{i,j}^k\,

15:           d_i d_j\left(\frac{\theta_i}{\theta_j}\right)^n$. Then

16:           $\nu_2(k)=0$ if $k\neq k^*$ and $\nu_2(k)=\pm 1$ if $k=k^*$.  Moreover,

17:           $\nu_n(k)\in \BZ[e^{2 \pi i/N}]$ for all $n,k$.

18:         \item $\mbbF_S\subset \BF_T=\BQ_N$, $\Gal(\mbbF_S/\BQ)$ is isomorphic to an

19:           abelian subgroup of $\mathfrak{S}_r$ and $\Gal(\mbbF_T/\mbbF_S)\cong (\BZ/2\BZ)^\ell$ for some integer $\ell$.

20:         \item The prime divisors of $D^{2}$ and $N$ coincide in

21:         $\BZ[e^{2 \pi i/N}]$.\footnote{See \sectionref{subsection: The Cauchy Theorem}.}

22: %        \item Let $s=S/x$ and $t=T/y$ be such that

23: %          $\rho:(\mathfrak{s},\mathfrak{t})\rightarrow (s,t)$ defines a representation of

24: %          $\SL{}$, and let $n=\ord\(t\)$.  Then $\ker\rho$ is a congruence subgroup of

25: %          level $n$, $N\mid n\mid 12N$, and $\im\rho \subset GL(r,\BQ_n)$.

26:       \end{enumerate}

27:     \end{definition}

28: