-
Using Fibonacci factors to create Fibonacci pseudoprimes
Authors:
Junhyun Lim,
Shaunak Mashalkar,
Edward F. Schaefer
Abstract:
Carmichael showed for sufficiently large $L$, that $F_L$ has at least one prime divisor that is $\pm 1({\rm mod}\, L)$. For a given $F_L$, we will show that a product of distinct odd prime divisors with that congruence condition is a Fibonacci pseudoprime. Such pseudoprimes can be used in an attempt, here unsuccessful, to find an example of a Baillie-PSW pseudoprime, i.e.\ an odd Fibonacci pseudop…
▽ More
Carmichael showed for sufficiently large $L$, that $F_L$ has at least one prime divisor that is $\pm 1({\rm mod}\, L)$. For a given $F_L$, we will show that a product of distinct odd prime divisors with that congruence condition is a Fibonacci pseudoprime. Such pseudoprimes can be used in an attempt, here unsuccessful, to find an example of a Baillie-PSW pseudoprime, i.e.\ an odd Fibonacci pseudoprime that is congruent to $\pm 2({\rm mod}\, 5)$ and is also a base-2 pseudoprime.
△ Less
Submitted 27 May, 2021;
originally announced May 2021.
-
Elliptic curves with Galois-stable cyclic subgroups of order 4
Authors:
Carl Pomerance,
Edward F. Schaefer
Abstract:
Infinitely many elliptic curves over ${\bf Q}$ have a Galois-stable cyclic subgroup of order 4. Such subgroups come in pairs, which intersect in their subgroups of order 2. Let $N_i(X)$ denote the number of elliptic curves over ${\bf Q}$ with at least $i$ pairs of Galois-stable cyclic subgroups of order 4, and height at most $X$. In this article we show that…
▽ More
Infinitely many elliptic curves over ${\bf Q}$ have a Galois-stable cyclic subgroup of order 4. Such subgroups come in pairs, which intersect in their subgroups of order 2. Let $N_i(X)$ denote the number of elliptic curves over ${\bf Q}$ with at least $i$ pairs of Galois-stable cyclic subgroups of order 4, and height at most $X$. In this article we show that $N_1(X) = c_{1,1}X^{1/3}+c_{1,2}X^{1/6}+O(X^{0.105})$. We also show, as $X\to \infty$, that $N_2(X)=c_{2,1}X^{1/6}+o(X^{1/12})$, the precise nature of the error term being related to the prime number theorem and the zeros of the Riemann zeta-function in the critical strip. Here, $c_{1,1}= 0.95740\ldots$, $c_{1,2}=- 0.87125\ldots$, and $c_{2,1}= 0.035515\ldots$ are calculable constants. Lastly, we show that $N_i(X)=0$ for $i > 2$ (the result being trivial for $i>3$ given that an elliptic curve has 6 cyclic subgroups of order 4).
△ Less
Submitted 30 April, 2020;
originally announced April 2020.
-
Computing a Selmer group of a Jacobian using functions on the curve
Authors:
Edward F. Schaefer
Abstract:
In general, algorithms for computing the Selmer group of the Jacobian of a curve have relied on either homogeneous spaces or functions on the curve. We present a theoretical analysis of algorithms which use functions on the curve, and show how to exploit special properties of curves to generate new Selmer group computation algorithms. The success of such an algorithm will be based on two criteria…
▽ More
In general, algorithms for computing the Selmer group of the Jacobian of a curve have relied on either homogeneous spaces or functions on the curve. We present a theoretical analysis of algorithms which use functions on the curve, and show how to exploit special properties of curves to generate new Selmer group computation algorithms. The success of such an algorithm will be based on two criteria that we discuss. To illustrate the types of properties which can be exploited, we develop a $(1-ΞΆ_{p})$-Selmer group computation algorithm for the Jacobian of a curve of the form $y^{p}=f(x)$ where $p$ is a prime not dividing the degree of $f$. We compute Mordell-Weil ranks of the Jacobians of three curves of this form. We also compute a 2-Selmer group for the Jacobian of a smooth plane quartic curve using bitangents of that curve, and use it to compute a Mordell-Weil rank.
△ Less
Submitted 29 July, 2015;
originally announced July 2015.
-
Class groups and Selmer groups
Authors:
Edward F. Schaefer
Abstract:
It is often the case that a Selmer group of an abelian variety and a group related to an ideal class group can both be naturally embedded into the same cohomology group. One hopes to compute one from the other by finding how close each is to their intersection. In this paper we compute the two groups and their intersection explicitly in the local case and put together the local information to get…
▽ More
It is often the case that a Selmer group of an abelian variety and a group related to an ideal class group can both be naturally embedded into the same cohomology group. One hopes to compute one from the other by finding how close each is to their intersection. In this paper we compute the two groups and their intersection explicitly in the local case and put together the local information to get sharp upper bounds in the global case. The techniques in this paper can be used for arbitrary abelian varieties, isogenies and number fields assuming a frequently occurring condition. Several examples are worked out for the Jacobians of elliptic and hyperelliptic curves.
△ Less
Submitted 29 July, 2015;
originally announced July 2015.
-
The distance from a point to its opposite along the surface of a box
Authors:
S. Michael Miller,
Edward F. Schaefer
Abstract:
Given a point (the "spider") on a rectangular box, we would like to find the minimal distance along the surface to its opposite point (the "fly" - the reflection of the spider across the center of the box). Without loss of generality, we can assume that the box has dimensions $1\times a\times b$ with the spider on one of the $1\times a$ faces (with $a\leq 1$). The shortest path between the points…
▽ More
Given a point (the "spider") on a rectangular box, we would like to find the minimal distance along the surface to its opposite point (the "fly" - the reflection of the spider across the center of the box). Without loss of generality, we can assume that the box has dimensions $1\times a\times b$ with the spider on one of the $1\times a$ faces (with $a\leq 1$). The shortest path between the points is always a line segment for some planar flattening of the box by cutting along edges. We then partition the $1\times a$ face into regions, depending on which faces this path traverses. This choice of faces determines an algebraic distance formula in terms of $a$, $b$, and suitable coordinates imposed on the face. We then partition the set of pairs $(a,b)$ by homeomorphism of the borders of the $1\times a$ face's regions and a labeling of these regions.
△ Less
Submitted 3 February, 2015;
originally announced February 2015.
-
The yoga of the Cassels-Tate pairing
Authors:
Tom Fisher,
Edward F. Schaefer,
Michael Stoll
Abstract:
Cassels has described a pairing on the 2-Selmer group of an elliptic curve which shares some properties with the Cassels-Tate pairing. In this article, we prove that the two pairings are the same.
Cassels has described a pairing on the 2-Selmer group of an elliptic curve which shares some properties with the Cassels-Tate pairing. In this article, we prove that the two pairings are the same.
△ Less
Submitted 10 October, 2007;
originally announced October 2007.
-
Twists of X(7) and primitive solutions to x^2+y^3=z^7
Authors:
Bjorn Poonen,
Edward F. Schaefer,
Michael Stoll
Abstract:
We find the primitive integer solutions to x^2+y^3=z^7. A nonabelian descent argument involving the simple group of order 168 reduces the problem to the determination of the set of rational points on a finite set of twists of the Klein quartic curve X. To restrict the set of relevant twists, we exploit the isomorphism between X and the modular curve X(7), and use modularity of elliptic curves an…
▽ More
We find the primitive integer solutions to x^2+y^3=z^7. A nonabelian descent argument involving the simple group of order 168 reduces the problem to the determination of the set of rational points on a finite set of twists of the Klein quartic curve X. To restrict the set of relevant twists, we exploit the isomorphism between X and the modular curve X(7), and use modularity of elliptic curves and level lowering. This leaves 10 genus-3 curves, whose rational points are found by a combination of methods.
△ Less
Submitted 9 August, 2005;
originally announced August 2005.
-
Cycles of Quadratic Polynomials and Rational Points on a Genus-Two Curve
Authors:
E. V. Flynn,
Bjorn Poonen,
Edward F. Schaefer
Abstract:
It has been conjectured that for $N$ sufficiently large, there are no quadratic polynomials in $\bold Q[z]$ with rational periodic points of period $N$. Morton proved there were none with $N=4$, by showing that the genus~$2$ algebraic curve that classifies periodic points of period~4 is birational to $X_1(16)$, whose rational points had been previously computed. We prove there are none with…
▽ More
It has been conjectured that for $N$ sufficiently large, there are no quadratic polynomials in $\bold Q[z]$ with rational periodic points of period $N$. Morton proved there were none with $N=4$, by showing that the genus~$2$ algebraic curve that classifies periodic points of period~4 is birational to $X_1(16)$, whose rational points had been previously computed. We prove there are none with $N=5$. Here the relevant curve has genus~$14$, but it has a genus~$2$ quotient, whose rational points we compute by performing a~$2$-descent on its Jacobian and applying a refinement of the method of Chabauty and Coleman. We hope that our computation will serve as a model for others who need to compute rational points on hyperelliptic curves. We also describe the three possible Gal$_{\bold Q}$-stable $5$-cycles, and show that there exist Gal$_{\bold Q}$-stable $N$-cycles for infinitely many $N$. Furthermore, we answer a question of Morton by showing that the genus~$14$ curve and its quotient are not modular. Finally, we mention some partial results for $N=6$.
△ Less
Submitted 3 August, 1995;
originally announced August 1995.
