What is the difference between holonomy and monodromy? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T23:40:27Z http://mathoverflow.net/feeds/question/95939 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/95939/what-is-the-difference-between-holonomy-and-monodromy What is the difference between holonomy and monodromy? James Propp 2012-05-04T00:47:26Z 2012-05-24T09:24:56Z <p>And what is the simplest example in which one is trivial and the other is not?</p> http://mathoverflow.net/questions/95939/what-is-the-difference-between-holonomy-and-monodromy/95944#95944 Answer by Misha for What is the difference between holonomy and monodromy? Misha 2012-05-04T01:45:31Z 2012-05-04T14:52:34Z <p>Holonomy= monodromy iff the bundle is flat. In general, monodromy group is the quotient of holonomy group by the normal subgroup formed by parallel transports along homotopic ally trivial loops. One of the simplest examples when two groups are different is the holonomy of the tangent bundle of the standard Riemannian metric on the 2-sphere. Then monodromy is trivial since sphere is simply-connected, while holonomy group is $SO(2)$. </p> <p>Two more remarks. First, the conundrum: What is the holonomy of a complete hyperbolic surface $S$? The answer: It depends who you ask. A differential geometer (like Robert Briant) would think of the tangent bundle and his answer would be $SO(2)$ or $O(2)$ (depending on orientability). A hyperbolic geometer (like William Thurston) would think of the hyperbolic structure as a special $(X,G)$-structure and answer: $\pi_1(S)\subset PSL(2, {\mathbb R})$. (An $(X,G)$ structure could be regarded as a flat $X$-bundle with a section transversal to the flat connection, so holonomy of the flat bundle is the holonomy of the structure.) If you were to ask me, I would say "It depends ..." </p> <p>Second remark: For cultural, historic, etc. reasons, given a flat bundle, differential geometers and topologists tend to use the word "holonomy," while people in algebraic geometry, complex analysis, singularity theory, tend to use the word "monodromy." </p> http://mathoverflow.net/questions/95939/what-is-the-difference-between-holonomy-and-monodromy/96024#96024 Answer by Liviu Nicolaescu for What is the difference between holonomy and monodromy? Liviu Nicolaescu 2012-05-04T20:58:10Z 2012-05-04T20:58:10Z <p>Both the monodromy and holonomy are morphisms from the fundamental group to another group. In case of the monodromy of the universal cover $p:\tilde{X}\to X$ is a morphism from $\pi_1(X,x_0)$ to the group of bijections of the fiber $p^{-1}(x_0)$. The holonomy of a flat connection connection on a vector bundle $E\to X$ over a smooth manifold $X$ is a morphism $\pi_1(X,x_0)\to GL(E_{x_0})$. There is also a notion of monodromy of locally constant sheaves. When asking about monodromy you should specify the monodromy of <em>what object</em> are you interested in.</p> http://mathoverflow.net/questions/95939/what-is-the-difference-between-holonomy-and-monodromy/96061#96061 Answer by Ronnie Brown for What is the difference between holonomy and monodromy? Ronnie Brown 2012-05-05T11:06:53Z 2012-05-24T09:24:56Z <p>I'm not sure the literature is entirely consistent on the use of these terms. </p> <p>Here are some ideas I learned from Jean Pradines' explanations in 1981 in Toulouse of his note </p> <ul> <li>Pradines, J., Th\'eorie de Lie pour les groupoides diff\'erentiables, relation entre propri\'et\'es locales et globales, Comptes Rendus Acad. Sci. Paris, S\'er A, 263 (1966), 907-910.</li> </ul> <p>the first of his 4 notes introducing the relation between Lie groupoids and Lie algebroids. The ideas for the first note were written up in detail in various work by research students at Bangor, with the full knowledge of Pradines. (Kirill Mackenzie worked quite independently on the succeeding theory of Lie groupoids and Lie algebroids, published in his 1987 book.) </p> <p>Intuitively, non trivial holonomy may be explained as an iteration of local procedures which return to the starting point with a change of phase. This idea is related to hysteresis, and shows the nice relation with physics. The problem is to define rigorously all the terms used in this explanation!</p> <p>A <em>Monodromy Principle</em> is enunciated in Chevalley's famous book Lie groups"; the Principle may be explained as giving an extension of a restriction of a local morphism to a morphism on a simply connected cover.</p> <p>In foliation theory, it is usual to define a monodromy groupoid as the disjoint union of the fundamental groupoids of the leaves, with a topology reflecting the local structure of the foliation; and to define the holonomy groupoid as a quotient of the monodromy groupoid. However this does not easily yield a Monodromy Principle. </p> <p>Pradines' idea for his Th\'eoreme 2 in the Note was to use the Monodromy Principle as guiding the construction of a Monodromy Groupoid of a Lie groupoid, generalising the universal cover of a connected Lie group. So, given a neighbourhood $W$ of the identities of a Lie groupoid, one forms the groupoid $M(W)$ which is universal for all local morphisms of $W$ into groupoids. The problem is to define an appropriate topology on $M(W)$ and Pradines solves this using a notion of holonomy groupoid, although in this case the holonomy is trivial (!).</p> <p>In the case of a Lie group $G$, the topology on $G$ is defined by a neighbourhood of the identity satisfying some reasonable conditions given in, for example, Bourbaki. Now one can define a <em>local Lie groupoid</em> to be a groupoid $G$ with a set $W$ containing the identities and satisfying a number of reasonable conditions. However it is no longer true that the topology of $W$ extends to a topology on $G$ making it a Lie groupoid. Instead there is, under reasonable conditions, a <em>Holonomy Groupoid</em> $Hol(G,W)$ which projects to $G$ and which has a Lie groupoid structure locally like $W$. The construction of Pradines is written up in: </p> <ul> <li>Aof, M.E.-S.A.-F. and Brown, R., The holonomy groupoid of a locally topological groupoid, Top. Appl. 47, 1992, 97-113</li> </ul> <p>(with the agreement of Pradines). It really does use the idea of `iteration of local procedures" where the local procedures here are given by Ehresmann's local admissible sections of $G$ with values in $W$. The holonomy groupoid $Hol(G,W)$ has a universal property for maps of Lie groupoids into $G$. </p> <p>The application to the monodromy groupoid is written up in: Brown, R. and Mucuk, O., The monodromy groupoid of a Lie groupoid, Cah. Top. G\'eom. Diff. Cat. 36 (1995) 345-369. </p> <p>See also: Mucuk, O., Kılı¸carslan, B., S¸ahan, T. and Alemdar N. Group-groupoid and monodromy groupoid, Topology and its Applications 158 (2011) 2034-2042.</p> <p>So holonomy comes out as a kind of right adjoint, and monodromy as a kind of left adjoint, which explains one difference. But there seems still work to do to explain everything stated in the two Theorems of Pradines' first Note, and to apply these ideas more widely. This is a reason for advertising Pradines' ideas here. </p>