Related papers: Lifting iterated Frobenius over $W_n(k)$
A smooth hypersurface over a finite field $\mathbb{F}_q$ is called Frobenius nonclassical if the image of every geometric point under the $q$-th Frobenius endomorphism remains in the unique hyperplane tangent to the point. In this paper, we…
We consider the following conjecture: if X is a smooth projective variety over a field of characteristic zero, then there is a dense set of reductions X_s of X to positive characteristic such that the action of the Frobenius morphism on the…
Let $k$ be a perfect field of characteristic $p > 0$, and let $K = k((u))$ be the field of Laurent series over $K$. We study the skew polynomial ring $K[T, \Phi]$, where $\Phi$ is an endomorphism of $K$ that extends a Frobenius endomorphism…
This text presents a scheme-theoretic enhancement of the theory of smooth profinite groups and cyclotomic pairs, introduced in the paper `Smooth profinite groups, I'. To do so, our main technical tools are Hochschild cohomology of affine…
We introduce a "limiting Frobenius structure" attached to any degeneration of projective varieties over a finite field of characteristic p which satisfies a p-adic lifting assumption. Our limiting Frobenius structure is shown to be…
For $k$ a field of positive characteristic and $X$ a smooth variety over $k$, we compute the Hochschild cohomology of Grothendieck's differential operators on $X$. The answer involves the derived inverse limit of the Frobenius acting on the…
Let $G$ be a simple simply connected algebraic group over an algebraically closed field $k$ of characteristic $p$, with Frobenius kernel $G_{(1)}$. It is known that when $p\ge 2h-2$, where $h$ is the Coxeter number of $G$, the projective…
Let $k$ be a perfect field of odd characteristic $p$ and $X_0$ a smooth connected algebraic variety over $k$ which is assumed to be $W_2(k)$-liftable. In this short note we associate a de Rham bundle to a nilpotent Higgs bundle over $X_0$…
Let X be a smooth variety over $F_p$. Let E be a number field. For each nonarchimedean place $\lambda$ of E prime to p consider the set of isomorphism classes of irreducible lisse $\bar{E}_{\lambda}$-sheaves on X with determinant of finite…
We study the behavior of Frobenius operators on smooth proper pushforwards of prismatic F-crystals. In particular we show that the i-th pushforward has its Frobenius height increased by at most i. Our proof crucially uses the notion of…
Let $(1)$ be an automorphism on an additive category $\mathcal{B}$, and let $\eta\colon (1)\to {\rm Id}_{\mathcal{B}}$ be a natural transformation satisfying $\eta_{X(1)}=\eta_X(1)$ for any object $X$ in $\mathcal{B}$. We construct a new…
Let X be a smooth projective curve of genus g \textgreater{}1 defined over an algebraically closed field k of characteristic p \textgreater{}0. For p sufficiently large (explicitly given in terms of r,g) we construct an atlas for the locus…
This paper is a continuation of our Dwork crystals series. Here we exploit the Cartier operation to prove supercongruences for expansion coefficients of rational functions. In the process it appears that excellent Frobenius lifts are a…
We show the existence of many infinite classes of permutations over finite fields and bent functions by extending the notion of linear translators, introduced by Kyureghyan [12]. We call these translators Frobenius translators since the…
Let X be a smooth projective curve over an algebraic closed field of characteristic p and F be the Frobenius morphism of X. Here, I give a negative answer to the guess that the length of the Harder-Narasimhan of F*W is not bigger than p,…
We study different extended formulations for the set $X = \{x\in\mathbb{Z}^n \mid Ax = Ax^0\}$ in order to tackle the feasibility problem for the set $X_+=X \cap \mathbb{Z}^n_+$. Here the goal is not to find an improved polyhedral…
We examine the relationship between the notion of Frobenius splitting and ordinarity for varieties. We show the following: a) The de Rham-Witt cohomology groups $H^i(X, W({\mathcal O}_X))$ of a smooth projective Frobenius split variety are…
Given a number field $K$ that is a subfield of the real numbers, we generalize the notion of the classical Frobenius problem to the ring of integers $\mathfrak{O}_K$ of $K$ by describing certain Frobenius semigroups,…
Let $W$ be the ring of the Witt vectors of a perfect field of characteristic $p$, $\mathfrak{X}$ a smooth formal scheme over $W$, $\mathfrak{X}'$ the base change of $\mathfrak{X}$ by the Frobenius morphism of $W$, $\mathfrak{X}_{2}'$ the…
We survey some aspects of Frobenius algebras, Frobenius structures and their relation to finite Hopf algebras using graphical calculus. We focus on the `yanking' moves coming from a closed structure in a rigid monoidal category, the…