Showing 1–15 of 15 results for author: Krumm, D

Portraits of quadratic rational maps with a small critical cycle

Authors: Tyler Dunaisky, David Krumm

Abstract: Motivated by a uniform boundedness conjecture of Morton and Silverman, we study the graphs of pre-periodic points for maps in three families of dynamical systems, namely the collections of rational functions of degree two having a periodic critical point of period $n$, where $n\in\{2,3,4\}$. In particular, we provide a conjecturally complete list of possible graphs of rational pre-periodic points… ▽ More Motivated by a uniform boundedness conjecture of Morton and Silverman, we study the graphs of pre-periodic points for maps in three families of dynamical systems, namely the collections of rational functions of degree two having a periodic critical point of period $n$, where $n\in\{2,3,4\}$. In particular, we provide a conjecturally complete list of possible graphs of rational pre-periodic points in the case $n=4$, analogous to well-known work of Poonen for $n=1$, and we strengthen earlier results of Canci and Vishkautsan for $n\in\{2,3\}$. In addition, we address the problem of determining the representability of a given graph in our list by infinitely many distinct linear conjugacy classes of maps. △ Less

Submitted 31 March, 2024; originally announced April 2024.

MSC Class: 37P05; 11G30

Algebraic periodic points of transcendental entire functions

Authors: David Krumm, Diego Marques, Carlos Gustavo Moreira, Pavel Trojovský

Abstract: We prove the existence of transcendental entire functions $f$ having a property studied by Mahler, namely that $f(\overline{\mathbb{Q}})\subseteq \overline{\mathbb{Q}}$ and $f^{-1}(\overline{\mathbb{Q}})\subseteq \overline{\mathbb{Q}}$, and in addition having a prescribed number of $k$-periodic algebraic orbits, for all $k\geq 1$. Under a suitable topology, such functions are shown to be dense in… ▽ More We prove the existence of transcendental entire functions $f$ having a property studied by Mahler, namely that $f(\overline{\mathbb{Q}})\subseteq \overline{\mathbb{Q}}$ and $f^{-1}(\overline{\mathbb{Q}})\subseteq \overline{\mathbb{Q}}$, and in addition having a prescribed number of $k$-periodic algebraic orbits, for all $k\geq 1$. Under a suitable topology, such functions are shown to be dense in the set of all entire transcendental functions. △ Less

Submitted 20 November, 2024; v1 submitted 16 May, 2023; originally announced May 2023.

MSC Class: Primary 37P10; Secondary 11Jxx

Dynatomic Galois groups for a family of quadratic rational maps

Authors: David Krumm, Allan Lacy

Abstract: For every nonconstant rational function $φ\in\mathbb{Q}(x)$, the Galois groups of the dynatomic polynomials of $φ$ encode various properties of $φ$ that are of interest in the subject of arithmetic dynamics. We study here the structure of these Galois groups as $φ$ varies in a particular one-parameter family of maps, namely the quadratic rational maps having a critical point of period 2. In partic… ▽ More For every nonconstant rational function $φ\in\mathbb{Q}(x)$, the Galois groups of the dynatomic polynomials of $φ$ encode various properties of $φ$ that are of interest in the subject of arithmetic dynamics. We study here the structure of these Galois groups as $φ$ varies in a particular one-parameter family of maps, namely the quadratic rational maps having a critical point of period 2. In particular, we provide explicit descriptions of the third and fourth dynatomic Galois groups for maps in this family. △ Less

Submitted 16 January, 2024; v1 submitted 9 March, 2023; originally announced March 2023.

MSC Class: Primary 37P05; Secondary 11S20; 11G30

Quadratic points on dynamical modular curves

Authors: John R. Doyle, David Krumm

Abstract: Among all the dynamical modular curves associated to quadratic polynomial maps, we determine which curves have infinitely many quadratic points. This yields a classification statement on preperiodic points for quadratic polynomials over quadratic fields, extending previous work of Poonen, Faber, and the authors. Among all the dynamical modular curves associated to quadratic polynomial maps, we determine which curves have infinitely many quadratic points. This yields a classification statement on preperiodic points for quadratic polynomials over quadratic fields, extending previous work of Poonen, Faber, and the authors. △ Less

Submitted 23 January, 2023; v1 submitted 1 January, 2023; originally announced January 2023.

Comments: Improvements to the exposition; stronger version of what is now Proposition 4.5

MSC Class: Primary 37P05; 37P35; Secondary 37P15; 11G30; 14G05

Morikawa's Unsolved Problem

Authors: Jan E. Holly, David Krumm

Abstract: By combining theoretical and computational techniques from geometry, calculus, group theory, and Galois theory, we prove the nonexistence of a closed-form algebraic solution to a Japanese geometry problem first stated in the early nineteenth century. This resolves an outstanding problem from the sangaku tablets which were at one time displayed in temples and shrines throughout Japan. By combining theoretical and computational techniques from geometry, calculus, group theory, and Galois theory, we prove the nonexistence of a closed-form algebraic solution to a Japanese geometry problem first stated in the early nineteenth century. This resolves an outstanding problem from the sangaku tablets which were at one time displayed in temples and shrines throughout Japan. △ Less

Submitted 25 July, 2020; originally announced August 2020.

MSC Class: 12F10; 51N20; 01A27

Twists of hyperelliptic curves by integers in progressions modulo $p$

Authors: David Krumm, Paul Pollack

Abstract: Let $f(x)$ be a nonconstant polynomial with integer coefficients and nonzero discriminant. We study the distribution modulo primes of the set of squarefree integers $d$ such that the curve $dy^2=f(x)$ has a nontrivial rational or integral point. Let $f(x)$ be a nonconstant polynomial with integer coefficients and nonzero discriminant. We study the distribution modulo primes of the set of squarefree integers $d$ such that the curve $dy^2=f(x)$ has a nontrivial rational or integral point. △ Less

Submitted 20 March, 2019; v1 submitted 3 July, 2018; originally announced July 2018.

MSC Class: 11N32; 11N36; 11G30

A finiteness theorem for specializations of dynatomic polynomials

Authors: David Krumm

Abstract: Let $t$ and $x$ be indeterminates, let $φ(x)=x^2+t\in\mathbb Q(t)[x]$, and for every positive integer $n$ let $Φ_n(t,x)$ denote the $n^{\text{th}}$ dynatomic polynomial of $φ$. Let $G_n$ be the Galois group of $Φ_n$ over the function field $\mathbb Q(t)$, and for $c\in\mathbb Q$ let $G_{n,c}$ be the Galois group of the specialized polynomial $Φ_n(c,x)$. It follows from Hilbert's irreducibility the… ▽ More Let $t$ and $x$ be indeterminates, let $φ(x)=x^2+t\in\mathbb Q(t)[x]$, and for every positive integer $n$ let $Φ_n(t,x)$ denote the $n^{\text{th}}$ dynatomic polynomial of $φ$. Let $G_n$ be the Galois group of $Φ_n$ over the function field $\mathbb Q(t)$, and for $c\in\mathbb Q$ let $G_{n,c}$ be the Galois group of the specialized polynomial $Φ_n(c,x)$. It follows from Hilbert's irreducibility theorem that for fixed $n$ we have $G_n\cong G_{n,c}$ for every $c$ outside a thin set $E_n\subset\mathbb Q$. By earlier work of Morton (for $n=3$) and the present author (for $n=4$), it is known that $E_n$ is infinite if $n\le 4$. In contrast, we show here that $E_n$ is finite if $n\in\{5,6,7,9\}$. As an application of this result we show that, for these values of $n$, the following holds with at most finitely many exceptions: for every $c\in\mathbb Q$, more than $81\%$ of prime numbers $p$ have the property that the polynomial $x^2+c$ does not have a point of period $n$ in the $p$-adic field $\mathbb Q_p$. △ Less

Submitted 23 February, 2019; v1 submitted 28 May, 2018; originally announced May 2018.

Journal ref: Alg. Number Th. 13 (2019) 963-993

Galois groups over rational function fields and explicit Hilbert irreducibility

Authors: David Krumm, Nicole Sutherland

Abstract: Let $P\in\mathbb Q[t,x]$ be a polynomial in two variables with rational coefficients, and let $G$ be the Galois group of $P$ over the field $\mathbb Q(t)$. It follows from Hilbert's Irreducibility Theorem that for most rational numbers $c$ the specialized polynomial $P(c,x)$ has Galois group isomorphic to $G$ and factors in the same way as $P$. In this paper we discuss methods for computing the gr… ▽ More Let $P\in\mathbb Q[t,x]$ be a polynomial in two variables with rational coefficients, and let $G$ be the Galois group of $P$ over the field $\mathbb Q(t)$. It follows from Hilbert's Irreducibility Theorem that for most rational numbers $c$ the specialized polynomial $P(c,x)$ has Galois group isomorphic to $G$ and factors in the same way as $P$. In this paper we discuss methods for computing the group $G$ and obtaining an explicit description of the exceptional numbers $c$, i.e., those for which $P(c,x)$ has Galois group different from $G$ or factors differently from $P$. To illustrate the methods we determine the exceptional specializations of three sample polynomials. In addition, we apply our techniques to prove a new result in arithmetic dynamics. △ Less

Submitted 1 December, 2019; v1 submitted 15 August, 2017; originally announced August 2017.

Comments: arXiv admin note: text overlap with arXiv:1610.03528

Galois groups in a family of dynatomic polynomials

Authors: David Krumm

Abstract: For every nonconstant polynomial $f\in\mathbb Q[x]$, let $Φ_{4,f}$ denote the fourth dynatomic polynomial of $f$. We determine here the structure of the Galois group and the degrees of the irreducible factors of $Φ_{4,f}$ for every quadratic polynomial $f$. As an application we prove new results related to a uniform boundedness conjecture of Morton and Silverman. In particular we show that if $f$… ▽ More For every nonconstant polynomial $f\in\mathbb Q[x]$, let $Φ_{4,f}$ denote the fourth dynatomic polynomial of $f$. We determine here the structure of the Galois group and the degrees of the irreducible factors of $Φ_{4,f}$ for every quadratic polynomial $f$. As an application we prove new results related to a uniform boundedness conjecture of Morton and Silverman. In particular we show that if $f$ is a quadratic polynomial, then, for more than $39\%$ of all primes $p$, $f$ does not have a point of period four in $\mathbb Q_p$. △ Less

Submitted 18 December, 2017; v1 submitted 8 July, 2017; originally announced July 2017.

Explicit Hilbert Irreducibility

Authors: David Krumm

Abstract: Let $P(T,X)$ be an irreducible polynomial in two variables with rational coefficients. It follows from Hilbert's Irreducibility Theorem that for most rational numbers $t$ the specialized polynomial $P(t,X)$ is irreducible and has the same Galois group as $P$. We discuss here a method for obtaining an explicit description of the set of exceptional numbers $t$, i.e., those for which $P(t,X)$ is eith… ▽ More Let $P(T,X)$ be an irreducible polynomial in two variables with rational coefficients. It follows from Hilbert's Irreducibility Theorem that for most rational numbers $t$ the specialized polynomial $P(t,X)$ is irreducible and has the same Galois group as $P$. We discuss here a method for obtaining an explicit description of the set of exceptional numbers $t$, i.e., those for which $P(t,X)$ is either reducible or has a different Galois group than $P$. To illustrate the method we determine the exceptional specializations of two polynomials of degrees four and six. △ Less

Submitted 11 October, 2016; originally announced October 2016.

A local-global principle in the dynamics of quadratic polynomials

Authors: David Krumm

Abstract: Let $K$ be a number field, $f\in K[x]$ a quadratic polynomial, and $n\in\{1,2,3\}$. We show that if $f$ has a point of period $n$ in every non-archimedean completion of $K$, then $f$ has a point of period $n$ in $K$. For $n\in\{4,5\}$ we show that there exist at most finitely many linear conjugacy classes of quadratic polynomials over $K$ for which this local-global principle fails. By considering… ▽ More Let $K$ be a number field, $f\in K[x]$ a quadratic polynomial, and $n\in\{1,2,3\}$. We show that if $f$ has a point of period $n$ in every non-archimedean completion of $K$, then $f$ has a point of period $n$ in $K$. For $n\in\{4,5\}$ we show that there exist at most finitely many linear conjugacy classes of quadratic polynomials over $K$ for which this local-global principle fails. By considering a stronger form of this principle, we strengthen global results obtained by Morton and Flynn-Poonen-Schaefer in the case $K=\mathbf Q$. More precisely, we show that for every quadratic polynomial $f\in\mathbf Q[x]$ there exist infinitely many primes $p$ such that $f$ does not have a point of period 4 in the $p$-adic field $\mathbf Q_p$. Conditional on knowing all rational points on a particular curve of genus 11, the same result is proved for points of period 5. △ Less

Submitted 28 November, 2015; v1 submitted 16 August, 2015; originally announced August 2015.

Squarefree parts of polynomial values

Authors: David Krumm

Abstract: Given a separable nonconstant polynomial $f(x)$ with integer coefficients, we consider the set $S$ consisting of the squarefree parts of all the rational values of $f(x)$, and study its behavior modulo primes. Fixing a prime $p$, we determine necessary and sufficient conditions for $S$ to contain an element divisible by $p$. Furthermore, we conjecture that if $p$ is large enough, then $S$ contains… ▽ More Given a separable nonconstant polynomial $f(x)$ with integer coefficients, we consider the set $S$ consisting of the squarefree parts of all the rational values of $f(x)$, and study its behavior modulo primes. Fixing a prime $p$, we determine necessary and sufficient conditions for $S$ to contain an element divisible by $p$. Furthermore, we conjecture that if $p$ is large enough, then $S$ contains infinitely many representatives from every nonzero residue class modulo $p$. The conjecture is proved by elementary means assuming $f(x)$ has degree 1 or 2. If $f(x)$ has degree 3, or if it has degree 4 and has a rational root, the conjecture is shown to follow from the Parity Conjecture for elliptic curves. For polynomials of arbitrary degree, a local analogue of the conjecture is proved using standard results from class field theory, and empirical evidence is given to support the global version of the conjecture. △ Less

Submitted 18 July, 2014; originally announced July 2014.

Computing points of bounded height in projective space over a number field

Authors: David Krumm

Abstract: We construct an algorithm for solving the following problem: given a number field $K$, a positive integer $N$, and a positive real number $B$, determine all points in $\mathbb P^N(K)$ having relative height at most $B$. A theoretical analysis of the efficiency of the algorithm is provided, as well as sample computations showing how the algorithm performs in practice. Two variants of the method are… ▽ More We construct an algorithm for solving the following problem: given a number field $K$, a positive integer $N$, and a positive real number $B$, determine all points in $\mathbb P^N(K)$ having relative height at most $B$. A theoretical analysis of the efficiency of the algorithm is provided, as well as sample computations showing how the algorithm performs in practice. Two variants of the method are described, and examples are given to compare their running times. In the case $N=1$ we compare our method to an earlier algorithm for enumerating elements of bounded height in number fields. △ Less

Submitted 1 August, 2014; v1 submitted 25 March, 2014; originally announced March 2014.

Preperiodic points for quadratic polynomials over quadratic fields

Authors: John R. Doyle, Xander Faber, David Krumm

Abstract: To each quadratic number field $K$ and each quadratic polynomial $f$ with $K$-coefficients, one can associate a finite directed graph $G(f,K)$ whose vertices are the $K$-rational preperiodic points for $f$, and whose edges reflect the action of $f$ on these points. This paper has two main goals. (1) For an abstract directed graph $G$, classify the pairs $(K,f)$ such that the isomorphism class of… ▽ More To each quadratic number field $K$ and each quadratic polynomial $f$ with $K$-coefficients, one can associate a finite directed graph $G(f,K)$ whose vertices are the $K$-rational preperiodic points for $f$, and whose edges reflect the action of $f$ on these points. This paper has two main goals. (1) For an abstract directed graph $G$, classify the pairs $(K,f)$ such that the isomorphism class of $G$ is realized by $G(f,K)$. We succeed completely for many graphs $G$ by applying a variety of dynamical and Diophantine techniques. (2) Give a complete description of the set of isomorphism classes of graphs that can be realized by some $G(f,K)$. A conjecture of Morton and Silverman implies that this set is finite. Based on our theoretical considerations and a wealth of empirical evidence derived from an algorithm that is developed in this paper, we speculate on a complete list of isomorphism classes of graphs that arise from quadratic polynomials over quadratic fields. △ Less

Submitted 28 April, 2014; v1 submitted 25 September, 2013; originally announced September 2013.

Journal ref: New York J. Math. 20 (2014) 507-605

Computing algebraic numbers of bounded height

Authors: John R. Doyle, David Krumm

Abstract: We describe an algorithm for listing all elements of bounded height in a given number field. We describe an algorithm for listing all elements of bounded height in a given number field. △ Less

Submitted 22 June, 2013; v1 submitted 21 November, 2011; originally announced November 2011.

Journal ref: Math. Comp. 84 (2015) 2867-2891