Source author record

Derek Garton

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.DS math.AG math.CO

Catalog footprint

Research overview

6works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Periodic points of polynomials over finite fields

Fix an odd prime $p$ . If $r$ is a positive integer and $f$ a polynomial with coefficients in $\mathbb{F}_{p^r}$ , let $P_{p,r}(f)$ be the proportion of $\mathbb{P}^1(\mathbb{F}_{p^r})$ that is periodic with respect to $f$ . We show that as $r$ increases, the expected value of $P_{p,r}(f)$ , as $f$ ranges over quadratic polynomials, is less than $22/(\log{\log{p^r}})$ . This result follows from a uniformity theorem on specializations of dynamical systems of rational functions over residually finite Dedekind domains. The specialization theorem generalizes previous work by Juul et al. that holds for rings of integers of number fields. Moreover, under stronger hypotheses, we effectivize this uniformity theorem by using the machinery of heights over general global fields; this version of the theorem generalizes previous work of Juul on polynomial dynamical systems over rings of integers of number fields. From these theorems we derive effective bounds on image sizes and periodic point proportions of families of rational functions over finite fields.

preprint2014arXiv

Random matrices, the Cohen-Lenstra heuristics, and roots of unity

The Cohen-Lenstra-Martinet heuristics predict the frequency with which a fixed finite abelian group appears as an ideal class group of an extension of number fields, for certain sets of extensions of a base field. Recently, Malle found numerical evidence suggesting that their proposed frequency is incorrect when there are unexpected roots of unity in the base field of these extensions. Moreover, Malle proposed a new frequency, which is a much better match for his data. We present a random matrix heuristic (coming from function fields) that leads to a function field version of Malle's conjecture (as well as generalizations of it).

preprint2014arXiv

Some finite abelian group theory and some q-series identities

For a fixed odd prime $\ell$ , we present new families of identities defined on various subposets of the poset of isomorphism classes of finite abelian $\ell$ -groups, generalizing identities of Hall and Cohen-Lenstra. We also present a $q$ -series identity.

preprint2013arXiv

Abelian surfaces over finite fields with prescribed groups

Let A be an abelian surface over F_q, the field of q elements. The rational points on A/\F_q form an abelian group A(\F_q) \simeq \Z/n_1\Z \times \Z/n_1 n_2 \Z \times \Z/n_1 n_2 n_3\Z \times\Z/n_1 n_2 n_3 n_4\Z. We are interested in knowing which groups of this shape actually arise as the group of points on some abelian surface over some finite field. For a fixed prime power q, a characterization of the abelian groups that occur was recently found by Rybakov. One can use this characterization to obtain a set of congruences modulo the integers $n_1, n_2, n_3, n_4$ on certain combinations of coefficients of the corresponding Weil polynomials. We use Rybakov's criterion to show that groups \Z/n_1\Z \times \Z/n_1 n_2 \Z \times \Z/n_1 n_2 n_3\Z \times\Z/n_1 n_2 n_3 n_4\Z do not occur if n_1 is very large with respect to n_2, n_2, n_4 (Theorem \ref{splitbound}), and occur with density zero in a wider range of the variables (Theorem \ref{splitbound-average}).

preprint2011arXiv

Graph components and dynamics over finite fields

For polynomials and rational maps of fixed degree over a finite field, we bound both the average number of connected components of their functional graphs as well as the average number of periodic points of their associated dynamical systems.

preprint2011arXiv

The a-numbers of Jacobians of Suzuki curves

For $m \in {\mathbb N}$ , let $S_m$ be the Suzuki curve defined over ${\mathbb F}_{2^{2m+1}}$ . It is well-known that $S_m$ is supersingular, but the p-torsion group scheme of its Jacobian is not known. The a-number is an invariant of the isomorphism class of the p-torsion group scheme. In this paper, we compute a closed formula for the a-number of $S_m$ using the action of the Cartier operator on $H^0(S_m,Ω^1)$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.