Многообразие Чжоу
Многообра́зие Чжо́у (схема Чжоу), алгебраическое многообразие, точки которого параметризуют все алгебраические подмногообразия размерности и степени проективного пространства .
В произведении , где – двойственное к проективное пространство, параметризующее гиперплоскости , рассматривается подмногообразие
Его образ при проекции на второй сомножитель есть гиперповерхность в , которая задаётся формой от системы и по переменным, однородной степени по каждой системе переменных. Форма называется ассоциированной формой (или формой Кэли) многообразия ; она полностью определяет подмногообразие . Эта форма была введена Б. Л. Ван дер Варденом и В. Чжоу (Wei-Liang Chow. 1937). Коэффициенты формы определены с точностью до постоянного множителя и называются координатами Чжоу многообразия .
Координаты Чжоу многообразия определяют точку , где – некоторая функция от . Точки , соответствующие всем неприводимым подмногообразиям размерности и степени , заполняют в квазипроективное подмногообразие , называемое многообразием Чжоу. Если рассматривать не только неприводимые подмногообразия, но и положительные алгебраические циклы (т. е. формальные линейные комбинации многообразий с целыми положительными коэффициентами) размерности и степени в , то получается замкнутое подмногообразие , которое также называется многообразием Чжоу. Многообразие Чжоу является базой универсального алгебраического семейства , где , индуцировано проекцией и слой в точке совпадает с циклом . Простейшими примерами многообразия Чжоу являются многообразия – кривых степени в . Так, – неприводимое многообразие размерности 4, изоморфное квадрике Плюккера в ; состоит из двух компонент размерности 8, где соответствует плоским кривым 2-го порядка, а – парам прямых; состоит из четырёх компонент размерности 12, которые соответствуют тройкам прямых, кривым, состоящим из прямой и плоской квадрики, плоским кубикам, неплоским кривым степени 3. Во всех этих случаях многообразия рациональны. Однако из нерациональности схемы модулей кривых достаточно большого рода следует, что при достаточно больших многообразия нерациональны (см. Harris. 1982).
Если – алгебраическое подмногообразие, то циклы размерности и степени , лежащие в , образуют алгебраическое подмногообразие . Этот результат позволяет ввести некоторую алгебро-геометрическую структуру на множестве положительных -мерных циклов многообразия (cм. Wei-Liang Chow. 1937).
О других подходах к проблеме классификации многообразий см. в статьях Схема Гильберта, Проблема модулей.