Algebraic differential equations from covering maps

DOI10.1016/J.AIM.2018.03.008zbMATH Open1423.12008arXiv1408.5177OpenAlexW2962924299MaRDI QIDQ1644985FDOQ1644985

T. J. Scanlon

Publication date: 22 June 2018

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: Let $Y$ be a complex algebraic variety, $GcurvearrowrightY$ an action of an algebraic group on $Y$, $UsubseteqY(mathbbC)$ a complex submanifold, $Gamma<G(mathbbC)$ a discrete, Zariski dense subgroup of $G(mathbbC)$ which preserves $U$, and $pi:UoX(mathbbC)$ an analytic covering map of the complex algebraic variety $X$ expressing $X(mathbbC)$ as $$. We note that the theory of elimination of imaginaries in differentially closed fields produces a generalized Schwarzian derivative $widetildechi:YoZ$ (where $Z$ is some algebraic variety) expressing the quotient of $Y$ by the action of the constant points of $G$. Under the additional hypothesis that the restriction of $pi$ to some set containing a fundamental domain is definable in an o-minimal expansion of the real field, we show as a consequence of the Peterzil-Starchenko o-minimal GAGA theorem that the emph{prima facie} differentially analytic relation $chi:=widetildechicircp{i}^{-1}$ is a well-defined, differential constructible function. The function $chi$ nearly inverts $pi$ in the sense that for any differential field $K$ of meromorphic functions, if $a,binX(K)$ then $chi(a)=chi(b)$ if and only if after suitable restriction there is some $gammainG(mathbbC)$ with $pi(gammacdotp{i}^{-1}(a))=b$.

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

Recommendations

• Schwarz maps of algebraic linear ordinary differential equations
• scientific article; zbMATH DE number 3904745
• Geometry of Differential Polynomial Functions, I: Algebraic Groups
• Quantifier elimination for algebraic $D$-groups
• scientific article

zbMATH Keywords

covering mapsgeneralized Schwarziano-minimal complex analysisPicard-Fuchs operators

Mathematics Subject Classification ID

Structure of families (Picard-Lefschetz, monodromy, etc.) (14D05) Model theory of ordered structures; o-minimality (03C64) Differential algebra (12H05) Semi-analytic sets, subanalytic sets, and generalizations (32B20)

Cites Work

• Über die wesentlichen Singularitäten analytischer Mengen
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the real exponential field with restricted analytic functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Periods of Integrals on Algebraic Manifolds, I. (Construction and Properties of the Modular Varieties)
• The hyperbolic Ax-Lindemann-Weierstraß conjecture
• Definability of restricted theta functions and families of abelian varieties
• On Schanuel's conjectures
• Title not available (Why is that?)
• Complex analytic geometry and analytic-geometric categories
• Title not available (Why is that?)
• Ax-Schanuel for the \(j\)-function
• Title not available (Why is that?)
• Expansions of algebraically closed fields in o-minimal structures
• Uniform definability of the Weierstrass \(\wp\) functions and generalized tori of dimension one
• On the transcendence degree of the differential field generated by Siegel modular forms
• Jet and prolongation spaces
• Conditions for the analyticity of certain sets
• Abstract Differential Algebra and the Analytic Case
• Abstract Differential Algebra and the Analytic Case. II
• Title not available (Why is that?)
• On the removal of singularities of analytic sets
• Strong minimality and the \(j\)-function
• Une théorie de Galois imaginaire
• EXPANSIONS OF ALGEBRAICALLY CLOSED FIELDS II: FUNCTIONS OF SEVERAL VARIABLES
• Geometry of Differential Polynomial Functions, III: Moduli Spaces
• The uniformizing differential equation of the complex hyperbolic structure on the moduli space of marked cubic surfaces
• The model theory of differential fields with finitely many commuting derivations
• Title not available (Why is that?)
• Mild manifolds and a non-standard Riemann existence theorem
• Title not available (Why is that?)
• Complex analytic geometry in a nonstandard setting

Cited In (7)

• Tame topology of arithmetic quotients and algebraicity of Hodge loci
• Title not available (Why is that?)
• Ax-Schanuel for Shimura varieties
• Locally definable subgroups of semialgebraic groups
• Internality of logarithmic-differential pullbacks
• Strong minimality and the \(j\)-function
• An application of Cartan's equivalence method to Hirschowitz's conjecture on the formal principle

This page was built for publication: Algebraic differential equations from covering maps

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