Publication:639610

DOI10.1016/J.CRMA.2011.07.018zbMath1248.12004arXiv1112.0802OpenAlexW2800347753MaRDI QIDQ639610

Ivan Tomašić

Publication date: 22 September 2011

Published in: Comptes Rendus. Mathématique. Académie des Sciences, Paris, Nagoya Mathematical Journal (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1112.0802

zbMATH Keywords

difference schemeFrobenius automorphismGalois stratificationdifference ring

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Finite ground fields in algebraic geometry (14G15) Zeta functions and related questions in algebraic geometry (e.g., Birch-Swinnerton-Dyer conjecture) (14G10) Varieties over finite and local fields (11G25) Coverings in algebraic geometry (14E20) Automorphisms and endomorphisms of algebraic structures (08A35) Difference algebra (12H10)

Cites Work

• Unnamed Item
• Variables separated equations: strikingly different roles for the branch cycle lemma and the finite simple group classification
• A twisted theorem of Chebotarev
• Solving diophantine problems over all residue class fields of a number field and all finite fields
• Effective counting of the points of definable sets over finite fields
• Generic automorphisms of fields
• Difference Galois theory of linear differential equations
• Difference algebra
• The elementary theory of finite fields
• Definable sets, motives and 𝑝-adic integrals
• Finitely Generated Pathological Extensions Of Difference Fields
• Sets Definable Over Finite Fields: Their Zeta-Functions
• Model theory of difference fields
• A twisted theorem of Chebotarev
• Relative Motives and the Theory of Pseudo-finite Fields

Related Items (7)

Difference Galois theory and dynamics ⋮ Strongly étale difference algebras and Babbitt's decomposition ⋮ Direct twisted Galois stratification ⋮ Twisted Galois stratification ⋮ On the dimension of systems of algebraic difference equations ⋮ Generalized differentials and prolongation spaces ⋮ Effective difference elimination and nullstellensatz

This page was built for publication: Twisted Galois stratification