Zariski's connectedness theorem

In algebraic geometry, Zariski's connectedness theorem (due to Oscar Zariski) says that under certain conditions the fibers of a morphism of varieties are connected. It is an extension of Zariski's main theorem to the case when the morphism of varieties need not be birational.

Zariski's connectedness theorem gives a rigorous version of the "principle of degeneration" introduced by Federigo Enriques, which says roughly that a limit of absolutely irreducible cycles is absolutely connected.

Statement

Suppose that f is a proper surjective morphism of varieties from X to Y such that the function field of Y is separably closed in that of X. Then Zariski's connectedness theorem says that the inverse image of any normal point of Y is connected. An alternative version says that if f is proper and f* OX = OY, then f is surjective and the inverse image of any point of Y is connected.

gollark: APART from that underscore, those types seem identical, so I am confused.
gollark: I don't know why it put an underscore there æææ bees.
gollark: ```Error: The implementation src/db.ml does not match the interface src/.main.eobjs/byte/dune__exe__Db.cmi: Values do not match: val query : ('a, _[< Caqti_error.t > `Connect_failed `Connect_rejected `Post_connect ]) query -> Opium_kernel.Rock.Request.t -> ('a, string) Lwt_result.t is not included in val query : ('a, [< Caqti_error.t > `Connect_failed `Connect_rejected `Post_connect ]) query -> Opium_kernel.Rock.Request.t -> ('a, string) Lwt_result.t File "src/db.mli", line 6, characters 0-68: Expected declaration File "src/db.ml", line 27, characters 4-9: Actual declaration```
gollark: Hmm, OCaml is producing a !!BAD!! error.
gollark: Also, Alpine Linux is quite cool?

References
  • Zariski, Oscar (1951), Theory and applications of holomorphic functions on algebraic varieties over arbitrary ground fields, Memoirs of the American Mathematical Society, 5, MR 0041487
  • Zariski, Oscar (1957), "The connectedness theorem for birational transformations", Algebraic geometry and topology. A symposium in honor of S. Lefschetz, Princeton, N. J.: Princeton University Press, pp. 182–188, MR 0090099
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.