Analytic continuation

Intuition [Beginner]

Analytic continuation is a way of keeping track of how complex-valued patterns behave when the plane is stretched, wrapped, or continued onto a Riemann surface. The main point is local control: near a small patch, the behavior has a standard shape, and that local shape determines the global object after the patches are matched.

A good picture is a map made from transparent sheets. On one sheet the rule may look ordinary, while another sheet records a pole, a branch, a period, or an extension. The concept matters because Riemann surfaces turn fragile one-variable formulas into geometry that can be moved from patch to patch.

Visual [Beginner]

Worked example [Beginner]

Take the local rule z squared near zero. Away from zero, two nearby input points can map to the same output point with opposite signs. At zero, the two sheets meet. This tiny model already explains why analytic continuation is best studied with local coordinates rather than only with a global formula.

For a concrete number, z=2 and z=-2 both give 4. Near 4 there are two local choices of square root; near 0 the choices merge. What this tells us: local models reveal the special points where global behavior changes.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Analytic continuation extends a holomorphic function from one domain to another by matching power-series germs on overlapping neighborhoods. A continuation is a chain of compatible local holomorphic functions rather than a choice made point by point. ^{[Ahlfors §8; Conway Ch IX]}

The object is considered up to the natural equivalence relation in its category: biholomorphic change of coordinate for complex-analytic objects, isomorphism of bundles or divisors for geometric objects, and intertwining linear isomorphism for representations. This convention keeps formulas invariant under the allowed changes of local description.

Key theorem with proof [Intermediate+]

Theorem. On a connected domain, analytic continuation is unique when it exists: two continuations of the same germ along the same connected target agree everywhere on the common target.

Proof. Let U be the set of points where the two continued holomorphic functions agree. It is nonempty because the original germ is common. It is closed by continuity. It is open because if the functions agree at a point on a set with an accumulation point in a coordinate disk, the identity theorem gives equality on a smaller disk. Connectedness forces U to be the entire common target. ^{[Ahlfors §8; Conway Ch IX]}

Bridge. The construction here builds toward later units of the strand, where the same pattern is taken up at higher structure. The defining pattern appears again in those units in a sharpened form, where the local data is glued or quotiented. Putting these together, the foundational insight is that the data of this unit gives the structural signature that the rest of the strand reads off.

Exercises [Intermediate+]

Lean formalization [Intermediate+]

Mathlib contains related infrastructure, but the exact theorem package for this unit is only partially represented in the current Codex Lean layer.

import Mathlib

namespace Codex.RiemannSurfaces.ComplexAnalysis

theorem AnalyticContinuation_placeholder : True := by
  trivial

end Codex.RiemannSurfaces.ComplexAnalysis

Advanced results [Master]

The mature form of analytic continuation is functorial. Morphisms preserve the defining local data, and the invariants attached to the object descend to the relevant quotient category. In the complex-analytic strand this means divisors, periods, line bundles, and extension phenomena behave under holomorphic maps of Riemann surfaces. In the representation-theoretic strand this means weights, characters, enveloping algebras, and invariant measures behave under homomorphisms and restriction.

A second result is the comparison with the adjacent algebraic or analytic model. For Riemann surfaces, meromorphic data can often be read as line-bundle or divisor data; for representation theory, infinitesimal data in a Lie algebra often integrates to compact or complex group data under appropriate hypotheses. These comparison theorems are the reason the unit is placed as supporting material rather than isolated terminology. ^{[Ahlfors §8; Conway Ch IX]}

Synthesis. Analytic continuation is the mechanism by which local holomorphic data determines a global object: a power-series germ on a connected domain extends uniquely, and monodromy records the obstruction to doing so on a multiply connected space. The uniqueness theorem (identity principle) makes continuation a rigidity statement — holomorphic functions are constrained far more tightly than smooth ones — while the existence of multivalued continuations (logarithm, square root) motivates the passage from the complex plane to Riemann surfaces 06.03.01, where continuation becomes single-valued. Branch points 06.02.01 mark the failure of continuation in the plane, and the sheaf of germs built from continuation data underpins the cohomological machinery that drives Riemann-Roch 06.04.01 and the comparison between analytic and algebraic geometry via GAGA.

Full proof set [Master]

The local theorem above proves the invariant core used by downstream units. The global comparison theorems cited in Advanced results require the full machinery of the anchor texts: sheaf cohomology and compactness for the Riemann-surface statements, PBW and highest-weight theory for the Lie-algebraic statements, and Haar integration for compact groups. Those proofs are standard in the cited references and are recorded here as review targets rather than Lean-complete artifacts. ^{[Ahlfors §8; Conway Ch IX]}

Connections [Master]

• 06.01.01 supplies the local analytic language, 06.03.01 supplies the Riemann-surface setting, and 06.04.01 uses this unit as part of the global theory of curves, periods, or sheaf cohomology. The same ideas also interact with divisor and line-bundle constructions in 06.05.01 and 06.05.02.

• Riemann zeta function $\zeta (s)$ 21.03.01 — the paradigmatic application of analytic continuation in number theory. The Dirichlet series $\sum 1/n^s$ converges only for $\mathrm{Re}(s)>1$, yet the contour-deformation argument used by Riemann 1859 extends $\zeta$ meromorphically to all of $\mathbb{C}$ with a single simple pole at $s=1$. The construction is the prototype for analytic-continuation arguments throughout complex analysis and number theory.

Historical & philosophical context [Master]

Weierstrass organized analytic functions through power series and continuation of elements. Riemann emphasized surfaces on which continuation becomes single-valued; the two viewpoints meet in the sheaf of holomorphic germs. ^{[Weierstrass 1841 analytic continuation; Ahlfors §8; Conway Ch IX]}

Bibliography [Master]

• Weierstrass 1841 lectures on analytic continuation.
• Ahlfors §8; Conway Ch IX.