| dbo:abstract
|
- In algebraic geometry, Zariski's main theorem, proved by Oscar Zariski, is a statement about the structure of birational morphisms stating roughly that there is only one branch at any normal point of a variety. It is the special case of Zariski's connectedness theorem when the two varieties are birational. Zariski's main theorem can be stated in several ways which at first sight seem to be quite different, but are in fact deeply related. Some of the variations that have been called Zariski's main theorem are as follows:
* The total transform of a normal fundamental point of a birational map has positive dimension. This is essentially Zariski's original form of his main theorem.
* A birational morphism with finite fibers to a normal variety is an isomorphism to an open subset.
* The total transform of a normal point under a proper birational morphism is connected.
* A closely related theorem of Grothendieck describes the structure of quasi-finite morphisms of schemes, which implies Zariski's original main theorem.
* Several results in commutative algebra that imply the geometric form of Zariski's main theorem.
* A normal local ring is unibranch, which is a variation of the statement that the transform of a normal point is connected.
* The local ring of a normal point of a variety is analytically normal. This is a strong form of the statement that it is unibranch. The name "Zariski's main theorem" comes from the fact that Zariski labelled it as the "MAIN THEOREM" in Zariski. (en)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 11477 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:authorlink
| |
| dbp:first
| |
| dbp:id
| |
| dbp:last
|
- Danilov (en)
- Zariski (en)
|
| dbp:title
| |
| dbp:txt
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:year
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- In algebraic geometry, Zariski's main theorem, proved by Oscar Zariski, is a statement about the structure of birational morphisms stating roughly that there is only one branch at any normal point of a variety. It is the special case of Zariski's connectedness theorem when the two varieties are birational. Zariski's main theorem can be stated in several ways which at first sight seem to be quite different, but are in fact deeply related. Some of the variations that have been called Zariski's main theorem are as follows: (en)
|
| rdfs:label
|
- Zariski's main theorem (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
