{"id":"arxiv/2602.13881","url":"https://arxiv.org/abs/2602.13881","tags":["math.AG"],"score":0,"title":"Higher Direct Images of the Structure Sheaf Over a Dedekind Domain","domain":"math.AG","source":"arxiv","authors":["Grétar Amazeen"],"reviews":0,"subject":"math.AG","summary":"We prove that for Noetherian, smooth, separated, integral, finite type schemes $X$ and $Y$ over an excellent Dedekind domain $R$, that are properly birational over $R$, we have $R^if_{*}\\mathcal{O}_X \\cong R^ig_{*} \\mathcal{O}_Y$ and $R^i f_{*}Ω_{X/S}^{d} \\cong R^ig_{*} Ω_{Y/S}^d$, where $d$ is the relative dimension of $X$ and $Y$ over $S= Spec(R)$, and $f$ and $g$ are the structure maps of $X$ and $Y$, respectively, as $S$-schemes. As a corollary we obtain the vanishing of higher direct images of the structure sheaf for proper birational morphisms beteween such schemes. These results…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-14","reactions":{}}