Smooth cubic hypersurfaces X\subset \mathbb{P}^{5}$X\subset \mathbb{P}^{5}$ (over \mathbb{C}$\mathbb{C}$) are linked to K3 surfaces via their Hodge structures, due to the work of Hassett, and via a subcategory {\mathcal{A}}_{X}\subset \text{D}^{\text{b}}(X)${\mathcal{A}}_{X}\subset \text{D}^{\text{b}}(X)$, due to the work of Kuznetsov. The relation between these two viewpoints has recently been elucidated by Addington and Thomas. In this paper, both aspects are studied further and extended to twisted K3 surfaces, which in particular allows us to determine the group of autoequivalences of {\mathcal{A}}_{X}${\mathcal{A}}_{X}$ for the general cubic fourfold. Furthermore, we prove finiteness results for cubics with equivalent K3 categories and study periods of cubics in terms of generalized K3 surfaces.

Fuchsian groups with a modular embedding have the richest arithmetic properties among non-arithmetic Fuchsian groups. But they are very rare, all known examples being related either to triangle groups or to Teichmüller curves. In Part I of this paper we study the arithmetic properties of the modular embedding and develop from scratch a theory of twisted modular forms for Fuchsian groups with a modular embedding, proving dimension formulas, coefficient growth estimates and differential equations. In Part II we provide a modular proof for an Apéry-like integrality statement for solutions of Picard–Fuchs equations. We illustrate the theory on a worked example, giving explicit Fourier expansions of twisted modular forms and the equation of a Teichmüller curve in a Hilbert modular surface. In Part III we show that genus two Teichmüller curves are cut out in Hilbert modular surfaces by a product of theta derivatives. We rederive most of the known properties of those Teichmüller curves from this viewpoint, without using the theory of flat surfaces. As a consequence we give the modular embeddings for all genus two Teichmüller curves and prove that the Fourier developments of their twisted modular forms are algebraic up to one transcendental scaling constant. Moreover, we prove that Bainbridge’s compactification of Hilbert modular surfaces is toroidal. The strategy to compactify can be expressed using continued fractions and resembles Hirzebruch’s in form, but every detail is different.

We describe how Mirković–Vilonen (MV) polytopes arise naturally from the categorification of Lie algebras using Khovanov–Lauda–Rouquier (KLR) algebras. This gives an explicit description of the unique crystal isomorphism between simple representations of KLR algebras and MV polytopes. MV polytopes, as defined from the geometry of the affine Grassmannian, only make sense in finite type. Our construction on the other hand gives a map from the infinity crystal to polytopes for all symmetrizable Kac–Moody algebras. However, to make the map injective and have well-defined crystal operators on the image, we must in general decorate the polytopes with some extra information. We suggest that the resulting ‘KLR polytopes’ are the general-type analogues of MV polytopes. We give a combinatorial description of the resulting decorated polytopes in all affine cases, and show that this recovers the affine MV polytopes recently defined by Baumann, Kamnitzer, and the first author in symmetric affine types. We also briefly discuss the situation beyond affine type.

We consider the distribution of the polygonal paths joining partial sums of classical Kloosterman sums \text{Kl}_{p}(a)$\text{Kl}_{p}(a)$, as a$a$ varies over \mathbf{F}_{p}^{\times }$\mathbf{F}_{p}^{\times }$ and as p$p$ tends to infinity. Using independence of Kloosterman sheaves, we prove convergence in the sense of finite distributions to a specific random Fourier series. We also consider Birch sums, for which we can establish convergence in law in the space of continuous functions. We then derive some applications.

We prove a generalization of the author’s work to show that any subset of the primes which is ‘well distributed’ in arithmetic progressions contains many primes which are close together. Moreover, our bounds hold with some uniformity in the parameters. As applications, we show there are infinitely many intervals of length (\log x)^{{\it\epsilon}}$(\log x)^{{\it\epsilon}}$ containing \gg _{{\it\epsilon}}\log \log x$\gg _{{\it\epsilon}}\log \log x$ primes, and show lower bounds of the correct order of magnitude for the number of strings of m$m$ congruent primes with p_{n+m}-p_{n}\leqslant {\it\epsilon}\log x$p_{n+m}-p_{n}\leqslant {\it\epsilon}\log x$.

We construct regular integral canonical models for Shimura varieties attached to Spin and orthogonal groups at (possibly ramified) primes p>2$p>2$ where the level is not divisible by p$p$. We exhibit these models as schemes of ‘relative PEL type’ over integral canonical models of larger Spin Shimura varieties with good reduction at p$p$. Work of Vasiu–Zink then shows that the classical Kuga–Satake construction extends over the integral models and that the integral models we construct are canonical in a very precise sense. Our results have applications to the Tate conjecture for K3 surfaces, as well as to Kudla’s program of relating intersection numbers of special cycles on orthogonal Shimura varieties to Fourier coefficients of modular forms.

We apply results from both contact topology and exceptional surgery theory to study when Legendrian surgery on a knot yields a reducible manifold. As an application, we show that a reducible surgery on a non-cabled positive knot of genus g$g$ must have slope 2g-1$2g-1$, leading to a proof of the cabling conjecture for positive knots of genus 2. Our techniques also produce bounds on the maximum Thurston–Bennequin numbers of cables.

Consider a smooth quasi-projective variety X$X$ equipped with a \mathbb{C}^{\ast }$\mathbb{C}^{\ast }$-action, and a regular function f:X\rightarrow \mathbb{C}$f:X\rightarrow \mathbb{C}$ which is \mathbb{C}^{\ast }$\mathbb{C}^{\ast }$-equivariant with respect to a positive weight action on the base. We prove the purity of the mixed Hodge structure and the hard Lefschetz theorem on the cohomology of the vanishing cycle complex of f$f$ on proper components of the critical locus of f$f$, generalizing a result of Steenbrink for isolated quasi-homogeneous singularities. Building on work by Kontsevich and Soibelman, Nagao, and Efimov, we use this result to prove the quantum positivity conjecture for cluster mutations for all quivers admitting a positively graded nondegenerate potential. We deduce quantum positivity for all quivers of rank at most 4; quivers with nondegenerate potential admitting a cut; and quivers with potential associated to triangulations of surfaces with marked points and nonempty boundary.