db4d203e784e7f1c.tex
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}