モイシェゾン多様体

数学において、モイシェゾン多様体Mは、各成分M上の有理型関数超越次数が成分の 複素次元に等しいようなコンパクトな複素多様体です。

薄暗いCM1つのMtrdeグラムCCM{\displaystyle \dim _{\mathbf {C} }M=a(M)=\operatorname {tr.deg.} _{\mathbf {C} }\mathbf {C} (M).}

複素代数多様体はこの性質をもつが、その逆は成り立たない。広中の例は、代数多様体やスキームではない滑らかな 3 次元モイシェゾン多様体を与える。 モイシェゾン (1967、第 1 章、定理 11) は、モイシェゾン多様体が射影代数多様体である場合と、ケーラー計量が存在する場合に限り、それを示した。アルティン (1970) は、任意のモイシェゾン多様体は代数空間構造をもつことを示した。より正確には、モイシェゾン空間 (モイシェゾン多様体に似ているが、特異点を持つことができる) のカテゴリは、Spec( C )上で適切な代数空間のカテゴリと同値である。

参考文献