The local cohomology spectral sequence for topological modular forms
We discuss proofs of local cohomology theorems for topological modular forms, based on Mahowald-Rezk duality and on Gorenstein duality, and then make the associated local cohomology spectral sequences explicit, including their differential patterns and hidden extensions.