The Second Vanishing Theorem for Formal Local Cohomology Modules
Commutative Algebra
2025-08-08 v1
Abstract
This paper establishes a second vanishing theorem for formal local cohomology modules over Noetherian local rings. We introduce the \textit{formal dimension} invariant and characterize the vanishing of higher formal local cohomology in terms of the dimension of the quotient ring modulo minimal primes. Our main result extends classical vanishing theorems to the formal setting, with applications to the structure of complexes in derived categories. Necessary and sufficient conditions are given via spectral sequence analysis and duality arguments.
Cite
@article{arxiv.2508.05477,
title = {The Second Vanishing Theorem for Formal Local Cohomology Modules},
author = {Behruz Sadeqi},
journal= {arXiv preprint arXiv:2508.05477},
year = {2025}
}