This weekly seminar aims to bridge the gap between the senior seminars in London (here and here) and run-of-the-mill number theory by providing a relaxed atmosphere for talks that is mainly post-graduate student driven.

If you would like to suggest a talk (that you could give or want someone else to give), please speak to one of the current organisers: Raffael Singer (Imperial), Misja Steinmetz (King's), Damián Gvirtz (Imperial). We also have a mailing list via which we spread the seminar announcements.

Time: Mondays, 5-6pm.

**25th June 2018 - Hanneke Wiersema**

**A modular approach to some Diophantine equations**

The modular approach to Diophantine equations involves elliptic
curves, modular forms and their Galois representations. It was famously
used to prove Fermat’s Last Theorem and it is the approach we will use to
study a certain class of Diophantine equations. We will associate a Frey
curve to a hypothetical solution of a chosen Diophantine equation. Using
the modularity theorem and level-lowering, we show the Frey curve is
modular of a level dividing the conductor of the Frey curve. Contradicting
this modularity for supposed solutions, we are able to prove an explicit
result on the existence of solutions for some Diophantine equations.

**18th June 2018 - Gregorio Baldi**

**Independence of points on elliptic curves coming from modular curves**

Modular curves naturally parametrise elliptic curves, in
particular it makes sense to consider isogeny classes inside such curves.
Given a correspondence between a modular curve S and an elliptic curve E,
we prove that the intersection of any finite rank subgroup of E with the
set of points on E coming from an isogney class on S is finite. The proof
relies on Serre’s open image theorem and various equidistribution results.

**11th June 2018 - Omri Faraggi**

**Minimal Regular Models of Hyperelliptic Curves**

The Galois representation associated to a hyperelliptic curve
is intimately related to the so called minimal regular model of the curve;
therefore, if we are interested in Galois representations (as many modern
number theorists are), it might make sense to look at models as well. In
this talk, I will explore the relation between minimal regular models and
so called cluster pictures, which are completely combinatorial objects
associated to hyperelliptic curves, carrying information about the $p$-adic
distances between the roots of the equation defining the curve. It has been
shown that the minimal regular model of a hyperelliptic curve with
semistable reduction is determined entirely by its cluster picture, and the
hope is that this will be true for all hyperelliptic curves as well.

**4th June 2018 - Sarah Nowell**

**Torsion of elliptic curves**

One very well known theorem about torsion points on elliptic
curves is the Nagell-Lutz Theorem. It is natural to ask if this generalises
to elliptic curves defined over number fields. The answer is yes, so I
will begin by sketching an explicit proof of a generalisation of the
Nagell-Lutz Theorem . Another useful tool, when working with torsion
points of elliptic curves, are modular curves. So I will introduce these
and show how you may calculate them explicitly. As an example of their
application I will give a proof, via some 2-descent, that no elliptic curve
defined over the rationals has a torsion point of order 11.

**28th May 2018**

No seminar due to bank holiday.

**21st May 2018 - Andrew Graham**

**Introduction to Euler Systems**

In the late 1980s Kolyvagin introduced the concept of an Euler system - a tool which relates the arithmetic of Galois representations to values of its associated L-function. His construction was inspired by Thaine's work on bounding ideal class groups and his own work on elliptic curves. In this talk I will describe these motivating examples before giving the modern definition of an Euler system due to Rubin. If time permits I will also describe the current method of constructing Euler systems from Siegel units.

**14th May 2018 - Joaquin Rodrigues Jacinto**

**Introduction to the p-adic Langlands correspondence for $\mathrm{GL}_2(\mathbb{Q}_p)$**

The p-adic Langlands correspondence for $\mathrm{GL}_2(\mathbb{Q}_p)$ establishes a bijection between certain class of continuous $p$-adic Galois representations of dimension 2 and certain class of Banach representations of the group $\mathrm{GL}_2(\mathbb{Q}_p)$. We will state this correspondence precisely and give an outline of the main techniques involved in its proof.

**7th May 2018**

No seminar due to bank holiday.

**30th April 2018 - Chris Birkbeck**

**P-adic Langlands functoriality**

I will explain what p-adic Langlands functoriality is and give
some examples. In particular, we will look at how one can interpolate the
classical Jacquet—Langlands correspondence and obtain closed immersions
between certain eigenvarieties. Lastly, I will give some applications of
this to the study of overconvergent modular forms.

Time: Mondays, 5-6pm.

**19th March 2018 - Enrica Mazzon**

**Introduction to Berkovich Spaces**

Non-archimedean geometry is a theory of analytic geometry over
fields equipped with a non-archimedean absolute value, such as the field of
p-adic numbers Q_p or the field of complex Laurent series C((t)). Naïve
attempts to mimic the definition of a holomorphic function from the complex
case do not lead to satisfactory results, due to the fact that the metric
topology on a non-archimedean field is totally disconnected, which destroys
the global nature of complex analytic geometry. Several approaches have
been developed to overcome this difficulty; on of them is Berkovich’s
theory of analytic spaces.
In this talk I will give an introduction to this theory. I will define the
Berkovich's analytification functor and the basic topological properties of
Berkovich spaces, showing some explicit example in low dimension.

**12th March 2018 - Jack Lamplugh**

**l-indivisibily of class numbers in Zp-extensions**

I will talk about how one can prove a non-vanishing result for certain
L-values modulo a prime l not equal to p. This proves that in certain
Zp-extensions the l-part of the class group is bounded. There are also
similar results for Selmer groups of elliptic curves. I will also talk
about how one can show that for these extensions there is an explicit set
of primes of density 1 which do not divide any class numbers in the
Zp-extension.

**5th March 2018 - Andre Macedo**

**The Hasse Norm Principle**

Given an extension L/K of number fields, we say that the Hasse
norm principle holds for L/K if every element of K* which is a local norm
everywhere is in fact a global norm from L*. In this talk, I’ll present
Hasse’s classic norm theorem for cyclic extensions and I'll outline Tate’s
description of the knot group (an object measuring the failure of the Hasse
norm principle) for Galois extensions. I’ll characterize the validity of
this principle in biquadratic extensions and mention some frequency
results. If time permits, I'll also talk about the weak approximation
property on the associated norm one tori and how it relates to the Hasse
norm principle.

**26th February 2018 - Carl Wang-Erickson**

**Ribet's Converse to Herbrand's Theorem**

Ribet's proof of the converse to Herbrand's theorem, published in 1976, initiated an approach to the relationship modular forms to arithmetic that has proved very fruitful. I will overview Ribet's result and discuss subsequent developments.

**19th February 2018 - Ashwin Iyengar**

**Basic Arakelov Intersection Theory**

This talk will give a gentle introduction to Arakelov theory by explaining
Arakelov's original formulation of arithmetic intersection theory in the
case of surface. I'll give a brief summary of intersection theory for
surfaces over algebraically closed fields, before moving onto Arakelov's
paper. I'll explain how to define analogous notions of divisors and
intersection pairings on arithmetic varieties. I'll mention the arithmetic
Hodge index theorem as analogous to the classical Hodge index theorem, and
if time permits I'll talk about how to generalize the picture to higher
dimensions to construct arithmetic Chow groups.

**12th February 2018 - Raffael Singer**

**Explicit Local Class Field Theory**

Tate gave a construction of the local Artin reciprocity map from
Galois cohomological methods. This construction is useful for describing
the maximal abelian quotient of the Galois group, but it is too abstract to
reconstruct from it the maximal abelian extension or the action of K^\times
on it. Lubin and Tate showed how to obtain explicit totally ramified
abelian extensions by adjoining torsion points of Lubin-Tate formal groups.
In my talk, I will briefly recall the cohomological construction and then
give a summary of the theory of Lubin-Tate formal groups. Finally, if there
is time, I will try to give a modern point of view via the Lubin-Tate tower
and talk about generalizations of local CFT to local Langlands for GL_n.

**5th February 2018 - Kwok-Wing 'Ghaleo' Tsoi**

**On the Equivariant Tamagawa Number Conjecture (Mostly Commutative)**

In this talk, I will give an overview on the formulation of the
Equivariant Tamagawa Number Conjecture (eTNC) with commutative
coefficients. In the case of (untwisted) Tate motive, the statement of eTNC
can be made very explicit and has been used extensively for making very
refined predictions on the structure of arithmetic objects. In this talk, I
will survey these ideas. If time permits, I will also describe how this
conjectural framework has inspired the current development of
(non-commutative) Iwasawa Theory.

**29th January 2018 - Ardavan Afshar**

**The Function Field Sathé-Selberg Formula**

In the 1950s Selberg invented an ingenious analytic technique,
which would later be developed into the so-called Selberg-Delange method,
for enumerating certain arithmetic quantities. In particular, he used it to
derive an asymptotic formula, originally due to Sathé, for the number of
numbers less than x with exactly k prime factors, uniformly in k (a
generalisation of the prime number theorem). We have adapted this technique
to the setting of the rational function field over a finite field, where
one can eliminate some technicalities and get stronger results, the latter
on account of Weil's Riemann Hypothesis for curves over finite fields. We
count an analogous quantity to that of Sathé and Selberg, and then refine
it to the case of fixed arithmetic progressions or short intervals. This is
joint work with Sam Porritt.

**22nd January 2018 - Robin Bartlett**

**Filtered Isocrystals and Galois representations**

In this this talk I'm going to explain why filtered isocrystals
can be interesting things to think about. I will discuss how they arise
from geometry and how the condition of weak admissibility singles out those
which have something to do with Galois representations. I will conclude by
sketching a short proof of Fontaine--Rapoport which describes a necessary
and sufficient condition for the existence of a weakly admissible
filtration on an isocrystal, of a given Hodge type.

**15th January 2018 - Pol van Hoften**

**Barsotti-Tate Groups**

This talk be be an introduction to Barsotti-Tate Groups (or
p-divisible groups) and we will focus on their relation to abelian
varieties. I will first give a crash course in finite flat group schemes
before discussing the basic properties of p-divisible groups. In the end
I will indicate how this relates to good Tate modules and good reduction of
abelian varieties over p-adic fields.

Directions: From main Strand reception, exit the building and turn right. Turn right onto Surrey Street (the street that leads down to Temple station) and walk down to a red brick building; it is the Norfolk Building. Signs are outside the door. Room G.01 is on the left when you walk into the entrance area. Or use this map.

Time: Tuesdays, 5:15-6:15pm.

**5th December 2017 - James Newton**

**Potential modularity of elliptic curves**

Elliptic curves defined over the rational numbers have famously
been proven to be modular (by Wiles, Breuil, Conrad, Diamond and Taylor).
This means that the L-function coincides with the L-function of a modular
form. One important consequence of this result is that the L-function of
the elliptic curve has analytic continuation to the entire complex plane
and a functional equation.

It is not yet known whether elliptic curves over all totally real number
fields are modular (in this case "modular" means that the L-function
coincides with the L-function of a Hilbert modular form). However we do
know that they are "potentially modular", which means that they become
modular after making some extension of the field of definition. I will say
something about how this result is proved, and discuss some applications,
including showing that the L-function of the elliptic curve has meromorphic
continuation to the entire complex plane and a functional equation.

**28th November 2017**

JNT goes on hiatus for the London-Paris Number Theory Seminar.

**21st November 2017 - Adam Morgan**

**Birch and Swinnerton-Dyer conjecture over function fields**

Over global function fields one can say much about the Birch and
Swinnerton-Dyer conjecture that is known over number fields, largely thanks
to the Weil conjectures. I will survey what is known and explain the
relevance of the Weil conjectures, introducing the basic theory of elliptic
surfaces along the way.

**14th November 2017 - Matt Bisatt**

**How to win a million dollars: Part VII**

One of the Millennium Problems is the famed conjecture of Birch and
Swinnerton-Dyer which connects the rank of an elliptic curve to the order
of vanishing of its L-function. Combining this with a conjecture of
Deligne, we explore twisted L-functions and how the rank changes under
field extension; we manipulate this new relation to force large jumps in
the analytic rank in certain cases. The overarching question, and our road
to the million dollars, is whether these new predictions match up with what
we know; time permitting, we shall discuss a particular case when this is
true.

This talk is rated PG for PostGrad (or PleaseGo!): there will be no mention
of any schemes, categories or perfectoid spaces at all, only friendly
elliptic curves!

**7th November 2017 - David Solomon**

**Lifting the Jacobi Reciprocity Law with Dedekind Sums**

Originally introduced by Dedekind in their most basic form to express the
transformation law of his eta-function, so-called Dedekind Sums are objects
of `classical mathematics' whose properties and applications deserve to be
much better known to contemporary number theorists. A large number of
generalisations of the basic sum have been defined and studied by
Rademacher, Sczech, Zagier and many other authors up to the present. They
find number theoretic applications in areas as diverse as modular forms,
the partition function, lattice-point counting and the L-functions and
arithmetic of totally real number fields, to mention only a few. They also
crop up in statistics and elsewhere in mathematics. A central feature of
each variant is the appropriate variant of a `Reciprocity Law' that it
satisfies. I shall briefly review basic Dedekind Sums, define a new
generalisation and discuss its reciprocity law and transformation under
matrices in GL_2(Z). I shall also recall the quadratic Jacobi Symbol from
elementary number theory and its reciprocity law which may be viewed as a
as a congruence in Z/2Z, via a generalisation of the Gauss Lemma. I shall
then show how Dedekind sums allow us to lift this form of the Jacobi
Reciprocity law to a rather neat equation in the integers related to a
certain finite continued fraction expression. If time allows I shall
consider what happens when we replace quadratic symbols with cubic and
higher powers and explain a possible connection with work of Robert
Sczech. All the mathematics in this talk will be of an `elementary' nature
but with connections and applications to deep and interesting number
theory.

**31st October 2017 - Giada Grossi**

**Selmer groups and Bloch-Kato conjecture: an introduction**

From a p-adic Galois representation V, one can construct, under some
assumptions, the Bloch—Kato Selmer group, which is an algebraic object,
and an L-function, which is a more analytic one. The Bloch—Kato conjecture
relates these different incarnations of V. In this talk we will recall the
standard definition of the Selmer group attached to an abelian variety and
try to understand how the Bloch—Kato Selmer group provides its right
generalisation. We will then state the (weak form of the) Bloch—Kato
conjecture for V and see how one recovers the Dirichlet’s unit theorem in
the case where V is the trivial representation and the
Birch—Swinnerton-Dyer conjecture when V is the Tate module of an abelian
variety.

**24th October 2017 - Alex Betts**

**Introduction to the Etale Fundamental Group**

Some of the most useful tools in arithmetic geometry are various analogues of algebro-topological tools, most famously the theory of etale cohomology as used in Grothendieck's and Deligne's proofs of the Weil conjectures. In this talk we will define and survey some of the basic theory of etale cohomology's lesser-known cousin, the etale fundamental group. This group is conjectured to be tied very closely to the Diophantine geometry of hyperbolic curves, and provides finer information on such curves than simply etale cohomology alone.

**17th October 2017 - Galen Voysey**

**Geometric and p-adic modular forms**

I was introduced to modular forms as functions from the upper half plane to the complex numbers satisfying certain conditions. This definition fails to encompass/emphasize the arithmetic properties and link to modular curves. In this talk, we will examine modular forms as sections of sheaves on modular schemes. We'll talk about Katz's geometric definition of modular forms, and see how this perspective lets us use powerful tools in (non-archimedean) algebraic geometry to study modular forms.

**10th October 2017 - Andrea Sartori**

**Vinogradov's conjecture on the least primitive root**

In 1930 Vinogradov conjectured that the smallest element which generates (Z/pZ)*
(the smallest primitive root) is smaller then any power of p if p is sufficiently large.
In general we only have partial results, due to Vinogradov himself and Burgess,
towards this conjecture. However, if we allow small exceptional sets much more
is known and one could say that Vinogradov conjecture is true for almost every
prime. This naturally rises the question weather we can find better bounds on the
smallest primitive root given some extra informations about p. I will discuss what
can be said if the factorization of p-1 is brought into play.

**3rd October 2017**

JNT goes on hiatus during LSGNT induction week.

**26th September 2017 - Dougal Davis**

**What is a principally polarised abelian variety (and what can they
do for me)?**

Principally polarised abelian varieties are higher dimensional
analogues of elliptic curves that turn up all over the place in both number
theory and geometry. In this talk, I will describe how they can be thought
of in terms of algebraic geometry, and in terms of analysis, explain some
of their basic properties, and give a taste of some of the cool things they
can do for you.

Time: Tuesdays, 5-6pm.

**27th June 2017 - Raffael Singer**

**Tate's Thesis**

In his doctoral thesis Tate gave a new proof of the meromorphic continuation and functional equation for the modified Riemann Zeta function by interpreting it as an idelic integral. The advantage of his method is that it vastly generalises and gives meromorphic continuation and functional equation for a large class of L-functions. I will give the main ingredients of Tate's proof and - time permitting - discuss applications such as the analytic class number formula and the Riemann Roch Theorem for curves over finite fields.

**NOTE: This week the seminar meets in Huxley 213.**

**20th June 2017 - Damián Gvirtz**

**Alterations**

Resolution of singularities in mixed and positive characteristic by birational modifications was considered by Grothendieck to be one of the pressing issues of algebraic geometry and in spite of active research, the general result still seems out of reach at present. However, in 1995 Aise Johan de Jong showed to an amazed audience that if one relaxes the birationality condition of isomorphic function fields to allow finite extensions, any variety can be made regular. In this talk I will try to answer two questions: 1. What can de Jong's result do for me? In many arithmetic cases, resolution by alterations may be enough to draw conclusions. But even in characteristic 0, there are some new results 2. What can de Jong's proof do for me? One source of amazement in 1995 must have been that the tools used had been around for quite a while, but it took the creativity of de Jong to put them together. It is certainly worthwhile knowing them.

**NOTE: This week the seminar meets in Huxley 213.**

**13th June 2017 - Domenico Valloni**

**Absolute Hodge Classes**

In this talk we are going to talk about absolute Hodge classes. Starting from the definition, we are going to explain how to build a category of motives using these classes as correspondences, and why it behaves very well for practical computations (i.e. we are going to show that some of the standard conjectures are automatically true in this category and so on). Later we are going to talk about the Variational Hodge Conjecture and Deligne's Principle B, and as an example we will show the the Kuga-Satake correspondence is Absolute Hodge. Finally we are going to state Deligne's Theorem on Absolute Hodge Classes for Abelian varieties and show how it implies an inclusion of the Mumford Tate Conjecture.

**NOTE: Due to the London-Paris Number Theory seminar, this week we meet in Room 500 of the UCL Maths Department.**

**6th June 2017 - Marco D'Addezio**

**Survey on Deligne Conjectures for lisse sheaves**

In Weil 2 Deligne has formulated some deep conjectures about lisse sheaves on normal varieties over a finite field. The Langlands Correspondence for GL_n over a function fields gives as a consequence a positive answer to the conjectures for smooth curves. We will explain briefly how to extend this result to varieties of higher dimension. Because of the lack of a Langlands Correspondence this is performed via a clever reduction to the case of curves. At the end of the talk I will present the problems appearing when the varieties are singular.

**30th May 2017 - Michele Giacomini**

**O-minimality and the Manin-Mumford conjecture**

In 2008 Pila and Zannier gave a new proof of the Manin-Mumford conjecture about torsion points in abelian varieties. The interest in this new proof is due to the fact that it is quite elementary and it can be applied also to similar questions. The proof is based on counting rational points in sets definable in an o-minimal structure. In this talk, I will give a quick introduction to o-minimal structures and Pila and Wilkie’s result counting rational points in definable sets. Then I will prove the Manin-Mumford conjecture.

**23rd May 2017 - Joe Kramer-Miller**

**Crystalline Riemann-Hurwitz**

Given a covering of curves in char p C->X we know how the genus changes in terms of the degree of the map and ramification data. This is basically telling us the dimension of H^1_cris(C). The question is then: can we say anything about the Newton polygon of H^1_cris(C) in terms of the Newton polygon of H^1_cris(X) and some ramification data? We describe Crew's result for the unit root subcrystals and we'll share some of our hopes/dreams about how to approach the more general situation. If time permits we will explain the relationship to arithmetic progressions in slopes of "abstract eigencurves".

**16th May 2017 - Andrea Dotto**

**Langlands parameters for unramified representations**

The local Langlands conjectures formulate a parametrization of irreducible representations of p-adic groups in terms of arithmetic invariants, closely related to representations of the absolute Galois group of the base field. I'll show how the Satake isomorphism motivates their definition, and sketch how it yields a construction of this correspondence for a certain class of representations.

**NOTE: This week the seminar meets as usual in Huxley 140.**

**9th May 2017 - Tibor Backhausz**

**Local-global compatibility in completed cohomology for GL2**

Completed cohomology is a certain limit of the cohomology of
symmetric spaces obtained from reductive groups, used as a replacement for
a space of p-adic automorphic forms. In the GL2 case, we have commuting
Galois and adelic GL2 actions on completed cohomology. Emerton has shown,
with a few technical hypotheses, that the homomorphism from a Galois
representation V (over a p-adic coefficient field) into the completed H^1
of modular curves decomposes (compatibly with the adelic GL2 action) into a
restricted tensor product with each term of the product depending only on
the restriction of V to the decomposition group of some prime. Moreover,
this dependence is given by the p-adic and (modified) classical local
Langlands correspondences; this is an instance of local-global
compatibility. There is a modulo p version of this theorem, and also an
integral statement at the heart of Emerton's paper, describing the
structure of the unit ball of the completed H^1 in terms of the "local
Langlands correspondence in families", which I will discuss if time permits.

**NOTE: This week the seminar meets in Huxley 213.**

**2nd May 2017 - Wansu Kim**

**Introduction to affine Deligne-Lusztig varieties**

Affine Deligne-Lusztig varieties are certain group-theoretically defined “spaces”, motivated by the study of the mod p reduction of the moduli spaces of abelian varieties with extra structure (such as modular curves, Siegel modular varieties, etc). The definition involves a nice group-theoretic interpretation of the theory of Dieudonné modules. We motivate the definition from the simplest case of modular curves, and work out a few simple examples of more general affine Deligne-Lusztig varieties.

Time: Mondays, 5-6pm.

There will be no other seminar this term due to the AWS.

**6th March 2017 - Martin Orr**

**Unlikely intersections and point counting**

"Unlikely intersections" refers to results of the following form: if an algebraic variety contains lots of "special" points, then this must be explained by the geometrical structure of the variety. The meaning of the word "special" here must be given a precise definition relevant to a particular situation (for example, it could refer to torsion points in an algebraic group). In this talk, I will give an overview of several theorems and conjectures of this form, such as the Manin-Mumford conjecture. Then I will sketch a method of proving such results due to Pila and Zannier, based upon counting rational points in definable sets in an o-minimal structure (an idea which comes from mathematical logic).

**27th Ferburary 2017 - Ben Heuer**

**Eigencurves**

An eigencurve is a geometric space that parametrises and p-adically
interpolates Hecke eigenforms. But what does that even mean,
"parametrise and p-adically interpolate", and if I have an eigencurve,
then what?
In this talk we want to give an introduction to "eigenworld". We will
start with different ways to think about p-adic families of eigenforms,
and briefly talk about why people are interested in these sort of things
(Galois representations, congruences between modular forms,
L-functions...). We will then talk about the main ideas in the
construction of the Coleman-Mazur eigencurve. If time permits, we will
also talk about recent generalisations and some open questions about the
geometry of eigenvarieties, such as the "spectral halo conjecture".

**20th February 2017 - Chris Williams**

**Modular symbols and why we should care about them**

In a recent 'senior' seminar, Christian Johansson gave an introduction to modular symbols and explained why they were useful in the context of constructing eigenvarieties, that is, constructing p-adic families of modular forms. In this talk I'll give a slightly different (but equivalent) version of the theory and discuss the role of modular symbols in a construction of p-adic L-functions, an application that Christian alluded to in his seminar, following work of Pollack and Stevens. If time permits, I'll discuss why modular symbol methods really are easier than the more classical geometric methods for considering generalisations of this theory, particularly in the context of GL(2) over number fields.

**13th February 2017 - Emiliano Ambrosi**

**Specialization of representations of the étale fundamental group and applications**

Let X\rightarrow S be a one dimensional family of smooth projective varieties over a finitely generated field k. For every rational point s of S we have an l-adic representation of the absolute Galois group of k on the l-adic ètale cohomology of the fiber X_s of the morphism. We will discuss how the image of these representations vary when s is varying in S(k). Finally we will show how these results can be used to study problems related to the uniform boundedness of the l-primary torsion of abelian varieties and of the l-primary torsion in the Brauer group of families of K3 surfaces.

**6th February 2017 - Netan Dogra**

**The Picard-Lefschetz formula for curves and a nonabelian generalisation**

In this talk I will discuss the Picard-Lefschetz theorem from a relatively naive point of view and explain how it generalises to a proof of Oda's theorem, which states that a curve over a local field has good reduction if and only if the Galois action on a certain quotient of its fundamental group is unramified. First we will have a brief review of models of curves, and then see how to compute the monodromy of a semistable family of curves over a punctured disc (mostly by drawing pictures). A brief detour through deformation theory and Abhyankar's Lemma will tell us that we've actually computed the action of inertia on the p-adic cohomology of any curve over a local field of mixed characteristic (0,l) which has semistable reduction. We'll then notice that the same approach tells us how to compute the action of inertia on quite a lot of the etale fundamental group, and to complete the proof of Oda's theorem.

**30th January 2017 - Antonio Cauchi**

**An introduction to the theory of p-adic families of ordinary forms**

After discussing the example of the p-adic family of Eisenstein series, I will define the space of \lambda-adic modular forms, state their properties and I will talk about their associated Galois representation. If time permits, I will also describe Ohta's analogous results on the inverse limit of \'etale cohomology groups of modular curves and discuss an application on the theory of p-adic interpolations of Siegel units and Eisenstein classes.

**23rd January 2017 - Stephane Bijakowski**

**What are Hasse invariants used for?**

If E is an elliptic curve over a field of characteristic p, then E is either ordinary or supersingular. This condition can be seen on the structure of the p-torsion of E, or using the Hasse invariant. After presenting these notions and the possible applications, I will show how they can be adapted for general p-divisible groups.

Time: Tuesdays, 5:00pm.

**NOTE: In light of the LSGNT Christmas party, the seminar has been moved to room 706 in the UCL Maths Dept at 5pm.**

**13th December 2016 - Gregorio Baldi**

**All you ever wanted to know about motives, but were afraid to ask**

About motives Grothendieck wrote: “Here we enter in a mathematical dream, trying
to image what “could be”, being insensately optimistic using the partial knowledge we have about the arithmetic properties of cohomology of algebraic varieties.” Starting from classical problems in Arithmetic Geometry such as the Weil and Tate conjectures
we will see how to interpret them in a cohomological framework. This will lead us to the definition of Weil cohomology and the insensate optimism will lead to the Standard conjectures. Actually such machinery is the shadow of what is happening in a category
“universal among all the cohomological theories”, namely the category of (pure) Motives. We will present the construction of the Chow motives and, to get a concrete grasp of it, we will discuss the motives attached to curves and abelian varieties.

**NOTE: The seminar will start at 5:30pm this week.**

**6th December 2016 - Misja Steinmetz**

**Cooking with Serre - the weight recipe**

Upon popular request (I clearly have an issue with peer pressure) I am
giving a talk about Serre's modularity conjecture (which is a theorem now).
The conjecture predicts that any odd irreducible mod p Galois
representation arises as the reduction of the p-adic representation
attached to a Hecke eigenform. In Serre's original statement of the
conjecture, he gives a precise 'recipe' for deducing the level, character
and weight of the eigenform from the mod p Galois representation. The aim
of this talk is to give a careful motivated statement of the conjecture
following Serre's original paper from 1987; in particular, I want to try to
give some intuition for where Serre's weight recipe comes from (which
seemed like magic to me the first time I read his paper).

**29th November 2016 - Otto Overkamp**

**Néron Models**

Néron models will be introduced and their most basic properties discussed. Then we will apply the theory of Néron models to prove the criterion of Néron-Ogg-Shafarevich relating good reduction of Abelian varieties to properties of their associated l-adic Galois representation.

**22nd November 2016 - Matthew Bisatt**

**Getting to the root of elliptic curves**

Given an elliptic curve over the rationals, the sign that occurs in the functional equation of its L-function is known as the root number. I will discuss how the root number can be computed from a Weierstrass model using epsilon factors and how these can predict whether the curve has infinitely many rational points.

Time permitting, I will generalise this to Jacobians of hyperelliptic curves using the newly developed theory of clusters.

**15th November 2016**

JNT goes on hiatus for the London-Paris Number Theory Seminar.

**8th November 2016 - Ben Heuer and Damián Gvirtz**

**Two guys talking about Perfectoid Spaces**

Since learning (back in kindergarten) about structural similarities
between non-archimedean local fields in equal and mixed characteristic, you may
have wondered whether these could be put into a rigorous framework to transfer
results between the two worlds. Perfectoid Spaces as invented by Peter Scholze
are such a framework and have already resulted in great applications.
We will start with the classical inspiration for Scholze's definitions of
perfectoid fields and algebras, then introduce the transfer tools of tilts and
untilts, the tilting equivalence and (briefly) how to glue these things to
global objects.

**1st November 2016 - Ardavan Afshar**

**Multiplicative Number Theory in Function Fields**

I'll begin with separate introductions to Multiplicative Number Theory and Function Fields (so you don't need to know anything beforehand) and then explain why it can be nice to ask questions from Multiplicative Number Theory in the setting of Function Fields. In particular, I'll try to explore both the combinatorial perspective, which allows us to think about things like the Prime Number Theorem and Dirichlet's Divisor Problem, and the more algebraic aspect, which provides tools like Pellet's formula and helps us to understand sums of multiplicative functions.

**25th October 2016 - Robin Bartlett**

**L-adic representations of local Galois groups and the l-adic monodromy theorem**

In this first talk I plan to give a gentle introduction to the study of l-adic representations of a p-adic Galois group (l \neq p). I'll give examples, talk about things like inertia, tame and wild ramification, etc...., and then finish with some kind of discussion of the l-adic monodromy theorem. This last theorem is some result which restricts the shape these l-adic representations can take, to the extent that you can, at least in theory, write them* down on finitely many pieces of paper.

*maybe just the semi-simple ones, I don't know what you can say about extensions.

This website is "maintained" by Damián Gvirtz.