Related papers: Derived $F$-zips
In probabilistic coherence spaces, a denotational model of probabilistic functional languages, morphisms are analytic and therefore smooth. We explore two related applications of the corresponding derivatives. First we show how derivatives…
We discuss a relation between the structure of derived categories of smooth projective varieties and their birational properties. We suggest a possible definition of a birational invariant, the derived category analogue of the intermediate…
This work investigates the Frobenius morphism on derived categories associated with algebraic stacks in positive characteristic. Particularly, we show that in many cases sufficiently many Frobenius pushforwards of a compact generator…
We consider closed subschemes in the affine grassmannian obtained by degenerating $e$-fold products of flag varieties, embedded via a tuple of dominant cocharacters. For $G= \operatorname{GL}_2$, and cocharacters small relative to the…
We study free dg-Lie algebroids over arbitrary derived schemes, and compute their universal enveloping and jet algebras. We also introduce derived twisted connections, and relate them with lifts on twisted square zero extensions. This…
We study jet schemes and arc spaces in the context of derived algebraic geometry. Explicitly, we consider the jet and arc functors in the category of schemes and study their animations to the category of derived schemes -- what we call the…
We define a derived enhancement of the classical quot functor of quotients associated to a coherent sheaf on a nonsingular quasiprojective variety. We prove its representability and show that it has the expected tangent complex. The derived…
A standard assumption in the study of logarithmic structures is "fineness", but this assumption is not preserved by intersections, fiber products, and more general limits. We explain how a coherent logarithmic scheme $X$ has a natural…
Following Serre's initial work, a number of authors have considered twists of quadratic forms on a scheme Y by torsors of a finite group G, together with formulas for the Hasse-Witt invariants of the twisted form. In this paper we take the…
It goes back to Ahlfors that a real algebraic curve admits a real-fibered morphism to the projective line if and only if the real part of the curve disconnects its complex part. Inspired by this result, we are interested in characterising…
This is the first of a series of papers about \emph{quantization} in the context of \emph{derived algebraic geometry}. In this first part, we introduce the notion of \emph{$n$-shifted symplectic structures}, a generalization of the notion…
This paper studies the derived category of the Quot scheme of rank $d$ locally free quotients of a sheaf $\mathscr{G}$ of homological dimension $\le 1$ over a scheme $X$. In particular, we propose a conjecture about the structure of its…
Let f: X -> Z be a separated essentially-finite-type flat map of noetherian schemes, and \delta: X --> X \times_Z X the diagonal map. The fundamental class C_f (globalizing residues) is a map from the relative Hochschild functor…
We assume given a smooth symplectic (in the algebraic sense) resolution $X$ of an affine algebraic variety $Y$, and we prove that, possibly after replacing $Y$ with an etale neighborhood of a point, the derived category of coherent sheaves…
The purpose of this paper is to introduce and study the notions of $f$-rack and $f$-quandle which are obtained by twisting the usual equational identities by a map. We provide some key constructions, examples and classification of low order…
We develop a framework for derived deformation theory, valid in all characteristics. This gives a model category reconciling local and global approaches to derived moduli theory. In characteristic 0, we use this to show that the homotopy…
For complex parallelisable manifolds $\Gamma\backslash G$, with $G$ a solvable or semisimple complex Lie group, the Fr\"olicher spectral sequence degenerates at the second page. In the solvable case, the de-Rham cohomology carries a pure…
We study varieties of complexes of projective modules with fixed ranks, and relate these varieties to the varieties of their homologies. We show that for an algebra of global dimension at most two, these two varieties are related by a pair…
We study cyclic covering morphisms from $\bar{M}_{0,n}$ to moduli spaces of unpointed stable curves of positive genus or compactified moduli spaces of principally polarized abelian varieties. Our main application is a construction of new…
We want to propose a new discretization ansatz for the second order Hessian complex exploiting benefits of isogeometric analysis, namely the possibility of high-order convergence and smoothness of test functions. Although our approach is…