Twisted Galois stratification (Q639610): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
EloiFerrer (talk | contribs) Merged Item from Q2828011 |
||||||||||||||
(3 intermediate revisions by 2 users not shown) | |||||||||||||||
aliases / en / 0 | aliases / en / 0 | ||||||||||||||
TWISTED GALOIS STRATIFICATION | |||||||||||||||
description / en | description / en | ||||||||||||||
scientific article | scientific article; zbMATH DE number 6642611 | ||||||||||||||
Property / title | |||||||||||||||
TWISTED GALOIS STRATIFICATION (English) | |||||||||||||||
Property / title: TWISTED GALOIS STRATIFICATION (English) / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Open document ID | |||||||||||||||
Property / zbMATH Open document ID: 1475.03088 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / DOI | |||||||||||||||
Property / DOI: 10.1017/nmj.2016.9 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / published in | |||||||||||||||
Property / published in: Nagoya Mathematical Journal / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / publication date | |||||||||||||||
24 October 2016
| |||||||||||||||
Property / publication date: 24 October 2016 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 11G25 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 14G10 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 6642611 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / OpenAlex ID | |||||||||||||||
Property / OpenAlex ID: W2963723225 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / arXiv ID | |||||||||||||||
Property / arXiv ID: 1112.0802 / rank | |||||||||||||||
Normal rank |
Latest revision as of 14:34, 29 April 2024
scientific article; zbMATH DE number 6642611
- TWISTED GALOIS STRATIFICATION
Language | Label | Description | Also known as |
---|---|---|---|
English | Twisted Galois stratification |
scientific article; zbMATH DE number 6642611 |
|
Statements
Twisted Galois stratification (English)
0 references
TWISTED GALOIS STRATIFICATION (English)
0 references
22 September 2011
0 references
24 October 2016
0 references
Galois stratification for formulas in the language of rings, introduced by \textit{M.~Fried} and \textit{G.~Sacerdote} [``Solving diophantine problems over all residue class fields of a number field and all finite fields'', Ann. Math. (2) 104, 203--233 (1976; Zbl 0376.02042)], provides an explicit description of definable sets over finite fields by giving a quantifier elimination procedure for so-called Galois formulas associated with Galois covers of varieties. This strengthened results by \textit{J.~Ax} [``The elementary theory of finite fields'', Ann. Math. (2) 88, 239--271 (1968; Zbl 0195.05701)] on the theory of finite fields. \textit{E.~Hrushovski} [``The elementary theory of the Frobenius automorphisms'', \url{arXiv:math/0406514}] generalized several aspects of Ax' work by developing a theory of difference schemes and studying the elementary theory of Frobenius difference fields, i.e.~algebraically closed fields of positive characteristic together with a power of the Frobenius endomorphism. The present paper develops a theory of Galois stratification for formulas in the language of difference rings. For this, the notions of twisted Galois covers of difference schemes and twisted Galois stratifications are introduced, and a quantifier elimination is proven. This leads to an algebraic description of definable sets over Frobenius difference fields. After publication, a significantly extended version under the same title appeared as [\url{arXiv:1112.0802}].
0 references
difference ring
0 references
difference scheme
0 references
Galois stratification
0 references
Frobenius automorphism
0 references