TY - JOUR

T1 - Interpretations and differential galois extensions

AU - Kamensky, Moshe

AU - Pillay, Anand

N1 - Funding Information:
This study was partially supported by the Mathematical Sciences Research Institute, Berkeley, and by a National Science Foundation Grant DMS-1360702.
Publisher Copyright:
© The Author(s) 2016. Published by Oxford University Press. All rights reserved.

PY - 2016/12/1

Y1 - 2016/12/1

N2 - We give accounts and proofs, using model-theoretic methods among other things, of the following results: Suppose ∂Y = AY is a linear differential equation over a differential field K of characteristic 0, and the field CK of constants of K is existentially closed in K. Then, (i) there exists a Picard-Vessiot extension L of K, namely a differential field extension L of K which is generated by a fundamental system of solutions of the equation, and has no new constants; (ii) if L1 and L2 are two Picard-Vessiot extensions of K which (as fields) have a common embedding over K into an elementary extension of CK, then L1 and L2 are isomorphic over K as differential fields; and (iii) suppose that CK is large in the sense of Pop [21] and also has only finitely many extensions of degree n for all n (Serre's property (F)). Then, K has a Picard-Vessiot extension L such that CK is existentially closed in L. In fact we state and prove our results in the more general context of logarithmic differential equations over K on (not necessarily linear) algebraic groups over CK, and the corresponding strongly normal extensions of K. We make use of interpretations from model theory as well the Galois groupoid, which are related to the Tannakian theory in [3, 4], but go beyond the linear context. Towards the proof of (iii) we obtain a Galois-cohomological result of possibly independent interest: if k is a field of characteristic 0 with property (F), and G is any algebraic group over k, then H1(k, G) is countable. The current paper replaces the preprint [8] which only dealt with the linear differential equations case and had some mistakes.

AB - We give accounts and proofs, using model-theoretic methods among other things, of the following results: Suppose ∂Y = AY is a linear differential equation over a differential field K of characteristic 0, and the field CK of constants of K is existentially closed in K. Then, (i) there exists a Picard-Vessiot extension L of K, namely a differential field extension L of K which is generated by a fundamental system of solutions of the equation, and has no new constants; (ii) if L1 and L2 are two Picard-Vessiot extensions of K which (as fields) have a common embedding over K into an elementary extension of CK, then L1 and L2 are isomorphic over K as differential fields; and (iii) suppose that CK is large in the sense of Pop [21] and also has only finitely many extensions of degree n for all n (Serre's property (F)). Then, K has a Picard-Vessiot extension L such that CK is existentially closed in L. In fact we state and prove our results in the more general context of logarithmic differential equations over K on (not necessarily linear) algebraic groups over CK, and the corresponding strongly normal extensions of K. We make use of interpretations from model theory as well the Galois groupoid, which are related to the Tannakian theory in [3, 4], but go beyond the linear context. Towards the proof of (iii) we obtain a Galois-cohomological result of possibly independent interest: if k is a field of characteristic 0 with property (F), and G is any algebraic group over k, then H1(k, G) is countable. The current paper replaces the preprint [8] which only dealt with the linear differential equations case and had some mistakes.

UR - http://www.scopus.com/inward/record.url?scp=85014343936&partnerID=8YFLogxK

U2 - 10.1093/imrn/rnw019

DO - 10.1093/imrn/rnw019

M3 - Article

AN - SCOPUS:85014343936

SN - 1073-7928

VL - 2016

SP - 7390

EP - 7413

JO - International Mathematics Research Notices

JF - International Mathematics Research Notices

IS - 24

ER -