真空多様体

定義 4.1 の状況で、$V$ の最小点全体の集合 $\mathcal{M} = \{\phi : V(\phi) = \min V\}$ を真空多様体という。$G$ が $\mathcal{M}$ に推移的に作用するとき、軌道・固定部分群の対応により $\mathcal{M} \cong G/H$ である。