Search

Given a Grothendieck opfibration $p: \mathcal{T} \to \mathcal{B}$, we describe a method to construct a Waldhausen category structure on the total category $\mathcal{T}$ via combining Waldhausen category structures on the fibers $\mathcal{T}_A$ for $A \in \mathrm{Ob}(\mathcal{B})$ and the basis category $\mathcal{B}$. As an application, we show that if $\mathsf{E}$ is a Waldhausen category with small coproducts such that the class of cofibrations is the left part of a weak factorization system in $\mathsf{E}$, then the representation category $\mathsf{Rep}(Q, \mathsf{coE})$ of a left rooted quiver $Q$ is a Waldhausen category, where $\mathsf{coE}$ is the subcategory of $\mathsf{E}$ whose morphisms are cofibrations.

In this paper the concept of compatible weak factorization systems in general categories is introduced as a counterpart of compatible complete cotorsion pairs in abelian categories. We describe a method to construct model structures on general categories via two compatible weak factorization systems satisfying certain conditions, and hence generalize a very useful result by Gillespie for abelian model structures. As particular examples, we show that weak factorizations systems associated to some classical model structures (for example, the Kan-Quillen model structure on $\mathsf{sSet}$) satisfy these conditions., Comment: final version, to appear in Journal of Pure and Applied Algebra

In this paper we consider representations of certain combinatorial categories, including the poset $\D$ of positive integers and division, the Young lattice $\mathscr{Y}$ of partitions of finite sets, the opposite category of the orbit category $\mathscr{Z}$ of $(\mathbb{Z}, +)$ with respect to nontrivial subgroups, and the category $\mathscr{CI}$ of finite cyclic groups and injective homomorphisms. We describe explicit upper bounds for homological degrees of their representations, and deduce that finitely presented representations (resp., representations presented in finite degrees) over a field form abelian subcategories of the representation categories. We also give an explicit description for the category of sheaves over the ringed atomic site $(\mathscr{Z}, \, J_{at}, \, \underline{\mathbb{C}})$, and show that irreducible sheaves are parameterized by primitive roots of the unit.

This is the second one of the serial papers studying representations over diagrams of abelian categories. We show that under certain conditions a compatible family of abelian model categories indexed by a small category can amalgamate to an abelian model structure on the category of representations. Our strategy to realize this goal is to consider classes of morphisms rather than cotorsion pairs of objects. Moreover, we give an explicit description of cofibrant objects in this abelian model category. As applications, we construct Gorenstein injective and Gorenstein flat model structures on the category of presheaves of modules for a few special index categories, and give characterizations of Gorenstein homological objects in this category., Comment: arXiv admin note: text overlap with arXiv:2210.08558

We construct a flat model structure on the category $_{\mathcal{Q},R}{\mathsf{Mod}}$ of additive functors from a small preadditive category $\mathcal{Q}$ satisfying certain conditions to the module category $_{R}{\mathsf{Mod}}$ over an associative ring $R$, whose homotopy category is the $\mathcal{Q}$-shaped derived category introduced by Holm and Jorgensen. Moreover, we prove that for an arbitrary associative ring $R$, an object in $_{\mathcal{Q},R}{\mathsf{Mod}}$ is Gorenstein projective (resp., Gorenstein injective, Gorenstein flat, projective coresolving Gorenstein flat) if and only if so is its value on each object of $\mathcal{Q}$, and hence improve a result by Dell'Ambrogio, Stevenson and \v{S}\v{t}ov\'{\i}\v{c}ek., Comment: Final version, to appear in Proc. Roy. Soc. Edinburgh Sect. A

Representations over diagrams of abelian categories unify quite a few notions appearing widely in literature such as representations of categories, presheaves of modules over categories, representations of species, etc. In this series of papers we study them systematically, characterizing special homological objects in representation category and constructing various structures (such as model structures and Wandhuasen category strcutres) on it. In the first paper we investigate the Grothendieck structure of the representation category, describe important functors and adjunction relations between them, and characterize special homological objects. These results lay a foundation for our future works., Comment: We reorganize the work in the original version as a series of papers, and this is the first one

The main goal of this paper is to establish close relations among sheaves of modules on atomic sites, representations of categories, and discrete representations of topological groups. We characterize sheaves of modules on atomic sites as saturated representations, and show that the category of sheaves is equivalent to the Serre quotient of the category of presheaves by the category of torsion presheaves. Consequently, the sheafification functor and sheaf cohomology functors are interpreted by localization functors, section functors, and derived functors of torsion functor in representation theory. These results as well as a classical theorem of Artin provides us a new approach to study discrete representations of topological groups. In particular, by importing established facts in representation stability theory, we explicitly classify simple or indecomposable injective discrete representations of some discrete topological groups such as the infinite symmetric group, the infinite general or special linear group over a finite field, and the automorphism group of the linearly ordered set $\mathbb{Q}$. We also show that discrete representations of these topological groups satisfy a certain stability property., Comment: A major revision made over the first version

This paper focuses on a question raised by Holm and J{\o}rgensen, who asked if the induced cotorsion pairs $(\Phi({\sf X}),\Phi({\sf X})^{\perp})$ and $(^{\perp}\Psi({\sf Y}),\Psi({\sf Y}))$ in $\mathrm{Rep}(Q,{\sf{A}})$ -- the category of all $\sf{A}$-valued representations of a quiver $Q$ -- are complete whenever $(\sf X,\sf Y)$ is a complete cotorsion pair in an abelian category $\sf{A}$ satisfying some mild conditions. Recently, Odaba\c{s}{\i} gave an affirmative answer if the quiver $Q$ is rooted and the cotorsion pair $(\sf X,\sf Y)$ is further hereditary. In this paper, we improve Odaba\c{s}{\i}'s work by removing the hereditary assumption on the cotorsion pair. As an application, we show under certain mild conditions that if a subcategory $\sf L$, which is not necessarily closed under direct summands, of $\sf A$ is special precovering (resp., preenveloping), then $\Phi(\sf L)$ (resp., $\Psi(\sf L)$) is special precovering (resp., preenveloping) in $\mathrm{Rep}(Q,{\sf{A}})$.

In this paper we study adjunction relations between some natural functors on the representation category of the category of finite linearly ordered sets and order-preserving injections. We also prove that the Nakayama functor induces an equivalence from the Serre quotient of the category of finitely generated modules by the category of finitely generated torsion modules to the category of finite dimensional modules.

We describe necessary and sufficient conditions for the hereditarity of the category algebra of an infinite EI category satisfying certain combinatorial assumptions. More generally, we discuss conditions such that the left global dimension of a category algebra equals the maximal left global dimension of the endomorphism algebras of its objects, and classify its projective modules in this case. As applications, we completely classify transporter categories, orbit categories, and Quillen categories with left hereditary category algebras over a field., Comment: Some small changes as well as a new appendix

In this paper we introduce an inductive method to study $\mathrm{OI}$-modules presented in finite degrees, where $\mathrm{OI}$ is a skeleton of the category of finitely totally ordered sets and strictly increasing maps. As an application, we obtain an explicit upper bound for the Castelnuovo-Mumford regularity of $\mathrm{OI}$-modules., Comment: Minor revisions added

We show in this paper that representations of a finite product of categories satisfying certain combinatorial conditions have finite Castelnuovo-Mumford regularity if and only if they are presented in finite degrees, and hence the category consisting of them is abelian. These results apply to examples such as the categories $\mathrm{FI}^m$ and $\mathrm{FI}_G^m$., Comment: A small change to extend the main result

We answer positively a question of Church, Miller, Nagpal and Reinhold on existence of a linear bound on the presentation degree of the homology of a complex of FI-modules. This implies a linear stable range for the homology of congruence subgroups of general linear groups., Comment: Minor revisions. To appear in Selecta Math

We develop a local cohomology theory for FI$^m$-modules, and show that it in many ways mimics the classical theory for multi-graded modules over a polynomial ring. In particular, we define an invariant of FI$^m$-modules using this local cohomology theory which closely resembles an invariant of multi-graded modules over Cox rings defined by Maclagan and Smith. It is then shown that this invariant behaves almost identically to the invariant of Maclagan and Smith.

We give bounds for various homological invariants (including Castelnuovo-Mumford regularity, degrees of local cohomology, and injective dimension) of finitely generated VI-modules in the non-describing characteristic case. It turns out that the formulas of these bounds for VI-modules are the same as the formulas of corresponding bounds for FI-modules., Comment: Following suggestions of the referee, a few changes were adopted to simplify arguments and improve bounds

Using the Nakayama functor, we construct an equivalence from a Serre quotient category of a category of finitely generated modules to a category of finite-dimensional modules. We then apply this result to the categories FI$_G$ and VI$_q$, and answer positively an open question of Nagpal on representation stability theory., Comment: Comments welcome

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., Comment: A few remarks added in Section 1. Several typos corrected

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 $\mathrm{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., Comment: Corrected two small but serious typos in Theorem 1.2 and Theorem 4.6

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., Comment: Quite a few small revisions added following the suggestions of the referee

We give two homological proofs of the Noetherianity of the category $FI$, a fundamental result discovered by Church, Ellenberg, Farb, and Nagpal., Comment: Proofs of certain main results are simplified using a key proposition notified to the author by Ramos

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 this paper we use a homological approach to obtain upper bounds for a few homological invariants of $FI_G$-modules $V$. These upper bounds are expressed in terms of the generating degree and torsion degree, which measure the top and socle of $V$ under actions of non-invertible morphisms in the category respectively., Comment: A few small changes to make the paper more friendly to the reader

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 vanish, and if and only if a certain homology vanishes. Using this homological characterization, we characterize finitely generated FI-modules $V$ whose projective dimension is finite, and describe an upper bound for it. Furthermore, we give a new proof for the fact that $V$ induces a finite complex of filtered modules, and use it as well as a result of Church and Ellenberg to obtain another upper bound for homological degrees of $V$., Comment: Minor changes following the suggestion of the referee

Let $k$ be a commutative Noetherian ring and $\underline{\mathscr{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 $\underline{\mathscr{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 $\mathrm{FI}$-modules., Comment: Major changes include: A stronger upper bound for homological degrees of torsion modules; a new proof of the Koszulity of categories with shift functors; a new upper bound for homological degrees of FI-modules, etc

We show that the FI-homology of an FI-module can be computed via a Koszul complex. As an application, we prove that the Castelnuovo-Mumford regularity of a finitely generated torsion FI-module is equal to its degree., Comment: Minor corrections

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., Comment: A few small revisions suggested by the referee. More examples included

We study the coinduction functor on the category of FI-modules and its variants. Using the coinduction functor, we give new and simpler proofs of (generalizations of) various results on homological properties of FI-modules. We also prove that any finitely generated projective VI-module over a field of characteristic 0 is injective., Comment: Corrected a few typos in the proof of Lemma 3.1

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., Comment: Published version

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., Comment: Final version to appear in NYJM. Remark 3.5 and Example 3.12 Added

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, extending the main results of the author in some previous papers., Comment: Proof simplified, typos and mistakes corrected. A big revision for induction and restriction by using theory of separable extensions

Let $A$ be a finite dimensional algebra and $D^b(A)$ be the bounded derived category of finitely generated left $A$-modules. In this paper we consider lengths of compact exceptional objects in $D^b(A)$, proving a sufficient condition such that these lengths are bounded by the number of isomorphism classes of simple $A$-modules. Moreover, we show that algebras satisfying this condition is bounded derived simple., Comment: A few changes suggested by the referee, which makes the paper more concise and friendly to the reader

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., Comment: Big revision made

Let $\Lambda$ be a finite dimensional algebra and $G$ be a finite group whose elements act on $\Lambda$ as algebra automorphisms. Under the assumption that $\Lambda$ has a complete set $E$ of primitive orthogonal idempotents, closed under the action of a Sylow $p$-subgroup $S \leqslant G$. If the action of $S$ on $E$ is free, we show that the skew group algebra $\Lambda G$ and $\Lambda$ have the same finitistic dimension, and have the same strong global dimension if the fixed algebra $\Lambda^S$ is a direct summand of the $\Lambda^S$-bimodule $\Lambda$. Using a homological characterization of piecewise hereditary algebras proved by Happel and Zacharia, we deduce a criterion for $\Lambda G$ to be piecewise hereditary., Comment: A technical mistake was corrected

A finite directed category is a $k$-linear category with finitely many objects and an underlying poset structure, where $k$ is an algebraically closed field. This concept unifies structures such as $k$-linerizations of posets and finite EI categories, quotient algebras of finite-dimensional hereditary algebras, triangular matrix algebras, etc. In this paper we study representations of finite directed categories, discuss their stratification properties, and show the existence of generalized APR tilting modules for triangular matrix algebras under some assumptions., Comment: Revised upon the request of Comm. Algebra

In this paper we study representations of skew group algebras $\Lambda G$, where $\Lambda$ is a connected, basic, finite-dimensional algebra (or a locally finite graded algebra) over an algebraically closed field $k$ with characteristic $p \geqslant 0$, and $G$ is an arbitrary finite group each element of which acts as an algebra automorphism on $\Lambda$. We characterize skew group algebras with finite global dimension or finite representation type, and classify the representation types of transporter categories for $p \neq 2,3$. When $\Lambda$ is a locally finite graded algebra and the action of $G$ on $\Lambda$ preserves grading, we show that $\Lambda G$ is a generalized Koszul algebra if and only if so is $\Lambda$., Comment: A technical mistake was corrected

There are many structures (algebras, categories, etc) with natural gradings such that the degree 0 components are not semisimple. Particular examples include tensor algebras with non-semisimple degree 0 parts, extension algebras of standard modules of standardly stratified algebras. In this thesis we develop a generalized Koszul theory for graded algebras (categories) whose degree 0 parts may be non-semisimple. Under some extra assumption, we show that this generalized Koszul theory preserves many classical results such as the Koszul duality. Moreover, it has some close relation to the classical theory. Applications of this generalized theory to finite EI categories, directed categories, and extension algebras of standard modules of standardly stratified algebras are described. We also study the stratification property of standardly stratified algebras, and classify algebras standardly (resp., properly) stratified for all linear orders., Comment: PhD thesis, University of Minnesota. A collection of workes described in several papers

Let $A = \bigoplus_{i \geqslant 0} A_i$ be a graded locally finite $k$-algebra such that $A_0$ is an arbitrary finite-dimensional algebra satisfying a certain splitting condition. In this paper we develop a generalized Koszul theory preserving many classical results. Moreover, we define a quotient graded algebra $\bar{A} = \bigoplus_{i \geqslant 0} \bar{A}_i$ and show that $A$ is a generalized Koszul algebra if and only if $\bar{A}$ is a classical Koszul algebra and a projective $A_0$-module. We also describe an application of this theory to the extension algebras of standard modules of standardly stratified algebras., Comment: Correct a serious mistake of the crucial Lemma 3.4 and Theorem 3.6

A finite EI category is a small category with finitely many morphisms such that every endomorphism is an isomorphism. They include finite groups, finite posets and free categories of finite quivers as special cases. In this paper we consider the representation types of finite EI categories, describe some criteria for finite representation type, and use them to classify the representation types of several classes of finite EI categories with extra properties., Comment: Revised upon the referee's suggestion

Let $A = \bigoplus_{i \geqslant 0} A_i$ be a graded locally finite $k$-algebra such that $A_0$ is an arbitrary finite-dimensional algebra satisfying some splitting condition. In this paper we develop a generalized Koszul theory generalizing many classical results, and use it to classify algebras stratified for all preorders., Comment: This paper has been withdrawn by the author since it is replaced by another paper "algebras stratified for all partial orders"

In this paper we describe several characterizations of basic finite-dimensional $k$-algebras $A$ stratified for all linear orders, and classify their graded algebras as tensor algebras satisfying some extra property. We also discuss whether for a given preorder $\preccurlyeq$, $\mathcal{F} (_{\preccurlyeq} \Delta)$, the category of $A$-modules with $_{\preccurlyeq} \Delta$-filtrations, is closed under cokernels of monomorphisms, and classify quasi-hereditary algebras satisfying this property., Comment: Final version accepted by Alg. Repn. Theory

Let $A$ be a finite dimensional $k$-algebra standardly stratified for a partial order $\leqslant$ and $\Delta$ be the direct sum of all standard modules. In this paper we study the extension algebra $E= \text{Ext}_A^{\ast} (\Delta, \Delta)$ of standard modules, characterize the stratification property of $E$ for $\leqslant$ and $\leqslant ^{op}$, and obtain a sufficient condition for $E$ to be a generalized Koszul algebra (in a sense which we define)., Comment: The final version accepted by Comm. Algebra

Let $A$ be a graded algebra. In this paper we develop a generalized Koszul theory by assuming that $A_0$ is self-injective instead of semisimple and generalize many classical results. The application of this generalized theory to directed categories and finite EI categories is described., Comment: The revised version accepted by Tran. AMS

In this paper we give an explicit algorithm to construct the ordinary quiver of a finite EI category for which the endomorphism groups of all objects have orders invertible in the field k. We classify all finite EI categories with hereditary category algebras, characterizing them as free EI categories (in a sense which we define) for which all endomorphism groups of objects have invertible orders. Some applications on the representation types of finite EI categories are derived., Comment: 40 pages