Crepant resolution (nonfiction): Difference between revisions
No edit summary |
No edit summary |
||
| Line 3: | Line 3: | ||
The term "crepant" was coined by Miles Reid (1983) by removing the prefix "dis" from the word "discrepant", to indicate that the resolutions have no discrepancy in the canonical class. | The term "crepant" was coined by Miles Reid (1983) by removing the prefix "dis" from the word "discrepant", to indicate that the resolutions have no discrepancy in the canonical class. | ||
The crepant resolution conjecture of Ruan (2006) states that the orbifold cohomology of a Gorenstein orbifold is isomorphic to a semiclassical limit of the quantum cohomology of a crepant resolution. | The crepant resolution conjecture of Ruan (2006) states that the orbifold cohomology of a [[Daniel Gorenstein (nonfiction)|Gorenstein]] orbifold is isomorphic to a semiclassical limit of the quantum cohomology of a crepant resolution. | ||
In 2 dimensions, crepant resolutions of complex Gorenstein quotient singularities (du Val singularities) always exist and are unique, in 3 dimensions they exist but need not be unique as they can be related by flops, and in dimensions greater than 3 they need not exist. | In 2 dimensions, crepant resolutions of complex Gorenstein quotient singularities ([[Patrick du Val (nonfiction)|du Val]] singularities) always exist and are unique, in 3 dimensions they exist but need not be unique as they can be related by flops, and in dimensions greater than 3 they need not exist. | ||
A substitute for crepant resolutions which always exists is a terminal model. Namely, for every variety X over a field of characteristic zero such that X has canonical singularities (for example, rational Gorenstein singularities), there is a variety Y with Q-factorial terminal singularities and a birational projective morphism f: Y → X which is crepant in the sense that KY = f*KX. | A substitute for crepant resolutions which always exists is a terminal model. Namely, for every variety X over a field of characteristic zero such that X has canonical singularities (for example, rational Gorenstein singularities), there is a variety Y with Q-factorial terminal singularities and a birational projective morphism f: Y → X which is crepant in the sense that KY = f*KX. | ||
| Line 18: | Line 18: | ||
== Nonfiction cross-reference == | == Nonfiction cross-reference == | ||
* [[Daniel Gorenstein (nonfiction)]] | |||
* [[Patrick du Val (nonfiction)]] | |||
* [[Mathematics (nonfiction)]] | * [[Mathematics (nonfiction)]] | ||
Revision as of 09:17, 24 June 2017
In algebraic geometry, a crepant resolution of a singularity is a resolution that does not affect the canonical class of the manifold.
The term "crepant" was coined by Miles Reid (1983) by removing the prefix "dis" from the word "discrepant", to indicate that the resolutions have no discrepancy in the canonical class.
The crepant resolution conjecture of Ruan (2006) states that the orbifold cohomology of a Gorenstein orbifold is isomorphic to a semiclassical limit of the quantum cohomology of a crepant resolution.
In 2 dimensions, crepant resolutions of complex Gorenstein quotient singularities (du Val singularities) always exist and are unique, in 3 dimensions they exist but need not be unique as they can be related by flops, and in dimensions greater than 3 they need not exist.
A substitute for crepant resolutions which always exists is a terminal model. Namely, for every variety X over a field of characteristic zero such that X has canonical singularities (for example, rational Gorenstein singularities), there is a variety Y with Q-factorial terminal singularities and a birational projective morphism f: Y → X which is crepant in the sense that KY = f*KX.
In the News
Fiction cross-reference
Nonfiction cross-reference
External links:
- Crepant resolution @ Wikipedia