The organisers are Brendan Creutz and Felipe Voloch.

Talks will be at the School of Mathematics and Statistics, Erskine Bldg., Room 505. The workshop is open to everyone and no registration is necessary.

This follows the First NZ Number Theory Workshop held at the University of Auckland.

9:30-10:20 |
David Harvey |

10:30-11:00 |
Coffee Break (Room 447) |

11:00-11:50 |
Byoung Du Kim |

12:00-2:00 |
Lunch Break (no catering provided) |

2:00-2:40 |
Barak Shani |

2:45-3:25 |
Yan Bo Ti |

3:30-3:55 |
Break (Room 447) |

4:00-4:50 |
Problem session |

We have informal plans to go to the UC Staff Club for drinks at 5pm and go for dinner (place TBD) afterwards.

I will discuss algorithms for computing the zeta function of a variety over a finite field, focusing on methods introduced in my paper "Computing zeta functions of arithmetic schemes" (2015). The goal of this work is to obtain good asymptotic performance with respect to the prime p (the characteristic), for as wide a range of varieties as possible.

B. D. Kim (Victoria Univ. of Wellington) The rational points over cyclotomic extensions of abelian varieties defined over number fields ramified at p with non-ordinary reduction at the primes above p.

Efforts to study elliptic curves and the Galois representations attached to modular forms are often hampered by reduction types. Especially from the perspective of Iwasawa Theory, good ordinary reduction and split multiplicative reduction are comparatively easier to study, and the other reduction types (good supersingular/non-ordinary reduction, additive/potentially semistable reduction, etc.) are considered much harder.
The model that everyone wants to follow is Barry Mazur's ``Rational Points of Abelian Varieties
with Values in Towers of Number Fields'', Inventiones math. 18, 183--266 (1972). With his work, when p is good ordinary or multiplicative, we can precisely express the relation between the characteristic ideal of the p-adic Selmer groups of elliptic curves or modular forms, and their p-adic L-functions. In particular, if the p-adic L-functions are not 0, then we know that the rational points over Q(μ_{p∞}) of elliptic curves or abelian varieties attached to newforms have a finite rank.
Various attempts have been made to crack the case of the good supersingular/non-ordinary reduction case. Time permitting,
I will discuss my construction of ±/±-Selmer groups over
Z_{p}^{2}-extensions of imaginary quadratic fields (``Signed-Selmer Groups over the Z_{p}^{2}-extension of an Imaginary Quadratic Field'', Canad. J. Math. 66(2014), 826--843), and multi-variable p-adic L-functions of elliptic curves over imaginary quadratic fields (``Two-variable p-adic L-functions of modular forms for non-ordinary primes'', Journal of Number Theory Volume 144, November 2014, Pages 188--218), which were much further generalized by Loeffler, and resulted in the ±/±-p-adic L-functions (``P-adic integration on ray class groups and non-ordinary p-adic L-functions'', Proceedings of the Conference Iwasawa, 2012). But, the most important theme of this presentation is my work on the rational points of elliptic curves and abelian varieties over Z_{p}-extensions of a number field when the elliptic curves or abelian varieties have good supersingular/non-ordinary reduction at p. Here, the biggest difference between my work and the predecessors' work is that I do not assume that the primes of the number field above p are unramified. First, I show a weak bound for the ranks of rational points by building up an Iwasawa Theory for non-ordinary primes, and second, I establish a stronger Iwasawa Theory for elliptic curves under certain conditions, and show a finite bound for ranks.

Barak Shani (Auckland) On Sets of Large Fourier Transform Under Changes in Domain

The structure arising from large values of the Fourier transform has led in recent years to results in different areas of mathematics, such as additive number theory, combinatorial number theory and cryptography. The quantum algorithm for period finding given by Shor is an application that exploits this structure. It is based on the observation that the size of the Fourier transforms of periodic functions is preserved, in some context, when the domain of the function is extended. My recent work with Joel Laity studies what other functions preserve the size of their Fourier coefficients when the size of their domain is changed. In this talk I will present our results and provide two applications of them.

Yan Bo Ti (Auckland) Supersingular isogenies and quaternion algebras

The supersingular isogeny problem is to find an isogeny between two supersingular elliptic curves. This talk would look at the link between supersingular elliptic curves and the maximal orders of quaternion algebras and translate the supersingular isogeny problem into the quaternion world. In doing so, we will show that the security of the Jao--De Feo cryptosystem is dependent on the difficult of computing the endomorphism ring of a supersingular elliptic curve.