Решение

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

1) (Полиномиальное) Давайте подумаем, как вообще вычислять суммы вида x_1^k + x_2^k + ... + x_n^k для какого-то набора x_i и какого-то (достаточно большого) k. Есть стандартная идея, как делать это по индукции: рассмотрим полином P(x) = (x - x_1)(x - x_2) ... (x - x_n) = x^n + a_(n-1)x^(n-1) + ... + a_0. Ясно, что P(x_i) = 0, потому x_i^n = - a_(n-1)x_i^(n-1) - ... - a_0. Суммируя это тождество по всем i получим выражение суммы n степеней через суммы меньших степеней. Далее можно выражать суммы больших степеней по индукции, пользуясь аналогичным тождеством x_i^s * P(x_i) = 0, на каждом шаге нам нужно будет знать значения n меньших сумм. Давайте далее для удобства обозначать сумму k степеней как s_k.

В нашем случая полином P(x) = (x - 1)(x - 2) ... (x - (p - 1)). Заметим, что все его коэффициенты кроме старшего и младшего делятся на p, так как над F_p он равен полиному x^(p-1) - 1 по малой теореме Ферма. Также легко видеть, что s_1, s_2, ... s_(p-1) все делятся на p — понять это можно примерно как угодно, проще всего используя первообразный корень по модулю p. Теперь применяя описанную выше технику видим, что s_(p-1) = - a_(p-2) * s_(p-2) - ... - a_1 * s_1 - a_0 * (p - 1), и, к нашему великому счастью, все слагаемые кроме a_0 * (p - 1) делятся на p^2, откуда s_(p-1) сравнимо с - (p - 1)!(p - 1) ~ - p * (p - 1)! + (p - 1)! ~ p + (p - 1)!

2) (p-адическое) Второй подход несколько более мистический, хотя не требует даже знаний многочленов над F_p. Ясно, что вычисления по модулю p легче, чем по модулю p^2, потому попробуем свести все к ним, держа в голове, что всякий остаток mod p^2 можно мыслить как a + b*p, где a и b это остатки по модулю p. Заметим, что x^(p-1) - 1 кратно p по МТФ при x не делящимся на p, потому положим x^(p - 1) = 1 + k_x * p и так как нас все интересует по модулю p^2 можно мыслить k_x просто как вычет по модулю p. Аналогично пусть (p - 1)! = - 1 + t * p.

Далее 1^(p-1) + 2^(p-1) + ... ~ (p - 1) + (sum k_i) * p потому нам нужно придумать, как связать sum k_i с t по модулю p (а не p^2 !). И тут кроется главная нетривиальная идея этого решения: давайте посмотрим на выражение (p - 1)! ^ (p - 1). С одной стороны оно равно prod (1 + pk_x) ~ 1 + p * sum k_x (mod p^2) а с другой оно же равно ( - 1 + t*p)^(p - 1) ~ 1 - (p - 1)*t*p ~ 1 + p*t, что дает нам искомую связь t и (sum k_i) по модулю p.

3) ? Наверное, эту задачу также можно решить, используя технику когомологий этальных пучков, но я пока так не умею, возможно, допишу пост, как научусь.

Задача из Хартсхорна

Решал вчера упражнения из учебника Хартсхорна по алгебраической геометрии. С предметом я знаком давно, но большинство задач для решения пропускал.

По-моему, достаточно симпатично, и не вполне тривиально:

Рассмотрим кривую в трехмерном пространстве, заданную параметрически как (t^3, t^4, t^5).

Пусть I множество многочленов P(x, y, z) обращающихся в ноль на всей этой кривой. Тогда размерность I это два (что вполне соответствует геометрической интуиции, ибо размерность кривой равна 1), но при этом I нельзя породить двумя элементами как идеал!

То есть, вообще говоря, неверно, что понятие размерности и количества образующих совпадают (даже в случае алгебр над алгебраически замкнутыми полями!).

Кстати, тем не менее можно установить неравенство: если идеал I кольца многочлена от n переменных порождается m функциями, то размерность любой непроводимой компоненты, отвечающей множеству нулей I, по крайней мере n - m.

В этом посте достаточно много задач, так что будет правилным перепостить его и сюда)

Стрим по геометрии

Что-то захотелось стрим по геометрии провести, порешав задачи в лайве на какую-нибудь тему на YouTube или твич. Есть ли пожелания по темам? Если меня привлечет что-то из предложенного, то стрим будет посвящен соответсвующей теме, иначе в воскресенье анонсирую что-то свое.

Ориентированно стрим будет в следующую субботу вечером.

Стриму быть

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

https://www.youtube.com/live/JJjt7rxVWA4?si=X4QSAfqwsKLczXuv

Какую тему / задачи хотите обсудить на следующем стриме?

Послезавтра дроп нового видео

Угадаем тему?