در ریاضیات، یک خمینه مویشزون (به انگلیسی: Moishezon manifold) یک خمینه مختلط همبند فشرده است که میدان تابع های مرومورفیک روی هر مؤلفه آن دارای درجه تعالی برابر با بُعد این خمینه است. به زبان دیگر:
d i m C M = a ( M ) = t r . d e g C C ( M ) {\displaystyle dim_{\mathbb {C} }M=a(M)=tr.deg_{\mathbb {C} }\mathbb {C} (M)}
در این برابری، C ( M ) {\displaystyle \mathbb {C} (M)} میدان تابع های مرومورفیک روی M {\displaystyle M} و d i m C M {\displaystyle dim_{\mathbb {C} }M} نشانگر بُعد M {\displaystyle M} می باشد. این خمینه ها به افتخار ریاضیدان اوکراینی بوریس مویشزون که نخستین بار آنها را معرفی نمود، نامیده شده اند. چندگوناهای مختلط جبری همه دارای این ویژگی هستند. به سخن دیگر، هر چندگونای جبری مختلط یک خمینه مویشزون است ولی وارون این قضیه درست نیست. هیروناکا مثالی از یک خمینه مویشزون از بُعد ۳ ارائه کرده است که چندگونای جبری یا طرح نیست. مویشزون در سال ثابت کرد که یک خمینه مویشزون، یک چندگونای تصویری جبری است اگر و تنها اگر یک متریک کلر بپذیرد. آرتین در سال ۱۹۷۰ نشان داد که هر خمینه مویشزون پذیرای ساختار یک فضای جبری است.
d i m C M = a ( M ) = t r . d e g C C ( M ) {\displaystyle dim_{\mathbb {C} }M=a(M)=tr.deg_{\mathbb {C} }\mathbb {C} (M)}
در این برابری، C ( M ) {\displaystyle \mathbb {C} (M)} میدان تابع های مرومورفیک روی M {\displaystyle M} و d i m C M {\displaystyle dim_{\mathbb {C} }M} نشانگر بُعد M {\displaystyle M} می باشد. این خمینه ها به افتخار ریاضیدان اوکراینی بوریس مویشزون که نخستین بار آنها را معرفی نمود، نامیده شده اند. چندگوناهای مختلط جبری همه دارای این ویژگی هستند. به سخن دیگر، هر چندگونای جبری مختلط یک خمینه مویشزون است ولی وارون این قضیه درست نیست. هیروناکا مثالی از یک خمینه مویشزون از بُعد ۳ ارائه کرده است که چندگونای جبری یا طرح نیست. مویشزون در سال ثابت کرد که یک خمینه مویشزون، یک چندگونای تصویری جبری است اگر و تنها اگر یک متریک کلر بپذیرد. آرتین در سال ۱۹۷۰ نشان داد که هر خمینه مویشزون پذیرای ساختار یک فضای جبری است.
wiki: خمینه مویشزون