Twisted Galois stratification
Algebraic Geometry
2012-10-16 v2 Logic
Abstract
We prove a direct image theorem stating that the direct image of a Galois formula by a morphism of difference schemes is equivalent to a Galois formula over fields with powers of Frobenius. As a consequence, we obtain an effective quantifier elimination procedure and a precise algebraic-geometric description of definable sets over fields with Frobenii in terms of twisted Galois formulae associated with finite Galois covers of difference schemes.
Cite
@article{arxiv.1112.0802,
title = {Twisted Galois stratification},
author = {Ivan Tomasic},
journal= {arXiv preprint arXiv:1112.0802},
year = {2012}
}