Related papers: Contramodules for algebraic groups: the existence …

For a ring $R$, the properties of being (left) selfinjective or being cogenerator for the left $R$-modules do not imply one another, and the two combined give rise to the important notion of PF-rings. For a coalgebra $C$, (left)…

For a reductive group G defined over an algebraically closed field of positive characteristic, we show that the Frobenius contraction functor of G-modules is right adjoint to the Frobenius twist of the modules tensored with the Steinberg…

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…

It is a well-known result of Auslander and Reiten that contravariant finiteness of the class $\mathcal{P}^{\mathrm{fin}}_\infty$ (of finitely generated modules of finite projective dimension) over an Artin algebra is a sufficient condition…

We give sufficient conditions for a Frobenius category to be equivalent to the category of Gorenstein projective modules over an Iwanaga-Gorenstein ring. We then apply this result to the Frobenius category of special Cohen-Macaulay modules…

We introduce the notion of relative singularity category with respect to any self-orthogonal subcategory $\omega$ of an abelian category. We introduce the Frobenius category of $\omega$-Cohen-Macaulay objects, and under some reasonable…

We study induced modules of nonzero central charge with arbitrary multiplicities over affine Lie algebras. For a given pseudo parabolic subalgebra ${\mathcal P}$ of an affine Lie algebra ${\mathfrak G}$, our main result establishes the…

We consider hereditary Artin algebras over arbitrary fields and prove that there is a natural bijection between the Weyl groups and the sets of full additive cofinite submodule closed subcategories of the module categories. While Oppermann,…

We find the model completion of the theory modules over $A$, where $A$ is a finitely generated commutative algebra over a field $K$. This is done in a context where the field $K$ and the module are represented by sorts in the theory, so…

Let $\mathcal{P}^{<\infty} (\Lambda$-mod$)$ be the category of finitely generated left modules of finite projective dimension over a basic Artin algebra $\Lambda$. We develop an applicable criterion that reduces the test for contravariant…

Let $\text{Red}(M)$ be the sum of all reduced submodules of a module $M$. For modules over commutative rings, $\text{Soc}(M)\subseteq \text{Red}(M)$. By drawing motivation from how $\text{Soc}$-injective modules were defined by Amin et. al.…

We prove that a finite dimensional algebra $A$ with representation-finite subcategory consisting of modules that are semi-Gorenstein-projective and $n$-th syzygy modules is left weakly Gorenstein. This generalises a theorem of Ringel and…

Let ($S, \mathfrak{n})$ be a commutative noetherian local ring and let $\omega\in\mathfrak{n}$ be non-zero divisor. This paper is concerned with the category of monomorphisms between finitely generated Gorenstein projective S-modules, such…

An Artin algebra is by definition virtually Gorenstein if the class of modules which are right orthogonal (with respect to Ext^*(-,-)) to all Gorenstein projective modules coincides with the class of modules which are left orthogonal to all…

We know that the model theory of modules leads to a way of obtaining definable categories of modules over a ring $R$ as the kernels of certain functors $(R\textbf{-Mod})^{\text{op}}\to\textbf{Ab}$ rather than of functors…

In this paper the authors produce a projective indecomposable module for the Frobenius kernel of a simple algebraic group in characteristic $p$ that is not the restriction of an indecomposable tilting module. This yields a counterexample to…

We study the decomposition of tensor products between a Steinberg module and a costandard module, both as a module for the algebraic group $G$ and when restricted to either a Frobenius kernel $G_r$ or a finite Chevalley group…

We show that a differential module is Gorenstein projective if and only if its underlying module is Gorenstein projective. Dually, a differential module is Gorenstein injective if and only if its underlying module is Gorenstein injective.

Let H be a coFrobenius Hopf algebra over a field k. Let A be a right H-comodule algebra over k. We recall that the category of right H-comodules admits a certain model structure whose homotopy category is equivalent to the stable category…

We introduce the notion of idempotent radical class of module coalgebras over a bialgebra B. We prove that if R is an idempotent radical class of B-module coalgebras, then every B-module coalgebra contains a unique maximal B-submodule…