Related papers: Coinduction functor in representation stability th…
We propose a new approach to study the relation between the module categories of a tilted algebra $C$ and the corresponding cluster-tilted algebra $B=C\ltimes E$. This new approach consists of using the induction functor $-\otimes_C B$ as…
We introduce FI-algebras over a commutative ring $K$ and the category of FI-modules over an FI-algebra. Such a module may be considered as a family of invariant modules over compatible varying $K$-algebras. FI-modules over $K$ correspond to…
From certain triangle functors, called non-negative functors, between the bounded derived categories of abelian categories with enough projective objects, we introduce their stable functors which are certain additive functors between the…
Representation stability is a phenomenon whereby the structure of certain sequences $X_n$ of spaces can be seen to stabilize when viewed through the lens of representation theory. In this paper I describe this phenomenon and sketch a…
In this paper we apply the theory of finitely generated FI-modules developed by Church, Ellenberg and Farb to certain sequences of rational cohomology groups. Our main examples are the cohomology of the moduli space of n-pointed curves, the…
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…
In this paper, we define a class of relative derived functors in terms of left or right weak flat resolutions to compute the weak flat dimension of modules. Moreover, we investigate two classes of modules larger than that of weak injective…
Invertibility is an important concept in category theory. In higher category theory, it becomes less obvious what the correct notion of invertibility is, as extra coherence conditions can become necessary for invertible structures to have…
We study several structure aspects of functor categories from a small additive category to a module category, in particular the category F(A,K) of functors from finitely generated free modules over a commutative ring A to vector spaces over…
Let $R$ be a Gorenstein local ring, $\frak{a}$ an ideal in $R$, and $M$ an $R$-module. The local cohomology of $M$ supported at $\frak{a}$ can be computed by applying the $\frak{a}$-torsion functor to an injective resolution of $M$. Since…
We develop some aspects of the theory of derivators, pointed derivators, and stable derivators. As a main result, we show that the values of a stable derivator can be canonically endowed with the structure of a triangulated category.…
We show, in full generality, that Lusztig's $\mathbf{a}$-function describes the projective dimension of both indecomposable tilting modules and indecomposable injective modules in the regular block of the BGG category $\mathcal{O}$, proving…
We compute support of formal cohomology modules in a serial of non-trivial cases. Applications are given. For example, we compute injective dimension of certain local cohomology modules in terms of dimension of their's support.
Coinduction occurs in two guises in Horn clause logic: in proofs of circular properties and relations, and in proofs involving construction of infinite data. Both instances of coinductive reasoning appeared in the literature before, but a…
We prove a conjecture about the constructibility of coinductive types - in the principled form of indexed M-types - in Homotopy Type Theory. The conjecture says that in the presence of inductive types, coinductive types are derivable.…
The groups $\Gamma_{n,s}$ are defined in terms of homotopy equivalences of certain graphs, and are natural generalisations of $\mbox{Out}(F_n)$ and $\mbox{Aut}(F_n)$. They have appeared frequently in the study of free group automorphisms,…
Consider a finite-dimensional real vector space equipped with a finite group acting unitarily on it. We address the general problem of constructing Euclidean stable embeddings of the quotient space of orbits. Our approach is based on…
This is the third in a series of papers highlighting the applications of reduced and coreduced modules. Let $R$ be a commutative unital ring and $I$ be an ideal of $R$. We show in different settings that $I$-reduced (resp. $I$-coreduced)…
Church-Ellenberg-Farb used the language of FI-modules to prove that the cohomology of certain sequences of hyperplane arrangements with S_n-actions satisfies representation stability. Here we lift their results to the level of the…
Let $R$ be an associative ring with identity. This paper investigates the structure of the monomorphism category of large $R$-modules and establishes connections with the category of contravariant functors defined on finitely presented…