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.

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.

We propose the notion of partial resolution of a ring, which is by definition the endomorphism ring of a certain generator of the given ring. We prove that the singularity category of the partial resolution is a quotient of the singularity category of the given ring. Consequences and examples are given.

We prove the BMV (Bessis, Moussa, Villani, [1]) conjecture, which states that the function $${t \mapsto \mathop{\rm Tr}\exp(A-tB)}$$ , $${t \geqslant 0}$$ , is the Laplace transform of a positive measure on [0,∞) if$A$and$B$are $${n \times n}$$ Hermitian matrices and$B$is positive semidefinite. A semi-explicit representation for this measure is given.

Starting with a commutative ring $R$ and an ideal $I$ , it is possible to define a family of rings $R(I)_{a,b}$ , with $a,b \in R$ , as quotients of the Rees algebra $\oplus_{n \geq0} I^{n}t^{n}$ ; among the rings appearing in this family we find Nagata’s idealization and amalgamated duplication. Many properties of these rings depend only on $R$ and $I$ and not on $a$ , $b$ ; in this paper we show that the Gorenstein and the almost Gorenstein properties are independent of $a$ , $b$ . More precisely, we characterize when the rings in the family are Gorenstein, complete intersection, or almost Gorenstein and we find a formula for the type.