Invariant hypersurfaces

DOI10.1017/S1474748020000262zbMATH Open1497.14033arXiv1812.08346MaRDI QIDQ5037536FDOQ5037536

Authors: Rahim Moosa, Adam Topaz, Jason P. Bell 

Publication date: 1 March 2022

Published in: Journal of the Institute of Mathematics of Jussieu (Search for Journal in Brave)

Abstract: The following theorem, which includes as very special cases results of Jouanolou and Hrushovski on algebraic $D$-varieties on the one hand, and of Cantat on rational dynamics on the other, is established: Working over a field of characteristic zero, suppose $ph{i}_1,ph{i}_2:ZoX$ are dominant rational maps from a (possibly nonreduced) irreducible scheme $Z$ of finite-type to an algebraic variety $X$, with the property that there are infinitely many hypersurfaces on $X$ whose scheme-theoretic inverse images under $ph{i}_1$ and $ph{i}_2$ agree. Then there is a nonconstant rational function $g$ on $X$ such that $gph{i}_1=gph{i}_2$. In the case when $Z$ is also reduced the scheme-theoretic inverse image can be replaced by the proper transform. A partial result is obtained in positive characteristic. Applications include an extension of the Jouanolou-Hrushovski theorem to generalised algebraic $mathcalD$-varieties and of Cantat's theorem to self-correspondences.

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

Recommendations

• Invariant hypersurfaces in holomorphic dynamics
• Invariant hypersurfaces of endomorphisms of projective varieties
• Finiteness theorems on hypersurfaces in partial differential-algebraic geometry
• On endomorphisms of hypersurfaces
• Invariant hypersurfaces for positive characteristic vector fields

zbMATH Keywords

dynamical systemrational mapfoliationhypersurface\(D\)-varietygeneralised operatorself-correspondence

Mathematics Subject Classification ID

Differential algebra (12H05) Difference algebra (12H10) Birational geometry (14E99) Higher-dimensional holomorphic and meromorphic dynamics (37F80)

Cites Work

• Title not available (Why is that?)
• Hypersurfaces solutions d'une équation de Pfaff analytique
• Algebraic Groups and Algebraic Dependence
• Jet and prolongation spaces
• The Dixmier-Moeglin equivalence for twisted homogeneous coordinate rings.
• Invariant hypersurfaces in holomorphic dynamics
• Compact complex manifolds without meromorphic functions
• Finiteness theorems on hypersurfaces in partial differential-algebraic geometry
• Poisson algebras via model theory and differential-algebraic geometry
• Model theory of fields with free operators in characteristic zero

Cited In (8)

• Arithmetic degrees and Zariski dense orbits of cohomologically hyperbolic maps
• Invariant rational forms for correspondences of curves
• Invariant hypersurfaces with linear prescribed mean curvature
• On a dynamical version of a theorem of Rosenlicht
• Invariant hypersurfaces in holomorphic dynamics
• Homogeneous surfaces admitting invariant connections
• Title not available (Why is that?)
• Invariant surfaces in the homogeneous space Sol with constant curvature

This page was built for publication: Invariant hypersurfaces

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