Inspired by the work of Henn, Lannes and Schwartz on unstable algebras over the Steenrod algebra modulo nilpotents, a characterization of unstable algebras that are -finitely generated up to nilpotents is given in terms of the associated presheaf. We do this by introducing the notion of a finite presheaf. In particular, this gives the natural characterization of the (co)analytic presheaves that are important in the theory of Henn, Lannes and Schwartz. An important source of examples is provided by unstable algebras of finite transcendence degree.
For unstable Hopf algebras, it is shown that the associated presheaf is finite if and only if its growth function is polynomial. This leads to a description of unstable Hopf algebras modulo nilpotents in the spirit of Henn, Lannes and Schwartz.
En s’inspirant du travail de Henn, Lannes et Schwartz sur la catégorie des algèbres instables sur l’algèbre de Steenrod localisée loin des nilpotents, une caractérisation des algèbres instables qui sont -finiment engendrées à nilpotents près est donnée en termes du préfaisceau associé en utilisant la notion d’un préfaisceau fini, qui est introduite dans cet article. Ceci permet une caractérisation naturelle des préfaisceaux (co)analytiques qui sont fondamentaux dans la théorie de Henn, Lannes et Schwartz. Une classe importante de préfaisceaux finis est fournie par les algèbres instables de degré de transcendance fini.
Pour les algèbres de Hopf instables, il est démontré que le préfaisceau associé est fini si et seulement si sa fonction de croissance est polynomiale. En particulier, ceci mène à une description de la catégorie des algèbres de Hopf, instables localisées loin des nilpotents.
Revised:
Accepted:
Published online:
Keywords: unstable algebra, nilpotents, Steenrod algebra, finite generation, unstable Hopf algebra, presheaf, polynomial functor
CC-BY-ND 4.0
@article{AIF_2019__69_5_2169_0,
author = {Powell, Geoffrey},
title = {Finite presheaves and $\protect \mathscr{A}$-finite generation of unstable algebras mod nilpotents},
journal = {Annales de l'Institut Fourier},
pages = {2169--2204},
publisher = {Association des Annales de l{\textquoteright}institut Fourier},
volume = {69},
number = {5},
year = {2019},
doi = {10.5802/aif.3292},
language = {en},
url = {https://aif.centre-mersenne.org/articles/10.5802/aif.3292/}
}
TY - JOUR
AU - Powell, Geoffrey
TI - Finite presheaves and $\protect \mathscr{A}$-finite generation of unstable algebras mod nilpotents
JO - Annales de l'Institut Fourier
PY - 2019
SP - 2169
EP - 2204
VL - 69
IS - 5
PB - Association des Annales de l’institut Fourier
UR - https://aif.centre-mersenne.org/articles/10.5802/aif.3292/
DO - 10.5802/aif.3292
LA - en
ID - AIF_2019__69_5_2169_0
ER -
%0 Journal Article
%A Powell, Geoffrey
%T Finite presheaves and $\protect \mathscr{A}$-finite generation of unstable algebras mod nilpotents
%J Annales de l'Institut Fourier
%D 2019
%P 2169-2204
%V 69
%N 5
%I Association des Annales de l’institut Fourier
%U https://aif.centre-mersenne.org/articles/10.5802/aif.3292/
%R 10.5802/aif.3292
%G en
%F AIF_2019__69_5_2169_0
Powell, Geoffrey. Finite presheaves and $\protect \mathscr{A}$-finite generation of unstable algebras mod nilpotents. Annales de l'Institut Fourier, Volume 69 (2019) no. 5, pp. 2169-2204. doi : 10.5802/aif.3292. https://aif.centre-mersenne.org/articles/10.5802/aif.3292/
[1] Quadratic endofunctors of the category of groups, Adv. Math., Volume 141 (1999) no. 1, pp. 167-206 | DOI | MR | Zbl
[2] Deconstructing Hopf spaces, Invent. Math., Volume 167 (2007) no. 1, pp. 1-18 | DOI | MR | Zbl
[3] Cohomology theory of Abelian groups and homotopy theory. II, Proc. Natl. Acad. Sci. USA, Volume 36 (1950), pp. 657-663 | DOI | MR | Zbl
[4] The transcendence degree of the mod cohomology of finite Postnikov systems, Stable and unstable homotopy (Toronto, ON, 1996) (Fields Institute Communications), Volume 19, American Mathematical Society, 1998, pp. 111-130 | MR | Zbl
[5] The categories of unstable modules and unstable algebras over the Steenrod algebra modulo nilpotent objects, Am. J. Math., Volume 115 (1993) no. 5, pp. 1053-1106 | DOI | MR | Zbl
[6] Generic representations of the finite general linear groups and the Steenrod algebra. I, Am. J. Math., Volume 116 (1994) no. 2, pp. 327-360 | DOI | MR | Zbl
[7] Computations in generic representation theory: maps from symmetric powers to composite functors, Trans. Am. Math. Soc., Volume 350 (1998) no. 10, pp. 4221-4233 | DOI | MR | Zbl
[8] The Krull filtration of the category of unstable modules over the Steenrod algebra, Math. Z., Volume 277 (2014) no. 3-4, pp. 917-936 | DOI | MR | Zbl
[9] Sur les espaces fonctionnels dont la source est le classifiant d’un -groupe abélien élémentaire, Publ. Math., Inst. Hautes Étud. Sci. (1992) no. 75, pp. 135-244 (With an appendix by Michel Zisman) | DOI | MR | Zbl
[10] Sur les groupes d’homotopie des espaces dont la cohomologie modulo est nilpotente, Isr. J. Math., Volume 66 (1989) no. 1-3, pp. 260-273 | DOI | MR | Zbl
[11] On the structure of Hopf algebras, Ann. Math., Volume 81 (1965), pp. 211-264 | DOI | MR | Zbl
[12] Hopf algebras and multiplicative fibrations. I, Am. J. Math., Volume 90 (1968), pp. 752-780 | DOI | MR | Zbl
[13] Hopf algebras and multiplicative fibrations. II, Am. J. Math., Volume 90 (1968), pp. 1113-1150 | DOI | MR | Zbl
[14] Group rings and their augmentation ideals, Lecture Notes in Mathematics, 715, Springer, 1979, vi+137 pages | MR | Zbl
[15] Unstable modules over the Steenrod algebra and Sullivan’s fixed point set conjecture, Chicago Lectures in Mathematics, University of Chicago Press, 1994, x+229 pages | MR | Zbl
Cited by Sources:
