Appears in collection : Commutative algebra and its interactions with algebraic geometry / Algèbre commutative et ses interactions avec la géométrie algébrique

Let $R$ be a commutative Noetherian ring that is a smooth $\mathbb{Z}-algebra$. For each ideal $a$ of $R$ and integer $k$, we prove that the local cohomology module $H^k_a(R)$ has finitely many associated prime ideals. This settles a crucial outstanding case of a conjecture of Lyubeznik asserting this finiteness for local cohomology modules of all regular rings.