Related papers: Derived $F$-zips
Effective descent morphisms, originally defined in Grothendieck descent theory, form a class of special morphisms within a category. Essentially, an effective descent morphism enables bundles over its codomain to be fully described as…
In this article, a new construction of derived equivalences is given. It relates different endomorphism rings and more generally cohomological endomorphism rings - including higher extensions - of objects in triangulated categories. These…
To any finite local embedding of Deligne--Mumford stacks $g: Y\to X$ we associate an \'etale, universally closed morphism $F_{Y/X}\to X$ such that for the complement $Y^2_X$ of the image of the diagonal $Y \to Y\times_XY$, the stack…
The goal of the current text is to study non-archimedean analytic derived de Rham cohomology by means of formal completions. Our approach is inspired by the deformation to the normal cone provided in \cite{Gaitsgory_Study_II}. More…
We show that smooth del Pezzo varieties in positive characteristic are quasi-$F$-split. To this end, we introduce weak quasi-$F$-splitting and we prove that general ladders of smooth del Pezzo varieties are normal.
We study the moduli of G-local systems on smooth but not necessarily proper complex algebraic varieties. We show that, when suitably considered as derived algebraic stacks, they carry natural Poisson structures, generalizing the well known…
We introduce the notion of cofoliation on a stack. A cofoliation is a change of the differentiable structure which amounts to giving a full representable smooth epimorphism. Cofoliations are uniquely determined by their associated Lie…
Using deformation theory of rational curves, we prove a conjecture of Sommese on the extendability of morphisms from ample subvarieties when the morphism is a smooth (or mildly singular) fibration with rationally connected fibers. We apply…
We classify all possible automorphism groups of smooth cubic surfaces over an algebraically closed field of arbitrary characteristic. As an intermediate step we also classify automorphism groups of quartic del Pezzo surfaces. We show that…
We introduce a new approach to constructing derived deformation groupoids, by considering them as parameter spaces for strong homotopy bialgebras. This allows them to be constructed for all classical deformation problems, such as…
We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…
We use semi-orthogonal decompositions to construct autoequivalences of Hilbert schemes of points on Enriques surfaces and of Calabi-Yau varieties which cover them. While doing this, we show that the derived category of a surface whose…
One fundamental consequence of a scheme $X$ being proper is that the functor classifying maps from $X$ to any other suitably nice scheme or algebraic stack is representable by an algebraic stack. This result has been generalized by…
In this paper we study exponential maps ($\mathbb{G}_a$-actions) on the family of affine two dimensional surfaces of the form $f(x)y=\phi(x,z)$ over arbitrary fields, describe the Makar-Limanov invariant and Derksen invariant of these…
Let Y be a complex Enriques surface whose universal cover X is birational to a general quartic Hessian surface. Using the result on the automorphism group of X due to Dolgachev and Keum, we obtain a finite presentation of the automorphism…
We interpret Galois covers in terms of particular monoidal functors, extending the correspondence between torsors and fiber functors. As applications we characterize tame $G$-covers between normal varieties for finite and \'etale group…
Let F be a finite field and let C be a smooth projective curve over F. For some smooth projective surfaces X over F we establish that the third unramified cohomology of the product of X and C vanishes. This applies in particular to…
Using the de Rham stack of Bhatt-Lurie and Drinfeld, we prove that de Rham complex of a smooth quasi-F-split variety over a perfect field of positive characteristic decomposes in all degrees. In particular, smooth proper quasi-F-split…
For a permutation $\pi$, and the corresponding permutation matrix, we introduce the notion of {\em discrete derivative}, obtained by taking differences of successive entries in $\pi$. We characterize the possible derivatives of…
This paper studies the derived de Rham cohomology of F_p and p-adic schemes, and is inspired by Beilinson's recent work. Generalising work of Illusie, we construct a natural isomorphism between derived de Rham cohomology and crystalline…