SR1

This talk will mention methods of testing whether a given integer is prime. Included topics are Carmichael numbers, Fermat and Euler pseudo-primes and results contingent on the Generalised Riemann Hypothesis.

I will go over my paper (arXiv:0902.2135v1) which explains how semi-flat Calabi-Yau / G$_2$ manifolds can be constructed from minimal 3-submanifolds in a signature (3,3) vector space.

Let $\mathbb{E}$ be an elliptic curve defined over a number field $k$,

and let $a\in\mathbb{E}(\mathbb{C})$ be a complex point. Among the

possible choices of sequences of division points of $a$, $(a_n)_n$

such that $a_1 = a$ and $na_{nm} = a_m$, we can pick out those which

converge in the complex topology to the identity. We show that the

algebraic content of this effect of the complex topology is very

small, in the sense that any set of division sequences which shares

certain obvious algebraic properties with the set of those which

converge to the identity is conjugated to it by a field automorphism

of $\mathbb{C}$ over $k$.

As stated, this is a result of algebra and number theory. However, in

proving it we are led ineluctably to use model theoretic techniques -

specifically the concept of "excellence" introduced by Shelah for the

analysis of $L_{\omega_1,\omega}$ categoricity, which reduces the

question to that of proving certain unusual versions of the theorems

of Mordell-Weil and Kummer-Bashmakov. I will discuss this and other

aspects of the proof, without assuming any model- or number-theoretic

knowledge on the part of my audience.

Aside from a few tangential problems, this seminar will include a proof of Ostrowski's Theorem. This states than any norm over the rationals is equivalent to either the Euclidean norm or the $p$-adic norm, for some prime $p$.

This talk will introduce Dirichlet's Theorem on the approximation of real numbers via rational numbers. Once this has been established, a stronger version of the result will be proved, viz Hurwitz's Theorem.

This second 'problem sheet' of the term includes a proof of Jensen's Theorem for the number of zeroes of an analytic function in a disc, the usefulness of which is highlighted by an application to the Riemann zeta-function.