Monodromy

Last updated July 25, 2024

In mathematics, monodromy is the study of how objects from mathematical analysis, algebraic topology, algebraic geometry and differential geometry behave as they "run round" a singularity. As the name implies, the fundamental meaning of monodromy comes from "running round singly". It is closely associated with covering maps and their degeneration into ramification; the aspect giving rise to monodromy phenomena is that certain functions we may wish to define fail to be single-valued as we "run round" a path encircling a singularity. The failure of monodromy can be measured by defining a monodromy group: a group of transformations acting on the data that encodes what happens as we "run round" in one dimension. Lack of monodromy is sometimes called polydromy.^[1]

Definition

Let $X$ be a connected and locally connected based topological space with base point $x$ , and let $p:{\tilde {X}}\to X$ be a covering with fiber $F=p^{-1}(x)$ . For a loop $γ: [0, 1] \to X$ based at $x$ , denote a lift under the covering map, starting at a point ${\tilde {x}}\in F$ , by ${\tilde {\gamma }}$ . Finally, we denote by ${\tilde {x}}\cdot \gamma$ the endpoint ${\tilde {\gamma }}(1)$ , which is generally different from ${\tilde {x}}$ . There are theorems which state that this construction gives a well-defined group action of the fundamental group $π 1 (X, x)$ on $F$ , and that the stabilizer of ${\tilde {x}}$ is exactly $p_{*}\left(\pi _{1}\left({\tilde {X}},{\tilde {x}}\right)\right)$ , that is, an element $[γ]$ fixes a point in $F$ if and only if it is represented by the image of a loop in ${\tilde {X}}$ based at ${\tilde {x}}$ . This action is called the monodromy action and the corresponding homomorphism $π 1 (X, x) \to Aut(H * (F x))$ into the automorphism group on $F$ is the algebraic monodromy. The image of this homomorphism is the monodromy group. There is another map $π 1 (X, x) \to Diff(F x)/Is(F x)$ whose image is called the topological monodromy group.

Example

These ideas were first made explicit in complex analysis. In the process of analytic continuation, a function that is an analytic function $F (z)$ in some open subset $E$ of the punctured complex plane $\mathbb {C} \backslash \{0\}$ may be continued back into $E$ , but with different values. For example, take

{\begin{aligned}F(z)&=\log(z)\\E&=\{z\in \mathbb {C} \mid \operatorname {Re} (z)>0\}\end{aligned}}

then analytic continuation anti-clockwise round the circle

|z|=1

will result in the return, not to $F (z)$ but

F(z)+2\pi i

In this case the monodromy group is infinite cyclic and the covering space is the universal cover of the punctured complex plane. This cover can be visualized as the helicoid (as defined in the helicoid article) restricted to $ρ > 0$ . The covering map is a vertical projection, in a sense collapsing the spiral in the obvious way to get a punctured plane.

Differential equations in the complex domain

One important application is to differential equations, where a single solution may give further linearly independent solutions by analytic continuation. Linear differential equations defined in an open, connected set S in the complex plane have a monodromy group, which (more precisely) is a linear representation of the fundamental group of S, summarising all the analytic continuations round loops within S. The inverse problem, of constructing the equation (with regular singularities), given a representation, is a Riemann–Hilbert problem.

For a regular (and in particular Fuchsian) linear system one usually chooses as generators of the monodromy group the operators M_j corresponding to loops each of which circumvents just one of the poles of the system counterclockwise. If the indices j are chosen in such a way that they increase from 1 to p + 1 when one circumvents the base point clockwise, then the only relation between the generators is the equality $M_{1}\cdots M_{p+1}=\operatorname {id}$ . The Deligne–Simpson problem is the following realisation problem: For which tuples of conjugacy classes in GL(n, C) do there exist irreducible tuples of matrices M_j from these classes satisfying the above relation? The problem has been formulated by Pierre Deligne and Carlos Simpson was the first to obtain results towards its resolution. An additive version of the problem about residua of Fuchsian systems has been formulated and explored by Vladimir Kostov. The problem has been considered by other authors for matrix groups other than GL(n, C) as well.^[2]

Topological and geometric aspects

In the case of a covering map, we look at it as a special case of a fibration, and use the homotopy lifting property to "follow" paths on the base space X (we assume it path-connected for simplicity) as they are lifted up into the cover C. If we follow round a loop based at x in X, which we lift to start at c above x, we'll end at some c* again above x; it is quite possible that c ≠ c*, and to code this one considers the action of the fundamental group $π$ ₁(X, x) as a permutation group on the set of all c, as a monodromy group in this context.

In differential geometry, an analogous role is played by parallel transport. In a principal bundle B over a smooth manifold M, a connection allows "horizontal" movement from fibers above m in M to adjacent ones. The effect when applied to loops based at m is to define a holonomy group of translations of the fiber at m; if the structure group of B is G, it is a subgroup of G that measures the deviation of B from the product bundle M × G.

Monodromy groupoid and foliations

Analogous to the fundamental groupoid it is possible to get rid of the choice of a base point and to define a monodromy groupoid. Here we consider (homotopy classes of) lifts of paths in the base space X of a fibration $p:{\tilde {X}}\to X$ . The result has the structure of a groupoid over the base space X. The advantage is that we can drop the condition of connectedness of X.

Moreover the construction can also be generalized to foliations: Consider $(M,{\mathcal {F}})$ a (possibly singular) foliation of M. Then for every path in a leaf of ${\mathcal {F}}$ we can consider its induced diffeomorphism on local transversal sections through the endpoints. Within a simply connected chart this diffeomorphism becomes unique and especially canonical between different transversal sections if we go over to the germ of the diffeomorphism around the endpoints. In this way it also becomes independent of the path (between fixed endpoints) within a simply connected chart and is therefore invariant under homotopy.

Definition via Galois theory

Let F(x) denote the field of the rational functions in the variable x over the field F, which is the field of fractions of the polynomial ring F[x]. An element y = f(x) of F(x) determines a finite field extension [F(x) : F(y)].

This extension is generally not Galois but has Galois closure L(f). The associated Galois group of the extension [L(f) : F(y)] is called the monodromy group of f.

In the case of F = C Riemann surface theory enters and allows for the geometric interpretation given above. In the case that the extension [C(x) : C(y)] is already Galois, the associated monodromy group is sometimes called a group of deck transformations.

This has connections with the Galois theory of covering spaces leading to the Riemann existence theorem.

Notes

↑ König, Wolfgang; Sprekels, Jürgen (2015). Karl Weierstraß (1815–1897): Aspekte seines Lebens und Werkes – Aspects of his Life and Work (in German). Springer-Verlag. pp. 200–201. ISBN 9783658106195 . Retrieved 5 October 2017.
↑ V. P. Kostov (2004), "The Deligne–Simpson problem — a survey", J. Algebra, 281 (1): 83–108, arXiv: math/0206298 , doi:10.1016/j.jalgebra.2004.07.013, MR 2091962, S2CID 119634752 and the references therein.

Related Research Articles

In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent have isomorphic fundamental groups. The fundamental group of a topological space $is denoted by .$

In mathematics, especially in category theory and homotopy theory, a groupoid generalises the notion of group in several equivalent ways. A groupoid can be seen as a:

In topology, a covering or covering projection is a map between topological spaces that, intuitively, locally acts like a projection of multiple copies of a space onto itself. In particular, coverings are special types of local homeomorphisms. If $is a covering, is said to be a covering space or cover of, and is said to be the base of the covering, or simply the base . By abuse of terminology, and may sometimes be called covering spaces as well. Since coverings are local homeomorphisms, a covering space is a special kind of étale space.$

In mathematics, a Lie algebroid is a vector bundle $together with a Lie bracket on its space of sections and a vector bundle morphism, satisfying a Leibniz rule. A Lie algebroid can thus be thought of as a "many-object generalisation" of a Lie algebra.$

In mathematics, a Lie groupoid is a groupoid where the set $of objects and the set of morphisms are both manifolds, all the category operations are smooth, and the source and target operations$

<span class="mw-page-title-main">Foliation</span> In mathematics, a type of equivalence relation on an n-manifold

In mathematics, a foliation is an equivalence relation on an n-manifold, the equivalence classes being connected, injectively immersed submanifolds, all of the same dimension p, modeled on the decomposition of the real coordinate space Rⁿ into the cosets x + R^p of the standardly embedded subspace R^p. The equivalence classes are called the leaves of the foliation. If the manifold and/or the submanifolds are required to have a piecewise-linear, differentiable, or analytic structure then one defines piecewise-linear, differentiable, or analytic foliations, respectively. In the most important case of differentiable foliation of class C^r it is usually understood that r ≥ 1. The number p is called the dimension of the foliation and q = n − p is called its codimension.

In the mathematical field of complex analysis, a branch point of a multivalued function is a point such that if the function is $-valued at that point, all of its neighborhoods contain a point that has more than values. Multi-valued functions are rigorously studied using Riemann surfaces, and the formal definition of branch points employs this concept.$

In geometric topology, a field within mathematics, the obstruction to a homotopy equivalence $of finite CW-complexes being a simple homotopy equivalence is its Whitehead torsion which is an element in the Whitehead group . These concepts are named after the mathematician J. H. C. Whitehead.$

In mathematics, in the field of algebraic geometry, the period mapping relates families of Kähler manifolds to families of Hodge structures.

In mathematics, the term Riemann–Hilbert correspondence refers to the correspondence between regular singular flat connections on algebraic vector bundles and representations of the fundamental group, and more generally to one of several generalizations of this. The original setting appearing in Hilbert's twenty-first problem was for the Riemann sphere, where it was about the existence of systems of linear regular differential equations with prescribed monodromy representations. First the Riemann sphere may be replaced by an arbitrary Riemann surface and then, in higher dimensions, Riemann surfaces are replaced by complex manifolds of dimension > 1. There is a correspondence between certain systems of partial differential equations and possible monodromies of their solutions.

In complex analysis, the monodromy theorem is an important result about analytic continuation of a complex-analytic function to a larger set. The idea is that one can extend a complex-analytic function along curves starting in the original domain of the function and ending in the larger set. A potential problem of this analytic continuation along a curve strategy is there are usually many curves which end up at the same point in the larger set. The monodromy theorem gives sufficient conditions for analytic continuation to give the same value at a given point regardless of the curve used to get there, so that the resulting extended analytic function is well-defined and single-valued.

In mathematics a stack or 2-sheaf is, roughly speaking, a sheaf that takes values in categories rather than sets. Stacks are used to formalise some of the main constructions of descent theory, and to construct fine moduli stacks when fine moduli spaces do not exist.

Bass–Serre theory is a part of the mathematical subject of group theory that deals with analyzing the algebraic structure of groups acting by automorphisms on simplicial trees. The theory relates group actions on trees with decomposing groups as iterated applications of the operations of free product with amalgamation and HNN extension, via the notion of the fundamental group of a graph of groups. Bass–Serre theory can be regarded as one-dimensional version of the orbifold theory.

In the mathematical subject of group theory, the Grushko theorem or the Grushko–Neumann theorem is a theorem stating that the rank of a free product of two groups is equal to the sum of the ranks of the two free factors. The theorem was first obtained in a 1940 article of Grushko and then, independently, in a 1943 article of Neumann.

In the mathematical theory of special functions, Schwarz's list or the Schwartz table is the list of 15 cases found by Hermann Schwarz when hypergeometric functions can be expressed algebraically. More precisely, it is a listing of parameters determining the cases in which the hypergeometric equation has a finite monodromy group, or equivalently has two independent solutions that are algebraic functions. It lists 15 cases, divided up by the isomorphism class of the monodromy group, and was first derived by Schwarz by methods of complex analytic geometry. Correspondingly the statement is not directly in terms of the parameters specifying the hypergeometric equation, but in terms of quantities used to describe certain spherical triangles.

In mathematics, Picard–Lefschetz theory studies the topology of a complex manifold by looking at the critical points of a holomorphic function on the manifold. It was introduced by Émile Picard for complex surfaces in his book Picard & Simart (1897), and extended to higher dimensions by Solomon Lefschetz. It is a complex analog of Morse theory that studies the topology of a real manifold by looking at the critical points of a real function. Pierre Deligne and Nicholas Katz extended Picard–Lefschetz theory to varieties over more general fields, and Deligne used this generalization in his proof of the Weil conjectures.

In geometry, if X is a manifold with an action of a topological group G by analytical diffeomorphisms, the notion of a (G, X)-structure on a topological space is a way to formalise it being locally isomorphic to X with its G-invariant structure; spaces with a (G, X)-structure are always manifolds and are called (G, X)-manifolds. This notion is often used with G being a Lie group and X a homogeneous space for G. Foundational examples are hyperbolic manifolds and affine manifolds.

In the ADM formulation of general relativity one splits spacetime into spatial slices and time, the basic variables are taken to be the induced metric, $, on the spatial slice, and its conjugate momentum variable related to the extrinsic curvature,,. These are the metric canonical coordinates.$

In algebraic topology, the fundamental groupoid is a certain topological invariant of a topological space. It can be viewed as an extension of the more widely-known fundamental group; as such, it captures information about the homotopy type of a topological space. In terms of category theory, the fundamental groupoid is a certain functor from the category of topological spaces to the category of groupoids.

[...] people still obstinately persist, when calculating with fundamental groups, in fixing a single base point, instead of cleverly choosing a whole packet of points which is invariant under the symmetries of the situation, which thus get lost on the way. In certain situations it is much more elegant, even indispensable for understanding something, to work with fundamental groupoids with respect to a suitable packet of base points, [,,,]

In mathematics, in particular algebraic geometry, Hurwitz spaces are moduli spaces of ramified covers of the projective line, and they are related to the moduli of curves. Their rational points are of interest for the study of the inverse Galois problem, and as such they have been extensively studied by arithmetic geometers. More precisely, Hurwitz spaces classify isomorphism classes of Galois covers with a given automorphism group $and a specified number of branch points. The monodromy conjugacy classes at each branch point are also commonly fixed. These spaces have been introduced by Adolf Hurwitz which showed the connectedness of the Hurwitz spaces in the case of simply branched covers.$

References

V. I. Danilov (2001) [1994], "Monodromy", Encyclopedia of Mathematics , EMS Press
"Group-groupoids and monodromy groupoids", O. Mucuk, B. Kılıçarslan, T. ¸Sahan, N. Alemdar, Topology and its Applications 158 (2011) 2034–2042 doi:10.1016/j.topol.2011.06.048
R. Brown Topology and Groupoids (2006).
P.J. Higgins, "Categories and groupoids", van Nostrand (1971) TAC Reprint
H. Żołądek, "The Monodromy Group", Birkhäuser Basel 2006; doi: 10.1007/3-7643-7536-1

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[König2015-1] König, Wolfgang; Sprekels, Jürgen (2015). Karl Weierstraß (1815–1897): Aspekte seines Lebens und Werkes – Aspects of his Life and Work (in German). Springer-Verlag. pp. 200–201. ISBN 9783658106195 . Retrieved 5 October 2017.

[2] V. P. Kostov (2004), "The Deligne–Simpson problem — a survey", J. Algebra, 281 (1): 83–108, arXiv: math/0206298 , doi:10.1016/j.jalgebra.2004.07.013, MR 2091962, S2CID 119634752 and the references therein.

[1]

[2]