Derived Kunz and Radu--André Theorems
arXiv:2607.08871
Abstract
We extend Kunz's theorem and its relative form, the Radu--André theorem, to animated algebras. The main inputs are the classical theorems, together with Bhatt and Scholze's vanishing of the Frobenius on negative cohomology.
6 pages, comments welcome