WikiDer > Стандартные гипотезы об алгебраических циклах

В математика, то стандартные догадки об алгебраических циклах несколько догадки описывая отношения алгебраические циклы и Теории когомологий Вейля. Одно из первоначальных приложений этих гипотез, предусмотренное Александр Гротендик, должен был доказать, что его конструкция чистые мотивы дал абелева категория то есть полупростой. Более того, как он указал, стандартные гипотезы также подразумевают самую сложную часть Гипотезы Вейля, а именно гипотезу "гипотезы Римана", которая оставалась открытой в конце 1960-х годов и была позже доказана Пьер Делинь; Подробнее о связи между Вейлем и стандартными гипотезами см. Клейман (1968). Стандартные гипотезы остаются открытыми проблемами, так что их применение дает только условные доказательства результатов. Во многих случаях, включая гипотезу Вейля, были найдены другие методы для безоговорочного доказательства таких результатов.

Классические формулировки стандартных гипотез включают фиксированную теорию когомологий Вейля ЧАС. Все гипотезы касаются «алгебраических» классов когомологий, что означает морфизм когомологий гладкого проективное разнообразие

ЧАС^∗(Икс) → ЧАС^∗(Икс)

индуцированный алгебраическим циклом с рациональными коэффициентами на произведении Икс × Икс через карта классов цикла, которая является частью структуры теории когомологий Вейля.

Гипотеза A эквивалентна гипотезе B (см. Гротендик (1969), п. 196), поэтому не указан.

Стандартная гипотеза типа Лефшеца (гипотеза B)

Одной из аксиом теории Вейля является так называемая жесткая теорема Лефшеца (или аксиома):

Начните с фиксированной гладкой сечение гиперплоскости

W = ЧАС ∩ Икс,

куда Икс заданное гладкое проективное многообразие в объемлющем проективном пространстве п^N и ЧАС это гиперплоскость. Тогда для я ≤ п = тусклый (Икс), оператор Лефшеца

L : ЧАС ^я(Икс) → ЧАС^я+2(Икс),

который определяется пересечением классов когомологий с W, дает изоморфизм

L^п−я : ЧАС ^я(Икс) → ЧАС^2п−я(Икс).

Теперь для я ≤ п определять:

Λ = (L^п−я+2)⁻¹ ∘ L ∘ (L^п−я) : ЧАС ^я(Икс) → ЧАС^я−2(Икс)

Λ = (L^п−я) ∘ L ∘ (L^п−я+2)⁻¹ : ЧАС^2п−я+2(Икс) → ЧАС^2п−я(Икс)

Гипотеза утверждает, что Оператор Лефшеца (Λ) индуцировано алгебраическим циклом.

Стандартная гипотеза типа Кюннета (гипотеза C)

Предполагается, что проекторы

ЧАС^∗(Икс) ↠ ЧАС^я(Икс) ↣ ЧАС^∗(Икс)

алгебраические, т.е. индуцированные циклом π ^я ⊂ Икс × Икс с рациональными коэффициентами. Отсюда следует, что мотив любого гладкого проективного многообразия (и, в более общем смысле, любого чистый мотив) разлагается как

${ displaystyle h (X) = bigoplus _ {i = 0} ^ {2dim (X)} h ^ {i} (X).}$

Мотивы ${ displaystyle h ^ {0} (X)}$ и ${ displaystyle h ^ {2dim (X)}}$ всегда можно выделить как прямые слагаемые. Следовательно, для кривых гипотеза немедленно верна. Для поверхностей это было доказано Мюрр (1990). Кац и Мессинг (1974) использовали Гипотезы Вейля показать гипотезу для алгебраических многообразий, определенных над конечными полями в произвольной размерности.

Шерменев (1974) доказал разложение Кюннета для абелевых многообразий А.Денингер и Мюрр (1991) уточнил этот результат, продемонстрировав функториальное разложение Кюннета Чау-мотив из А так что п-умножение на абелевом многообразии действует как ${ Displaystyle п ^ {я}}$ на я-е слагаемое ${ Displaystyle ч ^ {я} (А)}$.де Катальдо и Мильорини (2002) доказал разложение Кюннета для Схема гильберта точек на гладкой поверхности.

Гипотеза D (числовая эквивалентность против гомологической эквивалентности)

Гипотеза D утверждает, что числовые и гомологические эквивалентность согласны. (Это, в частности, означает, что последнее не зависит от выбора теории когомологий Вейля). Из этой гипотезы следует гипотеза Лефшеца. Если стандартная гипотеза Ходжа верна, то гипотеза Лефшеца и гипотеза D эквивалентны.

Эта гипотеза была доказана Либерманом для многообразий размерности не выше 4, а для абелевы разновидности.^[1]

Стандартная гипотеза Ходжа

Стандартная гипотеза Ходжа моделируется на основе Теорема Ходжа об индексе. В нем утверждается определенность (положительная или отрицательная, в зависимости от размерности) спаривания чашеобразных произведений на примитивных алгебраических классах когомологий. Если это верно, то из гипотезы Лефшеца следует гипотеза D. В нулевой характеристике справедлива стандартная гипотеза Ходжа, являющаяся следствием Теория Ходжа. В положительной характеристике стандартная гипотеза Ходжа известна для поверхностей (Гротендик (1958)) и для абелевых многообразий размерности 4 (Анкона (2020)).

Стандартную гипотезу Ходжа не следует путать с гипотезой Гипотеза Ходжа который утверждает, что для гладких проективных многообразий над C, каждое рациональное (п, п)-класс алгебраический. Гипотеза Ходжа влечет гипотезы Лефшеца и Кюннета и гипотезу D для многообразий над полями нулевой характеристики. В Гипотеза Тейта следует Лефшеца, Кюннета и гипотезы D для ℓ-адические когомологии по всем полям.

Свойства постоянства стандартных гипотез

Для двух алгебраических многообразий Икс и Y, Арапура (2006) ввел условие, что Y является мотивированный к Икс. Точное условие состоит в том, что мотив Y выражается (в категории мотивов Андре), начиная с мотива Икс с помощью сумм, слагаемых и произведений. Например, Y мотивировано, если есть сюръективный морфизм ${ displaystyle X ^ {n} к Y}$.^[2] Если Y не найдено в категории, это немотивированный в этом контексте. Для гладких проективных комплексных алгебраических многообразий Икс и Y, так что Y мотивирован Икс, стандартные гипотезы D (гомологическая эквивалентность равна числовой), B (Лефшец), Гипотеза Ходжа а также обобщенная гипотеза Ходжа верна для Y если они держатся за все полномочия Икс.^[3] Этот факт можно применить, чтобы показать, например, гипотезу Лефшеца для Схема гильберта точек на алгебраическая поверхность.

Отношение к другим домыслам

Бейлинсон (2012) показал, что (предположительное) существование так называемой мотивационной t-структуры на триангулированной категории мотивов влечет стандартные гипотезы Лефшеца и Кюннета B и C.

Рекомендации

• Анкона, Джузеппе (2020), "Стандартные гипотезы для четырехмерных абелевых многообразий", Изобретать. Математика., arXiv:1806.03216, Дои:10.1007 / s00222-020-00990-7, S2CID 119579196

• Арапура, Дону (2006), «Мотивация циклов Ходжа», Успехи в математике, 207 (2): 762–781, arXiv:математика / 0501348, Дои:10.1016 / j.aim.2006.01.005, МИСТЕР 2271985, S2CID 13897239

• Бейлинсон, А. (2012), "Замечания по стандартным гипотезам Гротендика", Регуляторы, Contemp. Математика, 571, Амер. Математика. Soc., Providence, RI, стр. 25–32, arXiv:1006.1116, Дои:10.1090 / conm / 571/11319, ISBN 9780821853221, МИСТЕР 2953406, S2CID 119687821

• де Катальдо, Марк Андреа А .; Мильорини, Лука (2002), "Группы Чжоу и мотив схемы Гильберта точек на поверхности", Журнал алгебры, 251 (2): 824–848, arXiv:математика / 0005249, Дои:10.1006 / jabr.2001.9105, МИСТЕР 1919155, S2CID 16431761

• Денингер, Кристофер; Мюрр, Джейкоб (1991), "Мотивное разложение абелевых схем и преобразование Фурье", J. Reine Angew. Математика., 422: 201–219, МИСТЕР 1133323

• Гротендик, А. (1969), "Стандартные гипотезы об алгебраических циклах", Алгебраическая геометрия (Internat. Colloq., Tata Inst. Fund. Res., Bombay, 1968) (PDF), Oxford University Press, стр. 193–199, МИСТЕР 0268189.

• Гротендик, А. (1958), "Sur une note de Mattuck-Tate", J. Reine Angew. Математика., 1958 (200): 208–215, Дои:10.1515 / crll.1958.200.208, МИСТЕР 0136607, S2CID 115548848

• Кац, Николас М.; Мессинг, Уильям (1974), "Некоторые следствия гипотезы Римана для многообразий над конечными полями", Inventiones Mathematicae, 23: 73–77, Bibcode:1974InMat..23 ... 73K, Дои:10.1007 / BF01405203, МИСТЕР 0332791, S2CID 121989640
• Клейман, Стивен Л. (1968), "Алгебраические циклы и гипотезы Вейля", Dix Exposés sur la cohomologie des schémas, Амстердам: Северная Голландия, стр. 359–386, МИСТЕР 0292838.

• Мюрр, Дж. П. (1990), «О мотивах алгебраической поверхности», J. Reine Angew. Математика., 1990 (409): 190–204, Дои:10.1515 / crll.1990.409.190, МИСТЕР 1061525, S2CID 117483201

• Клейман, Стивен Л. (1994), «Стандартные домыслы», Мотивы (Сиэтл, Вашингтон, 1991), Труды симпозиумов по чистой математике, 55, Американское математическое общество, стр. 3–20, МИСТЕР 1265519.

• Шерменев А. М. (1974), "Мотив абелевого многообразия", Функциональный. Анальный. Я Приложен, 8 (1): 55–61, МИСТЕР 0335523

внешняя ссылка

• Прогресс в отношении стандартных гипотез об алгебраических циклах