Formal local homology
arXiv:1607.05552
Abstract
We introduce a concept of formal local homology modules which is in some sense dual to P. Schenzel's concept of formal local cohomology modules. The dual theorem and the non-vanishing theorem of formal local homology modules will be shown. We also give some conditions for formal local homology modules being finitely generated or artinian.
20 pages