Source author record

Pete L. Clark

Pete L. Clark appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

22works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

22 published item(s)

preprint2022arXiv

Restricted Variable Chevalley-Warning Theorems

We pursue various restricted variable generalizations of the Chevalley-Warning theorem for low degree polynomial systems over a finite field. Our first such result involves variables restricted to Cartesian products of the Vandermonde subsets of $\F_q$ defined by Gács-Weiner and Sziklai-Takáts. We then define an invariant $\uomega(X)$ of a nonempty subset of $\F_q^n$. Our second result involves $X$-restricted variables when the degrees of the polynomials are small compared to $\uomega(X)$. We end by exploring various classes of subsets for which $\uomega(X)$ can be bounded from below.

preprint2019arXiv

Torsion points and Galois representations on CM elliptic curves

We prove several results on torsion points and Galois representations for complex multiplication (CM) elliptic curves over a number field containing the CM field. One result computes the degree in which such an elliptic curve has a rational point of order $N$, refining results of Silverberg. Another result bounds the size of the torsion subgroup of an elliptic curve with CM by a nonmaximal order in terms of the torsion subgroup of an elliptic curve with CM by the maximal order. Our techniques also yield a complete classification of both the possible torsion subgroups and the rational cyclic isogenies of a $K$-CM elliptic curve $E$ defined over $K(j(E))$.

preprint2019arXiv

Torsion points and isogenies on CM elliptic curves

Let $\mathcal{O}$ be an order in the imaginary quadratic field $K$. For positive integers $M \mid N$, we determine the least degree of an $\mathcal{O}$-CM point on the modular curve $X(M,N)_{/K(ζ_M)}$ and also on the modular curve $X(M,N)_{/\mathbb{Q}(ζ_M)}$: that is, we treat both the case in which the complex multiplication is rationally defined and the case in which we do not assume that the complex multiplication is rationally defined. To prove these results we establish several new theorems on rational cyclic isogenies of CM elliptic curves. In particular, we extend a result of Kwon that determines the set of positive integers $N$ for which there is an $\mathcal{O}$-CM elliptic curve $E$ admitting a cyclic, $\mathbb{Q}(j(E))$-rational $N$-isogeny.

preprint2016arXiv

A note on rings of finite rank

The rank of a ring $R$ is the supremum of minimal cardinalities of generating sets of $I$ as $I$ ranges over ideals of $R$. Matson showed that every positive integer occurs as the rank of some ring $R$. Motivated by the result of Cohen and Gilmer that a ring of finite rank has Krull dimension $0$ or $1$, we give four different constructions of rings of rank $n$ (for all positive integers n). Two constructions use one-dimensional domains, and the former of these directly generalizes Matson's construction. Our third construction uses Artinian rings (dimension zero), and our last construction uses polynomial rings over local Artinian rings (dimension one, irreducible, not a domain).

preprint2016arXiv

The truth about torsion in the CM case, II

Let $T_{\rm CM}(d)$ be the largest size of the torsion subgroup of an elliptic curve with complex multiplication (CM) defined over a degree $d$ number field. Work of Breuer and Clark--Pollack showed $\limsup_{d \to \infty} \frac{T_{\rm CM}(d)}{d \log \log d} \in (0,\infty)$. Here we show that the above limit supremum is precisely $\frac{e^γ π}{\sqrt{3}}$. We also study -- in part, out of necessity -- the upper order of the size of the torsion subgroup of various restricted classes of CM elliptic curves over number fields.

preprint2015arXiv

Algebraic curves uniformized by congruence subgroups of triangle groups

We construct certain subgroups of hyperbolic triangle groups which we call "congruence" subgroups. These groups include the classical congruence subgroups of SL_2(ZZ), Hecke triangle groups, and 19 families of arithmetic triangle groups associated to Shimura curves. We determine the field of moduli of the curves associated to these groups and thereby realize the groups PSL_2(q) and PGL_2(q) regularly as Galois groups.

preprint2015arXiv

Anatomy of torsion in the CM case

Let $T_{\mathrm{CM}}(d)$ denote the maximum size of a torsion subgroup of a CM elliptic curve over a degree $d$ number field. We initiate a systematic study of the asymptotic behavior of $T_{\mathrm{CM}}(d)$ as an "arithmetic function". Whereas a recent result of the last two authors computes the upper order of $T_{\mathrm{CM}}(d)$, here we determine the lower order, the typical order and the average order of $T_{\mathrm{CM}}(d)$ as well as study the number of isomorphism classes of groups $G$ of order $T_{\mathrm{CM}}(d)$ which arise as the torsion subgroup of a CM elliptic curve over a degree $d$ number field. To establish these analytic results we need to extend some prior algebraic results. Especially, if $E_{/F}$ is a CM elliptic curve over a degree $d$ number field, we show that $d$ is divisible by a certain function of $\# E(F)[\mathrm{tors}]$, and we give a complete characterization of all degrees $d$ such that every torsion subgroup of a CM elliptic curve defined over a degree $d$ number field already occurs over $\mathbb{Q}$.

preprint2015arXiv

Torsion Points on CM Elliptic Curves Over Real Number Fields

We study torsion subgroups of elliptic curves with complex multiplication (CM) defined over number fields which admit a real embedding. We give a complete classification of the groups which arise up to isomorphism as the torsion subgroup of a CM elliptic curve defined over a number field of odd degree: there are infinitely many. Restricting to the case of prime degree, we show that there are only finitely many isomorphism classes. More precisely, there are six "Olson groups" which arise as torsion subgroups of CM elliptic curves over number fields of every degree, and there are precisely 17 "non-Olson" CM elliptic curves defined over a prime degree number field.

preprint2014arXiv

Abstract Geometry of Numbers: Linear Forms

This paper concerns the \textbf{abstract geometry of numbers}: namely the pursuit of certain aspects of geometry of numbers over a suitable class of normed domains. (The standard geometry of numbers is then viewed as geometry of numbers over Z endowed with its standard absolute value.) In this work we study normed domains of "linear type", in which an analogue of Minkowski's linear forms theorem holds. We show that S-integer rings in number fields and coordinate rings of (nice) affine algebraic curves over an arbitrary ground field are of linear type. The theory is applied to quadratic forms in two ways, yielding a Nullstellensatz and a Small Multiple Theorem.

preprint2014arXiv

There are genus one curves of every index over every infinite, finitely generated field

Every nontrivial abelian variety over a Hilbertian field in which the weak Mordell-Weil theorem holds admits infinitely many torsors with period any $n > 1$ which is not divisible by the characteristic. The corresponding statement with "period" replaced by "index" is plausible but much more challenging. We show that for every infinite, finitely generated field $K$, there is an elliptic curve $E_{/K}$ which admits infinitely many torsors with index any $n > 1$.

preprint2014arXiv

Warning's Second Theorem with Resricted Variables

We present a restricted variable generalization of Warning's Second Theorem (a result giving a lower bound on the number of solutions of a low degree polynomial system over a finite field, assuming one solution exists). This is analogous to Brink's restricted variable generalization of Chevalley's Theorem (a result giving conditions for a low degree polynomial system not to have exactly one solution). Just as Warning's Second Theorem implies Chevalley's Theorem, our result implies Brink's Theorem. We include several combinatorial applications, enough to show that we have a general tool for obtaining quantitative refinements of combinatorial existence theorems.

preprint2013arXiv

Graph Derangements

We introduce the notion of a graph derangement, which naturally interpolates between perfect matchings and Hamiltonian cycles. We give a necessary and sufficient condition for the existence of graph derangements on a locally finite graph. This result was first proved by W.T. Tutte in 1953 by applying some deeper results on digraphs. We give a new, simple proof which amounts to a reduction to the (Menger-Egervary-Konig-)Hall(-Hall) Theorem on transversals of set systems. Finally, we consider the problem of classifying all cycle types of graph derangements on m x n checkerboard graphs. Our presentation does not assume any prior knowledge in graph theory or combinatorics: all definitions and proofs of needed theorems are given.

preprint2012arXiv

A Note on Euclidean Order Types

Euclidean functions with values in an arbitrary well-ordered set were first considered in a 1949 work of Motzkin and studied in more detail in work of Fletcher, Samuel and Nagata in the 1970's and 1980's. Here these results are revisited, simplified, and extended. The two main themes are (i) consideration of Ord-valued functions on an Artinian poset and (ii) use of ordinal arithmetic, including the Hessenberg-Brookfield ordinal sum. In particular, to any Euclidean ring we associate an ordinal invariant, its Euclidean order type, and we initiate a study of this invariant. The main new result gives upper and lower bounds on the Euclidean order type of a finite product of Euclidean rings in terms of the Euclidean order types of the factor rings.

preprint2012arXiv

Euclidean Quadratic Forms and ADC Forms I

Motivated by classical results of Aubry, Davenport and Cassels, we define the notion of a Euclidean quadratic form over a normed integral domain and an ADC form over an integral domain. The aforementioned classical results generalize to: Euclidean forms are ADC forms. We then initiate the study and classification of these two classes of quadratic forms, especially over discrete valuation rings and Hasse domains.

preprint2012arXiv

The Instructor's Guide to Real Induction

We introduce real induction, a proof technique analogous to mathematical induction but applicable to statements indexed by an interval on the real line. More generally we give an inductive principle applicable in any Dedekind complete linearly ordered set. Real and ordered induction is then applied to give streamlined, conceptual proofs of basic results in honors calculus, elementary real analysis and topology.