Automorphic functions for square-zero extensions of curves over finite fields
We study automorphic functions for square-zero extensions $C$ of curves $\overline{C}$ over finite fields, a study initiated by Braverman-Kazhdan-Polishchuk in [BKP23]. More precisely, we study the cuspidality and Hecke-finiteness of the functions in the orbit decomposition introduced in loc. cit. for split connected reductive groups $G$, generalizing some of the results for $G=\mathrm{PGL}_2$. As a result, for $G=\mathrm{PGL}_3$, we prove a new case of a conjecture in [BK23] concerning the finite-dimensionality of the space of unramified Hecke-finite functions. We also introduce a formulation of support bounds for spherical cuspidal and Hecke-finite functions in terms of the Harder-Narasimhan stratification of $G$-bundles on the reduced curve. Using representation-theoretic constructions together with their geometric interpretations in terms of $G$-bundles on $C$ and certain twisted $G$-Higgs bundles on $\overline{C}$, we compute the optimal bounds in several cases and, in particular, determine the optimal bound for $G=\mathrm{PGL}_3$.