In the mathematical field of complex analysis, a global analytic function is a generalization of the notion of an analytic function which allows for functions to have multiple branches. Global analytic functions arise naturally in considering the possible analytic continuations of an analytic function, since analytic continuations may have a non-trivial monodromy. They are one foundation for the theory of Riemann surfaces.
Definition
The following definition is in Ahlfors (1979), but also found in Weyl or perhaps Weierstrass. An analytic function in an open set U is called a function element. Two function elements (f1, U1) and (f2, U2) are said to be analytic continuations of one another if U1 ∩ U2 ≠ ∅ and f1 = f2 on this intersection. A chain of analytic continuations is a finite sequence of function elements (f1, U1), …, (fn,Un) such that each consecutive pair are analytic continuations of one another; i.e., (fi+1, Ui+1) is an analytic continuation of (fi, Ui) for i = 1, 2, …, n − 1.
A global analytic function is a family f of function elements such that, for any (f,U) and (g,V) belonging to f, there is a chain of analytic continuations in f beginning at (f,U) and finishing at (g,V).
A complete global analytic function is a global analytic function f which contains every analytic continuation of each of its elements.
Sheaf-theoretic definition
Using ideas from sheaf theory, the definition can be streamlined. In these terms, a complete global analytic function is a path-connected sheaf of germs of analytic functions which is maximal in the sense that it is not contained (as an etale space) within any other path connected sheaf of germs of analytic functions.
References
- Ahlfors, Lars (1979), Complex analysis (3rd ed.), McGraw Hill, ISBN 978-0-07-000657-7