モノドロミー
数学では、モノドロミー (monodromy) は、解析学、代数トポロジー、代数幾何学や微分幾何学の観点から特異点の周りで対象がどのように振舞うかを研究する。名前が意味しているように、モノドロミーの基本的な意味は、「ひとりで回る」という意味である。被覆写像と被覆写像の分岐点への退化とは密接に関係している。モノドロミー現象が生ずることは、定義したある函数が一価性に失敗することを意味し、特異点の周りを回る経路を動くことである。このモノドロミーの失敗は、モノドロミー群を定義することによりうまく測ることができる。モノドロミー群は、「回る」ことに伴い起きることをエンコードするデータに作用する群である。
"X" を "x" を基点とする連結で局所連結な位相空間とし、formula_1 をファイバー(fiber) formula_2 を持つ被覆写像とする。"x" を基点とするループ に対し、被覆写像（出発点を formula_3 とする）のしたでの(lift)を formula_4 で表す。さらに、formula_5 により終点を表し、そこでは一般に formula_6 は異なっている。この構成が "F" の基本群 をうまく定義することができ、formula_6 の安定化部分群は、ちょうど formula_8 に一致する。すなわち、元 [γ] は "F" の点を固定することと、formula_6 を起点とする formula_10 の中のループの像により表現されることと同値である。この作用は、モノドロミー作用 (monodromy action) と呼ばれ、対応する "F" の自己同型群への準同型 はモノドロミーである。この準同型の像がモノドロミー群 (monodromy group) である。
これらのアイデアは、まず複素解析の中で明らかになった。解析接続の過程では、穴あき複素平面 formula_11 のある開集合 "E" で解析函数 "F"("z") であるような函数は、"E" の中に戻ってきたとき、異なる値となるかも知れない。たとえば、
とすると、円
を反時計回りに回る解析接続は、"F"("z") ではなく、
この場合、モノドロミー群は無限巡回群であり、被覆空間は穴あき複素平面の普遍被覆である。この被覆は、 とした場合に、(helicoid)として視覚化できる。明白な方法で螺旋を潰して穴あき平面を得るという意味で、被覆写像は垂直射影である。
重要な応用のひとつが微分方程式であり、そこではひとつの解が解析接続により線型独立な解たちを与えることとなる。さらに詳しくは、複素平面内の開いた連結集合 S の中で定義された線型微分方程式が S の基本群の線型表現であるループを回るすべての解析接続のモノドロミー群を持つ。与えられた表現を持ち(regular singularities)を持つ方程式を構成する逆問題を(Riemann–Hilbert problem)という。
確定特異点を持つ線型系（とくにフックス型の）に対し、通常、反時計回りの系の曲のひとつの回りにある各々のループに対応する作用素 M が、モノドロミーの生成子として選択される。反時計回りに回ると、インデックス j が 1 から p + 1 へ増えるような方法で選択されると、生成子の間の唯一の関係式は formula_12 となる。(Deligne–Simpson problem)は次のような実現問題である。GL(n, C) の共役類の組に対し、上記の関係式を満たす行列の既約な組 M がこれらのクラスに存在するか？ この問題は、ドリーニュ(Pierre Deligne)により最初に定式化され、(Carlos Simpson)によりこの解決へ向けた最初の結果が得られた。フックス系の留数についての加法的な版の問題は、(Vladimir Kostov)により定式化され研究された。この問題は、多くの数学者により GL(n, C) 以外に対しても同様に考えられた。
被覆写像の場合は、モノドロミーを(fibration)の特別の場合と見ることができ、(homotopy lifting property)を使い、被覆 "C" へ持ち上げると底空間 "X"（簡単のために "X" を弧状連結と仮定して）上の経路に従うように見える。"X" 上の "x" を出発点とするループを回ると、"x" 上の "c" を出発点となるようにリフトし、再び "x" 上の "c" を終点とする。 となり、このことをコード化すると、基本群 の作用を、すべての "c" の集合上の置換群として、この脈絡ではモノドロミー群として考える。
微分幾何学では、類似した役割を(parallel transport)が担う。滑らかな多様体(smooth manifold) "M" 上の主束 "B" では、接続は、"M" の中の "m" 上のファイバーから近くのファイバーへの「水平」移動を持っている。"m" を起点としたループへ適用したときの効果は、"m" でのファイバーの変換の群の(holonomy)を定義することである。"B" の構造群が "G" であれば、積束 から "B" のどのくらい離れているかを測る "G" の部分群である。
基本亜群の類似として、起点を選択をせずにモノドロミー亜群を定義することが可能である。ここに、ファイバー構成 formula_13 の底空間 "X" の中のリフト（のホモトピー類）を考える。結果は底空間 "X" 上の(groupoid)の構造を持つ。有利な点は、"X" の連結性条件を落とすことができるということである。
さらに、構造は(foliation)へ一般化することができる。formula_14 を "M" の（特異性を持ってもよいが）葉層構造とすると、formula_15 上のすべての葉の中の経路に対し、終点を通る局所(transversal section)上の誘導された微分同相を考えることができる。単連結なチャートの中では、終点の周りの微分同相の芽の上で考える限りは、この微分同相は一意的で異なる横断的切断の間で特別に標準的となる。この方法では、単連結なときに微分同相は（固定された終点の）経路には依存しなく、従ってホモトピー不変である。
F("x") で体 F 上の変数 "x" の有理函数の体を表す。これは多項式環 F["x"] の分数体である。F("x") の元 は、有限次拡大 を決定する。
拡大は一般的にはガロア拡大ではないが、ガロア閉包 "L"("f") を持っている。体の拡大 に付帯するガロア群を "f" のモノドロミー群と呼ぶ。
このことは、被覆空間のガロア理論に関連していて、リーマンの存在定理を導く。