In this paper we study representation theory of the category FI^m introduced by Gadish which is a product of copies of the category FI, and show that quite a few interesting representational and homological properties of FI can be generalized to FI^m in a natural way. In particular, we prove the representation stability property of finitely generated FI^m -modules over fields of characteristic 0.
We prove by an inductive argument that any finitely generated FI^d -module over a commutative Noetherian ring has finite (Castelnuovo-Mumford) regularity. Our inductive argument is applicable also to the categories OI_d , FI^m , and OI_m.
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.