From Surf Wiki (app.surf) — the open knowledge base
Rational singularity
In mathematics, more particularly in the field of algebraic geometry, a scheme X has rational singularities, if it is normal, of finite type over a field of characteristic zero, and there exists a proper birational map
:f \colon Y \rightarrow X
from a regular scheme Y such that the higher direct images of f_* applied to \mathcal{O}_Y are trivial. That is,
:R^i f_* \mathcal{O}_Y = 0 for i 0.
If there is one such resolution, then it follows that all resolutions share this property, since any two resolutions of singularities can be dominated by a third.
For surfaces, rational singularities were defined by .
Formulations
Alternately, one can say that X has rational singularities if and only if the natural map in the derived category :\mathcal{O}X \rightarrow R f* \mathcal{O}_Y is a quasi-isomorphism. Notice that this includes the statement that \mathcal{O}X \simeq f* \mathcal{O}_Y and hence the assumption that X is normal.
There are related notions in positive and mixed characteristic of
- pseudo-rational and
- F-rational
Rational singularities are in particular Cohen-Macaulay, normal and Du Bois. They need not be Gorenstein or even Q-Gorenstein.
Log terminal singularities are rational.
Examples
An example of a rational singularity is the singular point of the quadric cone
:x^2 + y^2 + z^2 = 0. ,
Artin showed that the rational double points of algebraic surfaces are the Du Val singularities.
References
References
- {{harv. Kollár. Mori. 1998
- {{harv. Artin. 1966
This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page.
Ask Mako anything about Rational singularity — get instant answers, deeper analysis, and related topics.
Research with MakoFree with your Surf account
Create a free account to save articles, ask Mako questions, and organize your research.
Sign up freeThis content may have been generated or modified by AI. CloudSurf Software LLC is not responsible for the accuracy, completeness, or reliability of AI-generated content. Always verify important information from primary sources.
Report