Designing and exploiting fast algorithms for univariate polynomial matrices - Lecture 1
By Vincent Neiger
Designing and exploiting fast algorithms for univariate polynomial matrices - Lecture 2
By Vincent Neiger
By Martin Hils
Appears in collection : Model theory of valued fields / Théorie des modèles des corps valués
(joint work with Ehud Hrushovski, Jinhe Ye and Tingxiang Zou) We prove Lang-Weil type bounds for the number of rational points of difference varieties over finite difference fields, in terms of the transformal dimension of the variety and assuming the existence of a smooth rational point. It follows that in (certain) non-principle ultraproducts of finite difference fields the course dimension of a quantifier free type equals its transformal tran-scendence degree. The proof uses a strong form of the Lang-Weil estimates and, as key ingredi-ent to obtain equidimensional Frobenius specializations, the recent work of Dor and Hrushovski on the non-standard Frobenius acting on an algebraically closed non-trivially valued field, in particular the pure stable embeddedness of the residue difference field in this context.