Related papers: Coinduction functor in representation stability th…

A fertile field of research in theoretical computer science investigates the representation of general recursive functions in intensional type theories. Among the most successful approaches are: the use of wellfounded relations,…

We identify two recursively defined polynomial conditions for FI-modules in the literature. We characterize these conditions using homological invariants of FI-modules (namely the local degree and regularity, together with the stable…

The injective stabilization of the tensor product is subjected to an iterative procedure that utilizes its bifunctor property. The limit of this procedure, called the asymptotic stabilization of the tensor product, provides a homological…

We give sufficient conditions which ensure that a functor of finite length from an additive category to finite-dimensional vector spaces has a projective resolution whose terms are finitely generated. For polynomial functors, we study also…

We prove an induction theorem for the higher algebraic K-groups of group algebras $kG$ of finite groups $G$ over characteristic $p$ finite fields $k$. For a certain class of finite groups, which we call $p$-isolated, this reduces…

Let $Q$ be a quiver and $R$ an associative ring. A representation by $R$-modules of $Q$ is called strongly fp-injective if it admits a pure acyclic injective resolution in the category of representations. It is shown that such…

In this work we study a kind of coherence condition on FI_G-modules, which generalizes the usual notion of finite generation. We prove that a module is coherent, in the appropriate sense, if and only if its generators, as well as its…

We describe how some aspects of abstract localization on module categories have applications to the study of injective comodules over some special types of corings. We specialize the general results to the case of Doi-Koppinen modules,…

This paper is the first one in a series of three dealing with the concept of injective stabilization of the tensor product and its applications. Its primary goal is to collect known facts and establish a basic operational calculus that will…

We introduce a new functor on categories of modular representations of reductive algebraic groups. Our functor has remarkable properties. For example it is a tensor functor and sends every standard and costandard object in the principal…

We give a formula for the eventual multiplicities of irreducible representations appearing in a finitely-presented FI-module over the rational numbers. The result relies on structure theory due to Sam-Snowden SS16.

We investigate correspondence functors, namely the functors from the category of finite sets and correspondences to the category of $k$-modules, where $k$ is a commutative ring.They have various specific properties which do not hold for…

Let Rep(F;K) denote the category of functors from finite dimensional F-vector spaces to K-modules, where F is a field and K is a commutative ring. We prove that, if F is a finite field, and Char F is invertible in K, then the K-linear…

We study the structure of the category of representations of $\mathbf{FA}$, the category of finite sets and all maps, mostly working over a field of characteristic zero. This category is not semi-simple and exhibits interesting features. We…

We give refined bounds for the regularity of FI-modules and the stable ranges of FI-modules for various forms of their stabilization studied in the representation stability literature. We show that our bounds are sharp in several cases. We…

This paper builds on work of Hochster and Yao that provides nice embeddings for finitely generated modules of finite G-dimension, finite projective dimension, or locally finite injective dimension. We extend these results by providing…

The category $\mathrm{FI}_G$ was first defined and explored by Sam-Snowden. Here, we develop more of the machinery of $\mathrm{FI}_G$-modules and find numerous examples to apply it to, extending the work of Church-Ellenberg-Farb and Wilson.…

Let $k$ be a commutative Noetherian ring. In this paper we consider filtered modules of the category FI firstly introduced by Nagpal. We show that a finitely generated FI-module $V$ is filtered if and only if its higher homologies all…

In this paper, we introduce a new induction functor $\mathrm{Ind}^V_U$ between module categories corresponding to an embedding of vertex operator algebras (VOAs) $U \hookrightarrow V$. This induction functor is essentially defined at the…

We study projective functors (i.e. direct summands of compositions of translations through walls) for parabolic versions of $\cO$ as well as for integral regular blocks outside the critical hyperplanes in the symmetrizable Kac-Moody case.…