Related papers: Contramodules for algebraic groups: induction and …
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…
Let $G$ be a connected reductive group over an algebraically closed field of characteristic $p>0$. Given an indecomposable G-module $M$, one can ask when it remains indecomposable upon restriction to the Frobenius kernel $G_r$, and when its…
Let H be a Hopf algebra and A an H-simple right H-comodule algebra. It is shown that under certain hypotheses every (H,A)-Hopf module is either projective or free as an A-module and A is either a quasi-Frobenius or a semisimple ring. As an…
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…
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…
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 $G$ be a simple simply connected algebraic group over an algebraically closed field $k$ of characteristic $p$, with Frobenius kernel $G_{(1)}$. It is known that when $p\ge 2h-2$, where $h$ is the Coxeter number of $G$, the projective…
Leclerc recently studied certain Frobenius categories in connection with cluster algebra structures on coordinate rings of intersections of opposite Schubert cells. We show that these categories admit a description as Gorenstein projective…
In this paper we study the structure of cohomology spaces for the Frobenius kernels of unipotent and parabolic algebraic group schemes and of their quantum analogs. Given a simple algebraic group $G$, a parabolic subgroup $P_J$, and its…
In this note, we extend the inductions and restrictions of modules over finite groups to non-injective group homomorphisms, establishing transitivity, Frobenius reciprocity, Mackey's formula, etc.
We construct equivariant vector bundles over quantum projective spaces making use of parabolic Verma modules over the quantum general linear group. Using an alternative realization of the quantized coordinate ring of projective space as a…
This paper is a commutative algebra introduction to the homological theory of quasi-coherent sheaves and contraherent cosheaves over quasi-compact semi-separated schemes. Antilocality is an alternative way in which global properties are…
Let $G$ be a semisimple algebraic group over an algebraically closed field $k$ of positive characteristic $p$. Under some restrictions on the size of $p$, the present paper establishes new results on the $G$-module structure of…
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…
We develop a theory of \emph{locally Frobenius algebras} which are colimits of certain directed systems of Frobenius algebras. A major goal is to obtain analogues of the work of Moore \& Peterson and Margolis on \emph{nearly Frobenius…
Contraherent cosheaves are module objects over algebraic varieties defined by gluing using the colocalization functors. Contraherent cosheaves are designed to be used for globalizing contramodules and contraderived categories for the…
Given a morphism of (small) groupoids with injective object map, we provide sufficient and necessary conditions under which the induction and co-induction functors between the categories of linear representations are naturally isomorphic. A…
Building on a geometric counterpart of Steinberg's tensor product formula for simple representations of a connected reductive algebraic group $G$ over a field of positive characteristic, and following an idea of…
A classical problem in the literature seeks the minimal number of proper subgroups whose union is a given finite group. A different question, with applications to error-correcting codes and graph colorings, involves covering vector spaces…
The Ehresmann-Schein-Nambooripad theorem gives a structure theorem for inverse monoids: they are inductive groupoids. A particularly nice case due to Jarek is that commutative inverse monoids become semilattices of abelian groups. It has…