Related papers: Universal functors on symmetric quotient stacks of…
We construct a new autoequivalence of the derived category of the Hilbert scheme of n points on a K3 surface, and of the variety of lines on a smooth cubic 4-fold. For Hilb^2 and the variety of lines, we use the theory of spherical…
For every smooth quasi-projective surface X we construct a series of P^{n-1}-functors H_{l,n}: D(X x X^[l]) --> D(X^[n+l]) between the derived categories of the Hilbert schemes of points for n>max{l,1} using the derived McKay…
We construct new examples of derived autoequivalences for a family of higher-dimensional Calabi-Yau varieties. Specifically, we take the total spaces of certain natural vector bundles over Grassmannians G(r,d) of r-planes in a d-dimensional…
We present a new systematic method to construct Abelian functions on Jacobian varieties of plane, algebraic curves. The main tool used is a symmetric generalisation of the bilinear operator defined in the work of Baker and Hirota. We give…
This paper constructs derived autoequivalences of Gorenstein orders as twists around spherical functors. More precisely, given a Gorenstein order $A$ and a quotient $p \colon A \to B$, then we specify natural conditions on $B$ under which…
We find two natural spherical functors associated to the Kummer surface and analyse how their induced twists fit with Bridgeland's conjecture on the derived autoequivalence group of a complex algebraic K3 surface.
By using only combinatorial data on two posets X and Y, we construct a set of so-called formulas. A formula produces simultaneously, for any abelian category A, a functor between the categories of complexes of diagrams over X and Y with…
We study polynomial functors of degree 2, called quadratic, with values in the category of abelian groups $Ab$, and whose source category is an arbitrary category $\C$ with null object such that all objects are colimits of copies of a…
Structures where we have both a contravariant (pullback) and a covariant (pushforward) functoriality that satisfy base change can be encoded by functors out of ($\infty$-)categories of spans (or correspondences). In this paper we study the…
Recently, a new definition of $\mathbb P$-functors was proposed by Anno and Logvinenko. In their article, the authors wonder whether this notion is symmetric in the sense that the adjoints of $\mathbb P$-functors are again $\mathbb…
We construct a covariant functor from a category of Abelian principal bundles over globally hyperbolic spacetimes to a category of *-algebras that describes quantized principal connections. We work within an appropriate differential…
For a flat morphism $\pi \colon X \to T$ between smooth quasi-projective varieties and its fiber $X_0$, we prove that spherical objects on $D^b(X)$ pushed-forward from $D^b(X_0)$ induce autoequivalences of $D^b(X_0)$ itself. Our…
We present some results from classical homological algebra using the language of cotorsion theories in abelian categories. The results are a couple of foundational facts about homological dimension, the Kunneth formula and the universal…
Euler's continuants are universal polynomials expressing the numerator and denominator of a finite continued fraction whose entries are independent variables. We introduce their categorical lifts which are natural complexes (more precisely,…
In this paper we provide several results regarding the structure of derived categories of (nested) Hilbert schemes of points. We show that the criteria of Krug-Sosna and Addington for the universal ideal sheaf functor to be fully faithful…
For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the…
We show that for many moduli spaces M of torsion sheaves on K3 surfaces S, the functor D(S) -> D(M) induced by the universal sheaf is a P-functor, hence can be used to construct an autoequivalence of D(M), and that this autoequivalence can…
Bivariant (equivariant) K-theory is the standard setting for non-commutative topology. We may carry over various techniques from homotopy theory and homological algebra to this setting. Here we do this for some basic notions from…
Motivated by classical Alexander invariants of affine hypersurface complements, we endow certain finite dimensional quotients of the homology of abelian covers of complex algebraic varieties with a canonical and functorial mixed Hodge…
Given a split $\mathbb{P}$-functor $F:\mathcal{D}^b(X) \to \mathcal{D}^b(Y)$ between smooth projective varieties, we provide necessary and sufficient conditions, in terms of the Hochschild cohomology of $X$, for it to become spherical on…