Related papers: Frobenius morphisms over Z/p^2 and Bott vanishing

Let R be an integral domain of finite type over Z and let f:X --> Spec R be a smooth projective morphism of relative dimension d >= 1. We investigate, for a vector bundle E on the total space X, under what arithmetical properties of a…

Frobenius splitting, pioneered by Hochster and Roberts in the 1970s and Mehta and Ramanathan in the 1980s, is a technique in characteristic $p$ commutative algebra and algebraic geometry used to control singularities. In the aughts, Knutson…

Let $X$ denote a flag variety of type $A$ or type $C$. We construct a canonical Frobenius splitting of $X \times X$ which vanishes with maximal multiplicty along the diagonal. This way we verify a conjecture by Lakshmibai, Mehta and…

Let f be a polynomial of degree n in ZZ[x_1,..,x_n], typically reducible but squarefree. From the hypersurface {f=0} one may construct a number of other subschemes {Y} by extracting prime components, taking intersections, taking unions, and…

We show that, for a pseudo-proper smooth noetherian formal scheme $\mathfrak{X}$ over a positive characteristic $p$ field, its truncated De Rham complex up to the characteristic $p$ is decomposable. Moreover, if the dimension of…

We investigate flat morphisms of schemes of positive characteristic whose relative Frobenius is an isomorphism, which we call pristine. We show that these give rise to a natural Grothendieck topology that is fine tuned for the localization…

Let N be the normalizer of a maximal torus T in a split reductive group over F_q, and let w be an involution in the Weyl group N/T. We construct a section of W satisfying the braid relations, such that the image of the lift n of w under the…

A smooth projective variety $Y$ is said to satisfy Bott vanishing if $\Omega_Y^j\otimes L$ has no higher cohomology for every $j$ and every ample line bundle $L$. Few examples are known to satisfy this property. Among them are toric…

While the intersection of the Grassmannian Bruhat decompositions for all coordinate flags is an intractable mess, the intersection of only the {\em cyclic shifts} of one Bruhat decomposition turns out to have many of the good properties of…

We study Frobenius eigenvalues of the compactly supported rigid cohomology of a variety defined over a finite field of $q$ elements via Dwork's method. A couple of arithmetic consequences will be drawn from this study. As the first…

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 to positive characteristic such that the action of the Frobenius morphism on the top…

Let $X$ be a smooth projective curve of genus $g \geq 2$ defined over an algebraically closed field $k$ of characteristic $p>0$. Given a semistable vector bundle $E$ over $X$, we show that its direct image $F\_*E$ under the Frobenius map…

We prove that the Newton polygons of Frobenius on the crystalline cohomology of proper smooth varieties satisfy a symmetry that results, in the case of projective smooth varieties, from Poincar\'e duality and the hard Lefschetz theorem. As…

We show how to attach to any rigid analytic variety $V$ over a perfectoid space $P$ a rigid analytic motive over the Fargues-Fontaine curve $\mathcal{X}(P)$ functorially in $V$ and $P$. We combine this construction with the overconvergent…

Let U be the tautological subbundle on the Grassmannian $\mathrm{Gr}(k, n)$. There is a natural morphism $\mathrm{Tot}(U) \to \mathbb{A}^n$. Using it, we give a semiorthogonal decomposition for the bounded derived category…

Let $X$ be a smooth proper genus 2 curve over an algebraically closed field of characteristic 2. The absolute Frobenius induces a rational map $F$ on the the moduli space $M\_X$ of semi-stable rank 2 vector bundles over $X$, which is…

We show that Aomoto's $q$-deformation of de Rham cohomology arises as a natural cohomology theory for $\Lambda$-rings. Moreover, Scholze's $(q-1)$-adic completion of $q$-de Rham cohomology depends only on the Adams operations at each…

In this short note we explain the proof that proper surjective and faithfully flat maps are morphisms of effective descent for overconvergent isocrystals. We then show how to deduce the folklore theorem that for an arbitrary variety over a…

The Peterson isomorphism relates the homology of the affine Grassmannian to the quantum cohomology of any flag variety. In the case of a partial flag, Peterson's map is only a surjection, and one needs to quotient by a suitable ideal on the…

We determine the universal deformation over reduced base rings of the Witt ring scheme enhanced by a Frobenius lift and Verschiebung. It agrees with a q-deformation earlier introduced by the second author, for which we also give a simpler…