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

Let $Z$ be an affine algebraic variety and $X$ be a smooth flexible variety. We develop some criteria under which $Z$ admits a closed embedding into $X$. In particular, we show that if $X$ is isomorphic (as an algebraic variety) to a…

We study the depth properties of certain direct image sheaves on normal varieties. Let $f: Y\rightarrow X$ be a proper morphism of relative dimension $d$ from a smooth variety onto a normal variety such that the preimage $E$ of the singular…

Let V be a complete discrete valuation ring of unequal characteristic with perfect residue field. Let X be smooth separated formal V-scheme, Z a strict normal crossing divisor of X and T a divisor of the special fiber of X. We study in this…

Let E be a rank two vector bundle on a scheme X. The following three structures are shown to be equivalent : a) A primitive quadratic map q: E --> L, with values in an invertible module L. b) A double covering f: Y --> X endowed with an…

In an earlier paper we conjectured a relation between the quantum $\mathcal D$-modules of a smooth variety $X$ and the projectivisation of a direct sum of line bundles over it. In this paper we prove the conjecture when $X$ is a complete…

Let $X$ be a projective scheme over a field. We show that the vanishing cohomology of any sequence of coherent sheaves is closely related to vanishing under pullbacks by the Frobenius morphism. We also compare various definitions of ample…

This article concerns properties of mixed $\ell$-adic complexes on varieties over finite fields, related to the action of the Frobenius automorphism. We establish a fiberwise criterion for the semisimplicity and Frobenius semisimplicity of…

For a pair of affine toric varieties X and Y defined by dual cones, we define an equivalence between two triangulated categories. The first is a mixed version of the equivariant derived category of X and the second is a mixed version of the…

We construct a Landau-Ginzburg model with the same data and symmetries as a $Z_2\times Z_2$ orbifold that corresponds to a class of realistic free-fermion models. Within the class of interest, we show that this orbifolding connects between…

Let $f \colon X \to Y$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $\mathcal{E}$ as those such that the functor $\mathcal{E} \otimes^{\mathbf{L}}_X \mathbf{L} f^*-$ preserves bounded complexes. We prove, as…

Consider the jacobian of a hyperelliptic genus two curve defined over a finite field. Under certain restrictions on the endomorphism ring of the jacobian we give an explicit description all non-degenerate, bilinear, anti-symmetric and…

We establish a comparison isomorphism between prismatic cohomology and derived de Rham cohomology respecting various structures, such as their Frobenius actions and filtrations. As an application, when $X$ is a proper smooth formal scheme…

Any refinement system (= functor) has a fully faithful representation in the refinement system of presheaves, by interpreting types as relative slice categories, and refinement types as presheaves over those categories. Motivated by an…

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…

We prove a differential analog of a theorem of Chevalley on extending homomorphisms for rings with commuting derivations, generalizing a theorem of Kac. As a corollary, we establish that, under suitable hypotheses, the image of a…

Let $B$ denote the upper triangular subgroup of $SL_2(C)$, $T$ its diagonal torus and $U$ its unipotent radical. A complex projective variety $Y$ endowed with an algebraic action of $B$ such that the fixed point set $Y^U$ is a single point,…

This article is the third one of a series of three articles devoted to direct images of isocrystals: here we consider overconvergent isocrystals with Frobenius structure. For a liftable proper smooth morphism we establish the…

Let $d > 1$, and let $(X,\alpha)$ and $(Y,\beta)$ be two zero-entropy ${\mathbb{Z}}^d$-actions on compact abelian groups by $d$ commuting automorphisms. We show that if all lower rank subactions of $\alpha$ and $\beta$ have completely…

We show that the universal abelian cover of the complement to a germ of a reducible divisor on a complex space $Y$ with isolated singularity is $(dimY-2)$-connected provided that the divisor has normal crossings outside of the singularity…

We give an explicit formula for the Deligne pairing for a proper and flat morphisms $f:X\to S$ of schemes, in terms of the determinant of cohomology. The whole construction is justified by an analogy with the intersection theory on…