We show that a monotone Lagrangian L in ${\mathbb{C}}{\mathbb{P}}^n$ of minimal Maslov number n + 1 is homeomorphic to a double quotient of a sphere, and thus homotopy equivalent to ${\mathbb{R}}{\mathbb{P}}^n$. To prove this we use Zapolsky’s canonical pearl complex for L over ${\mathbb{Z}}$, and twisted versions thereof, where the twisting is determined by connected covers of L. The main tool is the action of the quantum cohomology of ${\mathbb{C}}{\mathbb{P}}^n$ on the resulting Floer homologies.

Cluster categories and cluster algebras encode two dimensional structures. For instance, the Auslander–Reiten quiver of a cluster category can be drawn on a surface, and there is a class of cluster algebras determined by surfaces with marked points.

Cluster characters are maps from cluster categories (and more general triangulated categories) to cluster algebras. They have a tropical shadow in the form of so-called tropical friezes, which are maps from cluster categories (and more general triangulated categories) to the integers.

This paper will define higher dimensional tropical friezes. One of the motivations is the higher dimensional cluster categories of Oppermann and Thomas, which encode (d + 1)-dimensional structures for an integer d ⩾ 1. They are (d + 2)-angulated categories, which belong to the subject of higher homological algebra.

We will define higher dimensional tropical friezes as maps from higher cluster categories (and more general (d + 2)-angulated categories) to the integers. Following Palu, we will define a notion of (d + 2)-angulated index, establish some of its properties, and use it to construct higher dimensional tropical friezes.

For infinitely many d, Hassett showed that special cubic fourfolds of discriminant d are related to polarised K3 surfaces of degree d via their Hodge structures. For half of the d, each associated K3 surface (S, L) canonically yields another one, (Sτ, Lτ). We prove that Sτ is isomorphic to the moduli space of stable coherent sheaves on S with Mukai vector (3, L, d/6). We also explain for which d the Hilbert schemes Hilbn (S) and Hilbn (Sτ) are birational.

We prove that a Kummer surface defined over a complete strictly Henselian discretely valued field K of residue characteristic different from 2 admits a strict Kulikov model after finite base change. The Kulikov models we construct will be schemes, so our results imply that the semistable reduction conjecture is true for Kummer surfaces in this setup, even in the category of schemes. Our construction of Kulikov models is closely related to an earlier construction of Künnemann, which produces semistable models of Abelian varieties. It is well known that the special fibre of a strict Kulikov model belongs to one of three types, and we shall prove that the type of the special fibre of a strict Kulikov model of a Kummer surface and the toric rank of a corresponding Abelian surface are determined by each other. We also study the relationship between this invariant and the Galois representation on the second ℓ-adic cohomology of the Kummer surface. Finally, we apply our results, together with earlier work of Halle–Nicaise, to give a proof of the monodromy conjecture for Kummer surfaces in equal characteristic zero.

We show that any smooth projective cubic hypersurface of dimension at least 29 over the rationals contains a rational line. A variation of our methods provides a similar result over p-adic fields. In both cases, we improve on previous results due to the second author and Wooley.

We include an appendix in which we highlight some slight modifications to a recent result of Papanikolopoulos and Siksek. It follows that the set of rational points on smooth projective cubic hypersurfaces of dimension at least 29 is generated via secant and tangent constructions from just a single point.

Generalising the classical work of Atiyah and Hirzebruch on non-algebraic classes, recently Quick proved the existence of torsion non-algebraic elements in the Brown–Peterson tower. We construct non-torsion non-algebraic elements in the Brown–Peterson tower for the prime number 2.

The Σ-invariants of Bieri–Neumann–Strebel and Bieri–Renz involve an action of a discrete group G on a geometrically suitable space M. In the early versions, M was always a finite-dimensional Euclidean space on which G acted by translations. A substantial literature exists on this, connecting the invariants to group theory and to tropical geometry (which, actually, Σ-theory anticipated). More recently, we have generalized these invariants to the case where M is a proper CAT(0) space on which G acts by isometries. The “zeroth stage” of this was developed in our paper [BG16]. The present paper provides a higher-dimensional extension of the theory to the “nth stage” for any n.

We study the stationary descendant Gromov–Witten theory of toric surfaces by combining and extending a range of techniques – tropical curves, floor diagrams and Fock spaces. A correspondence theorem is established between tropical curves and descendant invariants on toric surfaces using maximal toric degenerations. An intermediate degeneration is then shown to give rise to floor diagrams, giving a geometric interpretation of this well-known bookkeeping tool in tropical geometry. In the process, we extend floor diagram techniques to include descendants in arbitrary genus. These floor diagrams are then used to connect tropical curve counting to the algebra of operators on the bosonic Fock space, and are showno coincide with the Feynman diagrams of appropriate operators. This extends work of a number of researchers, including Block–Göttsche, Cooper–Pandharipande and Block–Gathmann–Markwig.

For a compact abelian group G, a corner in G × G is a triple of points (x, y), (x, y+d), (x+d, y). The classical corners theorem of Ajtai and Szemerédi implies that for every α > 0, there is some δ > 0 such that every subset A ⊂ G × G of density α contains a δ fraction of all corners in G × G, as x, y, d range over G.

Recently, Mandache proved a “popular differences” version of this result in the finite field case $G = {\mathbb{F}}_p^n$, showing that for any subset A ⊂ G × G of density α, one can fix d ≠ 0 such that A contains a large fraction, now known to be approximately α4, of all corners with difference d, as x, y vary over G. We generalise Mandache’s result to all compact abelian groups G, as well as the case of corners in $\mathbb{Z}^2$.