Les bases de Gröbner permettent de démontrer le théorème de la base de Hilbert, en ramenant le caractère noethérien à une propriété combinatoire d'ensembles ordonnés. A. Putman, S. Sam et A. Snowden viennent de développer cette idée pour montrer des résultats de finitude sur les foncteurs. Un cas particulier de leurs travaux est la démonstration d'une conjecture émise à la fin des années 1980 par J. Lannes et L. Schwartz : la catégorie des foncteurs entre espaces vectoriels sur un corps fini k est localement noethérienne. Cela revient à dire que, pour tout entier $n$, le foncteur $V→k[V^n]$ est noethérien. Seul le cas $n=1$ est facile ; le problème était ouvert pour $n≥4$ avant les travaux susmentionnés.
[D'après A. Putman, S. Sam et A. Snowden]
Séminaire Bourbaki, 67ème année (2014-2015), n°1090, novembre 2014 PDF
De Rémi Coulon
De Aurélien Djament
De David Gérard-Varet
De Jean-François Quint
De Albert Schwarz
De Juan Camilo Arosemena Serrato
De Albert Schwarz
De Juan Camilo Arosemena Serrato
De Francesca Arici
De Shirly Geffen
De Amine Marrakchi
![[1089] Théorie de la petite simplification : une approche géométrique](/media/cache/video_light/uploads/video/video-f13d02ac302e3a37f461c14e0a901aaf.jpg)
![[1090] La propriété noethérienne pour les foncteurs entre espaces vectoriels](/media/cache/video_light/uploads/video/video-637551c603bc196dd7b9f6f5976a4782.jpg)
![[1091] Phénomène d'amortissement dans les équations d'Euler](/media/cache/video_light/uploads/video/video-ed26daaa88b962ea52e7ad875aefb5b1.jpg)
![[1092] Rigidité des $SL_2(ℝ)$-orbites dans les espaces de modules de surfaces plates](/media/cache/video_light/uploads/video/video-947c0c6b9cc72dddad1c5424b6f77140.jpg)
