Source author record

Pete L. Clark

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.AC math.CO math.HO

Catalog footprint

Research overview

22works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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

Hasse Principle Violations for Atkin-Lehner Twists of Shimura Curves

Let $D > 546$ be the discriminant of an indefinite rational quaternion algebra. We show that there are infinitely many imaginary quadratic fields $l/\mathbb Q$ such that the twist of the Shimura curve $X^D$ by the main Atkin-Lehner involution $w_D$ and $l/\mathbb Q$ violates the Hasse Principle over $\mathbb Q$ .

preprint2016arXiv

The Euclidean criterion for irreducibles

We recast Euclid's proof of the infinitude of prime numbers as a Euclidean Criterion for a domain to have infinitely many atoms. We make connections with Furstenberg's "topological" proof of the infinitude of prime numbers and show that our criterion applies even in certain domains in which not all nonzero nonunits factor into products of irreducibles.

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

Fattening up Warning's Second Theorem

We present a generalization of Warning's Second Theorem to polynomial systems over a finite local principal ring with suitably restricted input and output variables. This generalizes a recent result with Forrow and Schmitt (and gives a new proof of that result). Applications to additive group theory, graph theory and polynomial interpolation are pursued in detail.

preprint2015arXiv

The number of atoms in an atomic domain

We study the number of atoms and maximal ideals in an atomic domain with finitely many atoms and no prime elements. We show in particular that for all $m,n \in \mathbb{Z}^+$ with $n \geq 3$ and $4 \leq m \leq \frac{n}{3}$ there is an atomic domain with precisely $n$ atoms, precisely $m$ maximal ideals and no prime elements. The proofs use both commutative algebra and additive number theory.

preprint2015arXiv

The truth about torsion in the CM case

We show that the upper order of the size of the torsion subgroup of a CM elliptic curve over a degree d number field is d log log d.

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

The Combinatorial Nullstellensätze Revisited

We revisit and further explore the celebrated Combinatorial Nullstellensätze of N. Alon in several different directions.

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

Covering Numbers in Linear Algebra

We compute the minimal cardinality of a covering (resp. an irredundant covering) of a vector space over an arbitrary field by proper linear subspaces. Analogues for affine linear subspaces are also given.

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.

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.

Pete L. Clark

Research overview

Is this your work?

22 publications

Restricted Variable Chevalley-Warning Theorems

Torsion points and Galois representations on CM elliptic curves

Torsion points and isogenies on CM elliptic curves

A note on rings of finite rank

Hasse Principle Violations for Atkin-Lehner Twists of Shimura Curves

The Euclidean criterion for irreducibles

The truth about torsion in the CM case, II

Algebraic curves uniformized by congruence subgroups of triangle groups

Anatomy of torsion in the CM case

Fattening up Warning's Second Theorem

The number of atoms in an atomic domain

The truth about torsion in the CM case

Torsion Points on CM Elliptic Curves Over Real Number Fields

Abstract Geometry of Numbers: Linear Forms

The Combinatorial Nullstellensätze Revisited

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

Warning's Second Theorem with Resricted Variables

Graph Derangements

A Note on Euclidean Order Types

Covering Numbers in Linear Algebra

Euclidean Quadratic Forms and ADC Forms I

The Instructor's Guide to Real Induction

See the researcher in context

Building this map preview