The Artinian conjecture for \(I^{\otimes 2}\). With an appendix by Lionel Schwartz
type: Item
instance of: scholarly article
title: The Artinian conjecture for \(I^{\otimes 2}\). With an appendix by Lionel Schwartz
zbMATH Open document ID: 0928.18004
DOI: 10.1016/S0022-4049(97)00054-6
author: Geoffrey Powell
published in: Journal of Pure and Applied Algebra
publication date: 1999-08-19T00:00:00Z
review text: Consider the (abelian) category \(\mathcal{F}\) of functors from \(\mathcal{E}_f\) to \(\mathcal{E}\), where \(\mathcal{E}\) is the category of \(\mathbb F\)-vector spaces, with \(\mathbb F=\mathbb F_2\) the field with two elements, and \(\mathcal{E}_f\) the sub-category of finite-dimensional spaces. The injective object \(I_V\), for \(V\in \mathcal{E}_f\), is defined by the co-representing property: \(\Hom_{\mathcal{F}}(F,I_V) \cong F(V^*)^*\), where \((\;)^*\) denotes the vector space dual. Recall that an object \(F\in\mathcal{F}\) is said to be Artinian if every descending sequence of sub-objects of \(F\) stabilizes. The ``Artinian conjecture'' of Kuhn, Lannes and Schwartz, states that: the functors \(I_V\) are Artinian. The main result of the paper under review is that the functor \(I_{{\mathbb F}^2}\cong I^{\otimes 2}\) is Artinian (where \(I=I_{\mathbb F}\)). This result is the first non-trivial case of the Artinian conjecture. In fact the author shows a stronger result, namely: the functor \(I^{\otimes 2}\) is Artinian of type 2 (a functor is said simple Artinian of type \(0\) if it is a finite simple functor. Then a functor \(F\) is simple Artinian of type \(n\) if every proper subobject of \(F\) has Artinian type strictly less than \(n\) and \(F\) is said to be Artinian of type \(n\) if it admits a finite filtration of which the sub-quotients are simple Artinian of type \(\leq n\)). The proof of the conjecture in this case follows by reducing the problem to showing that certain ``smaller functors'', related to the decomposition of \(I^{\otimes 2}\), are Artinian (and more precisely simple Artinian of type 2). The method of proof exploits the polynomial filtration of the difference functor \(\Delta : \mathcal F \to \mathcal F\) and the study of co-Weyl objects in the category \(\mathcal F\).
reviewed by: Philippe Elbaz-Vincent
Mathematics Subject Classification ID: 18G05
Mathematics Subject Classification ID: 20G05
Mathematics Subject Classification ID: 55S10
zbMATH DE Number: 1308180
zbMATH Keywords: Artinian conjecture
zbMATH Keywords: co-Weyl object
zbMATH Keywords: analytic functor
zbMATH Keywords: simple functor
zbMATH Keywords: Artinian object
zbMATH Keywords: Artinian type
zbMATH Keywords: category of generic representations
zbMATH Keywords: polynomial filtration
zbMATH Keywords: difference functor
zbMATH Keywords: injective object
MaRDI profile type: Publication
Wikidata QID: Q123119336
cites work: Extensions between exterior powers and between symmetric powers
cites work: Towards the MacLane cohomology of finite fields
cites work: Reduced unstable $A$-modules and the modular representation theory of the symmetric groups
cites work: Stable decompositions of classifying spaces of finite abelianp-groups
cites work: The Categories of Unstable Modules and Unstable Algebras Over the Steenrod Algebra Modulo Nilpotent Objects
cites work: Cohomology of algebraic theories
cites work: Generic Representations of the Finite General Linear Groups and the Steenrod Algebra: I
cites work: Generic representations of the finite general linear groups and the Steenrod algebra. II
cites work: Generic representations of the finite general linear groups and the Steenrod algebra. III
cites work: On function spaces whose source is the classifying space of an elementary abelian \(p\)-group
cites work: Q4875306
description: scientific article; zbMATH DE number 1308180