L2

Iwasawa algebras are completed group rings that arise in number theory, so there is interest in understanding their prime ideals. For some special Iwasawa algebras, it is conjectured that every non-zero such ideal has finite codimension and in order to show this it is enough to establish the faithfulness of the modules arising from the completion of highest weight modules. In this talk we will look at methods for doing this and apply them to the specific case of the metaplectic representation for the symplectic group.

In this seminar, I will talk about a notion of entropy of arithmetic functions and some properties of this entropy.  This notion was introduced to study Sarnak's Moebius Disjointness Conjecture.

Let $E$ be an elliptic curve over a number field $K$ and $n \geq 2$ an integer. We recall that elements of the $n$-Selmer group of $E/K$ can be explicitly written in terms of certain equations for $n$-coverings of $E/K$. Writing the elements in this way is called conducting an explicit $n$-descent. One of the applications of explicit $n$-descent is in finding generators of large height for $E(K)$ and from this point of view one would like to be able to take $n$ as large as possible. General algorithms for explicit $n$-descent exist but become computationally challenging already for $n \geq 5$. In this talk we discuss combining $n$- and $(n+1)$-descents to $n(n+1)$-descent and the role that invariant theory plays in this procedure.

TBC

The Liouville function $\lambda(n)$ is defined to be $+1$ if $n$ is a product of an even number of primes, and $-1$ otherwise. The statistical behaviour of $\lambda$ is intimately connected to the distribution of prime numbers. In many aspects, the Liouville function is expected to behave like a random sequence of $+1$'s and $-1$'s. For example, the two-point Chowla conjecture predicts that the average of $\lambda(n)\lambda(n+1)$ over $n < x$ tends to zero as $x$ goes to infinity. In this talk, I will discuss quantitative bounds for a logarithmic version of this problem.

Many congruences between modular forms (or at least their q-expansions) can be explained by the theory of $p$-adic families of modular forms. In this talk, I will discuss properties of eigenvarieties, a geometric interpretation of the idea of $p$-adic families. In particular, focusing initially on the well-understood case of (elliptic) modular forms, before delving into the considerably murkier world of Bianchi modular forms. In this second case, this work gives numerical verification of a couple of conjectures, including BSD by work of Loeffler and Zerbes.

Modular curves play a key role in the Langlands programme, being the simplest example of so-called Shimura varieties.  Their less famous cousins, Shimura curves, are also very interesting, and very concrete. 
In this talk I will give a gentle introduction to the arithmetic of Shimura curves, with lots of explicit examples. Time permitting, I will say something about recent work about intersection numbers of geodesics on Shimura curves.

In this talk, I will discuss correlation functions in 6d (2, 0) theories of two 1/2-BPS operators inserted away from a 1/2-BPS surface defect. In the large central charge limit the leading connected contribution corresponds to sums of tree-level Witten diagram in AdS7×S4 in the presence of an AdS3 defect. I will show that these correlators can be uniquely determined by imposing only superconformal symmetry and consistency conditions, eschewing the details of the complicated effective Lagrangian. I will present the explicit result of all such two-point functions, which exhibits remarkable hidden simplicity.

In this talk, we discuss two-dimensional Riemann problems in the framework of potential flow
equation and isentropic Euler system. We first review recent results on the existence, regularity and properties of
global self-similar solutions involving transonic shocks for several 2D Riemann problems in the
framework of potential flow equation. Examples include regular shock reflection, Prandtl reflection, and four-shocks
Riemann problem. The approach is to reduce the problem to a free boundary problem for a nonlinear elliptic equation
in self-similar coordinates. A well-known open problem is to extend these results to a compressible Euler system,
i.e. to understand the effects of vorticity. We show that for the isentropic Euler system, solutions have
low regularity, specifically velocity and density do not belong to the Sobolev space $H^1$ in self-similar coordinates.  
We further discuss the well-posedness of the transport equation for vorticity in the resulting low regularity setting.

------------------------

North Wing talk: Dr Thomas Karam
Title: Ranges control degree ranks of multivariate polynomials on finite prime fields.

Abstract: Let $p$ be a prime. It has been known since work of Green and Tao (2007) that if a polynomial $P:\mathbb{F}_p^n \mapsto \mathbb{F}_p$ with degree $2 \le d \le p-1$ is not approximately equidistributed, then it can be expressed as a function of a bounded number of polynomials each with degree at most $d-1$. Since then, this result has been refined in several directions. We will explain how this kind of statement may be used to deduce an analogue where both the assumption and the conclusion are strengthened: if for some $1 \le t < d$ the image $P(\mathbb{F}_p^n)$ does not contain the image of a non-constant one-variable polynomial with degree at most $t$, then we can obtain a decomposition of $P$ in terms of a bounded number of polynomials each with degree at most $\lfloor d/(t+1) \rfloor$. We will also discuss the case where we replace the image $P(\mathbb{F}_p^n)$ by for instance $P(\{0,1\}^n)$ in the assumption.
 

South Wing talk: Dr Hamid Rahkooy
Title: Toric Varieties in Biochemical Reaction Networks

Abstract: Toric varieties are interesting objects for algebraic geometers as they have many properties. On the other hand, toric varieties appear in many applications. In particular, dynamics of many biochemical reactions lead to toric varieties. In this talk we discuss how to test toricity algorithmically, using computational algebra methods, e.g., Gröbner bases and quantifier elimination. We show experiments on real world models of reaction networks and observe that many biochemical reactions have toric steady states. We discuss complexity bounds and how to improve computations in certain cases.