Related papers: Maximum deconstructibility in module categories

We develop the theory of trace modules up to isomorphism and explore the relationship between preenveloping classes of modules and the property of being a trace module, guided by the question of whether a given module is trace in a given…

A construction due to Kn\"orrer shows that if $N$ is a maximal Cohen-Macaulay module over a hypersurface defined by $f+y^2$, then the first syzygy of $N/yN$ decomposes as the direct sum of $N$ and its own first syzygy. This was extended by…

Let ${\frak F}$ be a class of group and $G$ a finite group. Then a set $\Sigma $ of subgroups of $G$ is called a \emph{$G$-covering subgroup system} for the class ${\frak F}$ if $G\in {\frak F}$ whenever $\Sigma \subseteq {\frak F}$. We…

Let R be a commutative noetherian local ring and consider the set of isomorphism classes of indecomposable totally reflexive R-modules. We prove that if this set is finite, then either it has exactly one element, represented by the rank 1…

Let $T_R(M)$ be a tensor ring and $\mathcal{X}$, $\mathcal{Y}$ be two classes of $R$-modules. Under certain conditions, we prove that a $T_R(M)$-module $(A, u)$ is $Ind(\mathcal{X})$-Gorenstein projective if and only if $u$ is monomorphic…

We show that the category of discrete modules over an infinite profinite group has no non-zero projective objects and does not satisfy Ab4*. We also prove the same types of results in a generalized setting using a ring with linear topology.

Let $R$ be a commutative Noetherian Henselian local ring. Denote by $\mathrm{mod} R$ the category of finitely generated $R$-modules, and by ${\mathcal G}$ the full subcategory of $\mathrm{mod} R$ consisting of all G-projective $R$-modules.…

We give a level-by-level analysis of the Weak Vop\v{e}nka Principle for definable classes of relational structures (WVP), in accordance with the complexity of their definition, and we determine the large-cardinal strength of each level.…

A computable structure $\mathcal{A}$ has degree of categoricity $\mathbf{d}$ if $\mathbf{d}$ is exactly the degree of difficulty of computing isomorphisms between isomorphic computable copies of $\mathcal{A}$. Fokina, Kalimullin, and Miller…

We construct examples of bounded below, noncontractible, acyclic complexes of finitely generated projective modules over some rings $S$, as well as bounded above, noncontractible, acyclic complexes of injective modules. The rings $S$ are…

Let $R$ be a commutative ring. An $R$-module $M$ is said to be super finitely presented if there is an exact sequence of $R$-modules $\cdots\rightarrow P_n\rightarrow\cdots \rightarrow P_1\rightarrow P_0\rightarrow M\rightarrow 0$ where…

We prove a Decomposition Theorem for the direct image of an irreducible local system on a smooth complex projective variety under a morphism with values in another smooth complex projective variety. For this purpose, we construct a category…

Let $\mathfrak F$ be a locally compact nonarchimedean field of positive residue characteristic $p$ and $k$ a field of characteristic $p$. Let $G$ be the group of $\mathfrak{F}$-rational points of a connected reductive group over…

A module is called absolutely indecomposable if it is directly indecomposable in every generic extension of the universe. We want to show the existence of large abelian groups that are absolutely indecomposable. This will follow from a more…

We describe the structure of the Grothendieck ring of projective modules of basic Hopf algebras using a positive integer determined by the composition series of the principal indecomposable projective module.

Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $\mathcal{P}$ a separated smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $X$ a smooth closed subscheme of $P$, $T$ a divisor in $P$ such that…

We consider the locus of sections of a vector bundle on a projective scheme that vanish in higher dimension than expected. We show that after applying a high enough twist, any maximal component of this locus consists entirely of sections…

We characterize the class of persistence modules indexed over $\mathbb{R}^2$ that are decomposable into summands whose support have the shape of a {\em block}---i.e. a horizontal band, a vertical band, an upper-right quadrant, or a…

Among cocomplete categories, the locally presentable ones can be defined as those with a strong generator consisting of presentable objects. Assuming Vop{\v{e}}nka's Principle, we prove that a cocomplete category is locally presentable iff…

Given a module $X$ and a regular cardinal $\kappa$ we study various notions of $(\kappa,\mathrm{Add}(X))$-freeness and $(\kappa,\mathrm{Add}(X))$-separability. Bearing on appropriate set-theoretic assumptions, we construct a non-trivial…