Invariant rational functions under rational transformations

MaRDI QIDQ6510641arXivFDO

Authors Jason P. Bell, Rahim Moosa, Matthew Satriano

Mathematics Subject Classification ID

Birational automorphisms, Cremona group and generalizations (14E07) Difference algebra (12H10) Model theory of fields (12L12)

Abstract: Let $X$ be a complex algebraic variety equipped with a birational map $phi:XoX$. A new quantity measuring the interaction of $(X,phi)$ with trivial dynamical systems is introduced; the {em eventual algebraic dimension} of $(X,phi)$ captures the maximum number of new algebraically independent invariant rational functions on the cartesian product of $(X,phi)$ and $(Y,psi)$, as $(Y,psi)$ ranges over all algebraic dynamical systems. It is shown that this birational invariant is bounded above by the maximum dimension of a translation variety appearing as a dominant equivariant rational image. Moreover, if $(X,phi)$ has no nonconstant invariant rational functions then these two quantities agree. As a consequence, it is deduced that if some cartesian power of $(X,phi)$ admits a nonconstant invariant rational function, then already the second cartesian power does.

This page was built for publication: Invariant rational functions under rational transformations

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