Birational maps with transcendental dynamical degree

Jason Bell,Jeffrey Diller,Mattias Jonsson,Holly Krieger

2023-10-25

Abstract:We give examples of birational selfmaps of $\mathbb{P}^d, d \geq 3$, whose dynamical degree is a transcendental number. This contradicts a conjecture by Bellon and Viallet. The proof uses a combination of techniques from algebraic dynamics and diophantine approximation.

Dynamical Systems,Algebraic Geometry,Number Theory

What problem does this paper attempt to address?

Dynamical degrees of birational maps from indices of polynomials with respect to blow-ups II. 3D examples

Jaume Alonso,Yuri B. Suris,Kangning Wei

2023-07-22

Abstract:The goal of this paper is the exact computation of the degrees $\text{deg}(f^n)$ of the iterates of birational maps $f: \mathbb{P}^N \dashrightarrow \mathbb{P}^N$. In the preceding companion paper, a new method has been proposed based on the use of indices of polynomials associated to the local blow-ups used to resolve contractions of hypersurfaces by $f$, and on the control of the factorization of pull-backs of polynomials. This leads to recurrence relations for the degrees and the indices. We apply this method to several illustrative examples in three dimensions. These examples demonstrate the flexibility of the method which, in particular, does not require the construction of an algebraically stable lift of $f$, unlike the previously known methods based on the Picard group.

Dynamical Systems,Mathematical Physics,Algebraic Geometry,Exactly Solvable and Integrable Systems
A $1$-cohomologically hyperbolic birational map of $\mathbb{P}^3$, with a transcendental arithmetic degree

Yutaro Sugimoto

2024-01-18

Abstract:We construct a $1$-cohomologically hyperbolic birational map of $\mathbb{P}^3$, with transcendental first dynamical degree. The arithmetic degree of this map at a $\overline{\mathbb{Q}}$-point is transcendental.

Algebraic Geometry
General birationality and Hyperelliptic Theta divisors

Fabrizio Catanese

2024-04-27

Abstract:We first state a condition ensuring that having a birational map onto the image is an open property for families of irreducible normal non uniruled varieties. We give then some criteria to ensure general birationality for a family of rational maps, via specializations. Among the applications is a new proof of a result obtained jointly with Luca Cesarano: that, for a general pair $(A,X)$ of an (ample) Hypersurface $X$ in an Abelian Variety $A$, the canonical map $\Phi_X$ of $X$ is birational onto its image if the polarization given by $X$ is not principal. The proof is also based on a careful study of the Theta divisors of the Jacobians of Hyperelliptic curves, and some related geometrical constructions. We investigate these here also in view of their beauty and of their independent interest, as they lead to a description of the rings of Hyperelliptic theta functions.

Algebraic Geometry,Complex Variables
Dynamical and arithmetic degrees for random iterations of maps on projective space

Wade Hindes

DOI: https://doi.org/10.48550/arXiv.1904.04709

2019-04-09

Abstract:We show that the dynamical degree of an (i.i.d) random sequence of dominant, rational self-maps on projective space is almost surely constant. We then apply this result to height growth and height counting problems in random orbits.

Number Theory,Dynamical Systems
Some interesting birational morphisms of smooth affine quadric $3$-folds

Cinzia Bisi,Jonathan D. Hauenstein,Tuyen Trung Truong

2024-05-11

Abstract:We study a family of birational maps of smooth affine quadric 3-folds, {over the complex numbers}, of the form $x_1x_4-x_2x_3=$ constant, which seems to have some (among many others) interesting/unexpected characters: a) they are cohomologically hyperbolic, b) their second dynamical degree is an algebraic number but not an algebraic integer, and c) the logarithmic growth of their periodic points is strictly smaller than their algebraic entropy. These maps are restrictions of a polynomial map on $\mathbb{C}^4$ preserving each of the quadrics. The study in this paper is a mixture of rigorous and experimental ones, where for the experimental study we rely on Bertini which is a reliable and fast software for expensive numerical calculations in complex algebraic geometry.

Algebraic Geometry,Complex Variables,Dynamical Systems,Numerical Analysis
Degree Complexity of a Family of Birational Maps

Eric Bedford,Kyounghee Kim,Truong Trung Tuyen,Nina Abarenkova,Jean-Marie Maillard

DOI: https://doi.org/10.1007/s11040-008-9039-6

2007-11-09

Abstract:We compute the degree complexity of a family of birational mappings of the plane with high order singularities.

Dynamical Systems,Complex Variables
Some interesting birational morphisms of smooth affine quadric 3-folds *

Cinzia Bisi,Jonathan D Hauenstein,Tuyen Trung Truong

DOI: https://doi.org/10.1088/1361-6544/ad48f3

2024-05-22

Nonlinearity

Abstract:We study a family of birational maps of smooth affine quadric 3-folds, over the complex numbers, of the form x 1 x 4 − x 2 x 3 = constant, which seems to have some (among many others) interesting/unexpected characters: (a) they are cohomologically hyperbolic, (b) their second dynamical degree is an algebraic number but not an algebraic integer, and (c) the logarithmic growth of their periodic points is strictly smaller than their algebraic entropy. These maps are restrictions of a polynomial map on C 4 preserving each of the quadrics. The study in this paper is a mixture of rigorous and experimental ones, where for the experimental study we rely on Bertini which is a reliable and fast software for expensive numerical calculations in complex algebraic geometry.

mathematics, applied,physics, mathematical
Arithmetic degree and its application to Zariski dense orbit conjecture

Yohsuke Matsuzawa,Junyi Xie

2024-09-17

Abstract:We prove that for a dominant rational self-map $f$ on a quasi-projective variety defined over $\overline{\mathbb{Q}}$, there is a point whose $f$-orbit is well-defined and its arithmetic degree is arbitrary close to the first dynamical degree of $f$. As an application, we prove that Zariski dense orbit conjecture holds for a birational map defined over $\overline{\mathbb{Q}}$ such that the first dynamical degree is strictly larger than the third dynamical degree. In particular, the conjecture holds for birational maps on threefolds with first dynamical degree larger than $1$.

Algebraic Geometry,Dynamical Systems,Number Theory
Arithmetic degrees and Zariski dense orbits of cohomologically hyperbolic maps

Yohsuke Matsuzawa,Long Wang

2024-06-20

Abstract:A dominant rational self-map on a projective variety is called $p$-cohomologically hyperbolic if the $p$-th dynamical degree is strictly larger than other dynamical degrees. For such a map defined over $\overline{\mathbb{Q}}$, we study lower bounds of the arithmetic degrees, existence of points with Zariski dense orbit, and finiteness of preperiodic points. In particular, we prove that, if $f$ is an $1$-cohomologically hyperbolic map on a smooth projective variety, then (1) the arithmetic degree of a $\overline{\mathbb{Q}}$-point with generic $f$-orbit is equal to the first dynamical degree of $f$; and (2) there are $\overline{\mathbb{Q}}$-points with generic $f$-orbit. Applying our theorem to the recently constructed rational map with transcendental dynamical degree, we confirm that the arithmetic degree can be transcendental.

Algebraic Geometry,Dynamical Systems,Number Theory
Existence of arithmetic degrees for generic orbits and dynamical Lang-Siegel problem

Yohsuke Matsuzawa

2024-07-03

Abstract:We prove the existence of the arithmetic degree for dominant rational self-maps at any point whose orbit is generic. As a corollary, we prove the same existence for étale morphisms on quasi-projective varieties and any points on it. We apply the proof of this fact to dynamical Lang-Siegel problem. Namely, we prove that local height function associated with zero-dimensional subscheme grows slowly along orbits of a rational map under reasonable assumption. Also if local height function associated with any proper closed subscheme grows fast on a subset of an orbit of a self-morphism, we prove that such subset has Banach density zero under some assumptions.

Algebraic Geometry,Dynamical Systems,Number Theory
On symplectic birational self-maps of projective hyperkähler manifolds of K3$^{[n]}$-type

Yajnaseni Dutta,Dominique Mattei,Yulieth Prieto-Montañez

DOI: https://doi.org/10.1093/imrn/rnae112

2023-11-15

Abstract:We prove that projective hyperkähler manifolds of K3$^{[n]}$-type admitting a non-trivial symplectic birational self-map of finite order are isomorphic to moduli spaces of stable (twisted) coherent sheaves on K3 surfaces. Motivated by this result, we analyze the reflections on the movable cone of moduli spaces of sheaves and determine when they come from a birational involution.

Algebraic Geometry
Growth and integrability of some birational maps in dimension three

Michele Graffeo,Giorgio Gubbiotti

2023-06-03

Abstract:Motivated by the study of the Kahan--Hirota--Kimura discretisation of the Euler top, we characterise the growth and integrability properties of a collection of elements in the Cremona group of a complex projective 3-space using techniques from algebraic geometry. This collection consists of maps obtained by composing the standard Cremona transformation $\mathrm{c}_3\in\mathrm{Bir}(\mathbb{P}^3)$ with projectivities that permute the fixed points of $\mathrm{c}_3$ and the points over which $\mathrm{c}_3$ performs a divisorial contraction. More specifically, we show that three behaviour are possible: (A) integrable with quadratic degree growth and two invariants, (B) periodic with two-periodic degree sequences and more than two invariants, and (C) non-integrable with submaximal degree growth and one invariant.

Algebraic Geometry,Mathematical Physics,Exactly Solvable and Integrable Systems
A regularization theorem for bounded-degree self-maps

She Yang

2024-03-12

Abstract:Let $K$ be an algebraically closed field of arbitrary characteristic and let $X$ be an irreducible projective variety over $K$. Let $G\subseteq\text{Bir}(X)$ be a bounded-degree subgroup. We prove that there exists an irreducible projective variety $Y$ birational to $X$, such that every element of $G$ becomes an automorphism of $Y$ after the birational transformation. If $K=\mathbb{C}$, this result is stated in [Can14, Theorem 2.5] and the proof backs to [HZ96, Section 5]. The proof in [HZ96] is not purely algebraic. Inheriting the methods in [HZ96], we give a purely algebraic proof of this statement in arbitrary characteristic. We will also discuss a corollary of this result which is useful in arithmetic dynamics.

Algebraic Geometry,Dynamical Systems
Birational invariants of volume preserving maps

Konstantin Loginov,Zhijia Zhang

2024-10-07

Abstract:We study the group of birational automorphisms of the $n$-dimensional projective space that preserve the standard torus invariant volume form with logarithmic poles. We prove that this group is not generated by pseudo-regularizable maps for $n\geq 4$ over $\mathbb{C}$, and for $n\geq 3$ over number fields. As a corollary, we show that this group is not simple in these cases.

Algebraic Geometry
Counting rational maps on $\mathbb{P}^1$ with prescribed local conditions

Khoa D. Nguyen,Anwesh Ray

2024-10-04

Abstract:We explore distribution questions for rational maps on the projective line $\mathbb{P}^1$ over $\mathbb{Q}$ within the framework of arithmetic dynamics, drawing analogies to elliptic curves. Specifically, we investigate counting problems for rational maps $\phi$ of fixed degree $d \geq 2$ with prescribed reduction properties. Our main result establishes that the set of rational maps with minimal resultant has positive density. Additionally, for degree 2 rational maps, we perform explicit computations demonstrating that over $32.7\%$ possess a squarefree, and hence minimal, resultant.

Number Theory,Dynamical Systems
Uniform boundedness on rational maps with automorphisms

Minsik Han

2024-01-21

Abstract:In this paper, we study the dynamical uniform boundedness principle over a family of rational maps with certain nontrivial automorphisms. Specifically, we consider a family of rational maps of an arbitrary degree $d\ge 2$ whose automorphism group contains the cyclic group of order $d$. We prove that a subfamily of this family satisfies the dynamical uniform boundedness principle.

Number Theory,Dynamical Systems
Finite abelian subgroups in the groups of birational and bimeromorphic selfmaps

Aleksei Golota

2024-09-13

Abstract:Let $X$ be a complex projective variety. Suppose that the group of birational automorphisms of $X$ contains finite subgroups isomorphic to $(\mathbb{Z}/N\mathbb{Z})^r$ for $r$ fixed and $N$ arbitrarily large. We show that $r$ does not exceed $2\dim(X)$. Moreover, the equality holds if and only if $X$ is birational to an abelian variety. We also show that an analogous result holds for groups of bimeromorphic automorphisms of compact Kähler spaces, under some additional assumptions.

Algebraic Geometry
Birational maps of Severi-Brauer surfaces, with applications to Cremona groups of higher rank

Jérémy Blanc,Julia Schneider,Egor Yasinsky

2024-07-16

Abstract:We prove that any group of cardinality at most the one of $\mathbb{C}$ is a quotient of any Cremona group of rank at least $4$. This provides a definitive answer to the question of what the quotients of Cremona groups can be. As a consequence, this gives a negative answer to the question of I. Dolgachev of whether Cremona groups of all ranks are generated by involutions. As another application, we show that higher Cremona groups do not enjoy some classical group-theoretic properties (namely, the Hopfian property) which are satisfied by Cremona groups of rank $2$. Finally, we discover that the $3$-torsion of the Cremona group of rank at least $4$ is not countable. To deduce these properties of higher Cremona groups, we first describe the group of birational transformations of a non-trivial Severi-Brauer surface $S$ over a perfect field, proving in particular that if $S$ contains a point of degree $6$, then its group of birational self-maps is not generated by elements of finite order as it admits a surjective group homomorphism to~$\mathbb{Z}$. We then use this result to study Mori fibre spaces over the field of complex numbers, for which the generic fibre is a non-trivial Severi-Brauer surface.

Algebraic Geometry,Group Theory
Birational rigidity of quartic three-folds with a double point of rank 3

Aleksandr V. Pukhlikov

2024-10-20

Abstract:We prove that a general three-dimensional quartic $V$ in the complex projective space ${\mathbb P}^4$, the only singularity of which is a double point of rank 3, is a birationally rigid variety. Its group of birational self-maps is, up to the finite subgroup of biregular automorphisms, a free product of 25 cyclic groups of order 2. It follows that the complement to the set of birationally rigid factorial quartics with terminal singularities is of codimension at least 3 in the natural parameter space.

Algebraic Geometry
Dynamical Mordell-Lang conjecture for birational polynomial morphisms on $\mathbb{A}^2$

Junyi Xie

DOI: https://doi.org/10.48550/arXiv.1303.3631

2013-09-24

Abstract:We prove the dynamical Mordell-Lang conjecture for birational polynomial morphisms on $\mathbb{A}^2$.

Algebraic Geometry,Dynamical Systems

Birational maps with transcendental dynamical degree

Dynamical degrees of birational maps from indices of polynomials with respect to blow-ups II. 3D examples

A $1$-cohomologically hyperbolic birational map of $\mathbb{P}^3$, with a transcendental arithmetic degree

General birationality and Hyperelliptic Theta divisors

Dynamical and arithmetic degrees for random iterations of maps on projective space

Some interesting birational morphisms of smooth affine quadric $3$-folds

Degree Complexity of a Family of Birational Maps

Some interesting birational morphisms of smooth affine quadric 3-folds *

Arithmetic degree and its application to Zariski dense orbit conjecture

Arithmetic degrees and Zariski dense orbits of cohomologically hyperbolic maps

Existence of arithmetic degrees for generic orbits and dynamical Lang-Siegel problem

On symplectic birational self-maps of projective hyperkähler manifolds of K3$^{[n]}$-type

Growth and integrability of some birational maps in dimension three

A regularization theorem for bounded-degree self-maps

Birational invariants of volume preserving maps

Counting rational maps on $\mathbb{P}^1$ with prescribed local conditions

Uniform boundedness on rational maps with automorphisms

Finite abelian subgroups in the groups of birational and bimeromorphic selfmaps

Birational maps of Severi-Brauer surfaces, with applications to Cremona groups of higher rank

Birational rigidity of quartic three-folds with a double point of rank 3

Dynamical Mordell-Lang conjecture for birational polynomial morphisms on $\mathbb{A}^2$