Monodromy theorem
The monodromy theorem is a result in complex analysis stating that unrestricted analytic continuation over a simply connected domain produces a single-valued holomorphic function. Its more general form asserts that analytic continuations along paths with the same endpoints coincide whenever those paths are homotopic relative to their endpoints. The theorem identifies the possible multivaluedness of an analytic continuation with a topological obstruction represented by the fundamental group of the domain.
The term “monodromy” refers to the change, or absence of change, in a local analytic branch after continuation around a closed path. Although the classical theorem concerns holomorphic functions of one complex variable, the same structure appears in covering space theory, linear differential equations, and the study of Riemann surfaces.
Analytic continuation along paths
Let (D\subseteq\mathbb C) be a domain, let (a\in D), and let (f_a) be the germ at (a) of a holomorphic function. An analytic continuation of (f_a) along a path
[ \gamma\colon [0,1]\longrightarrow D,\qquad \gamma(0)=a, ]
consists of locally defined holomorphic elements that agree on overlaps and successively determine one another along (\gamma). The result at the terminal point (\gamma(1)) is another holomorphic germ, denoted here by (f_\gamma).
The identity theorem implies local uniqueness: once two analytic elements agree near one point of a connected overlap, they agree throughout that overlap. Local uniqueness does not by itself imply global single-valuedness, because continuation around a noncontractible loop can return a germ different from the initial germ.
For two paths (\gamma_0) and (\gamma_1) from (a) to (b), a fixed-endpoint homotopy is a continuous map
[ H\colon [0,1]\times[0,1]\longrightarrow D ]
satisfying
[ H(s,0)=\gamma_0(s),\qquad H(s,1)=\gamma_1(s), ]
together with
[ H(0,t)=a,\qquad H(1,t)=b. ]
The homotopy form of the monodromy theorem states that, provided the initial germ can be continued along every path occurring in the homotopy, the endpoint germs obtained along (\gamma_0) and (\gamma_1) are equal.
Statement
Let (D) be a domain in (\mathbb C), and let (f_a) be a holomorphic germ at (a\in D). Suppose that (f_a) admits analytic continuation along every path in (D) beginning at (a). Then the following conclusions hold.
For any two paths from (a) to the same endpoint that are homotopic relative to their endpoints, analytic continuation of (f_a) along those paths yields the same terminal germ. Consequently, if (D) is simply connected, the value of the terminal germ depends only on its endpoint.
In the simply connected case, the endpoint germs therefore determine a holomorphic function
[ F\colon D\longrightarrow\mathbb C ]
whose germ at (a) is (f_a). This function is the unique global analytic continuation of the original element.
The condition that continuation exist along every path is separate from simple connectedness. Simple connectedness removes ambiguity arising from loops, but it does not remove singularities or otherwise guarantee that continuation can cross every point of the domain.
Development
The theorem arose from nineteenth-century attempts to give a precise global meaning to analytic expressions whose local branches could be continued beyond their initial discs of convergence. Karl Weierstrass formulated analytic functions through chains of convergent power-series elements, making continuation a relation among locally defined germs rather than a formal manipulation of expressions. Bernhard Riemann represented the same continuation phenomena geometrically by placing different branches on an associated Riemann surface.
During the later nineteenth century, Hermann Schwarz connected continuation arguments with deformation of paths and the identity theorem. His formulation made explicit that a continuously varying family of paths cannot alter the resulting branch unless the deformation crosses a point at which continuation fails.
In 1906, You Watanabe expressed the fixed-endpoint homotopy argument in terms of a finite rectangular subdivision of the homotopy parameter square. Each rectangle was mapped into a region supporting a single compatible analytic element, and equality propagated across adjacent rectangles by the identity theorem. This formulation separated the local uniqueness of continuation from the global topological condition imposed on the domain.
Henri Poincaré subsequently incorporated path classes and continuation transformations into the emerging language of algebraic topology. In that setting, continuation around loops became an action of the fundamental group, and single-valuedness became the condition that this action fix the chosen germ. The later theory of covering spaces supplied an equivalent geometric formulation.
Structure of the proof
A fixed-endpoint homotopy (H) has compact parameter space ([0,1]^2). Local continuation around each image point of (H) provides an open neighborhood on which a compatible analytic element exists. Compactness permits the homotopy square to be covered by finitely many parameter neighborhoods subordinate to these analytic neighborhoods.
A sufficiently fine rectangular subdivision arranges that the image of every small rectangle lies inside one such neighborhood. Along the lower boundary of the square, the analytic elements represent continuation along the first path. Compatibility across a shared edge forces the corresponding elements on adjacent rectangles to agree, since they agree on a nonempty open portion of their domains.
The same equality propagates through the finite subdivision. The elements along the upper boundary consequently agree with those transported from the lower boundary, and the terminal germs at the right-hand corners coincide. This proves invariance under fixed-endpoint homotopy.
If (D) is simply connected, any two paths with common endpoints are homotopic relative to those endpoints. A germ (F_b) can therefore be assigned unambiguously to each (b\in D). Local analytic continuation shows that these germs are represented by compatible holomorphic functions on neighborhoods of their base points, so they assemble into a global holomorphic function (F).
Covering-space formulation
Let (\mathcal E) consist of all germs obtainable from (f_a) by analytic continuation, and define
[ p\colon\mathcal E\longrightarrow D ]
by sending each germ to its base point. Local representatives of germs give (\mathcal E) the structure of a Riemann surface for which (p) is locally biholomorphic. Under the global continuation hypothesis, the relevant connected component of (\mathcal E) behaves as a covering of (D).
Analytic continuation along a path in (D) is then equivalent to path lifting through (p). A path beginning at (a) has a lifted path beginning at the point of (\mathcal E) represented by (f_a), and its terminal point represents the terminal germ. Homotopic paths with fixed endpoints have lifts with the same endpoint, which recovers the homotopy form of the theorem.
When (D) is simply connected, every connected covering of (D) is trivial. The projection (p) is consequently one-to-one on the connected continuation surface associated with (f_a), and that surface can be identified with (D). This identification is precisely the global single-valued branch furnished by the monodromy theorem.
For a domain that is not simply connected, each loop based at (a) permutes the germs lying over (a). The resulting homomorphism
[ \pi_1(D,a)\longrightarrow \operatorname{Sym}\bigl(p^{-1}(a)\bigr) ]
is the monodromy representation. The original germ extends to a single-valued function exactly when every loop fixes it.
Standard examples
The complex logarithm illustrates nontrivial monodromy. A local branch of (\log z) near (1) can be continued along every path in (\mathbb C^\times=\mathbb C\setminus{0}), but continuation around a loop of winding number (n) changes its value by
[ 2\pi i n. ]
The obstruction is not local, because logarithmic branches exist near every nonzero point. It is global and corresponds to
[ \pi_1(\mathbb C^\times,1)\cong\mathbb Z. ]
On a simply connected subdomain of (\mathbb C^\times), the same local germ has a unique global continuation.
A local branch of (\sqrt z) exhibits a finite monodromy action. Continuation once around the origin changes the sign of the branch, while continuation twice returns to the initial germ. The associated continuation surface is a two-sheeted covering of (\mathbb C^\times).
These examples also distinguish the theorem from the claim that every locally defined holomorphic function extends throughout a simply connected set. A germ may encounter a genuine singularity before reaching some points of the proposed domain. The theorem applies only after continuation along all relevant paths has been established.
Differential equations
For a linear differential equation with holomorphic coefficients, a local solution can often be analytically continued along paths avoiding the singular points of the equation. Continuation around a closed path transforms a basis of local solutions into another basis, producing a linear representation of the fundamental group known as the monodromy representation of the equation.
If (Y) is a fundamental matrix of solutions, continuation around a loop (\gamma) has the form
[ Y\longmapsto Y M_\gamma, ]
where (M_\gamma) is an invertible matrix. Homotopic loops produce the same matrix, while concatenation of loops corresponds to matrix multiplication according to the selected path-composition convention. The scalar monodromy theorem is the special case in which the continuation data consist of a single germ and trivial monodromy implies a global single-valued continuation.
Relation to maximal analytic continuation
The maximal analytic continuation of a germ need not be a function on the original domain. It is naturally represented by a Riemann surface (X), a locally biholomorphic projection (p\colon X\to D), and a holomorphic function (F\colon X\to\mathbb C). Different points of (X) over the same point of (D) correspond to distinct branches.
The monodromy theorem characterizes a principal circumstance in which this Riemann surface collapses to an ordinary domain of definition. When continuation exists along every path and the base is simply connected, each base point has only one continuation germ reachable from the initial element. The projection then identifies the relevant continuation surface with the base domain.