The straightening–unstraightening correspondence of Grothendieck–Lurie provides an equivalence between cocartesian fibrations between $(\infty, 1)$-categories and diagrams of $(\infty, 1)$-categories. We provide an alternative proof of this correspondence, as well as an extension of straightening–unstraightening to all higher categorical dimensions. This is based on an explicit combinatorial result relating two types of fibrations between double categories, which can be applied inductively to construct the straightening of a cocartesian fibration between higher categories.

We prove the Hasse principle for a smooth projective variety $X\subset \mathbb {P}^{n-1}_\mathbb {Q}$ defined by a system of two cubic forms $F,G$ as long as $n\geq 39$. The main tool here is the development of a version of Kloosterman refinement for a smooth system of equations defined over $\mathbb {Q}$.

The aim of the present paper is to derive effective discrepancy estimates for the distribution of rational points on general semisimple algebraic group varieties, in general families of subsets and at arbitrarily small scales. We establish mean-square, almost sure and uniform estimates for the discrepancy with explicit error bounds. We also prove an analogue of W. Schmidt's theorem, which establishes effective almost sure asymptotic counting of rational solutions to Diophantine inequalities in the Euclidean space. We formulate and prove a version of it for rational points on the group variety, with an effective bound which in some instances can be expected to be the best possible.

DeMarco, Krieger, and Ye conjectured that there is a uniform bound B, depending only on the degree d, so that any pair of holomorphic maps $f, g :{\mathbb {P}}^1\to {\mathbb {P}}^1$ with degree $d$ will either share all of their preperiodic points or have at most $B$ in common. Here we show that this uniform bound holds for a Zariski open and dense set in the space of all pairs, $\mathrm {Rat}_d \times \mathrm {Rat}_d$, for each degree $d\geq 2$. The proof involves a combination of arithmetic intersection theory and complex-dynamical results, especially as developed recently by Gauthier and Vigny, Yuan and Zhang, and Mavraki and Schmidt. In addition, we present alternate proofs of the main results of DeMarco, Krieger, and Ye [Uniform Manin-Mumford for a family of genus 2 curves, Ann. of Math. (2) 191 (2020), 949–1001; Common preperiodic points for quadratic polynomials, J. Mod. Dyn. 18 (2022), 363–413] and of Poineau [Dynamique analytique sur $\mathbb {Z}$ II : Écart uniforme entre Lattès et conjecture de Bogomolov-Fu-Tschinkel, Preprint (2022), arXiv:2207.01574 [math.NT]]. In fact, we prove a generalization of a conjecture of Bogomolov, Fu, and Tschinkel in a mixed setting of dynamical systems and elliptic curves.

For any abelian group $A$, we prove an asymptotic formula for the number of $A$-extensions $K/\mathbb {Q}$ of bounded discriminant such that the associated norm one torus $R_{K/\mathbb {Q}}^1 \mathbb {G}_m$ satisfies weak approximation. We are also able to produce new results on the Hasse norm principle and to provide new explicit values for the leading constant in some instances of Malle's conjecture.

We define a notion of modular forms of half-integral weight on the quaternionic exceptional groups. We prove that they have a well-behaved notion of Fourier coefficients, which are complex numbers defined up to multiplication by ${\pm }1$. We analyze the minimal modular form $\Theta _{F_4}$ on the double cover of $F_4$, following Loke–Savin and Ginzburg. Using $\Theta _{F_4}$, we define a modular form of weight $\tfrac {1}{2}$ on (the double cover of) $G_2$. We prove that the Fourier coefficients of this modular form on $G_2$ see the $2$-torsion in the narrow class groups of totally real cubic fields.

We prove a Tannakian form of Drinfeld's lemma for isocrystals on a variety over a finite field, equipped with actions of partial Frobenius operators. This provides an intermediate step towards transferring V. Lafforgue's work on the Langlands correspondence over function fields from $\ell$-adic to $p$-adic coefficients. We also discuss a motivic variant and a local variant of Drinfeld's lemma.

Let $\mathfrak {F}_n$ be the set of all cuspidal automorphic representations $\pi$ of $\mathrm {GL}_n$ with unitary central character over a number field $F$. We prove the first unconditional zero density estimate for the set $\mathcal {S}=\{L(s,\pi \times \pi ')\colon \pi \in \mathfrak {F}_n\}$ of Rankin–Selberg $L$-functions, where $\pi '\in \mathfrak {F}_{n'}$ is fixed. We use this density estimate to establish: (i) a hybrid-aspect subconvexity bound at $s=\frac {1}{2}$ for almost all $L(s,\pi \times \pi ')\in \mathcal {S}$; (ii) a strong on-average form of effective multiplicity one for almost all $\pi \in \mathfrak {F}_n$; and (iii) a positive level of distribution for $L(s,\pi \times \widetilde {\pi })$, in the sense of Bombieri–Vinogradov, for each $\pi \in \mathfrak {F}_n$.

The attractor conjecture for Calabi–Yau moduli spaces predicts the algebraicity of the moduli values of certain isolated points picked out by Hodge-theoretic conditions. Using tools from transcendence theory, we provide a family of counterexamples to the attractor conjecture in almost all odd dimensions conditional on a specific case of the Zilber–Pink conjecture in unlikely intersection theory; these Calabi–Yau manifolds were first studied by Dolgachev. We also give constructions of new families of Calabi–Yau varieties, analogous to the mirror quintic family, with all middle Hodge numbers equal to one, which would also give counterexamples to the attractor conjecture.

We study finite orbits of non-elementary groups of automorphisms of compact projective surfaces. We prove that if the surface and the group are defined over a number field $\mathbf {k}$ and the group contains parabolic elements, then the set of finite orbits is not Zariski dense, except in certain very rigid situations, known as Kummer examples. Related results are also established when $\mathbf {k} = \mathbf {C}$. An application is given to the description of ‘canonical vector heights’ associated to such automorphism groups.

Let $G$ be a reductive group, and let $\check {G}$ be its Langlands dual group. Arkhipov and Bezrukavnikov proved that the Whittaker category on the affine flags ${\operatorname {Fl}}_G$ is equivalent to the category of $\check {G}$-equivariant quasi-coherent sheaves on the Springer resolution of the nilpotent cone. This paper proves this theorem in the quantum case. We show that the twisted Whittaker category on ${\operatorname {Fl}}_G$ and the category of representations of the mixed quantum group are equivalent. In particular, we prove that the quantum category $\mathsf {O}$ is equivalent to the twisted Whittaker category on ${\operatorname {Fl}}_G$ in the generic case. The strong version of our main theorem claims a motivic equivalence between the Whittaker category on ${\operatorname {Fl}}_G$ and a factorization module category, which holds in the de Rham setting, the Betti setting, and the $\ell$-adic setting.

We prove that any hyper-Kähler sixfold $K$ of generalized Kummer type has a naturally associated manifold $Y_K$ of $\mathrm {K}3^{[3]}$ type. It is obtained as crepant resolution of the quotient of $K$ by a group of symplectic involutions acting trivially on its second cohomology. When $K$ is projective, the variety $Y_K$ is birational to a moduli space of stable sheaves on a uniquely determined projective $\mathrm {K}3$ surface $S_K$. As an application of this construction we show that the Kuga–Satake correspondence is algebraic for the K3 surfaces $S_K$, producing infinitely many new families of $\mathrm {K}3$ surfaces of general Picard rank $16$ satisfying the Kuga–Satake Hodge conjecture.

We prove that the multiplicity of a filtration of a local ring satisfies various convexity properties. In particular, we show the multiplicity is convex along geodesics. As a consequence, we prove that the volume of a valuation is log convex on simplices of quasi-monomial valuations and give a new proof of a theorem of Xu and Zhuang on the uniqueness of normalized volume minimizers. In another direction, we generalize a theorem of Rees on multiplicities of ideals to filtrations and characterize when the Minkowski inequality for filtrations is an equality under mild assumptions.

We introduce the notion of completed $F$-crystals on the absolute prismatic site of a smooth $p$-adic formal scheme. We define a functor from the category of completed prismatic $F$-crystals to that of crystalline étale $\mathbf {Z}_p$-local systems on the generic fiber of the formal scheme and show that it gives an equivalence of categories. This generalizes the work of Bhatt and Scholze, which treats the case of a mixed characteristic complete discrete valuation ring with perfect residue field.

We prove that after inverting the Planck constant $h$, the Bezrukavnikov–Kaledin quantization $(X, {\mathcal {O}}_h)$ of symplectic variety $X$ in characteristic $p$ with $H^2(X, {\mathcal {O}}_X) =0$ is Morita equivalent to a certain central reduction of the algebra of differential operators on $X$.

Fix a prime $p\geq 11$. We show that there exists a positive integer $m$ such that any subset of $\mathbb {F}_p^n\times \mathbb {F}_p^n$ containing no nontrivial configurations of the form $(x,y)$, $(x,y+z)$, $(x,y+2z)$, $(x+z,y)$ must have density $\ll 1/\log _{m}{n}$, where $\log _{m}$ denotes the $m$-fold iterated logarithm. This gives the first reasonable bound in the multidimensional Szemerédi theorem for a two-dimensional four-point configuration in any setting.

A set $S\subset {\mathbb {N}}$ is a Sidon set if all pairwise sums $s_1+s_2$ (for $s_1, s_2\in S$, $s_1\leqslant s_2$) are distinct. A set $S\subset {\mathbb {N}}$ is an asymptotic basis of order 3 if every sufficiently large integer $n$ can be written as the sum of three elements of $S$. In 1993, Erdős, Sárközy and Sós asked whether there exists a set $S$ with both properties. We answer this question in the affirmative. Our proof relies on a deep result of Sawin on the $\mathbb {F}_q[t]$-analogue of Montgomery's conjecture for convolutions of the von Mangoldt function.

In this paper, we present a solution to the problem of the analytic classification of germs of plane curves with several irreducible components. Our algebraic approach follows precursive ideas of Oscar Zariski and as a subproduct allows us to recover some particular cases found in the literature.