Какой вопрос решают
Некоторые топологические классы геометрического пространства выглядят так, словно должны происходить от алгебраических подмногообразий. Всегда ли для них существуют рациональные комбинации таких подмногообразий?
Главная работа заявляет рациональную гипотезу Ходжа для комплексных абелевых многообразий с комплексным умножением (CM). Она не заявляет полную гипотезу Ходжа для всех гладких проективных многообразий.
Почему выбрано: Показывает масштаб фундаментальных заявлений и необходимость различать специальные классы, условные редукции и зависимые следствия.
До и после
Введение использует известные редукции через CM-типы, классы Вейля, поляризации и работы Milne. Новизна заявлена в геометрическом построении циклов, необходимых для этой редукции. Зависимые K3- и другие следствия семейства нельзя суммировать как независимые решения общей гипотезы.
Это сопоставление по введению рукописи. Независимый исчерпывающий обзор приоритета не выполнен.
Точное утверждение и условия
032-01, теорема 1.1, PDF с. 1: для комплексного CM-абелева A и каждого p≥0 отображение циклов CHᵖ(A)⊗Q → H²ᵖ(A,Q)∩Hᵖ,ᵖ(A) сюръективно. CM означает наличие в End(A)⊗Q коммутативной полупростой подалгебры размерности 2dim A. Степени и произведения в этом классе также охватываются. Рациональные коэффициенты существенны; эффективный алгоритм построения всех циклов не утверждается.
Источник: указанные теоремы в локальных PDF ниже. Формулировка пересказана, но ключевые кванторы, модель и оговорки сохранены.
Три уровня объяснения
Следующие аналогии и объяснения — наша интерпретация, не дополнительные теоремы.
Архитектура доказательства
Пересказ вводного обзора, а не построчная проверка доказательства.
Организовать CM-тензоры и свести их к набору четырёхтипных отношений.
Построить проективные поверхности и четыре отображения на H¹ с ненулевым смешанным периодом, используя тета-формы на компактных шаровых факторах.
Калибровать рациональную CM-структуру через Фробениус и спустить коэффициенты; затем применить существующие редукции к циклам. Все эти переходы требуют проверки специалистом.
Что известно о проверке
Для группы 032 отдельного scope note в переданном каталоге не найдено. Это отсутствие свидетельства проверки, а не доказательство ошибочности. Полный текст и компаньоны здесь не проверены.
Отдельного scope note для этой семьи в переданном контексте нет.
Наличие PDF, извлечение текста, успешный маленький эксперимент и внешний результат-предшественник — разные виды свидетельств. Ни один из них здесь не отмечен как независимое подтверждение всей новой теоремы.
Практика: наш вывод, не обещание автора
Непосредственной программной коммерциализации не выявлено. Полезен как источник новых геометрических конструкций, задач для формализации и исследования зависимостей, если доказательство выдержит аудит.
Ограничения переноса
Только CM-абелев класс, рациональные коэффициенты, нет оценок сложности циклов. Остальные четыре рукописи семейства доступны, но в этом атласе представлены лишь каталогом.
Планы проверки: Реестр утверждений, версий и формального охвата.
Исходники и реальный охват чтения
Номера страниц относятся к физическим страницам PDF, начиная с 1. Ссылки на GitHub не закреплены на текущем commit; воспроизводимый источник — локальный путь и SHA-256.
032-01 · The rational Hodge conjecture for CM abelian varieties
Реальный охват: Просмотрены PDF с. 1–4: Главная теорема и геометрическая архитектура введения. Полный объём PDF: 53 с.
math_sources/math_research_01_of_08/preprints/The-rational-Hodge-conjecture-for-CM-abelian-varieties-October-6-2026/paper.pdfSHA-256: 6e3e66a407773ad5091d4cb48d9b4dc55a69c58fb0948a88daf19f3bb21bf27bКаталог: context/CONTENTS.md, строка 762. Путь и хеш относятся к загруженной версии.
032-02 · Algebraic Kuga–Satake correspondences and Hodge conjectures on a K3 quadratic locus
Реальный охват: Только каталог; полный текст автоматически доступен для поиска у отобранных компаньонов, но здесь не прочитан. Полный объём PDF: 63 с.
math_sources/math_research_01_of_08/preprints/Algebraic-Kuga-Satake-correspondences-and-Hodge-conjectures-on-a-K3-quadratic-locus-September-30-2026/paper.pdfSHA-256: c9fde2b758f255059c3aa153c73971330b18ed67ddd24d3272a1c793cc16dffdКаталог: context/CONTENTS.md, строка 771. Путь и хеш относятся к загруженной версии.
032-03 · Weil classes and Hodge classes on abelian powers
Реальный охват: Только каталог; полный текст автоматически доступен для поиска у отобранных компаньонов, но здесь не прочитан. Полный объём PDF: 94 с.
math_sources/math_research_01_of_08/preprints/Weil-classes-and-Hodge-classes-on-abelian-powers-October-6-2026/paper.pdfSHA-256: c035db86eb70657344f5b43f1a1b9a39952b946a9dca4cde21cf047300dfdbdeКаталог: context/CONTENTS.md, строка 780. Путь и хеш относятся к загруженной версии.
032-04 · Abelian covers, Gale correspondences, and the Hodge conjecture for powers
Реальный охват: Только каталог; полный текст автоматически доступен для поиска у отобранных компаньонов, но здесь не прочитан. Полный объём PDF: 47 с.
math_sources/math_research_01_of_08/preprints/Abelian-covers-Gale-correspondences-and-the-Hodge-conjecture-for-powers-October-6-2026/paper.pdfSHA-256: 3467c8077855a568ec75b4f4c025fa50024cc9944df46346c57fe499fae6c8e8Каталог: context/CONTENTS.md, строка 789. Путь и хеш относятся к загруженной версии.
032-05 · A Conditional Reduction for Algebraic Kuga–Satake Correspondences
Реальный охват: Только каталог; полный текст автоматически доступен для поиска у отобранных компаньонов, но здесь не прочитан. Полный объём PDF: 25 с.
math_sources/math_research_01_of_08/preprints/A-Conditional-Reduction-for-Algebraic-Kuga-Satake-Correspondences-September-10-2026/paper.pdfSHA-256: e59953bdc640de5f69ef85650dfe1118ec8a68848867497d332e94ba385024d8Каталог: context/CONTENTS.md, строка 798. Путь и хеш относятся к загруженной версии.
Семейство в CONTENTS.md, строка 755. Структурированные заметки · Журнал внешней сверки.