Crepant resolution (nonfiction): Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
(Created page with "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...")
 
 
(2 intermediate revisions by the same user not shown)
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[1] 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 15: Line 15:


== Fiction cross-reference ==
== Fiction cross-reference ==
* [[Crimes against mathematical constants]]
* [[Gnomon algorithm]]


== Nonfiction cross-reference ==
== Nonfiction cross-reference ==


* [[Daniel Gorenstein (nonfiction)]]
* [[Patrick du Val (nonfiction)]]
* [[Mathematics (nonfiction)]]
* [[Mathematics (nonfiction)]]



Latest revision as of 09:34, 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: