\newcommand{\etalchar}[1]{$^{#1}$}
\begin{thebibliography}{BBAMY26}

\bibitem[I]{HuI}
B.~Hu.
\newblock Automorphic realization of {L}anglands parameters for split groups
  over global function fields, {I}: {A}rithmetic foundations and the main
  theorems.
\newblock Hexagon preprint hexagon:2611.00398, 2026.

\bibitem[III]{HuIII}
B.~Hu.
\newblock Automorphic realization of {L}anglands parameters for split groups
  over global function fields, {III}: {C}lassical groups.
\newblock Preprint, 2026.

\bibitem[AGK{\etalchar{+}}21]{AGKRRVTrace}
D.~Arinkin, D.~Gaitsgory, D.~Kazhdan, S.~Raskin, N.~Rozenblyum, and
  Y.~Varshavsky.
\newblock Automorphic functions as the trace of {F}robenius, 2021.
\newblock arXiv:2102.07906.

\bibitem[AGK{\etalchar{+}}22]{AGKRRV2022}
D.~Arinkin, D.~Gaitsgory, D.~Kazhdan, S.~Raskin, N.~Rozenblyum, and
  Y.~Varshavsky.
\newblock The stack of local systems with restricted variation and geometric
  {Langlands} theory with nilpotent singular support.
\newblock Preprint, 2022.
\newblock \url{https://people.mpim-bonn.mpg.de/gaitsgde/GL/Nilp.pdf}.

\bibitem[AHHLR24]{AHHLR2024}
J.~Alper, J.~Hall, D.~Halpern-Leistner, and D.~Rydh.
\newblock {Artin} algebraization for pairs with applications to the local
  structure of stacks and {Ferrand} pushouts.
\newblock {\em Forum of Mathematics, Sigma}, 12:e20, 2024.

\bibitem[AHR26]{AHR}
J.~Alper, J.~Hall, and D.~Rydh.
\newblock The {\'e}tale local structure of algebraic stacks.
\newblock {\em Annales scientifiques de l'\'Ecole Normale Sup\'erieure},
  59:125--198, 2026.

\bibitem[Bar24]{Barrett2024}
O.~Barrett.
\newblock The singular support of an {$\ell$}-adic sheaf.
\newblock {\em Tunisian Journal of Mathematics}, 6(4):703--734, 2024.
\newblock Theorem numbers refer to version 3 of the arXiv preprint.

\bibitem[BBAMY26]{BBMY2026}
R.~Bezrukavnikov, P.~Boixeda~Alvarez, M.~McBreen, and Z.~Yun.
\newblock Affine {Springer} fiber and the small quantum group.
\newblock arXiv:2604.11966v1, 2026.

\bibitem[BBD82]{BBD1982}
A.~A. Beilinson, J.~Bernstein, and P.~Deligne.
\newblock Faisceaux pervers.
\newblock In {\em Analyse et topologie sur les espaces singuliers, I}, volume
  100 of {\em Ast{\'e}risque}, pages 5--171. Soci{\'e}t{\'e} Math{\'e}matique
  de France, 1982.

\bibitem[Bei16]{Beilinson2016}
A.~Beilinson.
\newblock Constructible sheaves are holonomic.
\newblock {\em Selecta Mathematica. New Series}, 22(4):1797--1819, 2016.
\newblock arXiv:1505.06768.

\bibitem[BGR84]{BGR1984}
S.~Bosch, U.~G{\"u}ntzer, and R.~Remmert.
\newblock {\em Non-Archimedean Analysis: A Systematic Approach to Rigid
  Analytic Geometry}, volume 261 of {\em Grundlehren der mathematischen
  Wissenschaften}.
\newblock Springer, 1984.

\bibitem[BHKT19]{BHKT2019}
G.~B{\"o}ckle, M.~Harris, C.~Khare, and J.~A. Thorne.
\newblock {$\hat G$}-local systems on smooth projective curves are potentially
  automorphic.
\newblock {\em Acta Mathematica}, 223(1):1--111, 2019.

\bibitem[Bra03]{Braden}
T.~Braden.
\newblock Hyperbolic localization of intersection cohomology.
\newblock {\em Transformation Groups}, 8:209--216, 2003.

\bibitem[Del77]{SGA4half}
P.~Deligne.
\newblock {\em Cohomologie {\'e}tale ({SGA} $4\frac12$)}, volume 569 of {\em
  Lecture Notes in Mathematics}.
\newblock Springer, 1977.

\bibitem[DK73]{SGA7II}
P.~Deligne and N.~Katz, editors.
\newblock {\em Groupes de monodromie en g{\'e}om{\'e}trie alg{\'e}brique.
  {II}}, volume 340 of {\em Lecture Notes in Mathematics}.
\newblock Springer-Verlag, Berlin--New York, 1973.

\bibitem[GKRV22]{GKRV2022}
D.~Gaitsgory, D.~Kazhdan, N.~Rozenblyum, and Y.~Varshavsky.
\newblock A toy model for the {Drinfeld--Lafforgue} shtuka construction.
\newblock {\em Indagationes Mathematicae}, 33(1):39--189, 2022.

\bibitem[GR24]{GLCI2024}
D.~Gaitsgory and S.~Raskin.
\newblock Proof of the geometric {Langlands} conjecture {I}: construction of
  the functor.
\newblock arXiv:2405.03599v3, 2024.

\bibitem[GR25]{GR2025}
D.~Gaitsgory and S.~Raskin.
\newblock Geometric {Langlands} in positive characteristic from characteristic
  zero.
\newblock G\'eom\'etrie Alg\'ebrique et Programme de {Langlands}, un volume en
  l'honneur de {G\'erard Laumon}, electronic publication, 2025.
\newblock arXiv:2508.02237v1.

\bibitem[Gro61]{EGAIII}
A.~Grothendieck.
\newblock {\'E}l{\'e}ments de g{\'e}om{\'e}trie alg{\'e}brique: {III}.
  {{\'E}}tude cohomologique des faisceaux coh{\'e}rents, premi{\`e}re partie.
\newblock {\em Publications Math{\'e}matiques de l'IH{\'E}S}, 11:5--167, 1961.

\bibitem[GV25]{GV25}
D.~Gaitsgory and Y.~Varshavsky.
\newblock Local terms for the categorical trace.
\newblock {\em Advances in Mathematics}, 470:110223, 2025.
\newblock arXiv:2012.14257v2.

\bibitem[HS23]{HS}
D.~Hansen and P.~Scholze.
\newblock Relative perversity.
\newblock {\em Communications of the American Mathematical Society},
  3:631--668, 2023.

\bibitem[Ill06]{Illusie}
L.~Illusie.
\newblock Vanishing cycles over general bases, after {P. Deligne, O. Gabber, G.
  Laumon and F. Orgogozo}.
\newblock {\em RIMS K\^oky\^uroku}, 1521:35--53, 2006.

\bibitem[Ill16]{IllusieTS2016}
L.~Illusie.
\newblock Around the {Thom--Sebastiani} theorem, 2016.
\newblock With an appendix by Weizhe Zheng. arXiv:1604.07004.

\bibitem[KS85]{KS1985}
M.~Kashiwara and P.~Schapira.
\newblock {\em Microlocal study of sheaves}, volume 128 of {\em Ast\'erisque}.
\newblock Soci\'et\'e Math\'ematique de France, 1985.

\bibitem[Laf02]{LLa02}
L.~Lafforgue.
\newblock Chtoucas de {Drinfeld} et correspondance de {Langlands}.
\newblock {\em Inventiones Mathematicae}, 147(1):1--241, 2002.

\bibitem[Laf18]{VLa18}
V.~Lafforgue.
\newblock Chtoucas pour les groupes r{\'e}ductifs et param{\'e}trisation de
  {Langlands} globale.
\newblock {\em Journal of the American Mathematical Society}, 31(3):719--891,
  2018.
\newblock arXiv:1209.5352v10.

\bibitem[Li19]{Li19}
W.-W. Li.
\newblock Contragredient representations over local fields of positive
  characteristic.
\newblock {\em Algebra \& Number Theory}, 13(5):1197--1242, 2019.

\bibitem[LZ22]{LZ22}
Q.~Lu and W.~Zheng.
\newblock Categorical traces and a relative {Lefschetz--Verdier} formula.
\newblock {\em Forum of Mathematics, Sigma}, 10:e10, 2022.
\newblock arXiv:2005.08522v4.

\bibitem[Mil71]{Milnor1971}
J.~Milnor.
\newblock {\em Introduction to algebraic {$K$}-theory}, volume~72 of {\em
  Annals of Mathematics Studies}.
\newblock Princeton University Press, Princeton, NJ, 1971.

\bibitem[NT26]{NT2026}
D.~Nadler and J.~Taylor.
\newblock The {Whittaker} functional is a shifted microstalk.
\newblock arXiv:2206.09216v5, 2026.

\bibitem[NY19]{NY2019}
D.~Nadler and Z.~Yun.
\newblock Spectral action in {Betti} geometric {Langlands}.
\newblock {\em Israel Journal of Mathematics}, 232:299--349, 2019.

\bibitem[Ols05]{Olsson2005}
M.~C. Olsson.
\newblock On proper coverings of {Artin} stacks.
\newblock {\em Adv. Math.}, 198(1):93--106, 2005.

\bibitem[{Ope}26a]{OpenAIConstructible2026}
{OpenAI}.
\newblock Constructible tame {Hecke} eigensheaves in positive characteristic.
\newblock Preprint, \url{https://github.com/openai/math}, 2026.

\bibitem[{Ope}26b]{OpenAIFrobenius2026}
{OpenAI}.
\newblock {Frobenius} structures on tame {Hecke} eigensheaves.
\newblock Preprint, \url{https://github.com/openai/math}, 2026.

\bibitem[{Ope}26c]{OpenAIRestricted2026}
{OpenAI}.
\newblock The restricted geometric {Langlands} equivalence in positive
  characteristic.
\newblock Preprint, \url{https://github.com/openai/math}, 2026.

\bibitem[Pri00]{Pries2000}
R.~J. Pries.
\newblock Construction of covers with formal and rigid geometry.
\newblock In {\em Courbes semi-stables et groupe fondamental en g\'eom\'etrie
  alg\'ebrique}, volume 187 of {\em Progress in Mathematics}, pages 157--167.
  Birkh\"auser, Basel, 2000.

\bibitem[Ric17]{Riche}
S.~Riche.
\newblock {Kostant} section, universal centralizer, and a modular derived
  {Satake} equivalence.
\newblock {\em Mathematische Zeitschrift}, 286:223--261, 2017.

\bibitem[Ric19]{Richarz}
T.~Richarz.
\newblock {Spaces with $\mathbb G_m$-action, hyperbolic localization and nearby
  cycles}.
\newblock {\em Journal of Algebraic Geometry}, 28:251--289, 2019.

\bibitem[Rio14]{Riou2014}
J.~Riou.
\newblock Classes de {Chern}, morphismes de {Gysin}, puret{\'e} absolue.
\newblock In L.~Illusie, Y.~Laszlo, and F.~Orgogozo, editors, {\em Travaux de
  {Gabber} sur l'uniformisation locale et la cohomologie {\'e}tale des
  sch{\'e}mas quasi-excellents}, number 363--364 in Ast{\'e}risque, pages
  301--349. Soci{\'e}t{\'e} math{\'e}matique de France, 2014.
\newblock Expos{\'e} XVI.

\bibitem[Sai15]{SaitoCC}
T.~Saito.
\newblock The characteristic cycle and the singular support of a constructible
  sheaf, 2015.
\newblock References are to the numbering of version~1. Published version:
  Invent. Math. \textbf{207} (2017), 597--695. arXiv:1510.03018v1.

\bibitem[Ser07]{Serre2007}
J.-P. Serre.
\newblock Bounds for the orders of the finite subgroups of {$G(k)$}.
\newblock In M.~Geck, D.~Testerman, and J.~Th{\'e}venaz, editors, {\em Group
  Representation Theory}, pages 405--450. EPFL Press, Lausanne, 2007.

\bibitem[{The}26]{StacksProject}
{The Stacks Project Authors}.
\newblock The {Stacks Project}, 2026.
\newblock \url{https://stacks.math.columbia.edu/}.

\bibitem[Ver83]{Verdier1983}
J.-L. Verdier.
\newblock Sp\'ecialisation de faisceaux et monodromie mod\'er\'ee.
\newblock In {\em Analyse et topologie sur les espaces singuliers (II--III)},
  number 101--102 in Ast\'erisque, pages 332--364. Soci\'et\'e math\'ematique
  de France, 1983.

\bibitem[Zhu17]{Zhu2017}
X.~Zhu.
\newblock An introduction to affine {Grassmannians} and the geometric {Satake}
  equivalence.
\newblock In {\em Geometry of Moduli Spaces and Representation Theory},
  volume~24 of {\em IAS/Park City Mathematics Series}, pages 59--154. American
  Mathematical Society, Providence, RI, 2017.
\newblock arXiv:1603.05593.

\end{thebibliography}