Related papers: Prismatic crystals for smooth schemes in character…

We characterize the relative prismatic cohomology of Bhatt and Scholze by a universal property by endowing it with the additional structure of a ``derived $\delta$-ring". This involves introducing an analogue of prismatic envelopes in the…

By means of the theory of strongly semistable sheaves and of the theory of the Greenberg transform, we generalize to higher dimensions a result on the sparsity of p-divisible unramified liftings which played a crucial role in Raynaud's…

We generalise a theorem on the existence of Frobenius isocrystal and Fontaine-Laffaille module structures on rigid flat connections to the non-proper setting. The proof is based on a new strategy of a point-set topological flavour, which…

We prove equality of the various $p$-adic period morphisms for smooth, not necessarily proper, schemes. We start with showing that the $K$-theoretical uniqueness criterium we had found for proper smooth schemes extends to proper finite…

We construct and analyze the "syntomic Steenrod algebra", which acts on the mod $p$ syntomic cohomology (also known as etale-motivic cohomology) of algebraic varieties in characteristic $p$. We then apply the resulting theory to resolve the…

We introduce a notion of total acyclicity associated to a subcategory of an abelian category and consider the Gorenstein objects they define. These Gorenstein objects form a Frobenius category, whose induced stable category is equivalent to…

Let $H$ be a connected spherical subgroup of a semisimple algebraic group $G$. In this paper, we give a criterion for $H$-orbit closures in the flag variety of $G$ to have nice geometric and cohomological properties. Our main tool is the…

Let $\Lambda$ be a complete noetherian local ring with finite residue field of characteristic $p$ and $K/\mathbb{Q}_p$ a $p$-adic field. We show that, by deformation of the structure sheaf on the (transversal) prismatic site of a bounded…

We prove that, for a $p$-divisible group with additional structures over a complete valuation ring of rank one $O_K$ with mixed characteristic $(0,p)$, if the Newton polygon and the Hodge polygon of its special fiber possess a non trivial…

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…

This is a contribution to the classification program of pointed Hopf algebras. We give a generalization of the quantum Serre relations and propose a generalization of the Frobenius-Lusztig kernels in order to compute Nichols algebras of…

Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…

An excellent ring of prime characteristic for which the Frobenius map is pure is also Frobenius split in many commonly occurring situations in positive characteristic commutative algebra and algebraic geometry. However, using a fundamental…

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 a cohomological splitting result for Hamiltonian fibrations over enumeratively rationally connected symplectic manifolds As a key application, we prove that the cohomology of a smooth, projective family over a smooth (stably)…

We give a criterion for extending a generically semisimple (not necessarily conformal) Frobenius manifold locally near a smooth point of the discriminant to a cohomological field theory. As an application, we show that a large set of…

As shown by Happel, from any Frobenius exact category, we can construct a triangulated category as a stable category. On the other hand, it was shown by Iyama and Yoshino that if a pair of subcategories $\mathcal{D}\subseteq\mathcal{Z}$ in…

Making use of topological periodic cyclic homology, we extend Grothendieck's standard conjectures of type C and D (with respect to crystalline cohomology theory) from smooth projective schemes to smooth proper dg categories in the sense of…

A fundamental theorem of P. Deligne (2002) states that a pre-Tannakian category over an algebraically closed field of characteristic zero admits a fiber functor to the category of supervector spaces (i.e., is the representation category of…

For a variety $X$ separated over a perfect field of characteristic $p>0$ which admits an embedding into a smooth variety, we establish an anti-equivalence between the bounded derived categories of Cartier crystals on $X$ and constructible…