In this paper we describe an inductive machinery to investigate asymptotic behaviors of homology groups and related invariants of representations of certain graded combinatorial categories over a commutative Noetherian ring k, via introducing inductive functors which generalize important properties of shift functors of FI-modules. In particular, a sufficient criterion for finiteness of Castelnuovo-Mumford regularity of finitely generated representations of these categories is obtained. As applications, we show that a few important infinite combinatorial categories appearing in representation stability theory are equipped with inductive functors, and hence the finiteness of Castelnuovo-Mumford regularity of their finitely generated representations is guaranteed. We also prove that truncated representations of these categories have linear minimal resolutions by relative projective modules, which are precisely linear minimal projective resolutions when k is a field of characteristic 0.

We consider the quantum cluster algebras which are injective-reachable and introduce a triangular basis in every seed. We prove that, under some initial conditions, there exists a unique common triangular basis with respect to all seeds. This basis is parametrized by tropical points as expected in the Fock-Goncharov conjecture. As an application, we prove the existence of the common triangular bases for the quantum cluster algebras arising from representations of quantum affine algebras and partially for those arising from quantum unipotent subgroups. This result implies monoidal categorification conjectures of Hernandez-Leclerc and Fomin-Zelevinsky in the corresponding cases: all cluster monomials correspond to simple modules.

We describe an inductive machinery to prove various properties of representations of a category equipped with a generic shift functor. Specifically, we show that if a property (P) of representations of the category behaves well under the generic shift functor, then all finitely generated representations of the category have the property (P). In this way, we obtain simple criteria for properties such as Noetherianity, finiteness of Castelnuovo-Mumford regularity, and polynomial growth of dimension to hold. This gives a systemetic and uniform proof of such properties for representations of the categories $\FI_G$ and $\OI_G$ which appear in representation stability theory.

We give two homological proofs of the Noetherianity of the category FI, a fundamental result discovered by Church, Ellenberg, Farb, and Nagpal.

In this paper we describe a machinery for homological calculations of representations of FI_G, and use it to develop a local cohomology theory over any commutative Noetherian ring. As an application, we show that the depth introduced by the second author coincides with a more classical invariant from commutative algebra, and obtain upper bounds of a few important invariants of FI_G-modules in terms of torsion degrees of their local cohomology groups.

In the first part of this paper, we study Koszul property of directed graded categories. In the second part of this paper, we prove a general criterion for an infinite directed category to be Koszul. We show that infinite directed categories in the theory of representation stability are Koszul over a field of characteristic zero

The notion of central stability was first formulated for sequences of representations of the symmetric groups by Putman. A categorical reformulation was subsequently given by Church, Ellenberg, Farb, and Nagpal using the notion of FI-modules, where FI is the category of finite sets and injective maps. We extend the notion of central stability from FI to a wide class of categories, and prove that a module is presented in finite degrees if and only if it is centrally stable. We also introduce the notion of d-step central stability, and prove that if the ideal of relations of a category is generated in degrees at most d, then every module presented in finite degrees is d-step centrally stable.

Let k be a commutative Noetherian ring and C−− be a locally finite k-linear category equipped with a self-embedding functor of degree 1. We show under a moderate condition that finitely generated torsion representations of C−− are super finitely presented (that is, they have projective resolutions each term of which is finitely generated). In the situation that these self-embedding functors are genetic functors, we give upper bounds for homological degrees of finitely generated torsion modules. These results apply to quite a few categories recently appearing in representation stability theory. In particular, when k is a field of characteristic 0, we obtain another upper bound for homological degrees of finitely generated FI-modules.

In this paper we consider several homological dimensions of crossed products $A _{\alpha} ^{\sigma} G$, where $A$ is a left Noetherian ring and $G$ is a finite group. We revisit the induction and restriction functors in derived categories, generalizing a few classical results for separable extensions. The global dimension and finitistic dimension of $A ^{\sigma} _{\alpha} G$ are classified: global dimension of $A ^{\sigma} _{\alpha} G$ is either infinity or equal to that of $A$, and finitistic dimension of $A ^{\sigma} _{\alpha} G$ coincides with that of $A$. A criterion for skew group rings to have finite global dimensions is deduced. Under the hypothesis that $A$ is a semiprimary algebra containing a complete set of primitive orthogonal idempotents closed under the action of a Sylow $p$-subgroup $S \leqslant G$, we show that $A$ and $A _{\alpha} ^{\sigma} G$ share the same homological dimensions under extra assumptions.

In this paper we study derived equivalences between triangular matrix algebras using certain classical recollements. We show that special properties of these recollements actually characterize triangular matrix algebras, and describe methods to construct tilting modules and tilting complexes inducing derived equivalences between them.