# A geometric approach to the sup-norm problem for automorphic forms: the case of newforms on $GL_2(\mathbb F_q(T))$ with squarefree level

## TL;DR

This paper introduces a geometric method to bound the sup-norms of automorphic forms over function fields, linking it to intersection theory and cohomology of Hecke eigensheaves, and achieves improved bounds for certain newforms.

## Contribution

It develops a geometric framework reducing the sup-norm problem to intersection-theoretic bounds on characteristic cycles of Hecke eigensheaves for $GL_2$ over function fields, providing stronger bounds than classical cases.

## Key findings

- Established bounds on the sup-norm for newforms on $GL_2(F_q(T))$ with squarefree level.
- Connected the sup-norm problem to intersection theory and characteristic cycles.
- Achieved bounds surpassing those known for classical modular forms.

## Abstract

The sup-norm problem in analytic number theory asks for the largest value taken by a given automorphic form. We observe that the function-field version of this problem can be reduced to the geometric problem of finding the largest dimension of the $i$th stalk cohomology group of a given Hecke eigensheaf at any point. This problem, in turn, can be reduced to the intersection-theoretic problem of bounding the "polar multiplicities" of the characteristic cycle of the Hecke eigensheaf, which in known cases is the nilpotent cone of the moduli space of Higgs bundles. We solve this problem for newforms on $GL_2 (\mathbb A_{\mathbb F_q(t)})$ of squarefree level, leading to bounds on the sup-norm that are stronger than what is known in the analogous problem for newforms on $GL_2(\mathbb A_{\mathbb Q})$ (i.e. classical holomorphic and Maass modular forms.)