\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{lmodern,microtype}
\usepackage[a4paper,margin=28mm]{geometry}
\usepackage{amsmath,amssymb,amsthm,mathtools,mathrsfs}
\usepackage{booktabs,longtable,array,enumitem}
\usepackage{tikz-cd}
\usetikzlibrary{arrows.meta,positioning,calc,decorations.pathmorphing}
\usepackage{xcolor}
\usepackage[colorlinks=true,linkcolor=blue!45!black,citecolor=blue!45!black,urlcolor=blue!45!black]{hyperref}
\usepackage[nameinlink,noabbrev]{cleveref}
\setcounter{tocdepth}{2}
\usepackage{fancyhdr}
\pagestyle{fancy}
\fancyhf{}
\renewcommand{\sectionmark}[1]{\markboth{\thesection\quad #1}{}}
\fancyhead[L]{\small\itshape\nouppercase{\leftmark}}
\fancyhead[R]{\small\thepage}
\renewcommand{\headrulewidth}{0.3pt}
\setlength{\headheight}{14pt}
% floats: allow a large table at the top of a page
\renewcommand{\topfraction}{0.85}
\renewcommand{\bottomfraction}{0.7}
\renewcommand{\textfraction}{0.1}
\renewcommand{\floatpagefraction}{0.75}
\numberwithin{equation}{section}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{maintheorem}{Theorem}
\renewcommand{\themaintheorem}{\Alph{maintheorem}}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{hypothesis}[theorem]{Hypothesis}
\newtheorem{setup}[theorem]{Setup}
\newtheorem{remark}[theorem]{Remark}
\newtheorem*{remark*}{Remark}
\newcommand{\A}{\mathbb A}
\newcommand{\Gm}{\mathbb G_m}
\newcommand{\Ga}{\mathbb G_a}
\newcommand{\Q}{\mathbb Q}
\newcommand{\C}{\mathbb C}
\newcommand{\Z}{\mathbb Z}
\newcommand{\F}{\mathbb F}
\newcommand{\cO}{\mathcal O}
\newcommand{\cE}{\mathcal E}
\newcommand{\cH}{\mathcal H}
\newcommand{\Nilp}{\operatorname{Nilp}}
\newcommand{\Bun}{\operatorname{Bun}}
\newcommand{\LocSys}{\operatorname{LocSys}}
\newcommand{\Spec}{\operatorname{Spec}}
\newcommand{\Gal}{\operatorname{Gal}}
\newcommand{\Rep}{\operatorname{Rep}}
\newcommand{\Ad}{\operatorname{Ad}}
\newcommand{\Lie}{\operatorname{Lie}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\End}{\operatorname{End}}
\newcommand{\rk}{\operatorname{rk}}
\newcommand{\Tr}{\operatorname{Tr}}
\newcommand{\Sw}{\operatorname{Sw}}
\newcommand{\dimtot}{\operatorname{dimtot}}
\newcommand{\Supp}{\operatorname{Supp}}
\newcommand{\Fib}{\operatorname{Fib}}
\newcommand{\Cone}{\operatorname{Cone}}
\newcommand{\id}{\operatorname{id}}
\newcommand{\pr}{\operatorname{pr}}
\newcommand{\ULA}{\mathrm{ULA}}
\newcommand{\cons}{\mathrm{cons}}
\newcommand{\Perv}{\operatorname{Perv}}
\newcommand{\Frob}{\operatorname{Frob}}
\newcommand{\cusp}{\mathrm{cusp}}
\newcommand{\scg}{\mathrm{sc}}
\newcommand{\et}{\mathrm{\acute et}}
\newcommand{\op}{\mathrm{op}}
\newcommand{\ot}{\mathbin{\otimes}}
\newcommand{\bo}{\mathbin{\boxtimes}}
\setlength{\emergencystretch}{2em}
\setlist{itemsep=3pt,topsep=5pt}
% Steps inside long proofs.
\newcommand{\step}[2]{\medskip\noindent\textit{Step #1: #2.}\ }
% External inputs, numbered through the paper.
\theoremstyle{plain}
\newtheorem{extinput}{Input}
\crefname{extinput}{Input}{Inputs}

% References to the other papers of the series: \xref{I}{label} prints I.8.1.
\makeatletter
\newcommand{\extlabel}[2]{\expandafter\gdef\csname ext@#1\endcsname{#2}}
\newcommand{\xref}[2]{\@ifundefined{ext@#1:#2}%
 {\textbf{??}\@latex@warning{External reference #1:#2 undefined}}%
 {\textup{#1.\csname ext@#1:#2\endcsname}}}
\newcommand{\xeqref}[2]{\textup{(}\xref{#1}{#2}\textup{)}}
% \xnum{II}{label} prints the bare number, for use inside \cite[...]{}.
\newcommand{\xnum}[2]{\@ifundefined{ext@#1:#2}%
 {\textbf{??}\@latex@warning{External reference #1:#2 undefined}}%
 {\csname ext@#1:#2\endcsname}}
\makeatother
\newcommand{\seriestitle}{Automorphic realization of Langlands parameters for split groups over global function fields}