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 construct relative and global Euler sequences of a module. We apply it to prove some acyclicity results of the Koszul complex of a module and to compute the cohomology of the sheaves of (relative and absolute) differential $p$ -forms of a projective bundle. In particular we generalize Bott’s formula for the projective space to a projective bundle over a scheme of characteristic zero.

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.

No abstract uploaded!

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

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.

Some uniform theorems on the artinianness of certain local cohomology modules are proven in a general situation. They generalize and imply previous results about the artinianness of some special local cohomology modules in the graded case.

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.

Given a closed exact Lagrangian in the cotangent bundle of a closed smooth manifold, we prove that the projection to the base is a simple homotopy equivalence.

We extend our family rigidity and vanishing theorems in [{\bf LiuMaZ}] to the Spin^ c case. In particular, we prove a K-theory version of the main results of [{\bf H}],[{\bf Liu1}, Theorem B] for a family of almost complex manifolds.