## Iterative differential Galois theory in positive characteristic: a model theoretic approach.(English)Zbl 1225.03041

Summary: This paper introduces a natural extension of Kolchin’s differential Galois theory to positive characteristic iterative differential fields, generalizing to the nonlinear case the iterative Picard-Vessiot theory recently developed by Matzat and van der Put. We use the methods and framework provided by the model theory of iterative differential fields. We offer a definition of strongly normal extension of iterative differential fields, and then prove that these extensions have good Galois theory and that a $$G$$-primitive element theorem holds. In addition, making use of the basic theory of arc spaces of algebraic groups, we define iterative logarithmic equations, finally proving that our strongly normal extensions are Galois extensions for these equations.

### MSC:

 03C60 Model-theoretic algebra 12H05 Differential algebra
Full Text:

### References:

 [1] Stable groups (2001) [2] Galois theory of linear differential equations (2003) [3] Superstable differential fields 56 pp 97– (1992) [4] Lectures on differential Galois theory 7 (1994) · Zbl 0855.12001 [5] DOI: 10.1090/S0002-9947-03-03306-3 · Zbl 1036.12005 [6] Differential algebra and algebraic groups (1973) [7] Differential Galois theory (Bedlewo, 2001) 58 pp 97– (2002) [8] DOI: 10.1016/0168-0072(90)90046-5 · Zbl 0713.03015 [9] Illinois Journal of Mathematics 34 pp 127– (1990) [10] Model theory and algebraic geometry: An introduction to E. Hrushovski’s proof of the geometric Mordell–Lang conjecture 1696 pp 143– (1999) [11] DOI: 10.1016/S0012-9593(01)01074-6 · Zbl 1010.12004 [12] Illinois Journal of Mathematics 3 pp 453– (1997) [13] DOI: 10.2140/pjm.2004.216.343 · Zbl 1093.12004 [14] Model theory and applications 11 (2002) [15] Illinois Journal of Mathematics 42 pp 678– (1998) [16] DOI: 10.1016/S0168-0072(97)00021-3 · Zbl 0927.03064 [17] Differential algebra of nonzero characteristic 16 (1987) · Zbl 0757.12004 [18] Journal of Mathematics of Kyoto University 2 pp 294– (1963) [19] Journal für die Reine und Angewandte Mathematik 620 pp 35– (2008) [20] Separably closedfields with higher derivations 60 pp 898– (1995) [21] Model theory of algebra and arithmetic pp 381– (1980) [22] Separably closed fields with Hasse derivations 68 pp 311– (2003) · Zbl 1039.03031 [23] Séminaires et Congrès 14 pp 299– (2006) [24] DOI: 10.2140/pjm.1989.138.151 · Zbl 0635.12016 [25] Une théorie de Galois imaginaire 48 pp 1151– (1983)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.