Related papers: Derived splinters in positive characteristic
We give a new proof of the Semistable Reduction Theorem for curves. The main idea is to present a curve $Y$ over a local field $K$ as a finite cover of the projective line $X=\PP^1_K$. By successive blowups (and after replacing $K$ by a…
We present counterexamples to Fujita's conjecture in positive characteristics. Precisely, we show that over any algebraically closed field $k$ of characteristic $p>0$ and for any positive integer $m$, there exists a smooth projective…
We prove that the dg category of perfect complexes on a smooth, proper Deligne-Mumford stack over a field of characteristic zero is geometric in the sense of Orlov, and in particular smooth and proper. On the level of triangulated…
We prove the Demailly--Peternell--Schneider conjecture in positive characteristic: if $X$ is a smooth projective variety over an algebraically closed field of characteristic $p>0$ with $-K_X$ is nef, then the Albanese morphism $a: X \to A$…
For every natural number $m$, the existentially closed models of the theory of fields with $m$ commuting derivations can be given a first-order geometric characterization in several ways. In particular, the theory of these differential…
This paper studies several notions of sheaves of differential forms that are better behaved on singular varieties than K\"ahler differentials. Our main focus lies on varieties that are defined over fields of positive characteristic. We…
In F-theory, if a fiber type of an elliptic fibration involves a condition that requires an exceptional curve to split into two irreducible components, it is called ``split'' or ``non-split'' type depending on whether it is globally…
Let $\phi\colon A\rightarrow B$ be an algebra extension. We prove that if $\phi$ is split, the derived-discreteness of $A$ implies the derived-discreteness of $B$; if $\phi$ is separable and the right $A$-module $B$ is projective, the…
Let $\mathcal C$ be closed symmetric monoidal Grothendieck category. We define the pure derived category with respect to the monoidal structure via a relative injective model category structure on the category $\mathbf{C}(\mathcal C)$ of…
We present a hypersurface singularity in positive characteristic which is defined by a purely inseparable power series, and a sequence of point blowups so that, after applying the blowups to the singularity, the same type of singularity…
A model structure is defined on the category of derived differentiable schemes, and it is used to analyse the truncation 2-functor from derived manifolds to d-manifolds. It is proved that the induced 1-functor between the homotopy…
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…
This work presents a range of triangulated characterizations for important classes of singularities such as derived splinters, rational singularities, and Du Bois singularities. An invariant called 'level' in a triangulated category can be…
Let K be the function field of a connected regular scheme S of dimension 1, and let f : X -> Y be a finite cover of projective smooth and geometrically connected curves over K with g(X) greater or equal to 2. Suppose that f can be extended…
A smooth scheme X over a field k of positive characteristic is said to be strongly liftable, if X and all prime divisors on X can be lifted simultaneously over W_2(k). In this paper, first we prove that smooth toric varieties are strongly…
For a map f: X -> Y of quasi-compact quasi-separated schemes, we discuss quasi-perfection, that is, the right adjoint f^\times of the derived functor Rf_* respects small direct sums. This is equivalent to the existence of a functorial…
We consider a conjectured topological inequality for the number of equisingular moduli of a rational surface singularity, and prove it in some natural special cases. When the resolution dual graph is "sufficiently negative" (in a precise…
We study branched covers of curves with specified ramification points, under a notion of equivalence derived from linear series. In characteristic 0, no non-constant families of covers with fixed ramification points exist. In positive…
In this paper we establish new characterizations of stable derivators, thereby obtaining additional interpretations of the passage from (pointed) topological spaces to spectra and, more generally, of the stabilization. We show that a…
If $X$ is a smooth scheme of characteristic zero or a complex analytic manifold, and $S$ is a locally split infinitesimal thickening of $X$, we compute explicitly the derived self-intersection of $X$ in $S$.