Related papers: Exact Structures and Purity

Let $R$ be a commutative ring. A full additive subcategory $\C$ of $R$-modules is triangulated if whenever two terms of a short exact sequence belong to $\C$, then so does the third term. In this note we give a classification of…

We construct an explicit filtration of the ring of algebraic power series by finite dimensional constructible sets, measuring the complexity of these series. As an application, we give a bound on the dimension of the set of algebraic power…

We introduce a certain class of so-called perfectoid rings and spaces, which give a natural framework for Faltings' almost purity theorem, and for which there is a natural tilting operation which exchanges characteristic 0 and…

Let R be a ring and G a group. An R-module A is said to be artinian-by-(finite rank) if TorR(A) is artinian and A/TorR(A) has finite R-rank. The authors study ZG-modules A such that A/CA(H) is artinian-by-(finite rank) (as a Z-module) for…

We study properties of a group, abelian group, ring, or monoid $B$ which (a) guarantee that every homomorphism from an infinite direct product $\prod_I A_i$ of objects of the same sort onto $B$ factors through the direct product of finitely…

We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result…

Let O be a topological (colored) operad. The Lurie infinity-category of O-algebras with values in (infinity-category of) complexes is compared to the infinity-category underlying the model category of (classical) dg O-algebras. This can be…

In this paper, we study the class of modules have the property that every pure submodule is essential in a direct summand. These modules are termed as pure extending modules which is a proper generalisation of extending modules. Examples…

We describe all possible universal localisations of a hereditary ring in terms of suitable full subcategories of the category of finitely presented modules. For these universal localisations we then identify the category of finitely…

We introduce the notions of proto-complete, complete, complete* and strong-complete objects in pointed categories. We show under mild conditions on a pointed exact protomodular category that every proto-complete (respectively complete)…

We show that silting modules are closely related with localisations of rings. More precisely, every partial silting module gives rise to a localisation at a set of maps between countably generated projective modules and, conversely, every…

We introduce the notion of geometric purity in rigidly-compactly generated tt-categories by considering exact triangles that are pure at each tt-stalk. We develop a systematic study of this concept, including examples and applications. In…

We show that an abelian category can be exactly, fully faithfully embedded into a module category as the right perpendicular subcategory to a set of modules or module morphisms if and only if it is a locally presentable abelian category…

We develop a representation theory of categories as a means to explore characteristic structures in algebra. Characteristic structures play a critical role in isomorphism testing of groups and algebras, and their construction and…

We study thick subcategories defined by modules of complexity one in $\underline{\md}R$, where $R$ is the exterior algebra in $n+1$ indeterminates.

Let $R$ be a commutative ring and $S \subseteq R$ be a multiplicative subset. We introduce and study the concept of $S$-purity based on the notion of $S$-strongly flat modules. The class of $S$-pure injective modules will be studied. We…

Internal categories feature notions of limit and completeness, as originally proposed in the context of the effective topos. This paper sets out the theory of internal completeness in a general context, spelling out the details of the…

We find for each simple finitary Lie algebra $\mathfrak{g}$ a category $\mathbb{T}_\mathfrak{g}$ of integrable modules in which the tensor product of copies of the natural and conatural modules are injective. The objects in…

Tate objects have been studied by many authors. They allow us to deal with infinite dimensional spaces by identifying some more structure. In this article, we set up the theory of Tate objects in stable $(\infty,1)$-categories, while the…

In a locally $\lambda$-presentable category, with $\lambda$ a regular cardinal, classes of objects that are injective with respect to a family of morphisms whose domains and codomains are $\lambda$-presentable, are known to be characterized…