1: \begin{abstract}
2: Let $\bF_q$ be the order $q$ finite field. An $\bF_q$ cover $\phi:X\to Y$ of absolutely irreducible
3: normal varieties has a {\sl nonsingular locus}. Then, $\phi$ is {\sl
4: exceptional\/} if it maps one-one on
5: $\bF_{q^t}$ points for $\infty$-ly many
6: $t$ over this locus. Lenstra
7: suggested a curve $Y$ may have an {\sl Exceptional (cover) Tower\/} over
8: $\bF_q$ \cite{Lenstra}. We construct it, and its
9: canonical limit group and permutation representation, in general. We know all one-variable
10: tamely ramified rational function exceptional covers, and much on wildly ramified one variable polynomial exceptional
11: covers, from \cite{FGS}, \cite{GMS} and \cite{LMT}. We use exceptional towers to form subtowers
12: from any exceptional cover collections. This gives us a language for separating known results from
13: unsolved problems.
14:
15: We generalize exceptionality to p(ossibly)r(educible)-exceptional covers by
16: dropping irreducibility of $X$. {\sl
17: Davenport pairs\/} (DPs) are significantly different covers of $Y$ with the same ranges (where maps are
18: non-singular) on
19: $\bF_{q^t}$ points for $\infty$-ly many $t$. If the range values have the same multiplicities, we have an
20: {\sl iDP}. We show how a pr-exceptional correspondence on $\bF_q$ covers characterizes a Davenport pair.
21:
22: You recognize exceptional covers and iDPs from their {\sl extension of
23: constants\/} series. Our topics include some of their dramatic effects:
24: \begin{itemize} \item How they produce universal {\sl relations\/} between Poincar\'e series.
25: \item How they relate to the Guralnick-Thompson genus 0 problem and to Serre's open image
26: theorem. \end{itemize}
27: Historical sections capture Davenport's late '60s desire to deepen ties between exceptional covers,
28: their related cryptology, and the Weil
29: conjectures.
30: \end{abstract}