WorkshopComputational Arithmetic GeometryVancouver, July 5  9, 2004Abstracts of the PIMS Distinguished Visitor lectures 

Author:  Bjorn Poonen (UC Berkeley) 
Title:  Rational points on varieties 
Abstract:  I will discuss what is known and conjectured about computing the set of rational solutions to a system of polynomial equations. 
Author:  Bjorn Poonen (UC Berkeley) 
Title:  Torsors and descent 
Abstract: 
Around 1930, Chevalley and Weil realized that the reduction step in
Fermat's method of infinite descent could be applied whenever one had
a finite unramified morphism of varieties X > Y. Their idea has
proved to be indispensable for the determination of the set of
rational points on curves. In the case where X is geometrically
Galois over Y with Galois group G, one can view X also as a Gtorsor
over Y.
In the 1980s, ColliotThélène and Sansuc showed how the ChevalleyWeil approach could be generalized to Gtorsors for certain algebraic groups G even when G is not zerodimensional. I will give an introduction to their theory. 
Author:  Bjorn Poonen (UC Berkeley) 
Title:  Diagonal cubic surfaces and the magic square torus 
Abstract: 
Above certain surfaces, there are no nontrivial unramified covers but
there are Gtorsors for some G of positive dimension. In these cases,
the ChevalleyWeil descent is useless, but the theory of
ColliotThélène and Sansuc sometimes succeeds in determining the
rational points. I will discuss a conjectural application of this
theory to the case of projective surfaces defined by homogeneous
equations of the form

Abstracts of the talks  
Author:  Michael Bennett (University of British Columbia) 
Title:  Diophantine equations via modular methods 
Abstract:  TBA 
Author:  Martin Bright (University of Liverpool) 
Title:  Computing the BrauerManin Obstruction 
Abstract:  TBA 
Author:  Nils Bruin (Simon Fraser University) 
Title:  The arithmetic of Prym varieties in Genus 3 
Abstract: 
The theory of Prymvarieties for hyperelliptic curves can be approached via
Kummer theory. In combination with Chabautytechniques it has given very
practical methods to bound the number of rational points on hyperelliptic
curves.
The simplest nonhyperelliptic curves are of genus 3. We will discuss how the theory of Prymvarieties can be made effective for nonhyperelliptic curves of genus 3 and how this can be applied to a variety of problems. As an example, we will determine the rational points on a curve of genus 3 with no specific geometric properties, without computing the MordellWeil group of its Jacobian. We will also give an example of a curve of genus 3 and a curve of genus 5 that violate the Hasseprinciple and we will show how one can compute part of the BrauerManin obstruction of a genus 5 curve embedded in an Abelian surface. 
Author:  Iftikhar Burhanuddin 
Title:  Computing rational torsion on elliptic curves in linear time 
Abstract: 
We present an algorithm to decide whether a elliptic curve over $Q_p$
has a nontrivial $p$torsion part ($\#E(Q_p)[p] \neq 1$) under certain
assumptions. We use this algorithm to efficiently determine $E(Q)_{tors}$ the
group of $Q$rational torsion points on an elliptic curve.
This is joint work with Prof. MingDeh Huang. 
Author:  Victor Flynn (University of Liverpool) 
Title:  ShafarevichTate groups of Jacobians 
Abstract: 
I shall describe joint work with Nils Bruin, giving an approach to
computing in the ShafarevichTate group of Jacobians of
higher genus curves, with an emphasis on the
theory and practice of visualisation via number fields.
This allows widely applicable techniques for the computation of
ranks of Jacobians of higher genus curves, even when the
2Selmer bound is not attained; this was previously only possible
for a few special cases.
I shall also describe a connection with degree 4 del Pezzo surfaces, and show how the BrauerManin obstruction on these surfaces can be used to compute members of the ShafarevichTate group of Jacobians. I shall derive an explicit parametrised infinite family of genus 2 curves whose Jacobians have nontrivial members of the ShafarevichTate group. 
Author:  Ed Schaefer (Santa Clara University) 
Title:  pSelmer groups that can be arbitrarily large 
Abstract:  In this talk, we will present a proof of the following result: Let p be a prime, at least 5. Let m be a positive integer. Then there is an elliptic curve E over a number field K where the pSelmer group has size at least p^m and where the degree of K over Q is at most genus(X_0(p)) + 1. This is joint work with Remke Kloosterman, Rijksuniversiteit Groningen. 
Author:  Tony Shaska (University of Idaho) 
Title:  On the field of moduli of curves 
Abstract:  Let $k$ be an algebraically closed field of characteristic zero and $\X_g$ a genus $g$ projective irreducible algebraic curve defined over $k$. The {\it field of moduli} is the field of definition of the representing point $\p=[\X_g]$ in the moduli space $\M_g$. For an algebraic curve the field of moduli is not in general a field of definition. Investigating the obstruction is part of descent theory for fields of definition and has many consequences in arithmetic geometry. Many works have been devoted to this problem, most notably by Weil, Shimura, and Grothendieck, among many others. The main goal of this talk is to investigate for which curves the field of moduli is a field of definition. The Weil criterion assures that if a curve has no automorphisms then its field of moduli is a field of definition. Hence, we focus on curves which have nontrivial automorphism group. Our main conjecture says that in the variety of moduli of hyperelliptic curves the obstruction occurs only for curves with automorphism group $\Z_2$. We will briefly describe some known results in the literature and some recent developments. 
Author:  Ben Smith (University of Sydney) 
Title:  Realising endomorphisms of Jacobians with correspondences 
Abstract:  We apply the theory of correspondences on curves to give representations and algorithms for concrete computations with isogenies of jacobians varieties of curves, with a particular emphasis on computing in the endomorphism ring of the jacobian of an algebraic curve. 
Author:  Alexa van der Waall (Simon Fraser University) 
Title:  Differential rings and operators in Magma 
Abstract:  In the newest release of Magma, machinery for defining and working
with differential rings and fields has been implemented. This includes
constructing field extensions, quotient rings and fields of fractions.
In addition, structures are constructed to create differential operators over a differential fields. Calculations related to differential operators, such as determining the singular points and the determination of rational solutions of a linear differential operator are implemented. In this talk we discuss some of the new features of differential rings and operators, as in Magma 2.11, and demonstrate them on the spot via some examples. 
Author:  Soroosh Yazdani (UC Berkeley) 
Title:  Diophantine equations of signature (n,n,3). 
Abstract:  In this talk, I will describe how one can use the techniques used to prove Fermat's Last Theorem, to prove similar Diophantine equations such as $x^n+y^n=z^3$. 
Back to main page 