Падение продуктивности после получения премии

http://aron-turgenev.livejournal.com/626837.html

У меня, по-моему, тоже наблюдается сейчас аналогичное явление; осталось только понять, что играет роль "премии". Как то

- публикация в Journal of Number Theory, первая после двухгодичного перерыва в рецензируемом издании
- контрпример к вопросу Хопкинса; факт, что Хопкинс-Викельгрен и др. месяцами публично обсуждали этот вопрос, так и не заглянув в мою работу трехлетней давности, где был прописан отрицательный ответ, известный мне с середины 90-х годов
- успешно предсказанная русско-украинская война
- сопровождающий ее моральный коллапс в России, включая и математическое научное сообщество там
- моральный распад международного математического сообщества, наблюдаемый в Израиле так же, как и повсюду
- летняя жара в Израиле; иные энвайронментальные или возрастные физиологические изменения
- успешное прохождение этапов на пути к получению статуса репатрианта и гражданства Израиля; моральное давление, которому подвергаются здесь получатели такого статуса

Возможно, правильный ответ состоит в том, что релевантной "премией" является сам факт продолжительного пребывания в цивилизованной стране (т.е., за пределами России). Первый большой период моей жизни на Западе (условно, 1995-2003 годы) -- временем пониженной продуктивности в целом, конечно же, не был, но -- так сказать, характер продуктивности тогда сильно отличался от как предшествующего (условно, 1985-95), так и последующего (2003-2014) московских периодов.

Наивные операции Масси и некоммутативная теория Куммера

Чтение работ про произведения Масси троек/n-ок элементов первой степени в когомологиях Галуа
http://arxiv.org/abs/1210.4964
http://dx.doi.org/10.1016/j.jpaa.2014.06.006
http://arxiv.org/abs/1403.4586
в свете моих старинных размышлений http://posic.livejournal.com/118138.html (вряд ли содержавших много существенно новых идей уже по состоянию на 2003 год, а тем более сейчас; но все же) наводит на следующие выводы.

Пусть E -- поле, и G → H → K -- сюръективные гомоморфизмы проконечных групп. Основной задачей некоммутативной теории Куммера является: можно ли для любого поля F, содержащего E, утверждать, что любой непрерывный гомоморфизм из абсолютной группы Галуа G_F в группу K, который можно поднять до гомоморфизма в группу H, можно также поднять до гомоморфизма в группу G (возможно, несовместимым с заданным подъемом в H, но образующим только коммутативную диаграмму гомоморфизмов в группу K, способом)?

Например, обыкновенная (коммутативная) теория Куммера утверждает, что если поле F содержит все l^N-корни из единицы, то всякий гомоморфизм из G_F в циклическую группу вычетов Z/lⁿ можно поднять до гомоморфизма в l-адическую аддитивную группу Z_l. В этом примере группы H и K совпадают, но в связи с вопросом о занулении произведений Масси классов первых когомологий интересны примеры, когда все три группы различны (и являются некоторыми конечными l-группами строго верхнетреугольных матриц над Z/lⁿ).

Будем обсуждать, для простоты, случай, когда группы G, H и K конечны. (Уни)версальным алгебраическим торсором для группы G над полем E называется алгебраический G-торсор (т.е., конечный этальный морфизм Галуа с группой Галуа G) алгебраических многообразий над E, такой что всякий алгебраический G-торсор (т.е., гомоморфизм G_F → G) над полем F, содержащим E, происходит из некоторой F-точки на базовом многообразии нашего конечного этального морфизма. Версальный алгебраический G-торсор над E можно построить, выбрав точное линейное представление G над E, выкинув из пространства представления инвариантный набор гиперплоскостей, содержащий точки с нетривиальным стабилизатором, и профакторизовав по действию группы (доказательство версальности основано на теореме Гильберта 90 для GL; см. по ссылкам выше).

В статьях по ссылкам вопрос о существовании подъемов обсуждается следующим образом. Задавшись фиксированным отображением G_F → K, авторы строят, исходя из версальных торсоров для групп K и G над полем E и соответствующей F-точки на первом из них, G-торсор, F-точки которого задают в точности все гомоморфизмы G_F → G, поднимающие данный гомоморфизм в K. Получается многообразие над F, имеющее F-точку тогда и только тогда, когда задача подъема разрешима (называется splitting variety). Дальше можно доказывать разрешимость некоторых задач подъема для числовых полей, пользуясь локально-глобальными принципами и сведением к локальным полям, или даже, иногда, для произвольных полей, предъявляя искомую точку явными формулами.

Я бы (следуя своим идеям сентября-декабря 2003 года, в ЖЖ по ссылке выше) попробовал подойти проще. Рассмотрим версальный торсор для группы H над полем E, и редуцируем его до K-торсора (профакторизуем тотальное пространство по действию ядра гомоморфизма групп H→K). Если можно предъявить G-торсор над тем же базовым многообразием, редукцией которого является полученный таким образом K-торсор, основная задача некоммутативной теории Куммера для групп G → H → K разрешима над полем E. В построении такого G-торсора, возможно, и заключаются "явные формулы" из последней фразы предыдущего абзаца.

P.S.: см. также предыдущие постинги про операции Масси и проч. (с которых теперь, за прошествием времени, снят замок)
http://posic.livejournal.com/1076714.html
http://posic.livejournal.com/1077017.html
http://posic.livejournal.com/1080700.html
и далее pdf-файл письма по ссылке.