  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
$G(\mathbb{F}_q)$. In all three cases, we give formulas reducing this to
standard character data for $G$.
  Along the way, we define a bilinear form on the characters of finite
dimensional $G$-modules and use this to give formulas for the dimension of
homomorphism spaces between certain $G$-modules when restricted to either $G_r$
or $G(\mathbb{F}_q)$. 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.
