モジュライ空間
モジュライ空間とは、幾何学的な分類問題の解のなす空間である。つまり、モジュライ空間の点は、幾何学的な問題の解に対応する。ここで別な解もあった場合は、この解が同型であるならば(幾何学的に同一ならば)、モジュライ空間の点としては同一の点となる。モジュライ空間は問題のパラメータの普遍空間を与えるものと考えられる。たとえば、合同を同一視してユークリッド平面のすべての円を求める問題を考えると、任意の円は与えられた3点から一意に定まるが、異なる三点の集合が同じ円を定めることがあるので対応は 多数 : 1 となる。しかし、円は中心と半径、即ち2つの実パラメータと1つの正の実数のパラメータで一意にパラメトライズできる。ここでは「合同での同一視」にのみ注目しているので、同じ半径を持つ異なる中心をもつ円は同一視するので、半径だけで興味の対象をパラメトライズするに充分である。従って、モジュライ空間は、正の実数の集合である。
モジュライ空間は、自然な幾何学的トポロジー的性質を持つ場合が多い。円の例では、モジュライ空間は抽象的な集合ではないが、異なる半径の絶対値が、2つの円の「近さ」を決める計量となる。モジュライ空間の幾何学的構造は、2つの幾何学的分類問題の解が近いか否かという局所的な構造を持っている一方で、込み入った大域的な構造も持っている。