Related papers: Unramified F-divided objects and the \'etale funda…
Let $\mathbf{k}$ be an algebraically closed field of characteristic $\geq 7$ or zero. Let $\mathcal{A}$ be a tame order of global dimension $2$ over a normal surface $X$ over $\mathbf{k}$ such that…
In this paper we define a relative rigid fundamental group, which associates to a section $p$ of a smooth and proper morphism $f:X\rightarrow S$ in characteristic $p$, a Hopf algebra in the ind-category of overconvergent $F$-isocrystals on…
Let $\V$ be a mixed characteristic complete discrete valuation ring, let $\X$ and $\Y$ be two smooth formal $\V$-schemes, let $f_0$ : $X \to Y$ be a projective morphism between their special fibers, let $T$ be a divisor of $Y$ such that…
We prove that if a group scheme of multiplicative type acts on an algebraic stack with affine, finitely presented diagonal then the stack of fixed points is algebraic. For this, we extend two theorems of [SGA3.2] on functors of subgroups of…
This paper proves a result on the existence of finite flat scheme covers of Deligne-Mumford stacks. This result is used to prove that a large class of smooth Deligne-Mumford stacks with affine moduli space are quotient stacks, and in the…
Under certain conditions, a scheme can be reconstructed from its category of quasi-coherent sheaves. The Tannakian reconstruction theorem provides another example where a geometric object can be reconstructed from an associated category, in…
In casual discussion, a stack is often described as a variety (the coarse space) together with stabilizer groups attached to some of its subvarieties. However, this description does not uniquely specify the stack. Our main result shows that…
Let G be a reductive group over an algebraically closed field of characteristic p>0. We study properties of embeddings of spherical homogeneous G-spaces. We look at Frobenius splittings, canonical or by a (p-1)-th power, compatible with…
The main aim of the paper is to provide analogues of Simpson's correspondence on singular projective varieties defined over an algebraically closed field of characteristic $p>0$. There are two main cases. In the first case, we consider…
Families of stable curves of genus $\gamma$ over a smooth curve $C$ correspond to morphisms from $C$ to the moduli stack of stable curves $\bar{\cal M}_\gamma$. It is natural to compactify the corresponding moduli problem using stable maps…
Let $X$, $Y$ be smooth projective varieties over $\mathbf{C}$. Let $K$ be a bounded complex of coherent sheaves on $X\times Y$ and let $\Phi_K \colon \mathsf{D}^b_{\mathsf{Coh}}(X) \to \mathsf{D}^b_{\mathsf{Coh}}(Y)$ be the resulting…
Let $H$ be a finite dimensional pointed rank one Hopf algebra of nilpotent type. We first determine all finite dimensional indecomposable $H$-modules up to isomorphism, and then establish the Clebsch-Gordan formulas for the decompositions…
We show that if $f\colon X \to T$ is a surjective morphism between smooth projective varieties over an algebraically closed field $k$ of characteristic $p>0$ with geometrically integral and non-uniruled generic fiber, then $K_{X/T}$ is…
To every Gorenstein algebra $A$ of finite dimension greater than 1 over a field ${\Bbb F}$ of characteristic zero, and a projection $\pi$ on its maximal ideal ${\mathfrak m}$ with range equal to the annihilator $\hbox{Ann}({\mathfrak m})$…
The central aim of this monograph is to provide decomposition results for quasi-coherent sheaves on the moduli stack of one-dimensional formal groups. These results will be based on the geometry of the stack itself, particularly the height…
We realise Buchweitz and Flenner's semiregularity map (and hence a fortiori Bloch's semiregularity map) for a smooth variety $X$ as the tangent of a generalised Abel--Jacobi map on the derived moduli stack of perfect complexes on $X$. The…
In this paper, we prove that smooth Calabi--Yau hypersurfaces of degree $d$ over complete unramified discrete valuation rings with residue characteristic $p$ are perfectoid split if $p$ is larger than the relative dimension and $p\nmid d$.…
The finite stable homotopy category S_0 has been suggested as a candidate for a category of perfect complexes over the monoid scheme Spec F_1. We apply a reconstruction theorem from algebraic geometry to S_0, and show that one recovers the…
We construct, using geometric invariant theory, a quasi-projective Deligne-Mumford stack of stable graded algebras. We also construct a derived enhancement, which classifies twisted bundles of stable graded A-infinity-algebras. The tangent…
Let $Y \to B$ be a relative smooth projective curve over an affine integral base scheme $B$ of positive characteristic. We provide for all prime characteristics example classes of vector bundles $\mathcal{S}$ over $Y$ such that…