A random group contains many subgroups which are isomorphic to the fundamental group of a compact hyperbolic 3-manifold with totally geodesic boundary. These subgroups can be taken to be quasi-isometrically embedded. This ...

We prove a ‘minimal’ type automorphy lifting theorem for 2-adic Galois representations of unitary type, over imaginary CM fields. We use this to improve an automorphy lifting theorem of Kisin for GL_2.

We give examples of closed orientable graph 3-manifolds having a fundamental group which is not a subgroup of GL(4, F) for any field F. This answers a question in the Kirby problem list from 1977 which is credited to the ...

Kac’s d dimensional model gives a linear, many particle, binary collision model from which, under suitable conditions, the celebrated Boltzmann equation, in its spatially homogeneous form, arise as a mean field limit. The ...

Consider a projective manifold with two distinct polarisations $L_1$ and $L_2$. From this data, Donaldson has defined a natural flow on the space of Kähler metrics in $c_1$($L_1$), called the J-flow. The existence of a ...

This paper describes a program that solves elementary mathematical problems, mostly in metric space theory, and presents solutions that are hard to distinguish from solutions that might be written by human mathematicians.

Positron Emission Tomography (PET) is an imaging technique which can be used to investigate chemical changes in human biological processes such as cancer development or neurochemical reactions. Most dynamic PET scans are ...

We construct a transient bounded-degree graph no transient subgraph of which embeds in any surface of finite genus. Moreover, we construct a transient, Liouville, bounded-degree, Gromov–hyperbolic graph with trivial ...

We analyze a tractable model of a limit order book on short time scales, where the dynamics are driven by stochastic fluctuations between supply and demand. We establish the existence of a limiting distribution for the ...

In a model introduced by Weitzman an agent called Pandora opens boxes sequentially, in whatever order she likes, discovers prizes within, and optimally stops. Her aim is to maximize the expected value of the greatest ...

The Paley graph is a well-known self-complementary pseudo-random graph, defined over a finite field of odd order. We describe an attempt at an analogous construction using fields of even order. Some properties of the graph ...

We give a short proof that every finite graph (or matroid) has a tree-decomposition that displays all maximal tangles. This theorem for graphs is a central result of the graph minors project of Robertson and Seymour and ...

A symplectic manifold gives rise to a triangulated A∞-category, the derived Fukaya category, which encodes information on Lagrangian submanifolds and dynamics as probed by Floer cohomology. This survey aims to give some ...

We compute the abelianisations of the mapping class groups of the manifolds W²ⁿ_g = g(Sⁿ × Sⁿ) for n ≥ 3 and g ≥ 5. The answer is a direct sum of two parts. The first part arises from the action of the mapping class group ...

We show, using acylindrical hyperbolicity, that a finitely generated group splitting over $\mathbb{Z}$ cannot be simple. We also obtain SQ-universality in most cases, for instance a balanced group (one where if two powers ...

We study the geometry underlying the difference between nonnegative polynomials and sums of squares. The hypersurfaces that discriminate these two cones for ternary sextics and quaternary quartics are shown to be ...

We give a criterion for the coercivity of the Mabuchi functional for general Kàhler classes on Fano manifolds in terms of Tian's alpha invariant. This generalises a result of Tian in the anti-canonical case implying the ...

We provide a sufficient condition for polarisations of Fano varieties to be K-stable in terms of Tian’s alpha invariant, which uses the log canonical threshold to measure singularities of divisors in the linear system ...

We introduce a notion of ampleness for subschemes of any codimension using the theory of q-ample line bundles. We also investigate certain geometric properties satisfied by ample subvarieties, e.g. the Lefschetz ...

Helfgott proved that there exists a δ > 0 such that if S is a symmetric generating subset of SL(2, p)containing 1 then either S^3=SL(2, p)or |S^3| ≥|S|^1+ δ. It is known that δ ≥ 1/3024. Here we show that δ ≤ (log_2 (7) ...