1. Introduction
Let G be a finite group, let 
$\ell$ be a prime number dividing 
$|G|$ and let k be an algebraically closed field of characteristic 
$\ell$. Permutation kG-modules and their direct summands, the trivial source modules, are omnipresent in the modular representation theory of finite groups. They are, for example, elementary building blocks for the construction and for the understanding of different categorical equivalences between block algebras, such as source-algebra equivalences, Morita equivalences with endo-permutation source, splendid Rickard equivalences or 
$\ell$-permutation equivalences. A deep understanding of the structure of these modules is therefore essential.
The trivial source character table of G at the prime 
$\ell$, denoted by 
$\operatorname{Triv}_{\ell}(G)$, is by definition the species table of the trivial source ring of kG in the sense of [Reference Benson and Parker3]. The present article is a sequel to [Reference Böhmler, Farrell and Lassueur4], in which Böhmler and the authors calculate the trivial source character tables for the special linear group 
$\operatorname{SL}_2(q)$ over the finite field 
${\mathbb{F}}_{q}$ when q and 
$\ell$ are odd and 
$\ell \nmid q$ and when q is odd, 
$\ell=2$ and 
$\operatorname{SL}_2(q)$ has quaternion Sylow 2-subgroups. We refer the reader to the latter article for a complete introduction to trivial source character tables. We emphasize here that these table encapsulate, in a very compact way, a lot of information about the ordinary and Brauer characters of the trivial source kG-modules, as well as of those of their Brauer quotients.
In this article, we calculate the trivial source character tables of 
$\operatorname{SL}_2(2^f) = \operatorname{PSL}_2(2^f)$ in non-defining characteristic for any integer 
$f \geq 2$. Note that if f = 1, then 
$\operatorname{SL}_2(2) \cong S_3$ and the trivial source character tables are easily calculated using elementary arguments (see e.g. [Reference Benson1]). Our main results, the generic trivial source character tables of 
$\operatorname{SL}_2(2^f)$, appear in Tables 8 and 9 for 
$\ell \mid (2 ^f-1)$ and in Tables 14, 15 and 16 for 
$\ell \mid (2^f+1)$.
The character table of 
$\operatorname{SL}_2(2^f)$ and the block distributions are given in [Reference Burkhardt6]. However, it is more convenient for our purposes to interpret these data in terms of Harish-Chandra and Deligne-Lusztig induction, as [Reference Bonnafé5] does for 
$\operatorname{SL}_{2}(q)$ with q odd. This done, one of the main issues we solve in this article is the explicit calculation of the Brauer correspondence in the normalizer N of a Sylow 
$\ell$-subgroup of 
$\operatorname{SL}_2(2^f)$ and the explicit calculation of the Green correspondents in N of the trivial source 
$k\operatorname{SL}_2(2^f)$-modules.
The paper is organized as follows. In 
$\S$ 2, we recall the notation and definitions for trivial source character tables and for blocks with cyclic defect groups, which were established in [Reference Böhmler, Farrell and Lassueur4]. Section 3 contains notation and preliminary results on the structure of 
$\operatorname{SL}_2(2^f)$. The trivial source character tables are calculated in 
$\S$ 4 for 
$\ell \mid (2^f-1)$ and in 
$\S$ 5 for 
$\ell \mid (2^f+1)$.
2. Notation and definitions
2.1. General notation
Throughout, unless otherwise stated, we adopt the notation and conventions given below. We let 
$\ell$ denote a prime number and G denote a finite group of order divisible by 
$\ell$. We let 
$(K,{\mathcal{O}},k)$ be an 
$\ell$-modular system, where 
${\mathcal{O}}$ denotes a complete discrete valuation ring of characteristic zero with unique maximal ideal 
$\frak{p}:=J({\mathcal{O}})$, algebraically closed residue field 
$k={\mathcal{O}}/{\mathfrak{p}}$ of characteristic 
$\ell$ and field of fractions 
$K=\text{Frac}({\mathcal{O}})$, which we assume to be large enough for G and its subgroups.
Given a positive integer n, we denote by Cn the cyclic group of order n. By an 
$\ell$-block of G, we mean a block algebra of kG. We denote by 
$\operatorname{Irr}(G)$ (respectively, 
$\operatorname{Irr}({\mathbf{B}})$) the set of irreducible K-characters of G (respectively, of the block of 
${\mathcal{O}} G$ corresponding to the 
$\ell$-block B). We write 
${\mathbf{B}}_0(G)$ for the principal 
$\ell$-block of G. For a subgroup 
$H\leq G$, we let 
$[H]$ denote a set of representatives of the conjugacy classes of H, 
$[H/\equiv]$ a set of representatives of the conjugacy classes of H up to inverse, and 
$[H]_{\ell^{\prime}}$ a set of representatives of the conjugacy classes of H of order prime to 
$\ell$. If H is abelian, then we write 
$H{^\wedge}:=\operatorname{Irr}(H)$ and 
$H=H_{\ell}\times H_{\ell^{\prime}}$ is the decomposition of H into the product of its 
$\ell$-part and of its 
$\ell^{\prime}$-part.
For 
$R\in\{{\mathcal{O}},k\}$, RG-modules are assumed to be finitely generated left RG-lattices, that is, free as R-modules, and we let R denote the trivial RG-lattice. If M is a kG-module and 
$Q\leq G$, then the Brauer quotient (or Brauer construction) of M at Q is the k-vector space 
$M[Q]:=M^{Q}\big/ \sum_{R \lt Q}\operatorname{tr}_{R}^{Q}(M^{R})$, where M Q denotes the fixed points of M under Q and 
$\operatorname{tr}_{R}^{Q}$ for R < Q denotes the relative trace map. This vector space has a natural structure of a 
$kN_{G}(Q)$-module, but also of a 
$kN_{G}(Q)/Q$-module, and is equal to zero if Q is not an 
$\ell$-group. The abbreviation PIM means “projective indecomposable module”. We refer the reader to [Reference Linckelmann11, Reference Thévenaz14] for further standard notation and background results in the modular representation theory of finite groups.
2.2. Trivial source character tables
Given 
$R\in\{{\mathcal{O}},k\}$, an RG-lattice M is called a trivial source RG-lattice if it is isomorphic to an indecomposable direct summand of an induced lattice 
$\operatorname{Ind}_{Q}^{G}{R}$ and if Q is of minimal order subject to this property, then Q is a vertex of M. Any trivial source kG-module M lifts in a unique way to a trivial source 
${\mathcal{O}} G$-lattice 
$\widehat{M}$ (see, e.g. [Reference Benson2, Corollary 3.11.4]), and we denote by 
$\chi^{}_{\widehat{M}}$ the K-character afforded by 
$\widehat{M}$. Up to isomorphism, there are only finitely many trivial source kG-modules (see, e.g. [Reference Böhmler, Farrell and Lassueur4, Proposition 2.2 (d)]), and we will study them vertex by vertex. We denote by 
$\operatorname{TS}(G;Q)$ the set of isomorphism classes of indecomposable trivial source kG-modules with vertex Q. We let 
$a(kG,\operatorname{Triv})$ be the trivial source ring of kG, which is defined to be the subring of the Grothendieck ring of kG generated by the set of all isomorphism classes of indecomposable trivial source kG-modules.
By definition, the trivial source character table of the group G at the prime 
$\ell$, denoted 
$\text{Triv}_{\ell}(G)$, is the species table (or representation table) of the trivial source ring of kG in the sense of Benson and Parker; see [Reference Benson and Parker3]. However, as in [Reference Böhmler, Farrell and Lassueur4], we follow [Reference Lux and Pahlings12, Section 4.10] and consider 
$\text{Triv}_{\ell}(G)$ as the block square matrix defined by the following notational convention.
Convention 2.1.
First, fix a set of representatives 
$Q_1,\ldots, Q_r$ (
$r\in\mathbb{N}$) for the conjugacy classes of 
$\ell$-subgroups of G, where 
$Q_{1}:=\{1\}$ and 
$Q_{r}\in\operatorname{Syl}_{\ell}(G)$. For each 
$1\leq v\leq r$, set 
$N_{v}:=N_{G}(Q_{v})$, 
$\overline{N}_{v}:=N_{G}(Q_{v})/Q_{v}$. Then, for each pair 
$(Q_{v},s)$ with 
$1\leq v\leq r$ and 
$s\in [\overline{N}_{v}]_{\ell^{\prime}}$ there is a ring homomorphism
\begin{equation*}
\begin{matrix}
\tau_{Q_{v},s}^{G}: & a(kG,\mbox{Triv}) & \longrightarrow & K \\
& [M] & \mapsto & \varphi^{}_{M[Q_{v}]}(s)
\end{matrix}
\end{equation*}mapping the class of a trivial source kG-module M to the value at s of the Brauer character 
$\varphi^{}_{M[Q_{v}]}$ of the Brauer quotient 
$M[Q_{v}]$. For each 
$1\leq i,v\leq r$, define a matrix
\begin{equation*}T_{i,v}:=\left[ \tau_{Q_{v},s}^{G}([M])\right]_{M\in \operatorname{TS}(G;Q_{i}), s\in [\overline{N}_{v}]_{\ell^{\prime}} }.\end{equation*} The trivial source character table of G at the prime 
$\ell$ is then the block matrix
\begin{equation*}\text{Triv}_{\ell}(G):=[T_{i,v}]_{1\leq i,v\leq r}.\end{equation*} Moreover, the rows of 
$\text{Triv}_{\ell}(G)$ are labelled with the ordinary characters 
$\chi^{}_{\widehat{M}}$ instead of the isomorphism classes of trivial source modules M themselves.
We note that the group G acts by conjugation on the pairs 
$(Q_{v},s)$, and the values of 
$\tau_{Q_{v},s}^{G}$ do not depend on the choice of 
$(Q_{v},s)$ in its G-orbit.
We refer the reader to Section 2 of our previous paper [Reference Böhmler, Farrell and Lassueur4] for details and further properties of trivial source modules and trivial source character tables. Moreover, a more detailed and elementary introduction to this class of modules is available in the survey article [Reference Lassueur9, Sections 3–4].
2.3. Blocks with cyclic defect groups
In the cases considered in this article, we need to describe trivial source modules lying in blocks with cyclic defect groups. Therefore, we recall the following essential notions about cyclic blocks. Further details can be found in the first part of our paper [Reference Böhmler, Farrell and Lassueur4] and also in [Reference Hiss and Lassueur7].
Given an 
$\ell$-block B of kG with a non-trivial cyclic defect group 
$D\cong C_{\ell^n}$ (
$n\geq 1$), we let 
$D_{1} \lt D$ denote the subgroup of D of order 
$\ell$, and we let e denote the inertial index of B. We write
\begin{equation*}\operatorname{Irr}({\mathbf{B}})=\operatorname{Irr}^{\prime}({\mathbf{B}})\sqcup\{\chi_{\lambda} \mid \lambda\in\Lambda\},\end{equation*}where 
$\operatorname{Irr}^{\prime}({\mathbf{B}})$ is the set of the non-exceptional K-characters (there are e of them) of B and 
$|\Lambda|= \frac{|D|-1}{e}$. If 
$|\Lambda| \gt 1$, then 
$\{\chi_{\lambda} \mid \lambda\in\Lambda\}$ is the set of exceptional K-characters of B, which all restrict in the same way to the 
$\ell$-regular conjugacy classes of G. Further, we set 
$\chi_{\Lambda}:=\sum_{\lambda\in\Lambda}\chi_{\lambda}$. The Brauer tree of B is then the graph 
$\sigma({\mathbf{B}})$ with vertices labelled by 
$\operatorname{Irr}^{\circ}({\mathbf{B}}):=\operatorname{Irr}^{\prime}({\mathbf{B}})\sqcup\{\chi_{\Lambda}\}$ and edges labelled by the simple B-modules. If 
$|\Lambda| \gt 1$, the vertex corresponding to 
$\chi_{\Lambda}$ is called the exceptional vertex and is indicated with a filled black circle in our drawings of 
$\sigma({\mathbf{B}})$.
Vertices and sources of indecomposable modules are encoded in a source algebra of a block, and hence so are the trivial source B-modules. We recall that by the work of Linckelmann [Reference Linckelmann10], a source algebra of B is determined up to isomorphism of interior D-algebras by three parameters:
(1)
$\sigma({\mathbf{B}})$, understood with its planar embedding;(2) a type function associating a sign to each vertex in an alternating way as follows: if x is a generator of D 1, then a vertex
$\chi\in\operatorname{Irr}^{\circ}({\mathbf{B}})$ of $\sigma({\mathbf{B}})$ is said to be positive if $\chi(x) \gt 0$, whereas it is said to be negative if $\chi(x) \lt 0$;(3) an indecomposable capped endo-permutation kD-module
$W({\mathbf{B}})$; more precisely letting b be the Brauer correspondent of B in $N_G(D_1)$, then $W({\mathbf{B}})$ is defined to be a source of the simple b-modules.
It turns out that B contains precisely e trivial source kG-modules for each possible vertex 
$Q\leq D$. These trivial source modules are explicitly classified by [Reference Hiss and Lassueur7, Theorem 5.3] as a function of the three parameters above. We refer to [Reference Böhmler, Farrell and Lassueur4, Remark 2.2] for a summary of this classification, relevant to the cyclic blocks of 
$\operatorname{SL}_{2}(q)$.
3. Structure and characters of $\operatorname{SL}_2(q)$ when q is even
From now on, and until the end of this article, we assume that 
$\ell\neq 2$. Moreover, we let 
${G := \operatorname{SL}_2(q) = \operatorname{PSL}_2(q)}$ be the special linear group of degree 2 over the finite field 
${\mathbb{F}}_{q}$, where 
${q=2^f}$ for some integer 
$f \geq 2$. Given a positive integer r, let µr be the group of the rth roots of unity in an algebraic closure 
${\mathbb{F}}$ of 
${\mathbb{F}}_{q}$. For a subset of 
$S\subseteq {\mathbb{F}}^{\times}$, let 
$[S/\equiv]$ denote a set of representatives for the elements of S up to inverse.
In this section, we collect all necessary information about G and its subgroups needed in order to calculate the trivial source character tables of G in cross-characteristic. Our aim is to use notation analogous to that used in [Reference Bonnafé5]. However, [Reference Bonnafé5] cannot be cited directly as it is assumed throughout the book that q is odd. We note that the notation and some arguments need small adjustments when q is even. We also refer to the unpublished master thesis of Schulte [Reference Schulte13] where further details, but not all, can be found.
3.1. Tori, centralizers and normalizers of $\ell$-elements
We let 
$T := \{\text{diag}(a,a^{-1}) \mid a \in {\mathbb{F}}_q^\times\}$ be the maximally split torus of G consisting of the diagonal matrices. Then, there exists an isomorphism
\begin{equation*} \mathbf{d}: \mu_{q-1}={\mathbb{F}}_{q}^{\times} \longrightarrow T, a\mapsto \text{diag}(a,a^{-1}).\end{equation*} Fixing an 
${\mathbb{F}}_{q}$-basis of 
${\mathbb{F}}_{q^{2}}$ induces a group isomorphism 
$\mathbf{d^{\prime}}:\operatorname{GL}_{{\mathbb{F}}_{q}}({\mathbb{F}}_{q^{2}})\longrightarrow\operatorname{GL}_{2}({\mathbb{F}}_{q})$. The image 
$T^{\prime}:= \mathbf{d^{\prime}}(\mu_{q+1})$ of 
$\mu_{q+1}$ under this isomorphism is a non-split torus of G. We will identify T with 
$\mu_{q-1}$ and Tʹ with 
$\mu_{q+1}$ via d and 
$\mathbf{d}^{\prime}$ without further mention. As q is even, both T and Tʹ are cyclic groups of odd order. We let 
$S_\ell$ and 
$S_{\ell}^{\prime}$ denote Sylow 
$\ell$-subgroups of T and Tʹ, respectively, and thus we have a decomposition into direct products 
$ T = S_{\ell} \times T_{\ell^{\prime}}$ and 
$ T^{\prime} = S_{\ell}^{\prime} \times T_{\ell^{\prime}}^{\prime}$.
Finally, we consider the Frobenius automorphism 
$F: {\mathbb{F}}_{q^2} \rightarrow {\mathbb{F}}_{q^2}, x \mapsto x^q$, which we see as an element of 
$\operatorname{GL}_{{\mathbb{F}}_q}({\mathbb{F}}_{q^2})$. We fix
\begin{equation*}
\sigma := \left( \begin{smallmatrix} 0 & 1 \\ 1 & 0 \end{smallmatrix} \right)\quad\text{and}\quad \sigma^{\prime} := \mathbf{d^{\prime}}(F),
\end{equation*}which are clearly both of order 2.
The following two lemmas are well known and can be proved using elementary arguments similar to those used in [Reference Bonnafé5, Sections 1.3 and 1.4].
(a) If
$g = \textbf{d}(a)$ with $a \in \mu_{q-1} \setminus \{1\}$, then $C_G(g) = T$. In particular, $C_{G}(T)=T$.(b) If
$g = \mathbf{d^{\prime}}(\xi)$ with $\xi \in \mu_{q+1} \setminus \{1\}$, then $C_G(g) = T^{\prime}$. In particular, $C_{G}(T^{\prime})=T^{\prime}$.
(a) If
$\ell \mid (q-1)$, then $S_\ell\in\operatorname{Syl}_{\ell}(G)$ and $N_{G}(Q) = N_G(T) = \langle T, \sigma \rangle =: N$ for any $1\lneq Q\leq S_{\ell}$.(b) If
$\ell \mid (q+1)$, then $S_\ell^{\prime}\in\operatorname{Syl}_{\ell}(G)$ and $N_{G}(Q)=N_{G}(T^{\prime})= \langle T^{\prime}, \sigma^{\prime} \rangle =: N^{\prime}$ for any $1\lneq Q\leq S_\ell^{\prime}$.
3.2. Characters and conjugacy classes of G
The conjugacy classes, the ordinary characters and the character table of G were known to Schur and are given in [Reference Burkhardt6, Sections I and II]. We use notation analogous to that used in [Reference Bonnafé5] for the case where q is odd, however, as this is more convenient for our purposes. In order to do this, we fix the following.
$\bullet$ Let 1G and 
$\operatorname{St}$ denote the trivial character and the Steinberg character of G, respectively.
$\bullet$ Let 
$R : {\mathbb{Z}} \operatorname{Irr}(T) \longrightarrow {\mathbb{Z}} \operatorname{Irr}(G)$ and 
$R^{\prime} : {\mathbb{Z}} \operatorname{Irr}(T^{\prime}) \longrightarrow {\mathbb{Z}} \operatorname{Irr}(G)$ denote Harish-Chandra induction and Deligne-Lusztig induction, respectively.
$\bullet$ Set 
$\Gamma := [(\mu_{q-1} \setminus \{1\})/\equiv]$, 
$\Gamma^{\prime} := [(\mu_{q+1} \setminus \{1\})/\equiv]$.
$\bullet$ Fix the following set of representatives for the conjugacy classes of G
\begin{equation*} \{I_2\} ~ \dot \cup ~\{u\} ~ \dot \cup ~ \{\mathbf{d}(a) \mid a \in \Gamma \} ~ \dot \cup ~ \{\mathbf{d}^{\prime}(\xi) \mid \xi \in \Gamma^{\prime} \}, \end{equation*}where 
$ u: = \left( {\matrix{1 & 1 \cr 0 & 1 \cr } } \right)$ is an element of order 2.
There are q − 2 non-trivial characters 
$\alpha \in \operatorname{Irr}(T)$, all satisfying 
$R(\alpha) = R(\alpha^{-1}) \in \operatorname{Irr}(G)$, giving us 
$\frac{q-2}{2}$ irreducible characters in 
$\operatorname{Irr}(G)$. Similarly, the q non-trivial characters 
$\theta \in \operatorname{Irr}(T^{\prime})$ satisfy 
$R^{\prime}(\theta) = R^{\prime}(\theta^{-1}) \in \operatorname{Irr}(G)$, giving us 
$\frac{q}{2}$ irreducible characters of G. Hence,
\begin{equation*} \operatorname{Irr}(G) = \{1_G, \operatorname{St} \} \cup \{R(\alpha) \mid \alpha \in [T{^{\wedge}}/\equiv], \alpha \neq 1\} \cup \{R{^{\prime}} (\theta) \mid \theta \in [T{^{\prime \wedge}} / \equiv] , \theta \neq 1\},
\end{equation*}and the character table of G is as given in Table 1.
Character table of 
$\operatorname{SL}_2(q)$ when q is even.
Character table of N.
Character table of Nʹ.
3.3. Characters and conjugacy classes of N and Nʹ
We adopt here notation for the character theory of N and Nʹ analogous to the notation used in [Reference Bonnafé5, Sections 6.2.1 and 6.2.2] for the case in which q is odd. First, we fix the following sets of representatives for the conjugacy classes of N and Nʹ, respectively.
\begin{equation*} \{I_2\} \cup \{\sigma\}\cup \{\mathbf{d}(a) \mid a \in \Gamma \} \qquad \{I_2\} \cup \{\sigma^{\prime}\}\cup \{\mathbf{d^{\prime}}(\xi) \mid \xi \in \Gamma^{\prime} \}.\end{equation*} The difference with the odd case is that when q is even, T has no non-trivial N-invariant characters and Tʹ has no non-trivial Nʹ-invariant characters. For 
$\alpha\in\operatorname{Irr}(T)\setminus\{1\}$ (respectively, 
$\theta\in \operatorname{Irr}(T^{\prime})\setminus\{1\}$), we let χα be the unique element of 
$\operatorname{Irr}(N)$ such that 
$\chi_\alpha = \operatorname{Ind}_T^N (\alpha) = \operatorname{Ind}_{T}^N (\alpha^{-1})$ (respectively, we let 
$\chi^{\prime}_{\theta}$ be the unique element of 
$\operatorname{Irr}(N^{\prime})$ such that 
$\chi^{\prime}_{\theta} = \operatorname{Ind}_{T^{\prime}}^{N^{\prime}}(\theta) = \operatorname{Ind}_{T^{\prime}}^{N^{\prime}}(\theta^{-1})$). We let ɛ (respectively, 
$\varepsilon^{\prime}$) denote the linear character of N (respectively, of Nʹ) of order 2. With this notation, the character tables of N and Nʹ are as follows.
4. Trivial source character table of G when $\ell \mid (q-1)$
Notation 4.1.
In order to describe 
$\operatorname{Triv}_{\ell}(G)$ according to Convention 2.1, we adopt the following notation. We fix 
$Q_{n+1}:=S_{\ell}\cong C_{\ell^{n}}$ and for each 
$1\leq i\leq n$, we let Qi denote the unique cyclic subgroup of 
$Q_{n+1}$ of order 
$\ell^{i-1}$. The chain of subgroups
\begin{equation*}\{1\} = Q_1 \leq \dots \leq Q_{n+1} \in \operatorname{Syl}_{\ell}(G)\end{equation*}is then our fixed set of representatives for the conjugacy classes of 
$\ell$-subgroups of G.
We fix 
$\Gamma_{\ell^{\prime}} = [ ((\mu_{q-1})_{\ell^{\prime}} \setminus \{1\})/ \equiv]$ and 
$\Gamma^{\prime}_{\ell^{\prime}} = [ ((\mu_{q+1})_{\ell^{\prime}} \setminus \{1\})/ \equiv]$. Note that here 
$\Gamma^{\prime}_{\ell^{\prime}} = \Gamma^{\prime}$ as 
$\ell \nmid q+1$. We fix the following set of representatives for the 
$\ell^{\prime}$-conjugacy classes of G:
\begin{equation*}[G]_{\ell^{\prime}}:=\{I_{2}\}\cup\{u \} \cup \{\mathbf{d}(a)\mid a\in\Gamma_{\ell^{\prime}}\}\cup \{\mathbf{d}^{\prime}(\xi)\mid \xi\in\Gamma^{\prime}_{\ell^{\prime}}\}.\end{equation*} For any 
$2\leq v\leq n+1$, 
$1\leq i\leq n+1$, the columns of 
$T_{i,v}$ are labelled by a set of representatives for the 
$\ell^{\prime}$-conjugacy classes of 
$\overline N_{v} = N_G(Q_{v})/Q_{v}=N/Q_{v}$ as 
$N_G(Q_v) = N_G(T) = N$ for each 
$2\leq v \leq n+1$ by Lemma 3.2(a). However, since Qv is an 
$\ell$-group, we will simply label the columns of 
$T_{i,v}$ by the following fixed set of representatives for the 
$\ell^{\prime}$-conjugacy classes of N
\begin{equation*}[N]_{\ell^{\prime}}:=\{I_{2}\}\cup\{\sigma \} \cup \{\mathbf{d}(a)\mid a\in\Gamma_{\ell^{\prime}}\}.\end{equation*} Moreover, in order to describe the exceptional characters occurring as constituents of the trivial source characters, for each 
$0\leq i \leq n$, we fix
\begin{equation*}
\pi_{q,i} :=\frac{(q-1)_\ell\cdot \ell^{-i} - 1}{2},
\end{equation*}we let 
$\pi_q := \pi_{q,0}$ and note that 
$\pi_{q,n}=0$. These numbers arise naturally from the classification of the trivial source modules in cyclic blocks in [Reference Hiss and Lassueur7].
4.1. The $\ell$-blocks and trivial source characters of G
Lemma 4.2. When 
$\ell \mid (q-1)$, the 
$\ell$-blocks of G, their defect groups and their Brauer trees with type function are as given in Table 4.
The 
$\ell$-blocks of 
$\operatorname{SL}_2(q)$ when 
$\ell \mid (q-1)$ and q are even.
Proof. All of the information in the table comes directly from [Reference Burkhardt6, Section I] and the character table of G (Table 1), except for the type functions on the Brauer trees, which we compute according to Equation (2) in 
$\S$ 2.3. The trivial character is clearly positive so the type function for the principal block is immediate. For each block Aα, the 
$\ell^{\prime}$-character α takes the value 1 on 
$\ell$-elements and therefore 
$R(\alpha)$ is positive.
Lemma 4.3. When 
$\ell \mid (q-1)$, the ordinary characters 
$\chi_{\widehat{M}}$ of the trivial source kG-modules M are as given in Table 5, where for each 
$1\leq i\leq n$,
\begin{equation*}\Xi_i = \sum\limits_{j=1}^{\pi_{q,i}} R(\eta_j)\end{equation*}is a sum of 
$\pi_{q,i}$ pairwise distinct exceptional characters in 
${\mathbf{B}}_{0}(G)$, and for any non-trivial character 
$\alpha \in \operatorname{Irr}(T_{\ell^{\prime}})$,
\begin{equation*}\Xi_{\alpha,i} = \sum\limits_{j=1}^{2\pi_{q,i}} R(\alpha\eta_j)\end{equation*}Trivial source characters of 
$\operatorname{SL}_2(q)$ when 
$\ell \mid (q-1)$.
is a sum of 
$2\pi_{q,i}$ pairwise distinct exceptional characters in Aα.
Proof. First, the ordinary characters of the PIMs lying in blocks of defect zero are immediate from Table 4, and the characters of the PIMs lying in blocks with a non-trivial cyclic defect group can also be read off from Table 4, e.g. using [Reference Böhmler, Farrell and Lassueur4, Remark 2.6(a)].
The trivial source kG-modules with non-trivial vertices 
$C_{\ell^{i}} (1\leq i\leq n)$ all belong to 
$\ell$-blocks B with a non-trivial cyclic defect group. By 
$\S$ 2.3, each such block contains precisely e trivial source kG-modules with vertex 
$C_{\ell^{i}}$, where e is the inertial index of the block. Moreover, in order to determine these modules up to isomorphism, we need parameters (1), (2) and (3) of 
$\S$ 2.3, namely the Brauer trees with their type function, which are given in Table 4, and the module 
$W({\mathbf{B}})$, which is always trivial in our case by [Reference Hiss and Lassueur8, Proposition 6.5(a)]. Thus, the characters 
$\chi^{}_{\widehat{M}}$ listed in Table 5 are obtained by applying the classification of the trivial source modules given in [Reference Hiss and Lassueur7, Theorem 5.3(b)(2) and Theorem A.1(d)], exactly as in [Reference Böhmler, Farrell and Lassueur4, Lemma 3.3].
4.2. The $\ell$-blocks and trivial source characters of N
Lemma 4.4. When 
$\ell \mid (q-1)$, the 
$\ell$-blocks of N, their defect groups and their Brauer trees with type function are as given in Table 6.
The 
$\ell$-blocks of N when 
$\ell \mid (q-1)$ and q are even.
Proof. We determine the partition of 
$\operatorname{Irr}(N)$ into 
$\ell$-blocks of N by examining the central characters of N modulo 
$\ell$, and we find that
•
$\operatorname{Irr}({\mathbf{B}}_0(N))$ contains 1N, ɛ and $\{{\chi_{\eta}\mid \eta \in \operatorname{Irr}(S_{\ell}) \setminus \{1\}}\}$; and• for each non-trivial
$\alpha \in \operatorname{Irr}(T_{\ell^{\prime}})$, there exists a block ${\mathbf{b}}_\alpha$ containing $\chi_{\alpha \eta}$ for all $\eta \in \operatorname{Irr}(S_{\ell})$.
Since all the blocks have maximal normal defect groups, their Brauer trees are star-shaped with a central exceptional vertex (see, e.g. [Reference Benson2, Proposition 6.5.4]). The Brauer trees are therefore fully determined because the 
$\ell$-rational characters 1N, ɛ and 
$\chi_\alpha (\alpha \in \operatorname{Irr}(T_{\ell^{\prime}})$) must be non-exceptional. The type functions, as defined in Equation (2) of 
$\S$ 2.3, are immediate in this case, as the cyclic subgroups of order 
$\ell$ of the defect groups are normal in N by Lemma 3.2(a).
Lemma 4.5. When 
$\ell \mid (q-1)$, the ordinary characters 
$\chi_{\widehat{f(M)}}$ of the kN-Green correspondents f(M) of the trivial source kG-modules M with a non-trivial vertex are as given in Table 7, where, for each 
$1\leq i\leq n$,
\begin{equation*}\Xi^{N}_i := \sum\limits_{j=1}^{\pi_{q,i}} \chi_{\eta_j}\end{equation*}The trivial source characters of the kN-Green correspondents when 
$\ell \mid (q-1)$.
is a sum of 
$\pi_{q,i}$ pairwise distinct exceptional characters in 
$\operatorname{Irr}({\mathbf{B}}_{0}(N))$, and for any non-trivial 
$\alpha \in \operatorname{Irr}(T_{\ell^{\prime}})$,
\begin{equation*}\Xi^{N}_{\alpha, i} := \sum\limits_{j=1}^{2\pi_{q,i}} \chi_{\alpha\eta_j}\end{equation*}is a sum of 
$2\pi_{q,i}$ pairwise distinct exceptional characters in 
$\operatorname{Irr}(\mathbf{b}_\alpha)$.
Proof. We first determine the Brauer correspondents in N of the blocks of G. We claim that for a fixed 
$\alpha \in T_{\ell^{\prime}}^{\wedge}$, α ≠ 1, the block 
${\mathbf{b}}_\alpha$ is the Brauer correspondent in N of the Aα. Let iα be the central primitive idempotent of 
$\mathcal{O}G$ such that 
$\mathcal{O}Gi_\alpha$ is the block of 
$\mathcal{O}G$ corresponding to the 
$\ell$-block Aα. Thus,
\begin{equation*} i_\alpha : = \sum_{\eta \in S_{\ell}^\wedge} \sum_{g \in G} \frac{1}{|G|} R(\alpha \eta) (1) R(\alpha \eta)(g) g^{-1}
= \sum_{g \in G} \frac{q+1}{|G|} \sum_{\eta \in S_{\ell}^\wedge} R(\alpha \eta)(g) g^{-1}
\end{equation*} When we apply the Brauer homomorphism to 
$\bar i_\alpha$, the image of iα in kG, the only terms in the sum that survive are those for 
$g \in C_{G}(S_\ell) = T$. The coefficient in iα of a non-trivial element 
$\mathbf{d}(a^{-1}) \in T$ for some 
$a \in \mu_{q-1} \setminus \{1\}$ is
\begin{align*}
\frac{q+1}{|G|} \sum_{\eta \in S_{\ell}^\wedge} R(\alpha \eta) (\mathbf{d}(a))
& = \frac{q+1}{|G|} \left(\alpha(a)\sum_{\eta \in S_{\ell}^\wedge} \eta(a) + \alpha(a^{-1})\sum_{\eta \in S_{\ell}^\wedge}\eta(a^{-1}) \right).
\end{align*} If a has non-trivial 
$\ell$-part, then the second orthogonality relations show that 
${\sum_{\eta \in S_{\ell}^\wedge} \eta(a) = 0}$. Thus, the only elements in T with non-zero coefficients in iα are the 
$\ell^{\prime}$-elements, and they have coefficients
\begin{equation*}
\left\{
\begin{array}{ll}
\frac{(q+1)^2 |S_{\ell}|}{|G|} = \frac{q+1}{q |T_{\ell^{\prime}}|}
& \mbox{if } a = 1,\ \mbox{and} \\
\frac{(q+1)|S_{\ell}|}{|G|} \left(\alpha(a)+ \alpha(a^{-1}) \right) = \frac{1}{q |T_{\ell^{\prime}}|} \left(\alpha(a)+ \alpha(a^{-1}) \right)
& \mbox{if } 1 \neq a \in (\mu_{q-1})_{\ell^{\prime}}.
\end{array} \right.
\end{equation*} Now let 
$i^N_\alpha$ denote the central primitive idempotent of 
$\mathcal{O}N$ such that 
$\mathcal{O}Ni^N_\alpha$ is the block of 
$\mathcal{O}N$ corresponding to the 
$\ell$-block 
${\mathbf{b}}_\alpha$. Then
\begin{equation*} i_\alpha^N = \sum_{\eta \in S_{\ell}^\wedge} \sum_{n \in N} \frac{1}{|N|} \chi_{\alpha \eta} (1) \chi_{\alpha \eta} (n) n^{-1}
= \sum_{n \in N} \frac{2}{|N|} \sum_{\eta \in S_{\ell}^\wedge} \chi_{\alpha \eta} (n) n^{-1}
.\end{equation*} Since 
$\chi_{\alpha\eta}$ is linear and 
$\chi_{\alpha\eta} (\sigma) = 0$, in fact, this sum only has non-zero terms for 
$n \in T$. By the same arguments as above, the only elements 
$\mathbf{d}(a^{-1}) \in T$ with non-zero coefficients in 
$i^N_\alpha$ are the 
$\ell^{\prime}$-elements and they have coefficients
\begin{equation*}
\left\{
\begin{array}{ll}
\frac{4|S_{\ell}|}{|N|} = \frac{2}{|T_{\ell^{\prime}}|}
& \mbox{if } a = 1,\ \mbox{and}\\
\frac{2|S_{\ell}|}{|N|} \left( \alpha(a) + \alpha(a^{-1})\right) = \frac{1}{|T_{\ell^{\prime}}|}\left( \alpha(a) + \alpha(a^{-1})\right)
& \mbox{if } 1 \neq a \in (\mu_{q-1})_{\ell^{\prime}}.
\end{array} \right.
\end{equation*} Let 
$\bar i^N_\alpha$ denote the image of 
$i_\alpha^N$ in kN. Then since 
$\ell \mid (q-1)$, we have 
$q \equiv 1 \mod \mathfrak{p}$. Therefore, 
$ \bar i^N_\alpha \equiv \operatorname{Br}_{S_{\ell}}(\bar i_\alpha) \mod \mathfrak{p}$, where 
$\operatorname{Br}_{S_{\ell}}$ denotes the Brauer homomorphism. In particular, 
${\mathbf{b}}_\alpha$ is the Brauer correspondent in N of Aα.
Next, we recall that the Brauer correspondence and the Green correspondence commute, so if a trivial source kG-module lies in the block B, then its Green correspondent lies in the Brauer correspondent b of B. Moreover, by definition, 
$W({\mathbf{b}})=W({\mathbf{B}})$, which as we already noticed is trivial in all cases. Therefore, the characters of the trivial source b-modules can be determined using [Reference Hiss and Lassueur7, Theorem 5.3] in all cases, as we did for G. This yields the list of characters in the third column of Table 7, up to reordering. Therefore, it only remains to check that the characters printed on the same lines of the second and third columns are the characters of Green correspondent modules. For 
${\mathbf{B}}_{0}(G)$, it is enough to notice that if a trivial source module of kG has the trivial character as a constituent of its ordinary character, then so does its kN-Green correspondent. Since both Aα and 
${\mathbf{b}}_\alpha$ have to contain a unique trivial source module with a given vertex, there is only one possibility for the blocks of type Aα, as required.
4.3. The trivial source character table of G
Theorem 4.6.
Let 
$G= \operatorname{SL}_2(q)$ with 
$q = 2^f$ for an integer 
$f \geq 2$ and suppose that 
$\ell \mid (q-1)$. Then, with notation as in Notation 4.1, the trivial source character table 
$\operatorname{Triv}_{\ell}(G)= [T_{i,v}]_{1\leq i,v\leq n+1}$ is given as follows:
(a)
$T_{i,v} = \mathbf{0}$ if v > i;(b) the matrices
$T_{i,1}$ are as given in Table 8 for each $1 \leq i \leq n+1$;(c) the matrices
$T_{i,i}$ are as given in Table 9 for each $2 \leq i \leq n+1$; and(d)
$T_{i,v} = T_{i,i}$ for all $2 \leq v \lt i \leq n+1$.
$T_{i,1}$ for 
$1 \leq i \leq n+1$.
$T_{i,i}$ for 
$2 \leq i \leq n+1$.
Proof. By Convention 2.1, the labels for the rows of 
$\operatorname{Triv}_{\ell}(G)$ are the ordinary characters of the trivial source kG-modules determined in Lemma 4.3.
(a) It follows from [Reference Böhmler, Farrell and Lassueur4, Remark 2.5(c)] and Notation 4.1 that
$T_{i,v} = \mathbf{0}$ whenever v > i.(b) By [Reference Böhmler, Farrell and Lassueur4, Remark 2.5(d)], the values in
$T_{i,1}$ for $1 \leq i \leq n+1$ (Table 8) are calculated by evaluating the character of each trivial source module given in Table 5 at the relevant representatives of the $\ell^{\prime}$-conjugacy classes of G using the character table of G (Table 1).(c) By Convention 2.1, the values in
$T_{i,i}$ for $2 \leq i \leq n+1$ (Table 9) are given by the values of the species $\tau_{Q_{i},s}^{G}$, with s running through $[\overline{N}_{i}]_{\ell^{\prime}}$ (identified here with $[N]_{\ell^{\prime}}$), evaluated at the trivial source modules $[M]\in\operatorname{TS}(G;Q_{i})$. By definition of the species and [Reference Böhmler, Farrell and Lassueur4, Proposition 2.2(d)], these are calculated by evaluating the ordinary character of the kN-Green correspondent given in Table 7 of the trivial source kG-module labelling the relevant row, at the representatives of the $\ell^{\prime}$-conjugacy classes of N using the character table of N given in Table 2.(d) For each
$2 \leq v \leq i \leq n+1$, by Convention 2.1, the matrix $T_{i,v}$ consists of the values of the species $\tau_{Q_{v},s}^{G}$, with s running through $[\overline{N}_{v}]_{\ell^{\prime}}$ (identified here with $[N]_{\ell^{\prime}}$), evaluated at the trivial source modules $[M]\in\operatorname{TS}(G;Q_{i})$. However, by definition of the species, $\tau_{Q_{v},s}^{G}([M])=\chi_{\widehat{M[Q_v]}}(s)$ and [Reference Böhmler, Farrell and Lassueur4, Lemma 2.8] together with Lemma 3.2(a) show that $M[Q_v]$ is the kN-Green correspondent of M. Hence, $T_{i,v} = T_{i,i}$ for all $2 \leq v \lt i \leq n+1$.
5. Trivial source character table of G when $\ell \mid (q+1)$
We now adopt notation analogous to Notation 4.1 in order to describe 
$\operatorname{Triv}_{\ell}(G)$ according to Convention 2.1. Here, we fix 
$Q_{n+1}:=S^{\prime}_{\ell}\cong C_{\ell^{n}}$. Then, as before, for each 
$1\leq i\leq n$, we let Qi denote the unique cyclic subgroup of 
$Q_{n+1}$ of order 
$\ell^{i-1}$, and
\begin{equation*}\{1\} = Q_1 \leq \dots \leq Q_{n+1} \in \operatorname{Syl}_{\ell}(G)\end{equation*}is our fixed set of representatives for the conjugacy classes of 
$\ell$-subgroups of G. We keep the same set of representatives for the 
$\ell^{\prime}$-conjugacy classes of G:
\begin{equation*}[G]_{\ell^{\prime}}:=\{I_{2}\}\cup\{u\} \cup \{\mathbf{d}(a)\mid a\in\Gamma_{\ell^{\prime}}\}\cup \{\mathbf{d}^{\prime}(\xi)\mid \xi\in\Gamma^{\prime}_{\ell^{\prime}}\},\end{equation*}where 
$\Gamma_{\ell^{\prime}}$ and 
$\Gamma^{\prime}_{\ell^{\prime}}$ are as defined in Notation 4.1. Note that in this case 
$\Gamma_{\ell^{\prime}} = \Gamma$ as 
$\ell \nmid q-1$. We fix the following set of representatives for the 
$\ell^{\prime}$-conjugacy classes of Nʹ:
\begin{equation*}[N^{\prime}]_{\ell^{\prime}}:=\{I_{2}\}\cup \{\sigma^{\prime}\} \cup \{\mathbf{d}^{\prime}(\xi)\mid \xi\in\Gamma^{\prime}_{\ell^{\prime}}\}.\end{equation*} By the same arguments as in Notation 4.1, for any 
$2\leq v\leq n+1$ and any 
$1\leq i\leq n+1$, we can label the columns of 
$T_{i,v}$ by this fixed set of representatives for the 
$\ell^{\prime}$-conjugacy classes of Nʹ. Finally, for each 
$0\leq i \leq n$, we fix
\begin{equation*}
\pi^{\prime}_{q,i} :=\frac{(q+1)_\ell \cdot(1- \ell^{-i})}{2}, \quad
\pi^{\prime \prime}_{q,i} := \frac{(q+1)_{\ell} - 1}{2} - \pi^{\prime}_{q, i} = \frac{(q+1)_\ell \cdot\ell^{-i} - 1}{2},
\end{equation*}and let 
$\pi^{\prime}_q := \pi^{\prime}_{q,n}$. Again, these numbers arise naturally in the classification of the trivial source modules in blocks with cyclic defect goups in [Reference Hiss and Lassueur7].
5.1. The $\ell$-blocks and trivial source characters of G
Lemma 5.2. When 
$\ell \mid (q+1)$, the 
$\ell$-blocks of G, their defect groups and their Brauer trees with type function are as given in Table 10.
The 
$\ell$-blocks of 
$\operatorname{SL}_2(q)$ when 
$\ell \mid (q+1)$.
Proof. As in Lemma 4.2, all of the information in the table comes directly from [Reference Burkhardt6, Section II] and the character table of G (Table 1), except for the type functions on the Brauer trees, which we compute according to Equation (2) in 
$\S$ 2.3. The trivial character is once again positive so the type function for the principal block is immediate, and for each block 
$A^{\prime}_{\theta}$, the character 
$R^{\prime}(\theta)$ takes a negative value on all non-trivial 
$\ell$-elements and is therefore negative.
Lemma 5.3. When 
$\ell \mid (q+1)$, the ordinary characters 
$\chi_{\widehat{M}}$ of the trivial source kG-modules M are as given in Table 11, where for each 
$1 \leq i \lt n$,
\begin{equation*} \Xi^{\prime}_{i} := \sum\limits_{j=1 }^{\pi^{\prime}_{q,i}} R^{\prime}(\eta_j)
\end{equation*}Trivial source characters of 
$\operatorname{SL}_2(q)$ when 
$\ell \mid (q+1)$.
is a sum of 
$\pi^{\prime}_{q,i}$ pairwise distinct exceptional characters in 
$\operatorname{Irr}({\mathbf{B}}_{0}(G))$ and for any non-trivial 
$\theta \in \operatorname{Irr}(T^{\prime}_{\ell^{\prime}})$,
\begin{equation*}\Xi^{\prime}_{\theta, i} := \sum\limits_{j=1}^{2\pi^{\prime}_{q,i} } R^{\prime}(\theta\eta_j) \end{equation*}is a sum of 
$2\pi^{\prime}_{q,i}$ pairwise distinct exceptional characters in 
$\operatorname{Irr}(A^{\prime}_{\theta})$.
Proof. The arguments are analogous to those given in the proof of Lemma 4.3. In this case, the parameters (1), (2) and (3) of 
$\S$ 2.3 necessary to apply the classification of the trivial source modules given in [Reference Hiss and Lassueur7, Theorem 5.3] are the Brauer trees with their type function given in Table 10 and the module 
$W({\mathbf{B}})$, which is also always trivial in this case by [Reference Hiss and Lassueur8, Proposition 6.5(a)]. The characters 
$\chi^{}_{\widehat{M}}$ are then obtained exactly as in the proof of [Reference Böhmler, Farrell and Lassueur4, Lemma 4.3].
5.2. The $\ell$-blocks and trivial source characters of Nʹ
Lemma 5.4. When 
$\ell \mid (q+1)$, the blocks of Nʹ, their defect groups and their Brauer trees with type function are as given in Table 12.
The 
$\ell$-blocks of Nʹ when 
$\ell \mid (q+1)$ and q is even.
Proof. The distribution of the characters of Nʹ into blocks can be determined by examining the values of the central characters of Nʹ modulo 
$\ell$:
• the principal block
${\mathbf{B}}_0(N^{\prime})$ contains $1_{N^{\prime}}$, $\varepsilon^{\prime}$ and $\chi^{\prime}_{\eta}$ for each $\eta \in S_{\ell}^{\prime \wedge} \setminus \{1\}$; and• for each non-trivial
$\theta \in \operatorname{Irr}(T_{\ell^{\prime}})$, there is a block ${\mathbf{b}}^{\prime}_\theta$ containing $\chi^{\prime}_{\theta \eta}$ for all $\eta \in \operatorname{Irr}(S_{\ell}^{\prime})$.
The Brauer trees and their type functions are determined using arguments analogous to those in Lemma 4.4, where in this case we note that 
$1_{N^{\prime}}$, 
$\varepsilon^{\prime}$ and 
$\chi^{\prime}_{\theta}$ (
$\theta \in \operatorname{Irr}(T_{\ell^{\prime}}^{\prime})$) are 
$\ell$-rational characters and therefore cannot be exceptional.
Lemma 5.5. When 
$\ell \mid (q+1)$, the ordinary characters 
$\chi_{\widehat{f(M)}}$ of the kNʹ-Green correspondents f(M) of the trivial source kG-modules M with a non-trivial vertex are as given in Table 13, where for each 
$1 \leq i \lt n$,
\begin{equation*} \Xi^{N^{\prime}}_i := \sum\limits_{j=1}^{\pi^{\prime \prime}_{q,i}} \chi^{\prime}_{\eta}
\end{equation*}The trivial source characters of the kNʹ-Green correspondents when 
$\ell \mid (q+1)$.
is a sum of 
$\pi^{\prime \prime}_{q,i}$ pairwise distinct exceptional characters in 
$\operatorname{Irr}({\mathbf{B}}_0(N^{\prime}))$, and for any non-trivial 
$\theta \in \operatorname{Irr}(T^{\prime}_{\ell^{\prime}})$,
\begin{equation*}\Xi^{N^{\prime}}_{\theta, i} := \sum\limits_{j=1}^{2\pi^{\prime \prime}_{q,i}} \chi^\prime_{\theta\eta} \end{equation*}is a sum of 
$2 \pi^{\prime \prime}_{q,i}$ pairwise distinct exceptional characters of 
$\operatorname{Irr}({\mathbf{b}}^{\prime}_\theta)$.
Proof. This proof is analogous to the proof of Lemma 4.5. We first determine the Brauer correspondents in Nʹ of the nilpotent blocks of G. Fix a non-trivial 
$\theta \in \operatorname{Irr}(T_{\ell^{\prime}}^{\prime})$. Let 
$i^{\prime}_{\theta}$ denote the central primitive idempotent of 
$\mathcal{O}G$ such that 
$\mathcal{O}Gi^{\prime}_\theta$ is the block of 
$\mathcal{O}G$ corresponding to the 
$\ell$-block Aθ, and let 
$i_\theta^{N^\prime}$ denote the central primitive idempotent of 
$\mathcal{O}N^\prime$ such that 
$\mathcal{O}N^{\prime} i^{N ^{\prime}}_\theta$ is the block of 
$\mathcal{O}N^\prime$ corresponding to the 
$\ell$-block 
${\mathbf{b}}^\prime_\theta$. As in Lemma 4.5, we need only compare the coefficients of elements 
$\mathbf{d}^\prime(\xi^{-1}) \in T^\prime$ in 
$i^\prime_\theta$ and 
$i_\theta^{N ^\prime}$. For any 
$\xi \in \mu_{q+1}$ with non-trivial 
$\ell$-part, the coefficient of 
$\mathbf{d}^\prime(\xi^{-1}) \in T^{\prime}$ is 0 in both 
$i^{\prime}_\theta$ and 
$i_\theta^{N^{\prime}}$. If ξ is an 
$\ell^{\prime}$-element, then the coefficient of 
$\mathbf{d}^{\prime}(\xi^{-1}) $ in 
$i^{\prime}_\theta$ is
\begin{equation*}
\left\{
\begin{array}{ll}
\frac{(q-1)^2|S_{\ell}^{\prime}|}{|G|}
= \frac{q-1}{q|T^{\prime}_{\ell^{\prime}}|}
& \mbox{for } \xi = 1,\\
\frac{(q-1)|S_{\ell}^{\prime}|}{|G|}\left(-\theta(\xi) - \theta (\xi^{-1}) \right)
= \frac{1}{q|T^{\prime}_{\ell^{\prime}}|}\left(-\theta(\xi) - \theta (\xi^{-1}) \right)
& \mbox{for } \xi \neq 1, \xi \in (\mu_{q+1})_{\ell^{\prime}},
\end{array}
\right.
\end{equation*}and the coefficient in 
$i_\theta^{N^{\prime}}$ is
\begin{equation*}
\left\{
\begin{array}{ll}
\frac{4|S_{\ell}^{\prime}|}{|N^{\prime}|}
= \frac{2}{|T^{\prime}_{\ell^{\prime}}|}
& \mbox{for } \xi = 1,\\
\frac{2|S_{\ell}^{\prime}|}{|N^{\prime}|} \left(\theta(\xi) + \theta (\xi^{-1}) \right)
= \frac{1}{|T^{\prime}_{\ell^{\prime}}|}\left(\theta(\xi) + \theta (\xi^{-1}) \right)
& \mbox{for } \xi \neq 1, \xi \in (\mu_{q+1})_{\ell^{\prime}}.
\end{array}
\right.
\end{equation*} Since 
$\ell \mid (q+1)$, we have 
$\frac{q-1}{q} \equiv 2 \mod \mathfrak{p}$ and 
$\frac{1}{q} \equiv -1 \mod \mathfrak{p}$, and therefore 
$\operatorname{Br}_{S_{\ell}^{\prime}}(\overline{i^{\prime}_\theta}) \equiv \overline i_\theta^{N^{\prime}} \mod \mathfrak{p}$ so 
${\mathbf{b}}^{\prime}_\theta$ is the Brauer correspondent of 
$A^{\prime}_\theta$ in Nʹ.
As mentioned in Lemma 4.5, the Green correspondent of a trivial source kG-module in a block B of G lies in the Brauer correspondent block b of Nʹ, and since 
$W({\mathbf{B}})=W({\mathbf{b}})$ is trivial in all cases, the characters of the trivial source b-modules can be determined using [Reference Hiss and Lassueur7, Theorem 5.3]. Moreover, having determined the Brauer correspondent blocks, in each case, there is only one possible choice for the Green correspondent of a trivial source module of kG with a fixed vertex. The characters of these Green correspondent modules are as in Table 13.
5.3. The trivial source character table of G
Theorem 5.6.
Let 
$G= \operatorname{SL}_2(q)$ with 
$q = 2^f$ for some integer 
$f \geq 2$, and suppose that 
${\ell \mid (q+1)}$. Then, with notation as in Notation 5.1, the trivial source character table 
$\operatorname{Triv}_{\ell}(G)= [T_{i,v}]_{1\leq i,v\leq n+1}$ is given as follows:
(a)
$T_{i,v} = \mathbf{0}$ if v > i;(b) the matrices
$T_{i,1}$ are as given in Table 14 for each $1 \leq i \leq n+1$;(c) the matrices
$T_{i,i}$ are as given in Table 15 for each $2 \leq i \leq n$;(d) the matrix
$T_{n+1,n+1}$ is as given in Table 16; and(e)
$T_{i,v} = T_{i,i}$ for all $2 \leq v \leq i \leq n+1$.
$T_{i,1}$ for 
$1 \leq i \leq n+1$.
$T_{i,i}$ for 
$2 \leq i \leq n$.
$T_{n+1,n+1}$.
Acknowledgements
The authors thank Olivier Dudas for useful discussions and Gunter Malle for feedback on an earlier version of this manuscript. The first author acknowledges the hospitality of the Lehrstuhl für Algebra und Zahlentheorie of the RWTH Aachen University during a visit in November 2021 to work on this article. The second author gratefully thanks the Institut für Algebra, Zahlentheorie und Diskrete Mathematik of the Leibniz Universität Hannover for their hospitality during the writing period of this article. This article was started as part of Project A18 of the SFB TRR 195. This project is dedicated to the memory of Christine Bessenrodt.
Funding Statement
The second author gratefully acknowledges financial support by the DFG/SFB TRR 195.
