Related papers: Sur la compatibilit\'e \`a Frobenius de l'isomorph…

We give sufficient conditions for cohomological flatness (in dimension 0) over discrete valuation rings, generalizing classical results of Raynaud in two different ways. The first is a higher dimensional generalization of Raynaud's…

Let f: X \to Z be a surjective morphism of smooth complex projective varieties with connected fibers. Suppose that L is a pseudo-effective divisor on X that is f-numerically trivial. We show that there is a divisor D on Z such that L is…

Let $D$ be a reduced divisor in $\mathbb P^n_k$ for an algebraically closed field $k$ of positive characteristic $p > 0$. We prove that if $(\mathbb P^n_k, D)$ is Frobenius liftable modulo $p^2$, then $D$ is a toric divisor. As a corollary,…

We define Frobenius and monodromy operators on the de Rham cohomology of $K$-dagger spaces (rigid spaces with overconvergent structure sheaves) with strictly semistable reduction $Y$, over a complete discrete valuation ring $K$ of mixed…

Let $X$ be a smooth projective variety over an algebraically field $k$ with ${\rm char}(k)=p>0$ and $F:X\to X_1$ be the relative Frobenius morphism. When ${\rm dim}(X)=1$, we prove that $F_*W$ is a stable bundle for any stable bundle $W$…

We characterize adjoint ideal sheaves via ultraproducts and, utilizing this characterization, study their behavior under pure morphisms. In particular, given a pure morphism $f:Y \to X$ between normal quasi-projective complex varieties, a…

A recent paper [R22] established "Frobenius reciprocity" as a bijection $t$ between certain symplectically reduced spaces (which need not be manifolds), and conjectured: 1{\deg}) $t$ is a diffeomorphism when these spaces are endowed with…

The base space of a semi-universal unfolding of a hypersurface singularity carries a rich geometric structure, which was axiomatized as a CDV-structure by C. Hertling. For any CDV-structure on a Frobenius manifold M, the pull-back of the…

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.…

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…

We introduce the notion of integrable connections for a sheaf of differential graded algebras on a topological space. We then describe them in the finite locally projective setting, when the sheaf is either the de Rham complex of a formal…

Two immersed triangulations in the plane with the same combinatorics are considered as preimage and image of a discrete immersion $F$. We compare the cross-ratios $Q$ and $q$ of corresponding pairs of adjacent triangles in the two…

To any finite local embedding of Deligne--Mumford stacks $g: Y\to X$ we associate an \'etale, universally closed morphism $F_{Y/X}\to X$ such that for the complement $Y^2_X$ of the image of the diagonal $Y \to Y\times_XY$, the stack…

Let $X$ be a smooth projective variety defined on a finite field $\mathbb{F}_q$. On $X$ there is a special morphism $Fr_X$, which raises coordinates to exponent $q$: $t\mapsto t^q$. The two main results in this paper are: Result 1: If…

We prove that if $K$ is a complete algebraically closed non-archimedian valuation field of positive characteristic and $f$ is an endomorphism of $\mathbb{P}_{K}^{N}$ which is totally inseparable and behaves as the Frobenius on the special…

Let $X$ be an equivariant embedding of a connected reductive group $G$ over an algebraically closed field $k$ of positive characteristic. Let $B$ denote a Borel subgroup of $G$. A $G$-Schubert variety in $X$ is a subvariety of the form…

This article is the first one of a series of three articles devoted to direct images of isocrystals: here we consider isocrystals without Frobenius structure; in the second one (resp. the third one), we will introduce a Frobenius structure…

A basic problem in smooth dynamics is determining if a system can be distinguished from its inverse, i.e., whether a smooth diffeomorphism $T$ is isomorphic to $T^{-1}$. We show that this problem is sufficiently general that asking it for…

In this paper we give smoothness criterions for a good quotient Y of a smooth variety X by a reductive group G. Our results partially answer a question raised by J. Fogarty in the case where G is a finite group. They also give a converse to…

Let $X$ be a smooth projective variety of dimension $n$ over the algebraic closure of a finite field $\mathbb{F}_p$. Assuming the standard conjecture $D$, we prove a weaker form of the Dynamical Degree Comparison conjecture; equivalence of…