I will talk about work in progress with Ana Caraiani aimed at proving Ihara’s lemma for quaternionic Shimura varieties, generalising the strategy of Manning-Shotton for Shimura curves. As an arithmetic motivation, in the first part of the talk I will recall an approach to the Birch and Swinnerton-Dyer conjecture based on congruences between modular forms, relying crucially on Ihara’s lemma.

The Zilber-Pink conjecture predicts that there should be only finitely
many algebraic numbers t such that the three elliptic curves with
j-invariants t, -t, 2t are all isogenous to each other.  Using previous
work of Habegger and Pila, it suffices to prove a height bound for such
t.  I will outline the proof of this height bound by viewing periods of
the elliptic curves as values of G-functions.  An innovation in this
work is that both complex and p-adic periods are required.  This is
joint work with Christopher Daw.

It is known that the Brauer group of a smooth, projective surface
defined by an equality of two homogeneous polynomials in characteristic 0, is
finite up to constants. I will report on new methods to determine these Brauer
groups, or at least their algebraic parts, as long as the coefficients are in a
certain sense generic. This generalises previous results obtained over the
years by Colliot-Thélène--Kanevsky--Sansuc, Bright, Uematsu and Santens.
(Joint work with A. N. Skorobogatov.)

If $Q(x_0,x_1,x_2)$ is a quadratic form, how many solutions, of size at most $B$, does $Q=0$ have? How does this depend on $Q$? We apply the answers to the surface $y_0 Q_0 +y_1 Q_1 = 0$ in $P^1 x P^2$. (Joint work with Dan Loughran.)
 

Classical ramification theory deals with complete discrete valuation fields k((X)) with perfect residue fields k. Invariants such as the Swan conductor capture important information about extensions of these fields. Many fascinating complications arise when we allow non-discrete valuations and imperfect residue fields k. Particularly in positive residue characteristic, we encounter the mysterious phenomenon of the defect (or ramification deficiency). The occurrence of a non-trivial defect is one of the main obstacles to long-standing problems, such as obtaining resolution of singularities in positive characteristic.

Degree p extensions of valuation fields are building blocks of the general case. In this talk, we will present a generalization of ramification invariants for such extensions and discuss how this leads to a better understanding of the defect. If time permits, we will briefly discuss their connection with some recent work (joint with K. Kato) on upper ramification groups.