The artinian conjecture (following Djament, Putman, Sam, and Snowden)
arXiv:1411.5557
Abstract
This note provides a self-contained exposition of the proof of the artinian conjecture, following closely Djament's Bourbaki lecture. The original proof is due to Putman, Sam, and Snowden.
8 pages. Final version with a note added in proof, saying that the statement of Theorem 5.2 appeared already in a paper of G. Richter from 1986