Hostname: page-component-77c89778f8-swr86 Total loading time: 0 Render date: 2024-07-18T23:58:00.524Z Has data issue: false hasContentIssue false


Published online by Cambridge University Press:  17 August 2020

Jason Bell
University of Waterloo, Department of Pure Mathematics, 200 University Avenue West, Waterloo, OntarioN2L 3G1, Canada (;
Rahim Moosa
University of Waterloo, Department of Pure Mathematics, 200 University Avenue West, Waterloo, OntarioN2L 3G1, Canada (;
Adam Topaz
Mathematical and Statistical Sciences, University of Alberta, 632 Central Academic Building, Edmonton, AlbertaT6G 2G1, Canada (


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 $\unicode[STIX]{x1D719}_{1},\unicode[STIX]{x1D719}_{2}:Z\rightarrow X$ are dominant rational maps from an (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 $\unicode[STIX]{x1D719}_{1}$ and $\unicode[STIX]{x1D719}_{2}$ agree. Then there is a nonconstant rational function $g$ on $X$ such that $g\unicode[STIX]{x1D719}_{1}=g\unicode[STIX]{x1D719}_{2}$. In the case where $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 ${\mathcal{D}}$-varieties and of Cantat’s theorem to self-correspondences.

Research Article
© The Author(s) 2020. Published by Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)


Bell, J., Launois, S., Leon Sanchez, O. and Moosa, R., Poisson algebras via model theory and differential algebraic geometry, J. Eur. Math. Soc. 19(7) (2017), 20192049.CrossRefGoogle Scholar
Bell, J., Rogalski, D. and Sierra, S. J., The Dixmier–Moeglin equivalence for twisted homogeneous coordinate rings, Israel J. Math. 180 (2010), 461507.CrossRefGoogle Scholar
Cantat, S., Invariant hypersurfaces in holomorphic dynamics, Math. Res. Lett. 17(5) (2010), 833841.CrossRefGoogle Scholar
Freitag, J. and Moosa, R., Finiteness theorems on hypersurfaces in partial differential-algebraic geometry, Adv. Math. 314 (2017), 726755.CrossRefGoogle Scholar
Hrushovski, E., Unpublished and untitled notes on ‘how to deduce the omega-categoricity of degree one strongly minimal sets in DCF from Jouanolou’s work’ dating from the mid-nineties.Google Scholar
Jouanolou, J. P., Hypersurfaces solutions d’une équation de Pfaff analytique, Math. Ann. 232(3) (1978), 239245.10.1007/BF01351428CrossRefGoogle Scholar
Kolchin, E. R., Algebraic groups and algebraic dependence, Amer. J. Math. 90 (1968), 11511164.CrossRefGoogle Scholar
Krasnov, V. A., Compact complex manifolds without meromorphic functions, Mat. Zametki 17 (1975), 119122.Google Scholar
Lang, S., Fundamentals of Diophantine Geometry (Springer, New York, 1983).CrossRefGoogle Scholar
Moosa, R. and Scanlon, T., Jet and prolongation spaces, J. Inst. Math. Jussieu 9(2) (2010), 391430.CrossRefGoogle Scholar
Moosa, R. and Scanlon, T., Model theory of fields with free operators in characteristic zero, J. Math. Log. 14(2) (2014), 1450009, 43.Google Scholar