Some model theory of fibrations and algebraic reductions

DOI10.1007/S00029-014-0150-1MaRDI QIDQ478555zbMATH OpenOpenAlexFDO

Authors Rahim Moosa, Anand Pillay

Publication date 3 December 2014

Published in Selecta Mathematica. New Series (Search for Journal in Brave)

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

zbMATH Keywords

algebraic reductiondescentdifferential-algebraic varietyhyper-Kähler manifoldtypes of finite \(U\)-rank

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Applications of model theory (03C98) Compact analytic spaces (32J99) Hyper-Kähler and quaternionic Kähler geometry, ``special geometry (53C26)

Abstract: Let p=tp(a/A) be a stationary type in an arbitrary finite rank stable theory, and P an A-invariant family of partial types. The following property is introduced and characterised: whenever c is definable over (A,a) and a is not algebraic over (A,c) then p(c/A) is almost internal to P. The characterisation involves among other things an apparently new notion of ``descent" for stationary types. Motivation comes partly from results in Section~2 of [Campana, Oguiso, and Peternell. Non-algebraic hyperk"ahler manifolds. Journal of Differential Geometry, 85(3):397--424, 2010] where structural properties of generalised hyperk"ahler manifolds are given. The model-theoretic results obtained here are applied back to the complex analytic setting to prove that the algebraic reduction of a nonalgebraic (generalised) hyperk"ahler manifold does not descend. The results are also applied to the theory of differentially closed fields, where examples coming from differential algebraic groups are given.

Recommendations

• A model-theoretic counterpart to Moishezon morphisms
• scientific article; zbMATH DE number 554994
• On fibrations and measures of irrationality of hyper-Kähler manifolds
• Model theory and Kähler geometry
• On canonical bases and internality criteria

Cites work

• A nonstandard Riemann existence theorem
• A note on canonical bases and one-based types in supersimple theories
• scientific article; zbMATH DE number 1002918 (Why is no real title available?)
• scientific article; zbMATH DE number 3809969 (Why is no real title available?)
• scientific article; zbMATH DE number 5066365 (Why is no real title available?)
• Manin kernels
• Model theory of difference fields
• Nonalgebraic hyperkähler manifolds
• On canonical bases and internality criteria
• On saturation and the model theory of compact Kähler manifolds
• Relative algebraic reduction and relative Albanese map for a fiber space in C
• Some model theory of compact complex spaces
• Zariski geometries. Geometry from the logician's point of view

Cited in

(11)

• Filtered model of a fibration and rational obstruction theory
• Isolated types of finite rank: an abstract Dixmier-Moeglin equivalence
• Rational factors, invariant foliations and algebraic disintegration of compact mixing Anosov flows of dimension \(3\)
• When any three solutions are independent
• scientific article; zbMATH DE number 1300210 (Why is no real title available?)
• scientific article; zbMATH DE number 845467 (Why is no real title available?)
• Reduction maps and minimal model theory
• MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED
• The degree of nonminimality is at most 2
• Abelian reduction in differential-algebraic and bimeromorphic geometry
• Bounding nonminimality and a conjecture of Borovik-Cherlin

This page was built for publication: Some model theory of fibrations and algebraic reductions

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