1: \begin{abstract}

2: 

3: We study the decomposition of tensor products between a Steinberg module and a costandard module, both as a module for the algebraic group $G$ and when restricted to either a Frobenius kernel $G_r$ or a finite Chevalley group $\Gq$. In all three cases, we give formulas reducing this to standard character data for $G$.

4: 

5: Along the way, we use a bilinear form on the characters of finite dimensional $G$-modules to give formulas for the dimension of homomorphism spaces between certain $G$-modules when restricted to either $G_r$ or $\Gq$. Further, this form allows us to give a new proof of the reciprocity between tilting modules and simple modules for $G$ which has slightly weaker assumptions than earlier such proofs. Finally, we prove that in a suitable formulation, this reciprocity is equivalent to Donkin's tilting conjecture.\\

6: 

7: Keywords: Algebraic groups, Frobenius kernels, finite Chevalley groups, tilting modules.

8: 

9: \end{abstract}

10: