Abstract:We show the vanishing of the first direct image of the structure sheaf of a normal excellent scheme $X$ which is mapped properly and birationally over an excellent regular scheme of any dimension. On the other hand, for any dimension greater than two, we show examples of a proper birational morphism from a normal and Cohen-Macaulay scheme to a regular scheme such that the second direct image does not vanish and has an isolated support.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the vanishing problem of higher - order direct images of the structure sheaf. Specifically:
1. **Main problem**: The author studied the vanishing of the first - order higher - direct image \(R^1\phi_*\mathcal{O}_X\) of the structure sheaf \(\mathcal{O}_X\) under a proper birational map \(\phi: X\rightarrow Y\) from a fine, normal scheme \(X\) to a fine regular scheme \(Y\) of arbitrary dimension. That is, to prove that under these conditions, \(R^1\phi_*\mathcal{O}_X = 0\).
2. **Further exploration**: For the case where the dimension is greater than 2, the author showed that there exists a proper birational map \(\phi\) from a normal and Cohen - Macaulay scheme to a regular scheme such that the second - order higher - direct image \(R^2\phi_*\mathcal{O}_X\) is not zero and has isolated support.
### Specific content and methods
- **Background and motivation**:
- On a field of characteristic zero, if \(X\) and \(Y\) are regular schemes, then it is known that \(R^i\phi_*\mathcal{O}_X=0\) for all \(i > 0\).
- This result has been generalized to fine regular schemes.
- The definition of rational singularities depends on these vanishing properties.
- **Main results**:
- **Theorem 1.3**: Let \(Y\) be a fine scheme satisfying Serre conditions \(R_2\) and \(S_3\) with dimension \(N\geq1\). Let \(\phi: X\rightarrow Y\) be a proper birational map, where \(X\) is a fine and normal scheme. Then, \(R^1\phi_*\mathcal{O}_X = 0\).
- **Corollary 1.4**: Let \(Y\) be a fine regular scheme with dimension \(N\geq1\). Let \(\phi: X\rightarrow Y=\text{Spec }R\) be a proper birational map, where \(X\) is a fine and normal scheme. Then, \(R^1\phi_*\mathcal{O}_X = 0\).
- **Counterexamples and further discussion**:
- For \(N\geq3\), the author gave an example to illustrate that even if \(Y\) is regular and \(X\) is normal and Cohen - Macaulay, it is still possible that \(R^2\phi_*\mathcal{O}_X\neq0\).
### Summary
This paper explored the vanishing problem of higher - order direct images of the structure sheaf through strict mathematical proofs and specific examples, especially in different dimensions. The author not only proved the vanishing under specific conditions but also showed the possible non - vanishing phenomenon in higher dimensions, providing a new perspective for understanding rational singularities and related geometric properties.