Math 2.0

Algebraic geometry Definition

Rational singularity

Builds on Algebraic varietyNormal schemeResolution of singularitiesSheaf cohomologyProper morphismBirational map

Definition

Let kk be a field of characteristic 00 and let XX be a normal algebraic variety over kk (see normal scheme). Let f ⁣:Y→Xf \colon Y \to X be a resolution of singularities, that is, a proper birational morphism from a nonsingular variety YY. The variety XX has rational singularities if Rif∗𝒪Y=0for all i>0,R^i f_* \mathcal{O}_Y = 0 \quad \text{for all } i > 0, where Rif∗R^i f_* are the higher direct images, computed by sheaf cohomology on preimages of open sets. A point x∈Xx \in X is a rational singularity if some open neighbourhood of xx has rational singularities.

Remarks

The condition does not depend on the chosen resolution. Since XX is normal and ff is proper and birational, one also has f∗𝒪Y=𝒪Xf_* \mathcal{O}_Y = \mathcal{O}_X, by Zariski's main theorem. Every nonsingular variety has rational singularities, with f=id⁡f = \id. Example: for the cone X ⁣:xy=z2X \colon xy = z^2 in 𝔸3\mathbb{A}^3, the blow-up of the vertex is a resolution whose exceptional curve is E≅ℙ1E \cong \mathbb{P}^1 with normal bundle 𝒪(−2)\mathcal{O}(-2). Here YY is the total space of the line bundle 𝒪(−2)\mathcal{O}(-2) on EE, and XX is affine, so R1f∗𝒪YR^1 f_* \mathcal{O}_Y is determined by H1(Y,𝒪Y)=⨁m≥0H1(ℙ1,𝒪(2m))=0H^1(Y, \mathcal{O}_Y) = \bigoplus_{m \ge 0} H^1(\mathbb{P}^1, \mathcal{O}(2m)) = 0. So the singularity is rational. Non-example: for the cone X ⁣:x3+y3+z3=0X \colon x^3 + y^3 + z^3 = 0 over a smooth plane cubic EE, the blow-up of the vertex is the total space of 𝒪E(−1)\mathcal{O}_E(-1), and the same computation gives H1(Y,𝒪Y)=⨁m≥0H1(E,𝒪E(m))H^1(Y, \mathcal{O}_Y) = \bigoplus_{m \ge 0} H^1(E, \mathcal{O}_E(m)). The term m=0m = 0 is H1(E,𝒪E)≅kH^1(E, \mathcal{O}_E) \cong k, so R1f∗𝒪Y≠0R^1 f_* \mathcal{O}_Y \ne 0 and the singularity is not rational.

Reading path

To understand this page from the ground up, read these 10 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Algebraic variety concept
  2. Birational map concept
  3. Blowing up concept
  4. Normal scheme concept
  5. Normalization concept
  6. Proper morphism concept
  7. Sheaf cohomology concept
  8. Singular point of an algebraic variety concept
  9. Resolution of singularities statement
  10. Rational singularity definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Rational_singularity
About this page
Tag8V30QMXTYT
URIm2://8V30QMXTYT
Kinddefinition
WritingW0 stub
MSC14B05, 14E15
DefinesRational singularity
UsesAlgebraic variety, Normal scheme, Resolution of singularities, Sheaf cohomology, Proper morphism, Birational map
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.