Faltings' annihilator theorem

In abstract algebra (specifically commutative ring theory), Faltings' annihilator theorem states: given a finitely generated module M over a Noetherian commutative ring A and ideals I, J, the following are equivalent:^[1]

• ${\displaystyle \operatorname {depth} M_{\mathfrak {p}}+\operatorname {ht} (I+{\mathfrak {p}})/{\mathfrak {p}}\geq n}$ for any ${\displaystyle {\mathfrak {p}}\in \operatorname {Spec} (A)-V(J)}$,
• there is an ideal ${\displaystyle {\mathfrak {b}}}$ in A such that ${\displaystyle {\mathfrak {b}}\supset J}$ and ${\displaystyle {\mathfrak {b}}}$ annihilates the local cohomologies ${\displaystyle \operatorname {H} _{I}^{i}(M),0\leq i\leq n-1}$,

provided either A has a dualizing complex or is a quotient of a regular ring.

The theorem was first proved by Faltings in (Faltings 1981).

References

• Faltings, Gerd (1981). "Der Endlichkeitssatz in der lokalen Kohomologie". Mathematische Annalen. 255: 45–56.

This commutative algebra-related article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e

This page was last edited on 12 August 2023, at 22:49