The quadric threefold dynamical-degree and periodic-point conjecture

Let F:C4C4F:\mathbb{C}^4\rightarrow\mathbb{C}^4 be the birational map

F(x1,x2,x3,x4)=(x2,x4,x1x1x22,x3+x1x2x4),F(x_1,x_2,x_3,x_4)=(x_2,-x_4,x_1-x_1x_2^2,-x_3+x_1x_2x_4),

let ϕ(x1,x2,x3,x4)=x1x4x2x3\phi(x_1,x_2,x_3,x_4)=x_1x_4-x_2x_3, and for generic cCc\in\mathbb{C} let XcP4X_c\subset\mathbb{P}^4 be the smooth projective quadric closure of ϕ1(c)\phi^{-1}(c). Write fc=FZcf_c=F|_{Z_c} for Zc=ϕ1(c)Z_c=\phi^{-1}(c) and f^c\widehat f_c for its extension to XcX_c; let IsoFixn(fc)IsoFix_n(f_c) denote its isolated fixed points of the relevant iterate. Quadric threefold conjecture. The first dynamical degree λ1(f^c)\lambda_1(\widehat f_c) is the largest root ζ1\zeta_1 of t3t2t1t^3-t^2-t-1, approximately 1.83931.8393; the second dynamical degree λ2(f^c)\lambda_2(\widehat f_c) is the largest root ζ2\zeta_2 of 2t33(t21)4t2t^3-3(t^2-1)-4t, approximately 2.11082.1108, and is algebraic but not an algebraic integer; and

lim supnlog(IsoFixn(fc))nlog2.108.\limsup_{n\rightarrow\infty}\frac{\log\sharp(IsoFix_n(f_c))}{n}\leq\log 2.108.

The weaker asserted estimate is

lim supnlog(IsoFix2n+1(fc))2n+1log2.108.\limsup_{n\rightarrow\infty}\frac{\log\sharp(IsoFix_{2n+1}(f_c))}{2n+1}\leq\log 2.108.

These proposed values and bounds are presented as candidate counterexamples to the expected isolated-periodic-point growth and algebraic-integrality conjectures.

Sources & referencesView supporting material

Primary source

Cinzia Bisi, Jonathan D. Hauenstein and Tuyen Trung Truong, “Some interesting birational morphisms of smooth affine quadric 3-folds”, arXiv:2208.14327 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.