A note on certain representations in characteristic \(p\) and associated functions (Q518098)

In [Ann. Math. (2) 176, No. 3, 2055--2093 (2012; Zbl 1336.11064)] the author introduced some functions related to the arithmetic of global function fields, namely, \(L\)-values and vector-valued modular forms. In this paper, the author highlights the connection that these special functions have with representation of algebras and groups associated to \(A={\mathbb F}_q[\theta]\), the ring of polynomials over \({\mathbb F}_q\). Particular interest is in certain irreducible representations of \(\mathrm{SL}_2(A)\) and of \(\mathrm{GL}_2(A)\). First, it is discussed algebra representations of \(A\) and their associated \(\omega\)-values and \(L\)-values. Next, the author presents some irreducible representations \(\rho^I\) in the case \(q=p\). Namely, let \(\rho_r = \mathrm{Sym}^r(\rho): \mathrm{GL}_2(B)\longrightarrow \mathrm{GL}_{ r+1}(B)\) where \(\mathrm{Sym}^r\) denotes the \(r\)-th symmetric power realized in the space of homogeneous polynomials of degree \(r+1\) with coefficients in an \({\mathbb F}_p\)-algebra \(B\). If \(l\geq 0\) is an integer and \(l=l_0+l_1 p+\cdots+ l_s p^s\), \(0\leq l_i\leq p-1\), is its \(p\)-adic expansion, then \(\rho_l^I=\rho_{l_0}\otimes \rho_{ l_1}^{(1)}\otimes\cdots\otimes \rho_{l_s}^{(s)}\) which is of dimension \(\phi_p(l)=\prod_{i=1}^s (l_i+1)\), is isomorphic to a subrepresentation of \(\rho_l\). The results obtained are applied to show that some tensor products \(\rho^{II}\) are irreducible and to prove that the entries of certain vectorial Poincaré series generalizing those introduced in the previous paper of the author [loc. cit.], are linearly independent.