Related papers: A new phantom on a rational surface
Reflexive dg categories were introduced by Kuznetsov and Shinder to abstract the duality between bounded and perfect derived categories. In particular this duality relates their Hochschild cohomologies, autoequivalence groups, and…
We construct a supercategory that can be seen as a skew version of (thickened) KLR algebras for the type $A$ quiver. We use our supercategory to construct homological invariants of tangles and show that for every link our invariant gives a…
In the first part of the paper, we give an explicit algorithm to compute the (genus zero) Gromov-Witten invariants of blow-ups of an arbitrary convex projective variety in some points if one knows the Gromov-Witten invariants of the…
In this paper, we prove a generalization of Orlov's projectivization formula for the derived category $D^b_{\rm coh} (\mathbb{P}(\mathscr{E}))$, where $\mathscr{E}$ does not need to be a vector bundle; Instead, $\mathscr{E}$ is a coherent…
King's conjecture states that on every smooth complete toric variety $X$ there exists a strongly exceptional collection which generates the bounded derived category of $X$ and which consists of line bundles. We give a counterexample to this…
We describe an infinite set of smooth projective threefolds that have equivalent derived categories but are not isomorphic, contrary to a conjecture of Kawamata. These arise as blow-ups of $\mathbb P^3$ at various configurations of 8…
We formulate a tropical analogue of Grothendieck's section conjecture: that for every stable graph G of genus g>2, and every field k, the generic curve with reduction type G over k satisfies the section conjecture. We prove many cases of…
Our principal goal in this overview is to explain and motivate the concept of a phantom in the representation theory of a finite dimensional algebra $\Lambda$. In particular, we exhibit the key role of phantoms towards understanding how a…
We use constructions of surfaces as abelian covers to write down exceptional collections of line bundles of maximal length for every surface $X$ in certain families of surfaces of general type with $p_g=0$ and $K_X^2=3,4,5,6,8$. We also…
A fake projective plane is a smooth complex surface which is not the complex projective plane but has the same Betti numbers as the complex projective plane. The first example of such a surface was constructed by David Mumford in 1979 using…
We prove that every polytope described by algebraic coordinates is the face of a projectively unique polytope. This provides a universality property for projectively unique polytopes. Using a closely related result of Below, we construct a…
Katzarkov has proposed a generalization of Kontsevich's mirror symmetry conjecture, covering some varieties of general type. We prove a version of this conjecture in the simplest example, relating the Fukaya category of a genus two curve to…
Katzarkov has proposed a generalization of Kontsevich's mirror symmetry conjecture, covering some varieties of general type. Seidel \cite{Se} has proved a version of this conjecture in the simplest case of the genus two curve. Basing on the…
We construct canonical semi-orthogonal decompositions for derived categories of smooth projective surfaces. These decompositions are compatible with the operations in the minimal model program, such as blow-ups and conic bundles. Therefore…
Problem 4.19 in Ziegler's "Lectures on Polytopes" asserts that every simple $3$-dimensional polytope has the property that its dual can be constructed as the convex hull of a subset of the vertices of the original simple polytope. In this…
We construct an exceptional sequence of length 11 on the classical Godeaux surface X which is the Z/5-quotient of the Fermat quintic surface in P^3. This is the maximal possible length of such a sequence on this surface which has…
The Kuznetsov component of the derived category of a cubic fourfold is a `non-commutative K3 surface'. Its symmetric square is hence a `non-commutative hyperkaehler fourfold'. We prove that this category is equivalent to the derived…
We use the theory of approximable triangulated categories to give a condition for a proper DG-category to be reflexive in the sense of Kuznetsov and Shinder. To do this we provide another description of the completion of an approximable…
We define a supercategorification of the $q$-Schur algebra of level two and an odd analogue of $\mathfrak{gl}_2$-foams. Using these constructions, we define a homological invariant of tangles, and show that it coincides with odd Khovanov…
In Part 1, we describe six projective-type model structures on the category of differential graded modules over a differential graded algebra A over a commutative ring R. When R is a field, the six collapse to three and are well-known, at…