Some model theory of fibrations and algebraic reductions

DOI10.1007/S00029-014-0150-1zbMATH Open1342.03033arXiv1210.2793OpenAlexW2061611354MaRDI QIDQ478555FDOQ478555

Authors: Rahim Moosa, Anand Pillay 

Publication date: 3 December 2014

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

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.

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

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

zbMATH Keywords

descentalgebraic reductiondifferential-algebraic varietytypes of finite \(U\)-rankhyper-Kähler manifold

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

• Isolated types of finite rank: an abstract Dixmier-Moeglin equivalence
• Title not available (Why is that?)
• Reduction maps and minimal model theory
• Rational factors, invariant foliations and algebraic disintegration of compact mixing Anosov flows of dimension \(3\)
• The degree of nonminimality is at most 2
• Filtered model of a fibration and rational obstruction theory
• Title not available (Why is that?)
• When any three solutions are independent
• MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED

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)