Mathematics – Logic
Scientific paper
2004-06-25
Mathematics
Logic
Scientific paper
A Frobenius difference field is an algebraically closed field of characteristic $p>0$, enriched with a symbol for $x \mapsto x^{p^m}$. We study a sentence or formula in the language of fields with a distinguished automorphism, interpreted in Frobenius difference fields with $p$ or $m$ tending to infinity. In particular, a decision procedure is found to determine when a sentence is true in almost every Frobenius difference field. This generalizes Cebotarev's density theorem and Weil's Riemann hypothesis for curves (both in qualitative versions), but hinges on a result going slightly beyond the latter. The setting for the proof is the geometry of difference varieties of transformal dimension zero; these generalize algebraic varieties, and are shown to have a rich structure, only partly explicated here. Some applications are given, in particular to finite simple groups, and to the Jacobi bound for difference equations.
No associations
LandOfFree
The Elementary Theory of the Frobenius Automorphisms does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The Elementary Theory of the Frobenius Automorphisms, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Elementary Theory of the Frobenius Automorphisms will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-206465