Обзор кривых 6-й и 7-й степеней: первая часть шестнадцатой проблемы Гильберта

В своей предыдущей публикации https://habr.com/ru/articles/1090172/ я представил программную реализацию алгоритма полного перебора для всех конфигураций кривых 8-й степени https://gitverse.ru/mshshukin2005/real-schemes-degree8. Полученные результаты были оформлены в виде препринта и выложены в открытый доступ: https://zenodo.org/records/23240531.

Опираясь на более поздние исследования О. Виро https://www.math.stonybrook.edu/~oleg/math/papers/1989-PloVeAlgKr-postr.pdf и работы С. Ю. Оревкова (S. Yu. Orevkov. Classification of flexible M-curves of degree 8 up to isotopy // Geom. Funct. Anal. — 2002. — Vol. 12, no. 4. — P. 723–755.), верхняя оценка была снижена до 2861 схемы. Следовательно, принимая во внимание выводы Z. Geiselmann, M. Joswig, L. Kastner и др. в работе Limits of combinatorial patchworking https://arxiv.org/pdf/2602.06888 (2026 г.) о 2367 допустимых конфигурациях Т-кривых, для окончательной систематизации октанта остается подтвердить реализуемость либо доказать невозможность не более чем 494 схем.

Предложенный метод исчерпывающего перебора с учетом накладываемых ограничений масштабируется на произвольный порядок кривой. Используя подходы из статьи Ю. С. Численко (Chislenko, Y.S. M-curves of degree 10. J Math Sci 26, 1689–1699 (1984), https://doi.org/10.1007/BF01106447), мне удалось адаптировать алгоритм для М-кривых 10-й степени (на данный момент это предварительные расчеты), код доступен в репозитории: https://gitverse.ru/mshshukin2005/real-schemes-M-curves-degree10. Верификация правильности вычислений проводилась параллельно двумя методами: путем генерации через комбинаторные формулы и через развертку полного набора полиномов с последующей канонизацией для удаления дубликатов. Исключительно для М-кривых 10-го порядка получена строгая верхняя граница в 71592 конфигурации, что прекрасно коррелирует с эвристической оценкой Численко «около 70 000». Результаты перебора комбинаторных конструкций полностью совпали с данными из массива с дублями. Полномасштабный проверочный прогон для степени 10 будет проведен позже, а итоговые данные опубликуют в репозитории по мере готовности.

В фокусе внимания текущей статьи находятся шестая и седьмая степени, для которых полная классификация уже завершена:

В 1980 году Олег Виро опубликовал исчерпывающую классификацию кривых 7-й степени, включающую 121 вещественную схему (Источник [3]: https://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=dan&paperid=43983&option_lang=rus). Позднее для септик были построены 4 триангуляции, покрывающие все 121 конфигурацию; для каждого случая предоставлены сертификаты и распределения знаков, позволяющие восстановить явный вид полинома через патчворк, однако готовые каталоги многочленов в публикации не приводятся (Источник [7]: Z. Geiselmann, M. Joswig, L. Kastner et al. Limits of combinatorial patchworking https://arxiv.org/pdf/2602.06888 — 2026).

Источник: https://habr.com/ru/articles/1090172/

Прежде всего, очевидно, что существенная доля конфигураций степени 7 формируется посредством прямого произведения (путем перемножения многочленов меньших степеней — такие кривые называются распадающимися). Опираясь на готовые формулы классификации для 6-й степени https://arxiv.org/pdf/1703.01660, можно сконструировать 56 из 121 схемы для септик (что составляет чуть меньше половины всего перечня), просто домножив подходящую секстику на линейный множитель, не пересекающий ее внутренние овалы.

Ниже представлены иллюстрации, полученные на основе явных уравнений из работы авторов [14]: Nidhi Kaihnsa, Mario Kummer, Daniel Plaumann, Mahsa Sayyary Namin и Bernd Sturmfels (https://arxiv.org/pdf/1703.01660).

Насколько мне известно, исчерпывающий визуальный каталог всех 64 представителей из работы [14] ранее не публиковался: авторы использовали классификатор топологических типов без графического рендеринга, ограничившись отрисовкой лишь выборочных возмущений для каждого класса. Мною был собран полный независимый атлас для 6-й степени, точно воспроизводящий все формулы [14]; пословная сверка полиномов с исходной таблицей продемонстрировала абсолютное совпадение.

Для седьмой степени мы самостоятельно построим аналогичные графики для простейших случаев.

Ниже приведены визуализации для базовых конфигураций, содержащих от нуля до трех овалов:

0 овалов:

1 овал:

2 овала:

3 овала:

Кроме того, одну из схем с 4 овалами удается получить без привлечения базы секстик:

Все оставшиеся варианты требуют использования либо упомянутого каталога из 56 кривых 6-й степени https://arxiv.org/pdf/1703.01660, либо метода патчворка (patchworking). Подробное описание последнего приведено в классической работе О. Виро 1980 года https://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=dan&paperid=43983&option_lang=rus, а также в статье Z. Geiselmann, M. Joswig, L. Kastner и др. Limits of combinatorial patchworking https://arxiv.org/pdf/2602.06888 (2026 г.), где содержатся полные таблицы сигнатур и описаны четыре триангуляционные схемы, реализующие все конфигурации 7-й степени.

Опираясь на упомянутую публикацию немецких исследователей (Z. Geiselmann et al.), я предпринял попытку (на мой взгляд, не до конца успешную) реализовать алгоритм патчворка на практике для воссоздания некоторых кривых 7-й степени.

Вот что у меня вышло:

Таким образом, в рамках данной работы дан обзор алгебраических кривых седьмого порядка, предложен и частично апробирован подход к генерации их графических атласов и точных полиномиальных формул.

Стоит добавить, что в 2020 году математики И. М. Борисов и Г. М. Полотовский выполнили отдельное исследование, посвященное распадающимся кривым 8-й степени: https://publications.hse.ru/mirror/pubs/share/direct/370616196.pdf

Ввиду принадлежности рассматриваемой темы к весьма узкой математической дисциплине, практическая ценность полученных результатов носит фундаментальный характер.

Материал носит исключительно обзорный и систематизирующий характер.

Список литературы

[1] D. Hilbert. Mathematische Probleme // Nachrichten von der Königlichen Gesellschaft der Wissenschaften zu Göttingen. — 1900. — S. 253–297. https://de.wikisource.org/wiki/Mathematische_Probleme

[2] https://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=dan&paperid=34492&option_lang=rus

[3] О. Я. Виро. Кривые степени 7, кривые степени 8 и гипотеза Рэгсдейл // Докл. АН СССР. — 1980. — Т. 254, № 6. — С. 1306–1310. https://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=dan&paperid=43983&option_lang=rus

[4] https://www.researchgate.net/publication/230998196_REAL_PLANE_CURVES_OF_DEGREES_7_AND_8_NEW_PROHIBITIONS

[5] https://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=faa&paperid=2426&option_lang=rus

[6] S. Yu. Orevkov. Classification of flexible M‑curves of degree 8 up to isotopy // Geom. Funct. Anal. — 2002. — Vol. 12, no. 4. — P. 723–755.

[7] Z. Geiselmann, M. Joswig, L. Kastner et al. Limits of combinatorial patchworking // https://arxiv.org/pdf/2602.06888 — 2026.

[8] OEIS Foundation Inc. Entry A001399: Number of partitions of n into at most 3 parts [Электронный ресурс] // The On‑Line Encyclopedia of Integer Sequences.

[9] Z. Geiselmann, M. Joswig, L. Kastner et al. Fast isotopy computation for T‑curves // arXiv:2604.09221 [math.AG]. — 2026. https://arxiv.org/pdf/2604.09221

[10] https://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=ivm&paperid=4418&option_lang=rus

[11] https://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=faa&paperid=2536&option_lang=rus

[12] https://www.math.stonybrook.edu/~oleg/math/papers/1989-PloVeAlgKr-postr.pdf

[13] https://arxiv.org/pdf/math/0002213

[14] https://arxiv.org/pdf/1703.01660

[15] https://publications.hse.ru/mirror/pubs/share/direct/370616196.pdf

 

Источник