We prove that for every relatively prime pair of integers $(d,r)$ with $r>0$, there exists an exceptional pair $({\mathcal {O}},V)$ on any del Pezzo surface of degree $4$, such that V is a bundle of rank r and degree d. As an application, we prove that every Feigin-Odesskii Poisson bracket on a projective space can be included into a $5$-dimensional linear space of compatible Poisson brackets. We also construct new examples of linear spaces of compatible Feigin-Odesskii Poisson brackets of dimension $>5$, coming from del Pezzo surfaces of degree $>4$.

In their 1988 paper ‘Gluing of perverse sheaves and discrete series representations’, D. Kazhdan and G. Laumon constructed an abelian category $\mathcal{A}$ associated to a reductive group G over a finite field with the aim of using it to construct discrete series representations of the finite Chevalley group $G(\mathbb{F}_q)$. The well-definedness of their construction depended on their conjecture that this category has finite cohomological dimension. This was disproved in 2001 by R. Bezrukavnikov and A. Polishchuk, who found a counterexample in the case $G = SL_3$. Polishchuk then made an alternative conjecture: though this counterexample shows that the Grothendieck group $K_0(\mathcal{A})$ is not spanned by objects of finite projective dimension, he noted that a graded version of $K_0(\mathcal{A})$ can be thought of as a module over Laurent polynomials and conjectured that a certain localization of this module is generated by objects of finite projective dimension, and suggested that this conjecture could lead toward a proof that Kazhdan and Laumon’s construction is well defined. He proved this conjecture in Types $A_1, A_2, A_3$, and $B_2$. In the present paper, we prove Polishchuk’s conjecture for all types, and prove that Kazhdan and Laumon’s construction is indeed well defined, giving a new geometric construction of discrete series representations of $G(\mathbb{F}_q)$.

We prove the existence of a power structure over the Grothendieck ring of geometric dg categories. We show that a conjecture by Galkin and Shinder (proved recently by Bergh, Gorchinskiy, Larsen and Lunts) relating the motivic and categorical zeta functions of varieties can be reformulated as a compatibility between the motivic and categorical power structures. Using our power structure, we show that the categorical zeta function of a geometric dg category can be expressed as a power with exponent the category itself. We give applications of our results for the generating series associated with Hilbert schemes of points, categorical Adams operations and series with exponent a linear algebraic group.

We fix an error on a $3$-cocycle in the original version of the paper ‘Endoscopy for Hecke categories, character sheaves and representations’. We give the corrected statements of the main results.

Let $\mathcal {F}$ be a polystable sheaf on a smooth minimal projective surface of Kodaira dimension 0. Then the differential graded (DG) Lie algebra $R\operatorname {Hom}(\mathcal {F},\mathcal {F})$ of derived endomorphisms of $\mathcal {F}$ is formal. The proof is based on the study of equivariant $L_{\infty }$ minimal models of DG Lie algebras equipped with a cyclic structure of degree 2 which is non-degenerate in cohomology, and does not rely (even for K3 surfaces) on previous results on the same subject.

We define the Atiyah class for global matrix factorisations and use it to give a formula for the categorical Chern character and the boundary-bulk map for matrix factorisations, generalising the formula in the local case obtained in [12]. Our approach is based on developing the Lie algebra analogies observed by Kapranov [7] and Markarian [9].

Using Auroux’s description of Fukaya categories of symmetric products of punctured surfaces, we compute the partially wrapped Fukaya category of the complement of $k+1$ generic hyperplanes in $\mathbb{CP}^{n}$, for $k\geqslant n$, with respect to certain stops in terms of the endomorphism algebra of a generating set of objects. The stops are chosen so that the resulting algebra is formal. In the case of the complement of $n+2$ generic hyperplanes in $\mathbb{C}P^{n}$ ($n$-dimensional pair of pants), we show that our partial wrapped Fukaya category is equivalent to a certain categorical resolution of the derived category of the singular affine variety $x_{1}x_{2}\ldots x_{n+1}=0$. By localizing, we deduce that the (fully) wrapped Fukaya category of the $n$-dimensional pair of pants is equivalent to the derived category of $x_{1}x_{2}\ldots x_{n+1}=0$. We also prove similar equivalences for finite abelian covers of the $n$-dimensional pair of pants.

For a reductive group $G$ over a finite field, we show that the neutral block of its mixed Hecke category with a fixed monodromy under the torus action is monoidally equivalent to the mixed Hecke category of the corresponding endoscopic group $H$ with trivial monodromy. We also extend this equivalence to all blocks. We give two applications. One is a relationship between character sheaves on $G$ with a fixed semisimple parameter and unipotent character sheaves on the endoscopic group $H$, after passing to asymptotic versions. The other is a similar relationship between representations of $G(\mathbb{F}_{q})$ with a fixed semisimple parameter and unipotent representations of $H(\mathbb{F}_{q})$.

We give a list of statements on the geometry of elliptic threefolds phrased only in the language of topology and homological algebra. Using only notions from topology and homological algebra, we recover existing results and prove new results on torsion pairs in the category of coherent sheaves on an elliptic threefold.

We investigate the assumptions under which a subclass of flat quasicoherent sheaves on a quasicompact and semiseparated scheme allows us to ‘mock’ the homotopy category of projective modules. Our methods are based on module-theoretic properties of the subclass of flat modules involved as well as their behaviour with respect to Zariski localizations. As a consequence we get that, for such schemes, the derived category of flat quasicoherent sheaves is equivalent to the derived category of very flat quasicoherent sheaves. If, in addition, the scheme satisfies the resolution property then both derived categories are equivalent to the derived category of infinite-dimensional vector bundles. The equivalences are inferred from a Quillen equivalence between the corresponding models.

We study the derived category of a complete intersection $X$ of bilinear divisors in the orbifold $\operatorname{Sym}^{2}\mathbb{P}(V)$. Our results are in the spirit of Kuznetsov’s theory of homological projective duality, and we describe a homological projective duality relation between $\operatorname{Sym}^{2}\mathbb{P}(V)$ and a category of modules over a sheaf of Clifford algebras on $\mathbb{P}(\operatorname{Sym}^{2}V^{\vee })$. The proof follows a recently developed strategy combining variation of geometric invariant theory (VGIT) stability and categories of global matrix factorisations. We begin by translating $D^{b}(X)$ into a derived category of factorisations on a Landau–Ginzburg (LG) model, and then apply VGIT to obtain a birational LG model. Finally, we interpret the derived factorisation category of the new LG model as a Clifford module category. In some cases we can compute this Clifford module category as the derived category of a variety. As a corollary we get a new proof of a result of Hosono and Takagi, which says that a certain pair of non-birational Calabi–Yau 3-folds have equivalent derived categories.

We prove a rigid analytic analogue of the Artin–Grothendieck vanishing theorem. Precisely, we prove (under mild hypotheses) that the geometric étale cohomology of any Zariski-constructible sheaf on any affinoid rigid space $X$ vanishes in all degrees above the dimension of $X$. Along the way, we show that branched covers of normal rigid spaces can often be extended across closed analytic subsets, in analogy with a classical result for complex analytic spaces. We also prove some new comparison theorems relating the étale cohomology of schemes and rigid analytic varieties, and give some applications of them. In particular, we prove a structure theorem for Zariski-constructible sheaves on characteristic-zero affinoid spaces.

Moduli spaces of stable objects in the derived category of a $K3$ surface provide a large class of holomorphic symplectic varieties. In this paper, we study the interplay between Chern classes of stable objects and zero-cycles on holomorphic symplectic varieties which arise as moduli spaces. First, we show that the second Chern class of any object in the derived category lies in a suitable piece of O’Grady’s filtration on the $\text{CH}_{0}$-group of the $K3$ surface. This solves a conjecture of O’Grady and improves on previous results of Huybrechts, O’Grady, and Voisin. Second, we propose a candidate for the Beauville–Voisin filtration on the $\text{CH}_{0}$-group of the moduli space of stable objects. We discuss its connection with Voisin’s recent proposal via constant cycle subvarieties, and prove a conjecture of hers on the existence of special algebraically coisotropic subvarieties for the moduli space.

Over the past forty years many papers have studied logarithmic sheaves associated to reduced divisors, in particular logarithmic bundles associated to plane curves. An interesting family of these curves are the so-called free ones for which the associated logarithmic sheaf is the direct sum of two line bundles. Terao conjectured thirty years ago that when a curve is a finite set of distinct lines (i.e. a line arrangement) its freeness depends solely on its combinatorics, but this has only been proved for sets of up to 12 lines. In looking for a counter-example to Terao’s conjecture, the nearly free curves introduced by Dimca and Sticlaru arise naturally. We prove here that the logarithmic bundle associated to a nearly free curve possesses a minimal non-zero section that vanishes on one single point, P say, called the jumping point, and that this characterises the bundle. We then give a precise description of the behaviour of P. Based on detailed examples we then show that the position of P relative to its corresponding nearly free arrangement of lines may or may not be a combinatorial invariant, depending on the chosen combinatorics.

The notion of Hochschild cochains induces an assignment from $\mathsf{Aff}$, affine DG schemes, to monoidal DG categories. We show that this assignment extends, under appropriate finiteness conditions, to a functor $\mathbb{H}:\mathsf{Aff}\rightarrow \mathsf{Alg}^{\text{bimod}}(\mathsf{DGCat})$, where the latter denotes the category of monoidal DG categories and bimodules. Any functor $\mathbb{A}:\mathsf{Aff}\rightarrow \mathsf{Alg}^{\text{bimod}}(\mathsf{DGCat})$ gives rise, by taking modules, to a theory of sheaves of categories $\mathsf{ShvCat}^{\mathbb{A}}$. In this paper, we study $\mathsf{ShvCat}^{\mathbb{H}}$. Loosely speaking, this theory categorifies the theory of $\mathfrak{D}$-modules, in the same way as Gaitsgory’s original $\mathsf{ShvCat}$ categorifies the theory of quasi-coherent sheaves. We develop the functoriality of $\mathsf{ShvCat}^{\mathbb{H}}$, its descent properties and the notion of $\mathbb{H}$-affineness. We then prove the $\mathbb{H}$-affineness of algebraic stacks: for ${\mathcal{Y}}$ a stack satisfying some mild conditions, the $\infty$-category $\mathsf{ShvCat}^{\mathbb{H}}({\mathcal{Y}})$ is equivalent to the $\infty$-category of modules for $\mathbb{H}({\mathcal{Y}})$, the monoidal DG category of higher differential operators. The main consequence, for ${\mathcal{Y}}$ quasi-smooth, is the following: if ${\mathcal{C}}$ is a DG category acted on by $\mathbb{H}({\mathcal{Y}})$, then ${\mathcal{C}}$ admits a theory of singular support in $\operatorname{Sing}({\mathcal{Y}})$, where $\operatorname{Sing}({\mathcal{Y}})$ is the space of singularities of ${\mathcal{Y}}$. As an application to the geometric Langlands programme, we indicate how derived Satake yields an action of $\mathbb{H}(\operatorname{LS}_{{\check{G}}})$ on $\mathfrak{D}(\operatorname{Bun}_{G})$, thereby equipping objects of $\mathfrak{D}(\operatorname{Bun}_{G})$ with singular support in $\operatorname{Sing}(\operatorname{LS}_{{\check{G}}})$.

We show that a $\mathbb{P}$-object and simple configurations of $\mathbb{P}$-objects have a formal derived endomorphism algebra. Hence the triangulated category (classically) generated by such objects is independent of the ambient triangulated category. We also observe that the category generated by the structure sheaf of a smooth projective variety over the complex numbers only depends on its graded cohomology algebra.

Derived equivalences of twisted K3 surfaces induce twisted Hodge isometries between them; that is, isomorphisms of their cohomologies which respect certain natural lattice structures and Hodge structures. We prove a criterion for when a given Hodge isometry arises in this way. In particular, we describe the image of the representation which associates to any autoequivalence of a twisted K3 surface its realization in cohomology: this image is a subgroup of index $1$ or $2$ in the group of all Hodge isometries of the twisted K3 surface. We show that both indices can occur.

In this paper we construct an abelian category of mixed perverse sheaves attached to any realization of a Coxeter group, in terms of the associated Elias–Williamson diagrammatic category. This construction extends previous work of the first two authors, where we worked with parity complexes instead of diagrams, and we extend most of the properties known in this case to the general setting. As an application we prove that the split Grothendieck group of the Elias–Williamson diagrammatic category is isomorphic to the corresponding Hecke algebra, for any choice of realization.

We globalize the derived version of the McKay correspondence of Bridgeland, King and Reid, proven by Kawamata in the case of abelian quotient singularities, to certain logarithmic algebraic stacks with locally free log structure. The two sides of the correspondence are given respectively by the infinite root stack and by a certain version of the valuativization (the projective limit of every possible logarithmic blow-up). Our results imply, in particular, that in good cases the category of coherent parabolic sheaves with rational weights is invariant under logarithmic blow-up, up to Morita equivalence.

We explore the connection between $K3$ categories and 0-cycles on holomorphic symplectic varieties. In this paper, we focus on Kuznetsov’s noncommutative $K3$ category associated to a nonsingular cubic 4-fold.

By introducing a filtration on the $\text{CH}_{1}$-group of a cubic 4-fold $Y$, we conjecture a sheaf/cycle correspondence for the associated $K3$ category ${\mathcal{A}}_{Y}$. This is a noncommutative analog of O’Grady’s conjecture concerning derived categories of $K3$ surfaces. We study instances of our conjecture involving rational curves in cubic 4-folds, and verify the conjecture for sheaves supported on low degree rational curves.

Our method provides systematic constructions of (a) the Beauville–Voisin filtration on the $\text{CH}_{0}$-group and (b) algebraically coisotropic subvarieties of a holomorphic symplectic variety which is a moduli space of stable objects in ${\mathcal{A}}_{Y}$.