Related papers: A note on Frobenius divided modules in mixed chara…

Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $\mathcal{P}$ a separated smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $X$ a smooth closed subscheme of $P$, $T$ a divisor in $P$ such that…

Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…

In this article we survey the basic properties of $p^{-e}$-linear endomorphisms of coherent $\O_X$-modules, i.e. of $\O_X$-linear maps $F_* \sF \to \sG$ where $\sF,\sG$ are $\O_X$-modules and $F$ is the Frobenius of a variety of finite type…

Fix a scheme $S$ of characteristic $p$. Let $\mathscr{M}$ be an $S$-algebraic stack and let $\mbox{Fdiv}(\mathscr{M})$ be the stack of $\mbox{F}$-divided objects, that is sequences of objects $x_i\in\mathscr{M}$ with isomorphisms…

Suppose $X$ is a smooth projective geometrically irreducible curve over a perfect field $k$ of positive characteristic $p$. Let $G$ be a finite group acting faithfully on $X$ over $k$ such that $G$ has non-trivial, cyclic Sylow…

Let $X$ be a smooth projective geometrically irreducible curve over a perfect field $k$ of positive characteristic $p$. Suppose $G$ is a finite group acting faithfully on $X$ such that $G$ has non-trivial cyclic Sylow $p$-subgroups. We show…

Frobenius' theorem in differential geometry asserts that every involutive subbundle of the tangent bundle of a manifold $M$ integrates to a decomposition of $M$ into smooth leaves. We prove an infinitesimal analogue of this result for…

Given a natural number $m$ and a log smooth integral morphism $X\to S$ of fine log schemes of characteristic $p>0$ with a lifting of its Frobenius pull-back $X'\to S$ modulo $p^{2}$, we use indexed algebras ${\cal A}_{X}^{gp}$, ${\cal…

Let $X$ be a smooth projective curve of genus $g(X)\geq 1$ over an algebraically closed field $k$ of characteristic $p>0$ and $F_{X/k}:X\rightarrow X^{(1)}$ be the relative Frobenius morphism. Let $\mathfrak{M}^{s(ss)}_X(r,d)$ (resp.…

The slope filtration theorem gives a partial analogue of the eigenspace decomposition of a linear transformation, for a Frobenius-semilinear endomorphism of a finite free module over the Robba ring (the ring of germs of rigid analytic…

We prove that in either the convergent or overconvergent setting, an absolutely irreducible $F$-isocrystal on the absolute product of two or more smooth schemes over perfect fields of characteristic $p$, further equipped with actions of the…

Let $X$ be a smooth symplectic variety over a field $k$ of characteristic $p>2$ equipped with a restricted structure, which is a class $[\eta] \in H^0(X, \Omega^1_X/d\mathcal O_X)$ whose de Rham differential equals the symplectic form. In…

In this paper, we prove that a smooth projective variety $X$ of characteristic $p>0$ is an ordinary abelian variety if and only if $K_X$ is pseudo-effective and $F^e_*\mathcal O_X$ splits into a direct sum of line bundles for an integer $e$…

We prove that for $X$ a quasi-compact $\mathbb{F}_p$-scheme with affine diagonal (e.g.\ $X$ quasi-compact and separated) there is a t-exact equivalence $\mathcal D(\mathrm{Frob}(\mathrm{QCoh}(X),F_*)) \to \mathrm{Frob}(\mathcal…

Let $X$ be a smooth projective variety defined over an algebraically closed field of positive characteristic $p$ whose tangent bundle is nef. We prove that $X$ admits a smooth morphism $X \to M$ such that the fibers are Fano varieties with…

Let $\mathfrak{X}$ be a formal smooth curve over a complete discrete valuation ring $\mathcal{V}$ of mixed characteristic $(0 , p)$. Let $\widehat{\mathcal{D}}^{(0)}_{\mathfrak{X}, \mathbb{Q}}$ be the sheaf of crystalline differential…

We prove the following two results 1. For a proper holomorphic function $ f : X \to D$ of a complex manifold $X$ on a disc such that $\{df = 0 \} \subset f^{-1}(0)$, we construct, in a functorial way, for each integer $p$, a geometric…

Let $F$ be a local non-Archimedean field with ring of integers $o$. Let $\bf X$ be a one-dimensional formal $o$-module of $F$-height $n$ over the algebraic closure of the residue field of $o$. By the work of Drinfeld, the universal…

Let $R$ be the homogeneous coordinate ring of the Grassmannian $\mathbb{G}=\operatorname{Gr}(2,n)$ defined over an algebraically closed field of characteristic $p>0$. In this paper we give a completely characteristic free description of the…

A Lie algebroid on a variety X/k is an extension \alpha: g_X \to T_X of the tangent sheaf both as O_X-module and Lie algebra over the base field, with the obvious compatibilities; and given a Lie algebroid one has its associated ring of…