Monodromy theorem

From Companal
Revision as of 21:55, 19 April 2008 by Vipul (talk | contribs) (New page: ==Statement== Suppose <math>U \subset \mathbb{C}</math> is an open subset and <math>\gamma_1, \gamma_2</math> are two smooth curves from <math>p</math> to <math>q</math> that are smoothly...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Suppose UC is an open subset and γ1,γ2 are two smooth curves from p to q that are smoothly homotopic. Suppose Vp is an open subset contained inside U and f:VC is a holomorphic function.

Let γt,t[0,1] denote the intermediate curves for the homotopy between γ0 and γ1. Then, suppose the following is true:

For every t, we can extend f to a holomorphic function f(t) on an open subset Vt containing γt

Then any two γts agree on the overlap and thus, all the values γt(q) are equal.