Local cohomological dimension and depth in mixed characteristic

Abstract

Let $(R,\mathfrak m)$ be an unramified regular local ring of mixed characteristic $(0,p)$ and dimension $d$ and let $I\subseteq R$ be an ideal. We prove that $depth(R/I)\geq 3$ implies $cd(I)\leq d-3$, and if $R$ is essentially of finite type over a DVR, then $depth(R/I)\geq 4$ implies $cd(I)\leq d-4$. More generally, $H_I^j(R)$ is a $\mathbb{Q}$-vector space whenever $j>d-depth(R/I)$, thus vanishing of local cohomology in this range is determined completely by the characteristic zero fiber.

Disclosure

“zing the maps from Ext to local cohomology and utilizing D-modules. The author then realized that the argument could be extended and combined with techniques in [BBL+ 14] to prove the general case. The final writing was done by the author (ChatGPT was used to correct grammer and other minor mistakes). 2. The main result / m2 , or Recall that a regula”

PDF page 2

Classification

Proofreading, grammar, or spelling

Multiplier

1

Verified

2026-08-23T05:00:53.694940Z

Structural counts