Timothy Logvinenko
We prove an orbifold type decomposition theorem for the Hochschild homology of the symmetric powers of a small DG category $\mathcal{A}$. In noncommutative geometry, these can be viewed as the noncommutative symmetric quotient stacks of…
We decategorify the Heisenberg 2-category of Gyenge-Koppensteiner-Logvinenko using Hochschild homology. We use this to generalise the Heisenberg algebra action of Grojnowski and Nakajima to all smooth and proper noncommutative varieties in…
Starting with a k-linear or DG category admitting a (homotopy) Serre functor, we construct a k-linear or DG 2-category categorifying the Heisenberg algebra of the numerical K-group of the original category. We also define a 2-categorical…
We propose a new theory of (non-split) P^n-functors. These are F: A -> B for which the adjunction monad RF is a repeated extension of Id_A by powers of an autoequivalence H and three conditions are satisfied: the monad condition, the…
We define $A_{\infty}$-structures -- algebras, coalgebras, modules, and comodules -- in an arbitrary monoidal DG category or bicategory by rewriting their definitions in terms of unbounded twisted complexes. We develop new notions of strong…
We define unbounded twisted complexes and bicomplexes generalising the notion of a (bounded) twisted complex over a DG category [BK90]. These need to be considered relative to another DG category $B$ admitting countable direct sums and…
Given a DG-category A we introduce the bar category of modules Modbar(A). It is a DG-enhancement of the derived category D(A) of A which is isomorphic to the category of DG A-modules with A-infinity morphisms between them. However, it is…
We prove that for any $\mathbb{P}^n$-functor all the convolutions (double cones) of the three-term complex $FHR \xrightarrow{\psi} FR \xrightarrow{tr} Id$ defining its $\mathbb{P}$-twist are isomorphic. We also introduce a new notion of a…
For two DG-categories A and B we define the notion of a spherical Morita quasi-functor A -> B. We construct its associated autoequivalences: the twist T of D(B) and the co-twist F of D(A). We give powerful sufficiency criteria for a…
We introduce a relative version of the spherical objects of Seidel and Thomas. Define an object E in the derived category D(Z x X) to be spherical over Z if the corresponding functor from D(Z) to D(X) gives rise to autoequivalences of D(Z)…
For any finite subgroup G in SL3(C), work of Bridgeland-King-Reid constructs an equivalence between the G-equivariant derived category of C^3 and the derived category of the crepant resolution Y = G-Hilb(C^3) of C^3/G. When G is abelian we…
We show that the adjunction counits of a Fourier-Mukai transform $\Phi$ from $D(X_1)$ to $D(X_2)$ arise from maps of the kernels of the corresponding Fourier-Mukai transforms. In a very general setting of proper separable schemes of finite…
We prove two existing conjectures which describe the geometrical McKay correspondence for a finite abelian G in SL3(C) such that C^3/G has a single isolated singularity. We do it by studying the relation between the derived category…
We propose a three dimensional generalization of the geometric McKay correspondence described by Gonzales-Sprinberg and Verdier in dimension two. We work it out in detail when G is abelian and C^3/G has a single isolated singularity. More…
Let G be a finite subgroup of GL_n(C). G-constellations are a scheme-theoretic generalization of orbits of G in C^n. We study flat families of G-constellations parametrised by an arbitrary resolution of the quotient space C^n/G. We develop…
In most cases where it had been shown to exist the derived McKay correspondence D(Y) --> D^G(C^n) can be written as a Fourier-Mukai transform which sends point sheaves of the crepant resolution Y to pure sheaves in D^G(C^n). We give a…
Let G be a finite subgroup of GL_n(C). A study is made of the ways in which resolutions of the quotient space C^n / G can parametrise G-constellations, that is, G-regular finite length sheaves. These generalise G-clusters, which are used in…