Once Upon a Time in Egypt: How the Story of Rational Points Began
Abstract
A nice bed-time story to end the term. It is often said that ideas like the group law or isogenies on elliptic curves were 'known to Fermat' or are 'found
in Diophantus', but this is rarely properly explained. I will discuss the first work on rational points on curves from the point of view of modern number
theory, asking if it really did anticipate the methods we use today.
14:30
The hitting time of rainbow connectivity two
Abstract
Rainbow connectivity is a new concept for measuring the connectivity of a graph which was introduced in 2008 by Chartrand, Johns, McKeon and Zhang. In a graph G with a given edge colouring, a rainbow path is a path all of whose edges have distinct colours. The minimum number of colours required to colour the edges of G so that every pair of vertices is joined by at least one rainbow path is called the rainbow connection number rc(G) of the graph G.
For any graph G, rc(G) >= diam(G). We will discuss rainbow connectivity in the random graph setting and present the result that for random graphs, rainbow connectivity 2 happens essentially at the same time as diameter 2. In fact, in the random graph process, with high probability the hitting times of diameter 2 and of rainbow connection number 2 coincide
17:00
"Nielsen equivalence and groups whose profinite genus is infinite"
Abstract
In our 2004 paper, Fritz Grunewald and I constructed the first
pairs of finitely presented, residually finite groups $u: P\to G$
such that $P$ is not isomorphic to $G$ but the map that $u$ induces on
profinite completions is an isomorphism. We were unable to determine if
there might exist finitely presented, residually finite groups $G$ that
with infinitely many non-isomorphic finitely presented subgroups $u_n:
P_n\to G$ such that $u_n$ induces a profinite isomorphism. I shall
discuss how two recent advances in geometric group theory can be used in
combination with classical work on Nielsen equivalence to settle this
question.
A non-desarguesian projective plane of analytic origin
Abstract
avoiding a direct use of Hrushovski's construction. Instead we make use of the field of complex numbers with a holomorphic function (Liouville function) which is an omega-stable structure by results of A.Wilkie and P.Koiran. We first find a pseudo-plane interpretable in the above analytic structure and then "collapse" the pseudo-plane to a projective plane applying a modification of Hrushovski's mu-function.