We consider mod $p$ Hilbert modular forms associated to a totally real field of degree $d$ in which $p$ is unramified. We prove that every such form arises by multiplication by partial Hasse invariants from one whose weight (a $d$-tuple of integers) lies in a certain cone contained in the set of non-negative weights, answering a question of Andreatta and Goren. The proof is based on properties of the Goren–Oort stratification on mod $p$ Hilbert modular varieties established by Goren and Oort, and Tian and Xiao.

We study cluster categories arising from marked surfaces (with punctures and non-empty boundaries). By constructing skewed-gentle algebras, we show that there is a bijection between tagged curves and string objects. Applications include interpreting dimensions of $\operatorname{Ext}^{1}$ as intersection numbers of tagged curves and Auslander–Reiten translation as tagged rotation. An important consequence is that the cluster(-tilting) exchange graphs of such cluster categories are connected.

Using the descent spectral sequence for a Galois extension of ring spectra, we compute the Picard group of the higher real $K$-theory spectra of Hopkins and Miller at height $n=p-1$, for $p$ an odd prime. More generally, we determine the Picard groups of the homotopy fixed points spectra $E_{n}^{hG}$, where $E_{n}$ is Lubin–Tate $E$-theory at the prime $p$ and height $n=p-1$, and $G$ is any finite subgroup of the extended Morava stabilizer group. We find that these Picard groups are always cyclic, generated by the suspension.

We prove some new structure results for automorphic products of singular weight. First, we give a simple characterisation of the Borcherds function $\unicode[STIX]{x1D6F7}_{12}$. Second, we show that holomorphic automorphic products of singular weight on lattices of prime level exist only in small signatures and we derive an explicit bound. Finally, we give a complete classification of reflective automorphic products of singular weight on lattices of prime level.

We prove the explicit version of the Buzzard–Diamond–Jarvis conjecture formulated by Dembele et al. (Serre weights and wild ramification in two-dimensional Galois representations, Preprint (2016), arXiv:1603.07708 [math.NT]). More precisely, we prove that it is equivalent to the original Buzzard–Diamond–Jarvis conjecture, which was proved for odd primes (under a mild Taylor–Wiles hypothesis) in earlier work of the third author and coauthors.

We present a Langlands dual realization of the putative category of affine character sheaves. Namely, we calculate the categorical center and trace (also known as the Drinfeld center and trace, or categorical Hochschild cohomology and homology) of the affine Hecke category starting from its spectral presentation. The resulting categories comprise coherent sheaves on the commuting stack of local systems on the two-torus satisfying prescribed support conditions, in particular singular support conditions, which appear in recent advances in the geometric Langlands program. The key technical tools in our arguments are a new descent theory for coherent sheaves or ${\mathcal{D}}$-modules with prescribed singular support and the theory of integral transforms for coherent sheaves developed in the companion paper by Ben-Zvi et al. [Integral transforms for coherent sheaves, J. Eur. Math. Soc. (JEMS), to appear].

In this paper we study holomorphic Legendrian curves in the standard holomorphic contact structure on $\mathbb{C}^{2n+1}$ for any $n\in \mathbb{N}$. We provide several approximation and desingularization results which enable us to prove general existence theorems, settling some of the open problems in the subject. In particular, we show that every open Riemann surface $M$ admits a proper holomorphic Legendrian embedding $M{\hookrightarrow}\mathbb{C}^{2n+1}$, and we prove that for every compact bordered Riemann surface $M={M\unicode[STIX]{x0030A}}\,\cup \,bM$ there exists a topological embedding $M{\hookrightarrow}\mathbb{C}^{2n+1}$ whose restriction to the interior is a complete holomorphic Legendrian embedding ${M\unicode[STIX]{x0030A}}{\hookrightarrow}\mathbb{C}^{2n+1}$. As a consequence, we infer that every complex contact manifold $W$ carries relatively compact holomorphic Legendrian curves, normalized by any given bordered Riemann surface, which are complete with respect to any Riemannian metric on $W$.