Related papers: Derived $F$-zips

These are expanded notes from some talks given during the fall 2002, about ``homotopical algebraic geometry'' (HAG) with special emphasis on its applications to ``derived algebraic geometry'' (DAG) and ``derived deformation theory''. We use…

We give a valuative criterion for when a smooth algebraic stack with a separated good moduli space is the quotient of a separated Deligne-Mumford stack by a torus. For doing so, we introduce a new class of morphisms, the so-called effective…

Shapes of four dimensional spaces can be studied effectively via maps to standard surfaces. We explain, and illustrate by quintessential examples, how to simplify such generic maps on 4-manifolds topologically, in order to derive simple…

We introduce and study the derived moduli stack $\mathrm{Symp}(X,n)$ of $n$-shifted symplectic structures on a given derived stack $X$, as introduced by [PTVV] (IHES Vol. 117, 2013). In particular, under reasonable assumptions on $X$, we…

We present scheme theoretic methods that apply to the study of secant varieties. This mainly concerns finite schemes and their smoothability. The theory generalises to the base fields of any characteristic, and even to non-algebraically…

Given a flat, finite group scheme G finitely presented over a base scheme we introduce the notion of ramified Galois cover of group G (or simply G-cover), which generalizes the notion of G-torsor. We study the stack of G-covers, denoted…

We define and initiate the study of analytic de Rham stacks of relative Fargues-Fontaine curves. To this end, we develop a theory of analytic de Rham stacks with sufficiently strong descent and approximation properties. Specializing to the…

We survey some recent results concerning the so called Categorical Torelli problem. This is to say how one can reconstruct a smooth projective variety up to isomorphism, by using the homological properties of special admissible…

We study the space of rational curves on del Pezzo surfaces in positive characteristic. For most primes p we prove the irreducibility of the moduli space of rational curves of a given nef class, extending results of Testa in characteristic…

This paper is the sequel to [PTVV] (IHES Vol. 117, 2013). We develop a general and flexible context for differential calculus in derived geometry, including the de Rham algebra and polyvector fields. We then introduce the formalism of…

The questions of global topological, smooth and holomorphic classifications of the differential systems, defined by covering foliations, are considered. The received results are applied to nonautonomous linear differential systems and…

In this article we present a unified way to smooth certain multiple structures called ropes on smooth varieties. We prove that most ropes of arbitrary multiplicity, supported on smooth curves can be smoothed. By a rope being smoothable we…

We introduce a new method to study mixed characteristic deformation of line bundles. In particular, for sufficiently large smooth projective families $f : \mathscr{X} \to \mathscr{S}$ defined over the ring of $N$-integers…

We study the geometry of the morphism between moduli spaces of hypersurfaces in $\mathbb P^{n-1}$ that sends a smooth hypersurface of degree $d+1$ to its associated hypersurface of degree $n(d-1)$. As a result, we obtain a compactification…

A canonical cover generalizing the left Fischer cover to arbitrary sofic shifts is introduced and used to prove that the left Krieger cover and the past set cover of a sofic shift can be divided into natural layers. These results are used…

This is a book on derived foliations, that are a generalisation of classical foliations in the context of derived geometry. The text starts with the basic definitions and constructions, then explore foliated cohomology (with crystal…

We study a notion of derived foliations on schemes and derived schemes of arbitrary characteristics. We introduce the Hodge filtration associated to a derived foliation, which functorialy filters derived de Rham cohomology. We use this…

We prove that the bounded derived category of coherent sheaves on a smooth projective complex variety reconstructs the isomorphism classes of fibrations onto smooth projective curves of genus $g\geq 2$. Moreover, in dimension at most four,…

In this note, we generalize results of Donagi and Pantev on twisted derived equivalences between elliptically fibered surfaces to higher dimensions. First, we establish a twisted derived equivalence between torsors under abelian schemes…

Abstract. We develop the global period map in the context of derived geometry, generalising Griffiths' classical period map as well as the infinitesimal derived period map. We begin by constructing the derived period domain which classifies…