Related papers: Contramodules for algebraic groups: the existence …

In this paper we will investigate contramodules for algebraic groups. Namely, we give contra-analogs to two 20th century results about comodules. Firstly, we show that induction of contramodules over coordinate rings of algebraic groups is…

Let $G$ be an affine algebraic group scheme over an algebraically closed field $k$ of characteristic $p>0$, and let $G_r$ denote the $r$-th Frobenius kernel of $G$. Motivated by recent work of Friedlander, the authors investigate the class…

Let $G$ be a simply-connected semisimple algebraic group scheme over an algebraically closed field of characteristic $p > 0$. Let $r \geq 1$ and set $q = p^r$. We show that if a rational $G$-module $M$ is projective over the $r$-th…

We investigate infinite dimensional modules for a linear algebraic group $\mathbb G$ over a field of positive characteristic $p$. For any subcoalgebra $C \subset \mathcal O(\mathbb G)$ of the coordinate algebra of $\mathbb G$, we consider…

Contramodules are module-like algebraic structures endowed with infinite summation (or, occasionally, integration) operations satisfying natural axioms. Introduced originally by Eilenberg and Moore in 1965 in the case of coalgebras over…

Let ${\bf G}$ be a connected reductive algebraic group defined over a finite field $\mathbb{F}_q$ of $q$ elements, and ${\bf B}$ be a Borel subgroup of ${\bf G}$ defined over $\mathbb{F}_q$. Let $\Bbbk$ be a field and we assume that…

For a $k$-algebra $A$, a quiver $Q$, and an ideal $I$ of $kQ$ generated by monomial relations, let $\Lambda: = A\otimes_k kQ/I$. We introduce the monic representations of $(Q, I)$ over $A$. We give properties of the structural maps of monic…

We investigate rational $G$-modules $M$ for a linear algebraic group $G$ over an algebraically closed field $k$ of characteristic $p > 0$ using filtrations by sub-coalgebras of the coordinate algebra $k[G]$ of $G$. Even in the special case…

Let $G$ be a connected reductive group. We find a necessary and sufficient condition for a quasiaffine homogeneous space of $G$ to be embeddable into an irreducible $G$-module. In addition, for an affine homogeneous space we find a…

For a finite dimensional Frobenius cellular algebra, a sufficient and necessary condition for a simple cell module to be projective is given. A special case that dual bases of the cellular basis satisfying a certain condition is also…

Let $R\subset A$ be a Frobenius extension of rings. We prove that: (1) for any left $A$-module $M$, $_{A}M$ is Gorenstein projective (injective) if and only if the underlying left $R$-module $_{R}M$ is Gorenstein projective (injective). (2)…

It is well known that if G is a finite group then the group of endotrivial modules is finitely generated. In this paper we investigate endotrivial modules over arbitrary finite group schemes. Our results can be applied to computing the…

Let $R$ be an algebra over a ring $\Bbbk$, $T$ an $R$-algebra, $M$ a finitely generated projective $R$-module, and $N$ a $T$-module. Let $G$ be a linearly reductive group scheme over $\Bbbk$ equipped with a representation…

We prove that for a Frobenius extension, if a module over the extension ring is Gorenstein projective, then its underlying module over the the base ring is Gorenstein projective; the converse holds if the Frobenius extension is either…

The existence of the Gorenstein projective precovers over arbitrary rings is an open question. It is known that if the ring has finite Gorenstein global dimension, then every module has a Gorenstein projective precover. We prove here a…

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 study module like objects over categorical quotients of algebras by the action of coalgebras with several objects. These take the form of ``entwined comodules'' and ``entwined contramodules'' over a triple $(\mathscr C,A,\psi)$, where…

Let $G$ be a simple simply connected algebraic group over an algebraically closed field $k$ of characteristic $p$, with $r$-th Frobenius kernel $G_r$. Let $M$ be a $G_r$-module and $V$ a rational $G$-module. We put a variety structure on…

Following the well-established terminology in commutative algebra, any (not necessarily commutative) finite-dimensional local algebra $A$ with radical $J$ will be said to be short provided $J^3 = 0$. As in the commutative case, we show: if…

We introduce a notion of strong periodicity of a module over a finite-dimensional algebra over a field. We prove that the existence of such modules over certain idempotent algebras is both a necessary and sufficient condition for the…