L6

The relationship between the large-scale geometry of a group and its algebraic structure can be studied via three notions: a group's quasi-isometry class, a group's abstract commensurability class, and geometric actions on proper geodesic metric spaces. A common model geometry for groups G and G' is a proper geodesic metric space on which G and G' act geometrically. A group G is action rigid if every group G' that has a common model geometry with G is abstractly commensurable to G. For example, a closed hyperbolic n-manifold group is not action rigid for all n at least three. In contrast, we show that free products of closed hyperbolic manifold groups are action rigid. Consequently, we obtain the first examples of Gromov hyperbolic groups that are quasi-isometric but do not virtually have a common model geometry. This is joint work with Daniel Woodhouse.

Charles Babbage (1791–1871) was Lucasian Professor of mathematics in Cambridge from 1828–1839. He displayed a fertile curiosity that led him to study many contemporary processes and problems in a way which emphasised an analytic, data driven view of life.

In popular culture Babbage has been celebrated as an anachronistic Victorian engineer. In reality, Babbage is best understood as a figure rooted in the enlightenment, who had substantially completed his core investigations into 'mechanisation of thought' by the mid 1830s: he is thus an anachronistic Georgian: the construction of his first difference engine design is contemporary with the earliest public railways in Britain.

A fundamental question that must strike anybody who examines Babbage's precocious designs is: how could one individual working alone have synthesised a workable computer design, designing an object whose complexity of behaviour so far exceeded that of contemporary machines that it would not be matched for over a hundred years?

We shall explore the extent to which the answer lies in the techniques Babbage developed to reason about complex systems. His Notation which shows the geometry, timing, causal chains and the abstract components of his machines, has a direct parallel in the Hardware Description Languages developed since 1975 to aid the design of large scale electronics. In this presentation, we shall provide a basic tutorial on Babbage's notation showing how his concepts of 'pieces' and 'working points' effectively build a graph in which both parts and their interactions are represented by nodes, with edges between part-nodes and interaction-nodes denoting ownership, and edges between interaction-nodes denoting the transmission of forces between individual assemblies within a machine. We shall give examples from Babbage's Difference Engine 2 for which a complete set of notations was drawn in 1849, and compare them to a design of similar complexity specified in 1987 using the Inmos HDL.

In the speaker's previous joint work with Hans-Joachim Hein, a mass formula for asymptotically locally Euclidean (ALE) Kaehler manifolds was proved, assuming only relatively weak fall-off conditions on the metric. However, the case of real dimension four presented technical difficulties that led us to require fall-off conditions in this special dimension that are stronger than the Chrusciel fall-off conditions that sufficed in higher dimensions. This talk will explain how a new proof of the 4-dimensional case, using ideas from symplectic geometry, shows that Chrusciel fall-off suffices to imply all our main results in any dimension. In particular, I will explain why our Penrose-type inequality for the mass of an asymptotically Euclidean Kaehler manifold always still holds, given only this very weak metric fall-off hypothesis.
 

We report on a line of work initiated by Dan-Cohen and Wewers and continued by Dan-Cohen and the speaker to explicitly compute the zero loci arising in Kim's non-abelian Chabauty's method. We explain how this works, an important step of which is to compute bases of a certain motivic Hopf algebra in low degrees. We will summarize recent work by Dan-Cohen and the speaker, extending previous computations to $\mathbb{Z}[1/3]$ and proposing a general algorithm for solving the unit equation. Many of the methods in the more recent work are inspired by recent ideas of Francis Brown. Finally, we indicate future work, in which we hope to use elliptic motivic periods to explicitly compute points on punctured elliptic curves and beyond.

We compute the asymptotics of Arakelov functions if smooth curves degenerate to semistable singular curves. The motivation was to determine whether the delta function defines a metric on the boundary of moduli space. In fact things are slightly more complicated. The main result states that the asymptotics is mostly governed by the graph associated to the degeneration, with some subleties. The topic has been also treated by R. deJong and my student R. Wilms.

For a family of proper hyperbolic complex curves $f: X \longrightarrow \Delta^*$ over a puntured disc $\Delta^*$ with semistable reduction at the center, Oda proved, with transcendental methods, that the outer monodromy action of $\pi_1(\Delta^*) \cong \mathbb{Z}$ on the classical unipotent fundamental group of the generic fiber of $f$ is trivial if and only if $f$ has good reduction at the center. In this talk I explain a joint work with B. Chiarellotto and A. Shiho in which we give a purely algebraic proof of Oda's result.

In 1983, Erdos and Szemerédi conjectured that for any finite subset of the integers, either the sumset or the product set has nearly quadratic growth. Applications include incidence geometry, exponential sums, compressed image sensing, computer science, and elsewhere. We discuss recent progress towards the main conjecture and related questions. 

 For a semisimple modular tensor category the Reshetikhin-Turaev construction yields an extended three-dimensional topological field theory and hence by restriction a modular functor. By work of Lyubachenko-Majid the construction of a modular functor from a modular tensor category remains possible in the non-semisimple case. We explain that the latter construction is the shadow of a derived modular functor featuring homotopy coherent mapping class group actions on chain complex valued conformal blocks and a version of factorization and self-sewing via homotopy coends. On the torus we find a derived version of the Verlinde algebra, an algebra over the little disk operad (or more generally a little bundles algebra in the case of equivariant field theories). The concepts will be illustrated for modules over the Drinfeld double of a finite group in finite characteristic. This is joint work with Christoph Schweigert (Hamburg).

We discuss a nonlinear variant of Roth’s theorem on the existence of three-term progressions in dense sets of integers, focusing on an effective version of such a result. This is joint work with Sarah Peluse.
 

We introduce a new probabilistic model for primes, which we believe is a better predictor for large gaps than the models of Cramer and Granville. We also make strong connections between our model, prime k-tuple counts, large gaps and the "square-root sieve".  In particular, our model makes a prediction about large prime gaps that may contradict the models of Cramer and Granville, depending on the tightness of a certain sieve estimate. This is joint work with Bill Banks and Terence Tao.