# Higher weight modular forms in function fields

There exists a very nice analogue of modular forms of weight two of some level $$N$$ in the function field setting, namely (cuspidal) harmonic cochains on the Bruhat-Tits tree which are invariant under some congruence group $$\Gamma_0(\mathfrak{n})$$ (see for instance here). By very nice I mean that we have a canonical bijection between normalized Hecke eigenforms in the above sense and isogeny classes of a function field with conductor $$\mathfrak{n}\cdot \infty$$ which is the analogue of the Modularity theorem.

My question is what are the harmonic cochains which "are" modular forms of higher weight? Apologies for the naive question, probably I'm just googling the wrong term.

Modular forms of higher weight are (certain) functions on $$SL_2(\mathbb R)$$ that transform according to a certain character of the non-split torus $$SO_2(\mathbb R)$$ of $$SL_2(\mathbb R)$$. So one expects their analogue to be (certain) functions on $$SL_2(\mathbb F_q((t^{-1})))$$ that transform according to a certain character of a non-split torus in $$SL_2(\mathbb F_q((t^{-1})))$$. There are multiple non-split tori to choose from. For example one can take the norm one elements of $$\mathbb F_{q^2}((t^{-1}))^\times$$. Let's say we choose a character of conductor expends $$n$$, i.e. that depends only on the element modulo $$t^{-n}$$.
In the classical case we have a holomorphicity condition on the functions, which has the consequence of forcing them to lie in an irreducible representation of $$SL_2(\mathbb R)$$. Similarly in this case we have to put a condition on the functions that forces them to lie in an irreducible representation. The right kinds of conditions to look for come from constructions of irreducible representations of groups over non-archimedean local fields. For simplicity take $$n$$ even. The construction I know is to consider the subgroup $$J$$ of $$SL_2(\mathbb F_q[[t^{-1}]])$$ consisting of all elements congruent modulo $$t^{-n/2}$$ to elements of the non-split torus of norm $$1$$ elements of $$\mathbb F_{q^2}[[t^{-2}]]^{\times}$$, and then take a one-dimensional character $$\chi$$ of $$J$$ that restricts to our fixed character of the torus, and consider functions $$f$$ on $$SL_2(\mathbb F_q((t^{-1}))))$$ that satisfies $$f(gh) =f(g)\chi(h)$$ for $$h\in J$$.
Finally we take our functions $$f$$ to also be left-invariant under a congruence subgroup $$\Gamma_0(\mathfrak n)$$.
The "weight" in this case is the conductor $$n$$ and the character $$\chi$$. We don't have a one-to-one bijection of weights because of the difference between local behaviors at archimedean and non-archimedean forms.