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$.

We categorify the inclusion–exclusion principle for partially ordered topological spaces and schemes to a filtration on the derived category of sheaves. As a consequence, we obtain functorial spectral sequences that generalize the two spectral sequences of a stratified space and certain Vassiliev-type spectral sequences; we also obtain Euler characteristic analogs in the Grothendieck ring of varieties. As an application, we give an algebro-geometric proof of Vakil and Wood's homological stability conjecture for the space of smooth hypersurface sections of a smooth projective variety. In characteristic zero this conjecture was previously established by Aumonier via topological methods.

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.

We construct the first example of a stable hyperholomorphic vector bundle of rank five on every hyper-Kähler manifold of $\mathrm {K3}^{[2]}$-type whose deformation space is smooth of dimension 10. Its moduli space is birational to a hyper-Kähler manifold of type OG10. This provides evidence for the expectation that moduli spaces of sheaves on a hyper-Kähler could lead to new examples of hyper-Kähler manifolds.

We construct inhomogeneous isoparametric families of hypersurfaces with non-austere focal set on each symmetric space of non-compact type and rank ${\geq }3$. If the rank is ${\geq }4$, there are infinitely many such examples. Our construction yields the first examples of isoparametric families on any Riemannian manifold known to have a non-austere focal set. They can be obtained from a new general extension method of submanifolds from Euclidean spaces to symmetric spaces of non-compact type. This method preserves the mean curvature and isoparametricity, among other geometric properties.

We prove that the $p^\infty$-torsion of the transcendental Brauer group of an abelian variety over a finitely generated field of characteristic $p>0$ is bounded. This answers a (variant of a) question asked by Skorobogatov and Zarhin for abelian varieties. To do this, we prove a ‘flat Tate conjecture’ for divisors. We also study other geometric Galois-invariant $p^\infty$-torsion classes of the Brauer group which are not in the transcendental Brauer group. These classes, in contrast with our main theorem, can be infinitely $p$-divisible. We explain how the existence of these $p$-divisible towers is naturally related to the failure of surjectivity of specialisation morphisms of Néron–Severi groups in characteristic $p$.