The Artinian conjecture for I^ 2. With an appendix by Lionel Schwartz
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\).
- Cohomology of algebraic theories
- Extensions between exterior powers and between symmetric powers
- Generic representations of the finite general linear groups and the Steenrod algebra. II
- Generic representations of the finite general linear groups and the Steenrod algebra. III
- Generic Representations of the Finite General Linear Groups and the Steenrod Algebra: I
- scientific article; zbMATH DE number 872096 (Why is no real title available?)
- On function spaces whose source is the classifying space of an elementary abelian \(p\)-group
- Reduced unstable A-modules and the modular representation theory of the symmetric groups
- Stable decompositions of classifying spaces of finite abelianp-groups
- The Categories of Unstable Modules and Unstable Algebras Over the Steenrod Algebra Modulo Nilpotent Objects
- Towards the MacLane cohomology of finite fields
- The functor \(V\mapsto\mathbb F_{2}[V]^{\otimes 3}\) between \(\mathbb F_{ 2 }\)-vector spaces is Noetherian
- Subobjects of \(\overline I\otimes\Lambda^ n\) in the category of functors between \(\mathbb{F}_ 2\)-vector spaces
- The structure of the tensor product of \(\mathbb{F}_2[-]\) with a finite functor between \(\mathbb{F}_2\)-vector spaces
- Division functors and structure of \(I^{\otimes 2}\otimes \Lambda^n\) in the category \(\mathcal F\)
- A vanishing theorem in MacLane cohomology.
- Gröbner methods for representations of combinatorial categories
- Foncteurs en grassmanniennes, filtration de Krull et cohomologie des foncteurs
This page was built for publication: The Artinian conjecture for \(I^{\otimes 2}\). With an appendix by Lionel Schwartz
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1295529)
