Related papers: Dieudonn\'e theory for $n$-smooth group schemes

We extend Berthelot's theory of arithmetic D-modules to a class of morphisms that are not necessarily of finite type. As an application we give a new construction of the category of convergent isocrystals on a separated scheme of finite…

In this paper we discuss the notion of smoothness in complex algebraic supergeometry and we prove that all affine complex algebraic supergroups are smooth. We then prove the stabilizer theorem in the algebraic context, providing some useful…

Deligne's conjecture that $\ell$-adic sheaves on normal schemes over a finite field admit $\ell'$-companions was proved by L. Lafforgue in the case of curves and by Drinfeld in the case of smooth schemes. In this paper, we extend Drinfeld's…

We develop the analog of crystalline Dieudonn\'e theory for p-divisible groups in the arithmetic of function fields. In our theory p-divisible groups are replaced by divisible local Anderson modules, and Dieudonn\'e modules are replaced by…

Let $k$ be a perfect field of characteristic $p>2$ and $K$ an extension of $F=\mathrm{Frac} W(k)$ contained in some $F(\mu_{p^r})$. Using crystalline Dieudonn\'e theory, we provide a classification of $p$-divisible groups over…

Let $X$ be a smooth projective variety defined over a finite field. We show that any algebraic $1$-cycle on $X$ is rationally equivalent to a smooth $1$-cycle, which is a $\mathbb{Z}$-linear combination of smooth curves on $X$. We also…

This paper proves a result on the existence of finite flat scheme covers of Deligne-Mumford stacks. This result is used to prove that a large class of smooth Deligne-Mumford stacks with affine moduli space are quotient stacks, and in the…

We define, for each quasi-syntomic ring $R$ (in the sense of Bhatt-Morrow-Scholze), a category $\mathrm{DM}^{\rm adm}(R)$ of \textit{admissible prismatic Dieudonn\'e crystals over $R$} and a natural functor from $p$-divisible groups over…

We show that any smooth permutation $\sigma\in S_n$ is characterized by the set ${\mathbf{C}}(\sigma)$ of transpositions and $3$-cycles in the Bruhat interval $(S_n)_{\leq\sigma}$, and that $\sigma$ is the product (in a certain order) of…

Several elementary properties of the symmetric group $S_n$ extend in a nice way to the full transformation monoid $M_n$ of all maps of the set $X:=\{1,2,3,\dots,n\}$ into itself. The group $S_n$ turns out to be in some sense the torsion…

Let G be a connected reductive algebraic group over an algebraically closed field k. In a recent paper, Bate, Martin, R\"ohrle and Tange show that every (smooth) subgroup of G is separable provided that the characteristic of k is very good…

We study the counts of smooth permutations and smooth polynomials over finite fields. For both counts we prove an estimate with an error term that matches the error term found in the integer setting by de Bruijn more than 70 years ago. The…

We develop a motivic cohomology theory, representable in the Voevodsky's triangulated category of motives, for smooth separated Deligne-Mumford stacks and show that the resulting higher Chow groups are canonically isomorphic to the higher…

In this short paper we first recall the definition and the construction of the fundamental group scheme of a scheme $X$ in the known cases: when it is defined over a field and when it is defined over a Dedekind scheme. It classifies all the…

We develop the theory of smooth principal bundles for a smooth group $G$, using the framework of diffeological spaces. After giving new examples showing why arbitrary principal bundles cannot be classified, we define $D$-numerable bundles,…

We give a proof of the well-known fact that the $\Ok$-module $\E$ of smooth functions is flat by means of residue theory and integral formulas. A variant of the proof gives a related statement for classes of functions of lower regularity.…

The aim of this paper is to explain how to get a complex of smooth representations out of the dual vector space to a smooth representation of a p-adic Lie group, in natural characteristic. The construction does not depend on any…

In the proof of Crew's parabolicity conjecture, we established a key property concerning the slopes of $\dagger$-hulls of $F$-isocrystals, extending a result of Tsuzuki. This article presents an alternative proof of this theorem for a…

Let $p$ be a prime. A pro-$p$ group $G$ is said to be 1-smooth if it can be endowed with a homomorphism of pro-$p$ groups $G\to1+p\mathbb{Z}_p$ satisfying a formal version of Hilbert 90. By Kummer theory, maximal pro-$p$ Galois groups of…

If $X$ is a smooth scheme over a perfect field of characteristic $p$, and if $\sD_X$ is the sheaf of differential operators on $X$ [EGAIV], it is well known that giving an action of $\sD_X$ on an $\sO_X$-module $\sE$ is equivalent to giving…