Higher Direct Images of the Structure Sheaf Over a Dedekind Domain
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.13881
curl -X POST /api/v1/records/arxiv/2602.13881/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.13881/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'