No Arabic abstract
We construct an exceptional collection $Upsilon$ of maximal possible length 6 on any of the Burniat surfaces with $K_X^2=6$, a 4-dimensional family of surfaces of general type with $p_g=q=0$. We also calculate the DG algebra of endomorphisms of this collection and show that the subcategory generated by this collection is the same for all Burniat surfaces. The semiorthogonal complement $mathcal A$ of $Upsilon$ is an almost phantom category: it has trivial Hochschild homology, and $K_0(mathcal A)=bZ_2^6$.
In this short note, we extend the results of [Alexeev-Orlov, 2012] about Picard groups of Burniat surfaces with $K^2=6$ to the cases of $2le K^2le 5$. We also compute the semigroup of effective divisors on Burniat surfaces with $K^2=6$. Finally, we construct an exceptional collection on a nonnormal semistable degeneration of a 1-parameter family of Burniat surfaces with $K^2=6$.
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 mechanics of computing a certain Fourier-Mukai transform and a piece of toric combinatorics known as `Reids recipe, effectively providing a categorification of the latter.
Our main goal is to give a sense of recent developments in the (stable) rationality problem from the point of view of unramified cohomology and 0-cycles as well as derived categories and semiorthogonal decompositions, and how these perspectives intertwine and reflect each other. In particular, in the case of algebraic surfaces, we explain the relationship between Blochs conjecture, Chow-theoretic decompositions of the diagonal, categorical representability, and the existence of phantom subcategories of the derived category.
A well-known conjecture of Orlov asks whether the existence of a full exceptional collection implies rationality of the underlying variety. We prove this conjecture for arithmetic toric varieties over general fields. We also investigate a slight generalization of this conjecture, where the endomorphism algebras of the exceptional objects are allowed to be separable field extensions of the base field. We show this generalization is false by exhibiting a geometrically rational, smooth, projective threefold over the the field of rational numbers that possesses a full etale-exceptional collection but not a rational point. The counterexample comes from twisting a non-retract rational variety with a rational point and full etale-exceptional collection by a torsor that is invisible to Brauer invariants. Along the way, we develop some tools for linearizing objects, including a group that controls linearizations.
A classical result of Bondal-Orlov states that a standard flip in birational geometry gives rise to a fully faithful functor between derived categories of coherent sheaves. We complete their embedding into a semiorthogonal decomposition by describing the complement. As an application, we can lift the quadratic Fano correspondence (due to Galkin-Shinder) in the Grothendieck ring of varieties between a smooth cubic hypersurface, its Fano variety of lines, and its Hilbert square, to a semiorthogonal decomposition. We also show that the Hilbert square of a cubic hypersurface of dimension at least 3 is again a Fano variety, so in particular the Fano variety of lines on a cubic hypersurface is a Fano visitor. The most interesting case is that of a cubic fourfold, where this exhibits the first higher-dimensional hyperkahler variety as a Fano visitor.