My route to the conference passes a stagnant ditch. Today, two families of moorhens were in evidence; a couple with two small chicks, and another group of three older chicks. Blackbirds are also busy foraging on the lawn outside the window at breakfast.
The day began with a really beautiful talk by Gary McGuire, who is (among other things) the person responsible for showing that there are no 16-clue Sudokus. He talked about plane curves over finite fields and the connection with linear recurrent sequences. There was a lot of algebraic geometry just below the surface, and the names of Weil and Serre, Jacobians, and Picard groups were invoked from time to time; but everything was remarkably clear. His computations of zeta-functions of plane curves have revealed some amazing patterns, some of which can be proved. The zeta-function of a plane curve over the field of q elements has the form L(t)/(1−t)(1−qt), and he is interested in when the L-polynomial of one curve divides that of another. If the quotient is a polynomial in tk, then the numbers of points on the two curves are equal over extensions with degree not divisible by k. Since the generating function for the difference between the number of points over an extension of degree n and the “expected” number 1+qn is rational, this series satisfies a linear recurrence, which has stronger properties than are immediately apparent.
After coffee, my freedom was restricted by the fact that I had to chair a session, but the talks in the session were all things I wanted to hear anyway. David Penman counted linear extensions of posets, being interested in the maximum and minimum numbers possible for given numbers of comparabilities in the poset; Joanna Fawcett described locally triangular graphs with a sufficient amount of symmetry; Mark Ellingham was extending Whitney’s results on line graphs to “link graphs”, and needed ideas from topological graph theory to do it; and Anurag Bishnoi presented a remarkably general technique relating putting balls in boxes to geometric problems of Chevalley–Warning type including Jamison’s result on blocking sets in the affine plane.
We had lunch, and then went our separate ways.