Related papers: Cartier Modules: finiteness results

Given a morphism $f \colon X \to Y$ of schemes over a field, we prove several finiteness results about the fibers of the induced map on arc spaces $f_\infty \colon X_\infty \to Y_\infty$. Assuming that $f$ is quasi-finite and $X$ is…

It is proved that a module $M$ over a Noetherian ring $R$ of positive characteristic $p$ has finite flat dimension if there exists an integer $t\ge 0$ such that $\operatorname{Tor}_i^R(M, {}^{f^{e}}\!R)=0$ for $t\le i\le t+\dim R$ and…

Let R be a ring of polynomials in a finite number of variables over a perfect field k of characteristic p>0 and let F:R\to R be the Frobenius map of R, i.e. F(r)=r^p. We explicitly describe an R-module isomorphism Hom_R(F_*(M),N)\cong…

We generalize the Cartier transform of Ogus and Vologodsky to log smooth schemes. More precisely, we generalize a local version of this transform, due to Shiho, and a topos-theoretic version, due to Oyama. Let $k$ be a perfect field of…

It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result to the abstract setting of an infinite EI category satisfying certain combinatorial conditions.

Suppose that a finite group $G$ admits a Frobenius group of automorphisms FH of coprime order with cyclic kernel F and complement H such that the fixed point subgroup $C_G(H)$ of the complement is nilpotent of class $c$. It is proved that…

Let $R$ be a commutative Noetherian ring with non-zero identity, $\fa$ an ideal of $R$, $M$ a finite $R$--module and $X$ an arbitrary $R$--module. Here, we show that, in the Serre subcategories of the category of $R$--modules, how the…

In this note we show that finitely generated unit $O_X[\sigma]$--modules for $X$ regular and $F$--finite have a minimal root (in the sense of [Lyubeznik, F-modules] Definition~3.6). This problem was posed by Lyubeznik and answered by…

FI-modules were introduced by the first three authors in [CEF] to encode sequences of representations of symmetric groups. Over a field of characteristic 0, finite generation of an FI-module implies representation stability for the…

Let $R$ denote a commutative Noetherian (not necessarily local) ring, $\frak a$ an ideal of $R$ and $M$ a finitely generated $R$-module. The purpose of this paper is to show that $f^n_{\frak a}(M)=\inf \{0\leq i\in\mathbb{Z}|\, \dim…

We construct the Cartier duality equivalence for affine commutative group schemes $G$ whose coordinate ring is a flat Mittag-Leffler module over an arbitrary base ring $R$. The dual $G^\vee$ of $G$ turns out to be an ind-finite ind-scheme…

In two recent papers, the author has developed a theory of graded annihilators of left modules over the Frobenius skew polynomial ring over a commutative Noetherian ring $R$ of prime characteristic $p$, and has shown that this theory is…

Let $\mathcal{G}^{(\lambda)}$ be a group scheme which deforms $\mathbb{G}_a$ to $\mathbb{G}_m$. We explicitly describe the Cartier dual of the $l$-th Frobenius type kernel $N_l$ of the group scheme $\mathcal{E}^{(\lambda,\mu;D)}$ which is…

To each category C of modules of finite length over a complex simple Lie algebra g, closed under tensoring with finite dimensional modules, we associate and study a category Aff(C)_\kappa of smooth modules (in the sense of Kazhdan and…

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…

Let $R$ be a commutative Noetherian ring and $M$ be an $R$-module such that the set of associated prime ideals of the quotient module $M/L$ is finite for all submodules $L$ of $M$. In this paper, it is shown that there is a finitely…

Let $R$ be a commutative Noetherian $F$-finite ring of prime characteristic and let $\mathcal{D}$ be a Cartier algebra. We define a self-map on the Frobenius split locus of the pair $(R,\mathcal{D})$ by sending a point $P$ to the splitting…

We introduce FI-algebras over a commutative ring $K$ and the category of FI-modules over an FI-algebra. Such a module may be considered as a family of invariant modules over compatible varying $K$-algebras. FI-modules over $K$ correspond to…

The Frobenius test exponent $\operatorname{Fte}(R)$ of a local ring $(R,\mathfrak{m})$ of prime characteristic $p > 0$ is the smallest $e_0 \in \mathbb{N}$ such that for every ideal $\mathfrak{q}$ generated by a (full) system of parameters,…

Let ${\bf G}$ be a connected reductive algebraic group defined over the finite field $\mathbb{F}_q$ with $q$ elements,where $q$ is a power of a prime number $p$. Let $\Bbbk$ be a field and we study the extensions of certain $\bk\bg$-modules…