Showing 1–50 of 51 results for author: Clark, P L

Functional degrees and arithmetic applications III: Beyond Prime Exponent

Authors: Pete L. Clark, Uwe Schauz

Abstract: Continuing our work on group-theoretic generalizations of the prime Ax-Katz Theorem, we give a lower bound on the $p$-adic divisibility of the cardinality of the set of simultaneous zeros $Z(f_1,f_2,\ldots,f_r)$ of $r$ maps $f_j:A\rightarrow B_j$ between arbitrary finite commutative groups $A$ and $B_j$ in terms of the invariant factors of $A, B_1,B_2,\dotsc,B_r$ and the \emph{functional degrees}… ▽ More Continuing our work on group-theoretic generalizations of the prime Ax-Katz Theorem, we give a lower bound on the $p$-adic divisibility of the cardinality of the set of simultaneous zeros $Z(f_1,f_2,\ldots,f_r)$ of $r$ maps $f_j:A\rightarrow B_j$ between arbitrary finite commutative groups $A$ and $B_j$ in terms of the invariant factors of $A, B_1,B_2,\dotsc,B_r$ and the \emph{functional degrees} of the maps $f_1,f_2,\dotsc,f_r$. △ Less

Submitted 4 July, 2024; v1 submitted 17 November, 2023; originally announced November 2023.

Comments: 27 pages

MSC Class: 20K01; 13F20; 20C05

Functional degrees and arithmetic applications II: The Group-Theoretic Prime Ax-Katz Theorem

Authors: Pete L. Clark, Uwe Schauz

Abstract: We give a version of Ax-Katz's $p$-adic congruences and Moreno-Moreno's $p$-weight refinement that holds over any finite commutative ring of prime characteristic. We deduce this from a purely group-theoretic result that gives a lower bound on the $p$-adic divisibility of the number of simultaneous zeros of a system of maps $f_j: A\to B_j$ from a fixed ``source'' finite commutative group $A$ of exp… ▽ More We give a version of Ax-Katz's $p$-adic congruences and Moreno-Moreno's $p$-weight refinement that holds over any finite commutative ring of prime characteristic. We deduce this from a purely group-theoretic result that gives a lower bound on the $p$-adic divisibility of the number of simultaneous zeros of a system of maps $f_j: A\to B_j$ from a fixed ``source'' finite commutative group $A$ of exponent $p$ to varying ``target'' finite commutative $p$-groups $B_j$. Our proof combines Wilson's proof of Ax-Katz over $\mathbb{F}_p$ with the functional calculus of Aichinger-Moosbauer. △ Less

Submitted 2 May, 2023; originally announced May 2023.

Comments: 29 pages

MSC Class: 20K01; 13F20; 20C05

Densities of integer sets represented by quadratic forms

Authors: Pete L. Clark, Paul Pollack, Jeremy Rouse, Katherine Thompson

Abstract: Let $f(t_1,\ldots,t_n)$ be a nondegenerate integral quadratic form. We analyze the asymptotic behavior of the function $D_f(X)$, the number of integers of absolute value up to $X$ represented by $f$. When $f$ is isotropic or $n$ is at least $3$, we show that there is a $δ(f) \in \mathbb{Q} \cap (0,1)$ such that $D_f(X) \sim δ(f) X$ and call $δ(f)$ the density of $f$. We consider the inverse proble… ▽ More Let $f(t_1,\ldots,t_n)$ be a nondegenerate integral quadratic form. We analyze the asymptotic behavior of the function $D_f(X)$, the number of integers of absolute value up to $X$ represented by $f$. When $f$ is isotropic or $n$ is at least $3$, we show that there is a $δ(f) \in \mathbb{Q} \cap (0,1)$ such that $D_f(X) \sim δ(f) X$ and call $δ(f)$ the density of $f$. We consider the inverse problem of which densities arise. Our main technical tool is a Near Hasse Principle: a quadratic form may fail to represent infinitely many integers that it locally represents, but this set of exceptions has density $0$ within the set of locally represented integers. △ Less

Submitted 14 April, 2023; originally announced April 2023.

Comments: 25 pages

MSC Class: Primary 11E12; Secondary 11E20

CM Elliptic Curves: Volcanoes, Reality and Applications, Part II

Authors: Pete L. Clark, Frederick Saia

Abstract: Let $M \mid N$ be positive integers, and let $Δ$ be the discriminant of an order in an imaginary quadratic field $K$. When $Δ_K < -4$, the first author determined the fiber of the morphism $X_0(M,N) \rightarrow X(1)$ over the closed point $J_Δ$ corresponding to $Δ$ and showed that all fibers of the map $X_1(M,N) \rightarrow X_0(M,N)$ over $J_Δ$ were connected. Here we complement this prior work by… ▽ More Let $M \mid N$ be positive integers, and let $Δ$ be the discriminant of an order in an imaginary quadratic field $K$. When $Δ_K < -4$, the first author determined the fiber of the morphism $X_0(M,N) \rightarrow X(1)$ over the closed point $J_Δ$ corresponding to $Δ$ and showed that all fibers of the map $X_1(M,N) \rightarrow X_0(M,N)$ over $J_Δ$ were connected. Here we complement this prior work by addressing the most difficult cases $Δ_K \in \{-3,-4\}$. These works provide all the information needed to compute, for each positive integer $d$, all subgroups of $E(F)[\operatorname{tors}]$, where $F$ is a number field of degree $d$ and $E_{/F}$ is an elliptic curve with complex multiplication. △ Less

Submitted 26 December, 2022; originally announced December 2022.

Comments: 37 pages

CM Elliptic Curves: Volcanoes, Reality and Applications

Authors: Pete L. Clark

Abstract: For positive integers $M \mid N$ and an order of discriminant $Δ$ in an imaginary quadratic field $K$ with discriminant $Δ_K < -4$, we determine the fiber of the morphism $X_0(M,N) \rightarrow X(1)$ over the closed point $J_Δ$ corresponding to $Δ$. We also show that the fiber of the natural map $X_1(M,N) \rightarrow X_0(M,N)$ over $J_Δ$ is connected. Putting this together we deduce the number of p… ▽ More For positive integers $M \mid N$ and an order of discriminant $Δ$ in an imaginary quadratic field $K$ with discriminant $Δ_K < -4$, we determine the fiber of the morphism $X_0(M,N) \rightarrow X(1)$ over the closed point $J_Δ$ corresponding to $Δ$. We also show that the fiber of the natural map $X_1(M,N) \rightarrow X_0(M,N)$ over $J_Δ$ is connected. Putting this together we deduce the number of points in the fiber of $X_1(M,N) \rightarrow X(1)$ over $J_Δ$ and their residual degrees. In the continuation of this work with F. Saia, these results will be extended to $Δ_K \in \{-4,3\}$. These works provide all the information needed to compute, for each positive integer $d$, all subgroups of $E(F)[\operatorname{tors}]$, where $F$ is a number field of degree $d$ and $E_{/F}$ is an elliptic curve with complex multiplication (CM). △ Less

Submitted 26 December, 2022; originally announced December 2022.

Comments: 105 pages

Restricted Variable Chevalley-Warning Theorems

Authors: Anurag Bishnoi, Pete L. Clark

Abstract: 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… ▽ More 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. △ Less

Submitted 26 January, 2022; originally announced January 2022.

Comments: 13 pages

Functional Degrees And Arithmetic Applications, I: The Set Of Functional Degrees

Authors: P. L. Clark, U. Schauz

Abstract: We give a further development of the Aichinger-Moosbauer calculus of functional degrees of maps between commutative groups. For any fixed given commutative groups $A$ and $B$, we compute the largest possible finite functional degree that a map $f: A \longrightarrow B$ can have. We also determine the set of all possible degrees of such maps. This also yields a solution to Aichinger and Moosbauer's… ▽ More We give a further development of the Aichinger-Moosbauer calculus of functional degrees of maps between commutative groups. For any fixed given commutative groups $A$ and $B$, we compute the largest possible finite functional degree that a map $f: A \longrightarrow B$ can have. We also determine the set of all possible degrees of such maps. This also yields a solution to Aichinger and Moosbauer's problem of finding the nilpotency index of the augmentation ideal of group rings of the form $Z_{p^β}[Z_{p^{α_1}}\times Z_{p^{α_2}}\times\dotsm\times Z_{p^{α_n}}]$ with $p,β,n,α_1,\dotsc,α_n\in\mathbb{Z}^+$, $p$ prime. △ Less

Submitted 8 January, 2022; originally announced January 2022.

Comments: 21 pages

MSC Class: 20K01; 13F20; 20C05

Dynamic network analysis improves protein 3D structural classification

Authors: Khalique Newaz, Jacob Piland, Patricia L. Clark, Scott J. Emrich, Jun Li, Tijana Milenkovic

Abstract: Protein structural classification (PSC) is a supervised problem of assigning proteins into pre-defined structural (e.g., CATH or SCOPe) classes based on the proteins' sequence or 3D structural features. We recently proposed PSC approaches that model protein 3D structures as protein structure networks (PSNs) and analyze PSN-based protein features, which performed better than or comparable to state-… ▽ More Protein structural classification (PSC) is a supervised problem of assigning proteins into pre-defined structural (e.g., CATH or SCOPe) classes based on the proteins' sequence or 3D structural features. We recently proposed PSC approaches that model protein 3D structures as protein structure networks (PSNs) and analyze PSN-based protein features, which performed better than or comparable to state-of-the-art sequence or other 3D structure-based approaches in the task of PSC. However, existing PSN-based PSC approaches model the whole 3D structure of a protein as a static PSN. Because folding of a protein is a dynamic process, where some parts of a protein fold before others, modeling the 3D structure of a protein as a dynamic PSN might further help improve the existing PSC performance. Here, we propose for the first time a way to model 3D structures of proteins as dynamic PSNs, with the hypothesis that this will improve upon the current state-of-the-art PSC approaches that are based on static PSNs (and thus upon the existing state-of-the-art sequence and other 3D structural approaches). Indeed, we confirm this on 71 datasets spanning ~44,000 protein domains from CATH and SCOPe △ Less

Submitted 14 May, 2021; originally announced May 2021.

Torsion points and isogenies on CM elliptic curves

Authors: Abbey Bourdon, Pete L. Clark

Abstract: 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 co… ▽ More 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. △ Less

Submitted 17 June, 2019; originally announced June 2019.

Comments: 37 pages

MSC Class: 11G15; 11G05

A generalization of the theorems of Chevalley-Warning and Ax-Katz via polynomial substitutions

Authors: Ioulia N. Baoulina, Anurag Bishnoi, Pete L. Clark

Abstract: We give conditions under which the number of solutions of a system of polynomial equations over a finite field F_q of characteristic p is divisible by p. Our setup involves the substitution t_i |-> f_i(t_i) for auxiliary polynomials f_1,...,f_n in F_q[t]. We recover as special cases results of Chevalley-Warning and Morlaye-Joly. Then we investigate higher p-adic divisibilities, proving a result th… ▽ More We give conditions under which the number of solutions of a system of polynomial equations over a finite field F_q of characteristic p is divisible by p. Our setup involves the substitution t_i |-> f_i(t_i) for auxiliary polynomials f_1,...,f_n in F_q[t]. We recover as special cases results of Chevalley-Warning and Morlaye-Joly. Then we investigate higher p-adic divisibilities, proving a result that recovers the Ax-Katz Theorem. We also consider p-weight degrees, recovering work of Moreno-Moreno, Moreno-Castro and Castro-Castro-Velez. △ Less

Submitted 27 December, 2017; v1 submitted 17 September, 2017; originally announced September 2017.

Comments: 15 pages

MSC Class: 11G25

A simultaneous generalization of the theorems of Chevalley-Warning and Morlaye

Authors: Pete L. Clark

Abstract: Inspired by recent work of I. Baoulina, we give a simultaneous generalization of the theorems of Chevalley-Warning and Morlaye. Inspired by recent work of I. Baoulina, we give a simultaneous generalization of the theorems of Chevalley-Warning and Morlaye. △ Less

Submitted 18 September, 2017; v1 submitted 14 July, 2017; originally announced July 2017.

Comments: This note has been superseded by arXiv:1709.05699, joint with Baoulina and Bishnoi.

Typically bounding torsion

Authors: Pete L. Clark, Marko Milosevic, Paul Pollack

Abstract: We formulate the notion of \emph{typical boundedness} of torsion on a family of abelian varieties defined over number fields. This means that the torsion subgroups of elements in the family can be made uniformly bounded by removing from the family all abelian varieties defined over number fields of degree lying in a set of arbitrarily small density. We show that for each fixed $g$, torsion is typi… ▽ More We formulate the notion of \emph{typical boundedness} of torsion on a family of abelian varieties defined over number fields. This means that the torsion subgroups of elements in the family can be made uniformly bounded by removing from the family all abelian varieties defined over number fields of degree lying in a set of arbitrarily small density. We show that for each fixed $g$, torsion is typically bounded on the family of all $g$-dimensional CM abelian varieties. We show that torsion is \emph{not} typically bounded on the family of all elliptic curves, and we establish results -- some unconditional and some conditional -- on typical boundedness of torsion of elliptic curves for which the degree of the $j$-invariant is fixed. △ Less

Submitted 13 July, 2017; originally announced July 2017.

Comments: 14 pages

Pursuing polynomial bounds on torsion

Authors: Pete L. Clark, Paul Pollack

Abstract: We show that for all epsilon > 0, there is a constant C(epsilon) > 0 such that for all elliptic curves E defined over a number field F with j(E) in Q we have #E(F)[tors] \leq C(epsilon)[F:Q]^{5/2+epsilon}. We pursue further bounds on the size of the torsion subgroup of an elliptic curve over a number field E/F that are polynomial in [F:Q] under restrictions on j(E). We give an unconditional result… ▽ More We show that for all epsilon > 0, there is a constant C(epsilon) > 0 such that for all elliptic curves E defined over a number field F with j(E) in Q we have #E(F)[tors] \leq C(epsilon)[F:Q]^{5/2+epsilon}. We pursue further bounds on the size of the torsion subgroup of an elliptic curve over a number field E/F that are polynomial in [F:Q] under restrictions on j(E). We give an unconditional result for j(E) lying in a fixed quadratic field that is not imaginary of class number one as well as two further results, one conditional on GRH and one conditional on the strong boundedness of isogenies of prime degree for non-CM elliptic curves. △ Less

Submitted 29 May, 2017; originally announced May 2017.

Comments: 14 pages

MSC Class: 11G05

The truth about torsion in the CM case, II

Authors: Pete L. Clark, Paul Pollack

Abstract: 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… ▽ More 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. △ Less

Submitted 19 December, 2016; originally announced December 2016.

Comments: 17 pages

Torsion points and Galois representations on CM elliptic curves

Authors: Abbey Bourdon, Pete L. Clark

Abstract: 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 i… ▽ More 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))$. △ Less

Submitted 15 September, 2019; v1 submitted 9 December, 2016; originally announced December 2016.

Comments: 31 pages; updated version has new examples in addition to expository changes

Journal ref: Pacific J. Math. 305 (2020) 43-88

Hasse Principle Violations for Atkin-Lehner Twists of Shimura Curves

Authors: Pete L. Clark, James Stankewicz

Abstract: 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$. 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$. △ Less

Submitted 5 December, 2016; originally announced December 2016.

Comments: 11 pages, submitted

MSC Class: 11G18; 11G30

Network approach integrates 3D structural and sequence data to improve protein structural comparison

Authors: Fazle E. Faisal, Julie L. Chaney, Khalique Newaz, Jun Li, Scott J. Emrich, Patricia L. Clark, Tijana Milenkovic

Abstract: Initial protein structural comparisons were sequence-based. Since amino acids that are distant in the sequence can be close in the 3-dimensional (3D) structure, 3D contact approaches can complement sequence approaches. Traditional 3D contact approaches study 3D structures directly. Instead, 3D structures can be modeled as protein structure networks (PSNs). Then, network approaches can compare prot… ▽ More Initial protein structural comparisons were sequence-based. Since amino acids that are distant in the sequence can be close in the 3-dimensional (3D) structure, 3D contact approaches can complement sequence approaches. Traditional 3D contact approaches study 3D structures directly. Instead, 3D structures can be modeled as protein structure networks (PSNs). Then, network approaches can compare proteins by comparing their PSNs. Network approaches may improve upon traditional 3D contact approaches. We cannot use existing PSN approaches to test this, because: 1) They rely on naive measures of network topology. 2) They are not robust to PSN size. They cannot integrate 3) multiple PSN measures or 4) PSN data with sequence data, although this could help because the different data types capture complementary biological knowledge. We address these limitations by: 1) exploiting well-established graphlet measures via a new network approach, 2) introducing normalized graphlet measures to remove the bias of PSN size, 3) allowing for integrating multiple PSN measures, and 4) using ordered graphlets to combine the complementary PSN data and sequence data. We compare both synthetic networks and real-world PSNs more accurately and faster than existing network, 3D contact, or sequence approaches. Our approach finds PSN patterns that may be biochemically interesting. △ Less

Submitted 27 February, 2017; v1 submitted 23 May, 2016; originally announced May 2016.

A note on rings of finite rank

Authors: Pete L. Clark

Abstract: 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 c… ▽ More 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). △ Less

Submitted 4 May, 2016; originally announced May 2016.

Comments: 8 pages

The Euclidean criterion for irreducibles

Authors: Pete L. Clark

Abstract: 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. 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. △ Less

Submitted 4 May, 2016; originally announced May 2016.

Comments: 19 pages

The number of atoms in an atomic domain

Authors: Pete L. Clark, Saurabh Gosavi, Paul Pollack

Abstract: 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. 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. △ Less

Submitted 15 December, 2015; originally announced December 2015.

Comments: 13 pages

On zeros of a polynomial in a finite grid

Authors: Anurag Bishnoi, Pete L. Clark, Aditya Potukuchi, John R. Schmitt

Abstract: A 1993 result of Alon and Füredi gives a sharp upper bound on the number of zeros of a multivariate polynomial over an integral domain in a finite grid, in terms of the degree of the polynomial. This result was recently generalized to polynomials over an arbitrary commutative ring, assuming a certain "Condition (D)" on the grid which holds vacuously when the ring is a domain. In the first half of… ▽ More A 1993 result of Alon and Füredi gives a sharp upper bound on the number of zeros of a multivariate polynomial over an integral domain in a finite grid, in terms of the degree of the polynomial. This result was recently generalized to polynomials over an arbitrary commutative ring, assuming a certain "Condition (D)" on the grid which holds vacuously when the ring is a domain. In the first half of this paper we give a further Generalized Alon-Füredi Theorem which provides a sharp upper bound when the degrees of the polynomial in each variable are also taken into account. This yields in particular a new proof of Alon-Füredi. We then discuss the relationship between Alon-Füredi and results of DeMillo-Lipton, Schwartz and Zippel. A direct coding theoretic interpretation of Alon-Füredi Theorem and its generalization in terms of Reed--Muller type affine variety codes is shown which gives us the minimum Hamming distance of these codes. Then we apply the Alon-Füredi Theorem to quickly recover (and sometimes strengthen) old and new results in finite geometry, including the Jamison/Brouwer-Schrijver bound on affine blocking sets. We end with a discussion of multiplicity enhancements. △ Less

Submitted 12 June, 2017; v1 submitted 24 August, 2015; originally announced August 2015.

Comments: 23 pages, proofs in Section 7 simplified, edits made based on referee reports, to appear in Combinatorics, Probability and Computing

MSC Class: 05E40; 11T06; 11T71; 51E20; 51E21

Fattening up Warning's Second Theorem

Authors: Pete L. Clark

Abstract: 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. 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. △ Less

Submitted 20 June, 2015; originally announced June 2015.

Comments: 21 pages

Algebraic curves uniformized by congruence subgroups of triangle groups

Authors: Pete L. Clark, John Voight

Abstract: 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) regula… ▽ More 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. △ Less

Submitted 3 June, 2015; originally announced June 2015.

Comments: 48 pages, comments welcome!

Anatomy of torsion in the CM case

Authors: Abbey Bourdon, Pete L. Clark, Paul Pollack

Abstract: 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 aver… ▽ More 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}$. △ Less

Submitted 1 June, 2015; originally announced June 2015.

Comments: 24 pages

MSC Class: Primary: 11G15; Secondary: 11G05; 11N25; 11N37

The truth about torsion in the CM case

Authors: Pete L. Clark, Paul Pollack

Abstract: 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. 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. △ Less

Submitted 18 May, 2015; v1 submitted 27 January, 2015; originally announced January 2015.

Comments: 6 pages. This is a minor revision incorporating expository suggestions made by the referee

Torsion Points on CM Elliptic Curves Over Real Number Fields

Authors: Abbey Bourdon, Pete L. Clark, James Stankewicz

Abstract: 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… ▽ More 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. △ Less

Submitted 25 September, 2015; v1 submitted 11 November, 2014; originally announced November 2014.

Comments: Updated to include many more new results, including on number fields whose degree is the square of an odd prime

The Combinatorial Nullstellensätze Revisited

Authors: Pete L. Clark

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

Submitted 10 May, 2014; originally announced May 2014.

Comments: 12 pages; comments especially welcome

Abstract Geometry of Numbers: Linear Forms

Authors: Pete L. Clark

Abstract: 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 h… ▽ More 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. △ Less

Submitted 8 May, 2014; originally announced May 2014.

Comments: 38 pages

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

Authors: Pete L. Clark, Allan Lacy

Abstract: 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… ▽ More 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$. △ Less

Submitted 8 May, 2014; originally announced May 2014.

Comments: 21 pages

Warning's Second Theorem with Resricted Variables

Authors: Pete L. Clark, Aden Forrow, John R. Schmitt

Abstract: 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 soluti… ▽ More 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. △ Less

Submitted 8 May, 2014; v1 submitted 30 April, 2014; originally announced April 2014.

Comments: 15 pages; some expository changes, including the correction of an inaccuracy in the exposition of Section 2.3

Computation on Elliptic Curves with Complex Multiplication

Authors: Pete L. Clark, Patrick Corn, Alex Rice, James Stankewicz

Abstract: We give the complete list of possible torsion subgroups of elliptic curves with complex multiplication over number fields of degree 1-13. Additionally we describe the algorithm used to compute these torsion subgroups and its implementation. We give the complete list of possible torsion subgroups of elliptic curves with complex multiplication over number fields of degree 1-13. Additionally we describe the algorithm used to compute these torsion subgroups and its implementation. △ Less

Submitted 12 November, 2013; v1 submitted 23 July, 2013; originally announced July 2013.

Comments: 24 pages, 3 figures, submitted

Journal ref: LMS J. Comput. Math. 17 (2014) 509-535

Graph Derangements

Authors: Pete L. Clark

Abstract: 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 (… ▽ More 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. △ Less

Submitted 3 July, 2013; v1 submitted 27 June, 2013; originally announced June 2013.

Comments: 14 pages

A Note on Euclidean Order Types

Authors: Pete L. Clark

Abstract: 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 th… ▽ More 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. △ Less

Submitted 4 August, 2012; originally announced August 2012.

Comments: 11 pages

MSC Class: 13F07

Covering Numbers in Linear Algebra

Authors: Pete L. Clark

Abstract: 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. 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. △ Less

Submitted 4 August, 2012; originally announced August 2012.

Comments: 4 pages

MSC Class: 15-02

Journal ref: American Math. Monthly 119 (2012), 65-67

Euclidean Quadratic Forms and ADC Forms I

Authors: Pete L. Clark

Abstract: 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… ▽ More 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. △ Less

Submitted 4 August, 2012; originally announced August 2012.

Comments: 26 pages

MSC Class: 11E08; 11E12

Journal ref: Acta Arithmetica 154 (2012), 137-159

The Instructor's Guide to Real Induction

Authors: Pete L. Clark

Abstract: 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… ▽ More 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. △ Less

Submitted 4 August, 2012; originally announced August 2012.

Comments: 10 pages

MSC Class: 06A05

Torsion points on elliptic curves with complex multiplication

Authors: Pete L. Clark, Brian Cook, James Stankewicz

Abstract: We present seven theorems on the structure of prime order torsion points on CM elliptic curves defined over number fields. The first three results refine bounds of Silverberg and Prasad-Yogananda by taking into account the class number of the CM order and the splitting of the prime in the CM field. In many cases we can show that our refined bounds are optimal or asymptotically optimal. We also d… ▽ More We present seven theorems on the structure of prime order torsion points on CM elliptic curves defined over number fields. The first three results refine bounds of Silverberg and Prasad-Yogananda by taking into account the class number of the CM order and the splitting of the prime in the CM field. In many cases we can show that our refined bounds are optimal or asymptotically optimal. We also derive asymptotic upper and lower bounds on the least degree of a CM-point on X_1(N). Upon comparison to bounds for the least degree for which there exist infinitely many rational points on X_1(N), we deduce that, for sufficiently large N, X_1(N) will have a rational CM point of degree smaller than the degrees of at least all but finitely many non-CM points. △ Less

Submitted 15 July, 2009; originally announced July 2009.

Comments: 28 pages

Period-index problems in WC-groups IV: a local transition theorem

Authors: Pete L. Clark

Abstract: Let K be a complete discretely valued field with perfect residue field k. Assuming upper bounds on the relation between period and index for WC-groups over k, we deduce corresponding upper bounds on the relation between period and index for WC-groups over K. Up to a constant depending only on the dimension of the torsor, we recover theorems of Lichtenbaum and Milne in a "duality free" context. O… ▽ More Let K be a complete discretely valued field with perfect residue field k. Assuming upper bounds on the relation between period and index for WC-groups over k, we deduce corresponding upper bounds on the relation between period and index for WC-groups over K. Up to a constant depending only on the dimension of the torsor, we recover theorems of Lichtenbaum and Milne in a "duality free" context. Our techniques include the use of LLR models of torsors under abelian varieties with good reduction and a generalization of the period-index obstruction map to flat cohomology. In an appendix, we consider some related issues of a field-arithmetic nature. △ Less

Submitted 15 July, 2009; originally announced July 2009.

Comments: 20 pages; comments welcome

Curves over global fields violating the Hasse Principle

Authors: Pete L. Clark

Abstract: In response to a question of B. Poonen, we exhibit for each global field k an algebraic curve over k which violates the Hasse Principle. In fact we can find such examples among Atkin-Lehner twists of certain elliptic modular curves and -- in positive characteristic -- Drinfeld modular curves. Our main tool is a refinement of the "Twist Anti-Hasse Principle" (TAHP). We also use TAHP to construct… ▽ More In response to a question of B. Poonen, we exhibit for each global field k an algebraic curve over k which violates the Hasse Principle. In fact we can find such examples among Atkin-Lehner twists of certain elliptic modular curves and -- in positive characteristic -- Drinfeld modular curves. Our main tool is a refinement of the "Twist Anti-Hasse Principle" (TAHP). We also use TAHP to construct further Hasse Principle violations, for instance among curves over any number field of any given genus g which is at least 2. △ Less

Submitted 21 May, 2009; originally announced May 2009.

Comments: 16 pages; comments welcome

Period, index and potential sha

Authors: Pete L. Clark, Shahed Sharif

Abstract: In this paper we advance the theory of O'Neil's period-index obstruction map and derive consequences for the arithmetic of genus one curves over global fields. Our first result implies that for every pair of positive integers (P,I) with P dividing I and I dividing P^2, there exists a number field K and a genus one curve C over K with period P and index I. Second, let E be any elliptic curve over… ▽ More In this paper we advance the theory of O'Neil's period-index obstruction map and derive consequences for the arithmetic of genus one curves over global fields. Our first result implies that for every pair of positive integers (P,I) with P dividing I and I dividing P^2, there exists a number field K and a genus one curve C over K with period P and index I. Second, let E be any elliptic curve over a global field K, and let P > 1 be any integer indivisible by the characteristic of K. We construct infinitely many genus one curves C over K with period P, index P^2, and Jacobian E. We deduce strong consequences on the structure of Sharevich-Tate groups under field extension. △ Less

Submitted 18 November, 2008; originally announced November 2008.

Comments: 23 pages

Elliptic Dedekind Domains Revisited

Authors: Pete L. Clark

Abstract: We give an affirmative answer to a 1976 question of M. Rosen: every abelian group is isomorphic to the class group of an elliptic Dedekind domain R. We can choose R to be the integral closure of a PID in a separable quadratic field extension. In particular, this yields new and -- we feel -- simpler proofs of theorems of L. Claborn and C.R. Leedham-Green. We give an affirmative answer to a 1976 question of M. Rosen: every abelian group is isomorphic to the class group of an elliptic Dedekind domain R. We can choose R to be the integral closure of a PID in a separable quadratic field extension. In particular, this yields new and -- we feel -- simpler proofs of theorems of L. Claborn and C.R. Leedham-Green. △ Less

Submitted 7 May, 2008; originally announced May 2008.

Comments: 9 pages

On the indices of curves over local fields

Authors: Pete L. Clark

Abstract: Fix a non-negative integer g and a positive integer I dividing 2g-2. For any Henselian, discretely valued field K whose residue field is perfect and admits a degree I cyclic extension, we construct a curve C over K of genus g and index I. We can in fact give a complete description of the finite extensions L/K such that C has an L-rational point. Applications are discussed to the corresponding pr… ▽ More Fix a non-negative integer g and a positive integer I dividing 2g-2. For any Henselian, discretely valued field K whose residue field is perfect and admits a degree I cyclic extension, we construct a curve C over K of genus g and index I. We can in fact give a complete description of the finite extensions L/K such that C has an L-rational point. Applications are discussed to the corresponding problem over number fields. S. Sharif, in his 2006 Berkeley thesis, has independently obtained similar (but not identical) results. Our proof, however, is different: via deformation theory, we reduce to the problem of finding suitable actions of cyclic groups on finite graphs. △ Less

Submitted 6 November, 2006; originally announced November 2006.

Comments: 11 pages

An "Anti-Hasse Principle" for Prime Twists

Authors: Pete L. Clark

Abstract: Given an algebraic curve C/Q having points everywhere locally and endowed with a suitable involution, we show that there exists a positive density family of prime quadratic twists of C violating the Hasse principle. The result applies in particular to w_N-Atkin-Lehner twists of most modular curves X_0(N) and to w_p-Atkin-Lehner twists of certain Shimura curves X^{D+}. Given an algebraic curve C/Q having points everywhere locally and endowed with a suitable involution, we show that there exists a positive density family of prime quadratic twists of C violating the Hasse principle. The result applies in particular to w_N-Atkin-Lehner twists of most modular curves X_0(N) and to w_p-Atkin-Lehner twists of certain Shimura curves X^{D+}. △ Less

Submitted 16 September, 2006; originally announced September 2006.

Comments: 9 pages

Abelian points on algebraic curves

Authors: Pete L. Clark

Abstract: We study the question of whether algebraic curves of a given genus g defined over a field K must have points rational over the maximal abelian extension K^{ab} of K. We give: (i) an explicit family of diagonal plane cubic curves with Q^{ab}-points, (ii) for every number field K, a genus one curve C_{/Q} with no K^{ab}-points, and (iii) for every g \geq 4 an algebraic curve C_{/Q} of genus g with… ▽ More We study the question of whether algebraic curves of a given genus g defined over a field K must have points rational over the maximal abelian extension K^{ab} of K. We give: (i) an explicit family of diagonal plane cubic curves with Q^{ab}-points, (ii) for every number field K, a genus one curve C_{/Q} with no K^{ab}-points, and (iii) for every g \geq 4 an algebraic curve C_{/Q} of genus g with no Q^{ab}-points. In an appendix, we discuss varieties over Q((t)), obtaining in particular a curve of genus 3 without (Q((t)))^{ab}-points. △ Less

Submitted 11 April, 2006; originally announced April 2006.

Comments: 12 pages

On the Hasse principle for Shimura curves

Authors: Pete L. Clark

Abstract: Let C be an algebraic curve defined over a number field K, of positive genus and without K-rational points. We conjecture that there exists some extension field L over which C violates the Hasse principle, i.e., has points everywhere locally but not globally. We show that our conjecture holds for all but finitely many Shimura curves of the form X^D_0(N)_{/Q} or X^D_1(N)_{/Q}, where D > 1 and N a… ▽ More Let C be an algebraic curve defined over a number field K, of positive genus and without K-rational points. We conjecture that there exists some extension field L over which C violates the Hasse principle, i.e., has points everywhere locally but not globally. We show that our conjecture holds for all but finitely many Shimura curves of the form X^D_0(N)_{/Q} or X^D_1(N)_{/Q}, where D > 1 and N are coprime squarefree positive integers. The proof uses a variation on a theorem of Frey, a gonality bound of Abramovich, and an analysis of local points of small degree. △ Less

Submitted 12 October, 2005; v1 submitted 11 October, 2005; originally announced October 2005.

Comments: 10 pages

Galois Groups Via Atkin-Lehner Twists

Authors: Pete L. Clark

Abstract: Using Serre's proposed complement to Shih's Theorem, we obtain PSL_2(F_p) as a Galois group over Q for at least 614 new primes p. Under the assumption that rational elliptic curves with odd analytic rank have positive rank, we obtain Galois realizations for 3/8 of the primes not covered by previous results; it would also suffice to assume a certain (plausible, and perhaps tractable) conjecture c… ▽ More Using Serre's proposed complement to Shih's Theorem, we obtain PSL_2(F_p) as a Galois group over Q for at least 614 new primes p. Under the assumption that rational elliptic curves with odd analytic rank have positive rank, we obtain Galois realizations for 3/8 of the primes not covered by previous results; it would also suffice to assume a certain (plausible, and perhaps tractable) conjecture concerning class numbers of quadratic fields. The key issue is to understand rational points on Atkin-Lehner twists of X_0(N). In an appendix, we explore the existence of local points on these curves. △ Less

Submitted 9 September, 2005; v1 submitted 23 June, 2005; originally announced June 2005.

Comments: An "appendix" has been added containing additional results. There are many minor expository changes. 8 pages

There are genus one curves of every index over every number field

Authors: Pete L. Clark

Abstract: We show that there exist genus one curves of every index over the rational numbers, answering affirmatively a question of Lang and Tate. The proof is "elementary" in the sense that it does not assume the finiteness of any Shafarevich-Tate group. On the other hand, using Kolyvagin's construction of a rational elliptic curve whose Mordell-Weil and Shafarevich-Tate groups are both trivial, we show… ▽ More We show that there exist genus one curves of every index over the rational numbers, answering affirmatively a question of Lang and Tate. The proof is "elementary" in the sense that it does not assume the finiteness of any Shafarevich-Tate group. On the other hand, using Kolyvagin's construction of a rational elliptic curve whose Mordell-Weil and Shafarevich-Tate groups are both trivial, we show that there are infinitely many curves of every index over every number field. △ Less

Submitted 18 November, 2004; originally announced November 2004.

Comments: 5 pages

Bounds for torsion on abelian varieties with integral moduli

Authors: Pete L. Clark

Abstract: We give a function F(d,n,p) such that if K/Q_p is a degree n field extension and A/K is a d-dimensional abelian variety with potentially good reduction, then #A(K)[tors] is at most F(d,n,p). Separate attention is given to the prime-to-p torsion and to the case of purely additive reduction. These latter bounds are applied to classify rational torsion on CM elliptic curves over number fields of de… ▽ More We give a function F(d,n,p) such that if K/Q_p is a degree n field extension and A/K is a d-dimensional abelian variety with potentially good reduction, then #A(K)[tors] is at most F(d,n,p). Separate attention is given to the prime-to-p torsion and to the case of purely additive reduction. These latter bounds are applied to classify rational torsion on CM elliptic curves over number fields of degree at most 3, on elliptic curves over Q with integral j (recovering a theorem of Frey), and on abelian surfaces over Q with integral moduli. In the last case, our efforts leave us with 11 numbers which may, or may not, arise as the order of the full torsion subgroup. The largest such number is 72. △ Less

Submitted 18 July, 2004; v1 submitted 15 July, 2004; originally announced July 2004.

Comments: An appeal to a bound on the p-part of the component group has been corrected, with a corresponding change to the function "F". We also took the opportunity to spell out the general bound more explicitly and to discuss related work of X. Xarles. Still 16 pages

The period-index problem in WC-groups II: abelian varieties

Authors: Pete L. Clark

Abstract: We study the relationship between the period and the index of a principal homogeneous space over an abelian variety, obtaining results which generalize work of Cassels and Lichtenbaum on curves of genus one. In addition, we show that the p-torsion in the Shafarevich-Tate group of a fixed abelian variety over a number field k grows arbitrarily large when considered over field extensions l/k of bo… ▽ More We study the relationship between the period and the index of a principal homogeneous space over an abelian variety, obtaining results which generalize work of Cassels and Lichtenbaum on curves of genus one. In addition, we show that the p-torsion in the Shafarevich-Tate group of a fixed abelian variety over a number field k grows arbitrarily large when considered over field extensions l/k of bounded degree. Essential use is made of an abelian variety version of O'Neil's period-index obstruction. △ Less

Submitted 7 June, 2004; originally announced June 2004.

Comments: 28 pages

On elementary equivalence, isomorphism and isogeny of arithmetic function fields

Authors: Pete L. Clark

Abstract: Motivated by recent work of Florian Pop, we study the connections between three notions of equivalence of function fields: isomorphism, elementary equivalence, and the condition that each of a pair of fields can be embedded in the other, which we call isogeny. Some of our results are purely geometric: we give an isogeny classification of Severi-Brauer varieties and of quadric surfaces. These res… ▽ More Motivated by recent work of Florian Pop, we study the connections between three notions of equivalence of function fields: isomorphism, elementary equivalence, and the condition that each of a pair of fields can be embedded in the other, which we call isogeny. Some of our results are purely geometric: we give an isogeny classification of Severi-Brauer varieties and of quadric surfaces. These results are applied to deduce new instances of "elementary equivalence implies isomorphism": for all genus zero curves over a number field, and for certain genus one curves over a number field, including some which are not elliptic curves. △ Less

Submitted 7 June, 2004; originally announced June 2004.

Comments: 23 pages