Embedded Picard-Vessiot extensions

DOI10.1080/00927872.2018.1448848MaRDI QIDQ4689801zbMATH OpenOpenAlexWikidataFDO

Authors Quentin Brouette, Greg Cousins, Françoise Point, Anand Pillay

Publication date 22 October 2018

Published in Communications in Algebra (Search for Journal in Brave)

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

zbMATH Keywords

almost quantifier eliminationbounded fielddifferential fieldlarge fieldPicard-Vessiot extension

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Differential algebra (12H05) Algebraic aspects (differential-algebraic, hypertranscendence, group-theoretical) of ordinary differential equations in the complex domain (34M15)

Abstract: We prove that if T is a theory of large, bounded, fields of characteristic zero, with almost quantifier elimination, and T_D is the model companion of T + "D is a derivation", then for any model U of T_D, and differential subfield K of U whose field of constants is a model of T, and linear differential equation DY = AY over K, there is a Picard-Vessiot extension L of K for the equation which is embedded in U over K Likewise for logarithmic differential equations over K on connected algebraic groups over the constants of K and the corresponding strongly normal extensions of K.

Recommendations

• Interpretations and differential Galois extensions
• An intrinsic characterization of Picard-Vessiot extensions
• Picard-Vessiot extensions for real fields
• Galois correspondence theorem for Picard-Vessiot extensions
• Picard-Vessiot theory for real fields

Cites work

• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• A note on the axioms for differentially closed fields of characteristic zero
• scientific article; zbMATH DE number 6424177 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)
• Interpretations and differential Galois extensions
• On differential Galois groups of strongly normal extensions
• On PAC and bounded substructures of a stable structure
• Parameterized Picard-Vessiot extensions and Atiyah extensions
• Real and \(p\)-adic Picard-Vessiot fields
• Some definable Galois theory and examples
• Some remarks concerning the theory of ordered differentially closed fields.
• The model theory of ordered differential fields
• The uniform companion for large differential fields of characteristic 0
• Topological differential fields

Cited in

(8)

• Definability of types and VC density in differential topological fields
• Topological fields with a generic derivation
• An intrinsic characterization of Picard-Vessiot extensions
• Interpretations and differential Galois extensions
• Differential Galois cohomology and parameterized Picard-Vessiot extensions
• scientific article; zbMATH DE number 2220976 (Why is no real title available?)
• Differentially large fields
• On definable groups and D-groups in certain fields with a generic derivation

This page was built for publication: Embedded Picard-Vessiot extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4689801)