Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more: https://www.cambridge.org/universitypress/about-us/news-and-blogs/cambridge-university-press-publishing-update-following-technical-disruption
We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
This journal utilises an Online Peer Review Service (OPRS) for submissions. By clicking "Continue" you will be taken to our partner site
https://compositio.nl/.
Please be aware that your Cambridge account is not valid for this OPRS and registration is required. We strongly advise you to read all "Author instructions" in the "Journal information" area prior to submitting.
To save this undefined to your undefined account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you used this feature, you will be asked to authorise Cambridge Core to connect with your undefined account.
Find out more about saving content to .
To save this article to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Smooth cubic hypersurfaces $X\subset \mathbb{P}^{5}$ (over $\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)$, 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}$ 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)$, as $a$ varies over $\mathbf{F}_{p}^{\times }$ and as $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}}$ containing $\gg _{{\it\epsilon}}\log \log x$ primes, and show lower bounds of the correct order of magnitude for the number of strings of $m$ congruent primes with $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$ where the level is not divisible by $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$. 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$ must have slope $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$ equipped with a $\mathbb{C}^{\ast }$-action, and a regular function $f:X\rightarrow \mathbb{C}$ which is $\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$ on proper components of the critical locus of $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.