Let $\Lambda$ be a maximal $𝔽{}_q\left[T\right]$-order in a division quaternion algebra over $𝔽{}_q\left(T\right)$ which is split at the place $\infty$. The present article gives an algorithm to compute a fundamental domain for the action of the group of units ${\Lambda }^{*}$ on the Bruhat-Tits tree $𝒯$ associated to ${\mathrm{PGL}}_2\left(𝔽{}_q\left((1/T)\right)\right)$. This action is a function field analog of the action of a co-compact Fuchsian group on the upper half plane. The algorithm also yields an explicit presentation of the group ${\Lambda }^{*}$ in terms of generators and relations. Moreover we determine an upper bound...

We consider the problem of determining whether a given prime p is a congruent number. We present an easily computed criterion that allows us to conclude that certain primes for which congruency was previously undecided, are in fact not congruent. As a result, we get additional information on the possible sizes of Tate-Shafarevich groups of the associated elliptic curves. We also present a related criterion for primes p such that $16$ divides the class number of the imaginary quadratic field ℚ(√-p)....

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 quadric surfaces. These results are applied to deduce new instances of “elementary equivalence implies isomorphism”: for all genus zero...

As a subproduct of the Schoof-Elkies-Atkin algorithm to count points on elliptic curves defined over finite fields of characteristic $p$, there exists an algorithm that computes, for $\ell$ an Elkies prime, $\ell$-torsion points in an extension of degree $\ell -1$ at cost $\tilde{O}(\ell max{(\ell ,logq)}^2)$ bit operations in the favorable case where $\ell \le p/2$.We combine in this work a fast algorithm for computing isogenies due to Bostan, Morain, Salvy and Schost with the $p$-adic approach followed by Joux and Lercier to get an algorithm valid without any limitation...

Rubinstein has produced a substantial amount of data about the even parity quadratic twists of various elliptic curves, and compared the results to predictions from random matrix theory. We use the method of Heegner points to obtain a comparable (yet smaller) amount of data for the case of odd parity. We again see that at least one of the principal predictions of random matrix theory is well-evidenced by the data.

Given an odd prime  $p$  and a representation $\varrho$  of the absolute Galois group of a number field $k$ onto ${\mathrm{PGL}}_2\left({𝔽}_p\right)$ with cyclotomic determinant, the moduli space of elliptic curves defined over $k$ with $p$-torsion giving rise to $\varrho$ consists of two twists of the modular curve $X\left(p\right)$. We make here explicit the only genus-zero cases $p=3$ and $p=5$, which are also the only symmetric cases: ${\mathrm{PGL}}_2\left({𝔽}_p\right)\simeq {𝒮}_n$ for $n=4$ or $n=5$, respectively. This is done by studying the corresponding twisted Galois actions on the function field of the curve, for which...

Shimura curves associated to rational nonsplit quaternion algebras are coarse moduli spaces for principally polarized abelian surfaces endowed with quaternionic multiplication. These objects are also known as fake elliptic curves. We present a method for computing equations for genus 2 curves whose Jacobian is a fake elliptic curve with complex multiplication. The method is based on the explicit knowledge of the normalized period matrices and on the use of theta functions with characteristics. As...

Solutions of the equations y² = xⁿ+k (n = 3,4) in a finite field are given almost explicitly in terms of k.

In this article we give an introduction to mixed motives and sketch a couple of ways to construct examples.

We compute equations for the families of elliptic curves 9-congruent to a given elliptic curve. We use these to find infinitely many non-trivial pairs of 9-congruent elliptic curves over ℚ, i.e. pairs of non-isogenous elliptic curves over ℚ whose 9-torsion subgroups are isomorphic as Galois modules.