Executive summary
Moving from one complex variable to several changes the representation problem substantially. Singular sets can be analytic curves or higher-dimensional subsets rather than isolated points, and composition can force a map to lie inside a singular set. The appendix therefore reformulates solvability locally in terms of germs: a branch near a point is representable when its germ can be constructed from basic germs by allowed operations. It introduces a class of germs with controlled 'thin' singular sets and a stronger continuation property designed to behave well under pullback and composition. This class is stated to be closed under differentiation, integration, composition, algebraic equation solving and solutions of finite-dimensional linear differential systems. Monodromy and monodromy-pair obstructions then extend to several variables.
What this handbook page teaches
- Understand why several variables require a germ-based local formulation.
- Define integration and algebraic solving at the level of function germs.
- Use thin singular sets to formulate an admissible analytic multi-valued class.
- Recognise closure under natural multi-variable operations.
- Apply soluble monodromy and almost-soluble monodromy-pair obstructions to local branches.
Core concepts
Why germs replace global branches
In one variable, isolated singular points make analytic continuation around the complement comparatively manageable. In several variables, a singular set may itself contain curves or surfaces along which some germs still exist. Composing with another analytic map can place an entire image inside such a singular set.
The appendix therefore asks a local question: can a chosen germ of a branch at a point be expressed in terms of germs of basic functions by the allowed operations? A multi-valued function is treated as its collection of local single-valued branches.
Local operations and quadratures
Integration of germs is defined through a closed differential one-form: a germ f is obtained by integration when its partial derivatives match specified germs and the compatibility conditions hold. An exponential-of-integral construction is defined similarly. Algebraic solving means adjoining a germ satisfying a polynomial relation whose coefficients are known germs.
Quadrature and generalised quadrature classes are then generated from constant germs by arithmetic, integration and exponential-of-integral operations, with algebraic equation solving added in the generalised class. The appendix states that these classes include rational and standard elementary germs and are closed under composition.
Thin singular sets and continuation class
A subset of a complex analytic manifold is called thin when it can be covered by countably many analytic subspaces inside countably many open sets, in the source's definition. An analytic multi-valued function belongs to the broad multi-variable class when the singular sets of its regular germs are thin.
A stronger germ property is introduced so that after pullback by any analytic map, the germ can be continued along curves outside a suitably thin exceptional set. The appendix states closure of this class under differentiation, integration, composition, algebraic solving and finite-dimensional linear differential systems. This supports well-defined monodromy invariants after multi-variable operations.
Working method
Use the following sequence as a repeatable analysis workflow. The steps are ordered to separate definitions and admissibility checks from structural conclusions, so a result can be audited without relying on intuition or an unverified diagram.
- Choose a point and a specific local branch; formulate the target as a germ rather than as a global multi-valued function.
- List the allowed local operations and verify their compatibility conditions, especially closedness for integration.
- Identify the singular set and determine whether it fits the thin-set framework used by the source.
- For composition, examine how the mapping meets the singular set; do not assume one-variable isolation behaviour.
- Use the source's stronger continuation-germ class when repeated pullback and continuation along singular loci are involved.
- Compute local or global monodromy where defined and test solubility for quadrature representation; when algebraic solving is allowed, use the monodromy-pair criterion.
- Treat non-soluble local monodromy as a local obstruction: if a germ already has forbidden branch structure near one point, no global formula in the permitted class can repair it.
Local monodromy as a composition obstruction
The appendix gives a representative phenomenon: an algebraic function of two variables can have a local branch-permutation group near a singular point equal to the full five-symbol permutation group. By contrast, a function built locally from sums and differences of algebraic one-variable functions has a much more restricted local monodromy structure.
Because the full five-symbol group is non-soluble, the target local germ cannot be represented by that restricted composition class. The obstruction is local: it relies on continuation around singularities in an arbitrarily small neighbourhood rather than on the global shape of the function.
The example also shows why adding division can change the conclusion. Division can destroy locality by introducing poles and moving information non-locally through ratios. The permitted operation list must therefore be kept exact when interpreting any non-representability theorem.
Technical reasoning and deeper connections
Several-variable representation problems are sensitive to the domains on which branches and operations are defined. The appendix explicitly departs from a looser one-variable convention where different intermediate continuations could live on different domains. Local germs give a precise common setting.
The closure theorem for the advanced germ class is deliberately broad. It is intended to survive not only ordinary quadrature operations but also algebraic solving and finite-dimensional linear differential systems. As a result, failure to belong to this class is a strong non-representability certificate.
The multi-variable monodromy group and monodromy pair generalise the one-variable notions once the required continuation properties are available. Soluble monodromy is preserved by integration and differentiation in the stated class, while almost-soluble pairs survive the additional algebraic-solving operation.
For algebraic equations with rational functions of several variables as coefficients, non-soluble monodromy blocks radical solvability and, under the stronger theorem stated in the appendix, blocks representation by a wider collection of operations involving suitable single-valued functions, integration, differentiation and composition.
These sections are a research-level survey. The definitions of thin sets, analytic manifolds and continuation germs have substantial technical background. The handbook should therefore explain the structural purpose of the definitions without pretending to replace a full several-complex-variables course.
Quick-reference matrix
| One-variable feature | Several-variable complication | Appendix response |
|---|---|---|
| Singularities often isolated | Singular sets may contain positive-dimensional analytic subsets | Use thin singular sets. |
| Global branch continuation convenient | Composition can run along singular loci | Work with local germs and pullbacks. |
| Quadrature defined along one variable | Integration requires compatible partial derivatives | Use closed one-form conditions. |
| Monodromy from punctured plane | Continuation occurs in higher-dimensional complements | Use germ continuation on analytic manifolds. |
| Algebraic solving adds finite branching | Action structure matters | Use monodromy pairs for generalised quadratures. |
Common mistakes
- Applying one-variable isolated-singularity intuition directly in several variables.
- Defining an integral germ without checking compatibility of partial derivatives.
- Treating a multi-valued function as one global branch when the appendix explicitly works germ-by-germ.
- Assuming composition preserves continuation without examining the image of singular sets.
- Using monodromy when the necessary continuation property has not been established.
- Overlooking that adding division or algebraic solving changes the admissible class and may change the obstruction.
Verification checklist
Before accepting a solution or proof, confirm each item below. These checks are intentionally practical: they catch the most common category errors, missing hypotheses and structure mismatches.
- Target is stated as a germ of a chosen branch at a point.
- Allowed operations are the exact local operations of the class under study.
- Integration data satisfy closedness/compatibility conditions.
- Singular sets meet the thin-set hypotheses where invoked.
- Monodromy or monodromy-pair invariants are defined for the chosen continuation class.
- Local non-solubility conclusions are not overextended to operation classes with different rules.
Frequently asked questions
What is a germ?
It is the local equivalence class of a function near a point; two representatives define the same germ if they agree on some neighbourhood of that point.
Why is a germ formulation useful for multi-valued functions?
It isolates one local branch and lets operations be defined consistently on small neighbourhoods before analytic continuation is considered.
What does a thin singular set achieve?
It provides a controlled exceptional set broad enough for several-variable analytic functions while still supporting continuation and monodromy arguments.
Why can division change a local non-representability result?
Division can introduce poles and destroy locality assumptions, so a theorem proved for compositions, sums and differences need not survive when ratios are allowed.
Source scope
The appendix's several-variable material is an advanced survey with technical definitions and cited closure results. This page preserves the stated scope rather than inventing missing proofs.
Source basis: this page is a handbook-style synthesis of the uploaded mathematics source, principally sections A.12, A.13, A.14, A.15. It paraphrases the supplied material and does not reproduce source artwork or long source passages. Historical names, publisher details and personal details have been intentionally omitted.