TGViewer
Channel Public Channel
о математике и не только

о математике и не только

@mathsundry

Subscribers
60
Photos
31
Videos
1
Links
10

Showing posts older than #35 · Back to latest

Older Posts 18 shown
Post #34
The owner of this channel has been inactive for the last 5 months. If they remain inactive for the next 29 days, they may lose their account and admin rights in this channel. The channel will remain accessible for all users.
Post #33 267
С запасом.
  • 👍 4
Post #32 243
Самая опасная ОПГ..
  • 👍 2
Post #31 219
И не возразить.
Post #30 223
Алгебраическая К-теория (по Квиллену) удовлетворяет спуску Нисневича (некоторая вариация последовательности Майера-Виеториса). Это фундаментальный результат, доказанный Томасоном больше 30 лет назад.
Необычно в этой работе то, что у неё было два автора, хотя один из них умер примерно за 3 года до её публикации. Вот что сказано в благодарностях в оригинальной работе:

The first author must state that his coauthor and close friend, Tom Trobaugh,
quite intelligent, singularly original, and inordinately generous, killed himself consequent to endogenous depression. Ninety-four days later, in my
dream, Tom’s simulacrum remarked, “The direct limit characterization of
perfect complexes shows that they extend, just as one extends a coherent
sheaf.” Awaking with a start, I knew this idea had to be wrong, since some
perfect complexes have a non-vanishing K0 obstruction to extension. I had
worked on this problem for 3 years, and saw this approach to be hopeless.
But Tom’s simulacrum had been so insistent, I knew he wouldn’t let me
sleep undisturbed until I had worked out the argument and could point to
the gap. This work quickly led to the key results of this paper. To Tom,
I could have explained why he must be listed as a coauthor. During his
lifetime, Tom also pointed out the interesting comparison of the careers of
Grothendieck and Newton.

Небольшой математический комментарий по этому поводу: “just as one extends a coherent sheaf” это по сути упражнение из Хартсхорна, которое говорит, что для любого когерентного пучка на открытой подсхеме в некоторой схеме Х существует когерентный пучок на всём Х, который даёт нужное ограничение. Как правильно пишет Томасон, для совершенных комплексов это неверно и препятствие лежит в K_{-1}_Z (X), то есть в К-теории Х с носителем на дополнении к открытому множеству. В некотором смысле Томасон знал слишком много.. Тем не менее его друг в его же видении был (в некотором смысле) прав. А именно, Томасон использовал такую совершенно чудесную по своей простоте и наивности идею: для совершенного комплекса Е, быть может, препятствие в К-теории и ненулевое, но для E + E[1] оно уж точно нулевое, поскольку просто класс у этого комплекса нулевой. Оказывается, что такой комплекс продолжать на весь Х проще, а дальше из этого (видимо) можно выудить продолжение Е по крайней мере в К-теории, а из этого уже довольно легко получить спуск.
Post #29 211
На пути к п-адической теории Ходжа.

Один из центральных сюжетов в комплексной геометрии это разложение Ходжа. Морально оно о том, что для компактных Кэлеровых многообразий есть прямая связь между их топологией и комплексной структурой. А именно: сингулярные когомологии (чисто топологическая вещь) раскладываются в прямую сумму Ходжевых когомологий (вещь, зависящая от гладкой структуры). Например, из этого разложения моментально следует такой факт, демонстрирующий прямую связь между топологией и гладкой структурой: на односвязном компактном Кэлеровом многообразии нет глобально определённых голоморфных форм.

Как часто происходит в математике, утверждения из одной области мотивируют вопросы в других областях. Так, это разложение провоцирует нас задать много интересных вопросов.
1) что происходит для особых многообразий? (Теория Делиня о смешанных структурах Ходжа)
2) чем заменить сингулярные когомологии для многообразий над произвольными полями? (Теория этальных когомологий Гротендика)
3) как сформулировать это утверждение для многообразий над произвольными полями и верно ли оно там? (Теория Делиня-Иллюзи о вырождении спектральной последовательности Ходжа-де Рама)
4) в стандартной картинке нет разницы между когомологиями де Рама и сингулярными. Так ли это для этальных? (Теория Фонтена колец периодов: сравнение де Рама, кристальное)
Post #28 159
Прогулки по кладбищам. Часть 2.
К сожалению, кладбище закрыли на зиму, но могила Франклина была прямо около забора. На фоне, разумеется, жующая что-то белка.
  • 👍 2
Post #25 262
wish someone would lift me the way Grothendieck lifted Atiyah..
  • ❤ 4
Post #23 176
Когомологии конечных циклических групп устроены очень просто, что следует из существования 2-периодической резольвенты у Z, как у тривиального модуля над групповой алгеброй.
Смешное замечание заключается в том, что когомологии Z/2 c коэффициентами в любом модуле M, в котором 2=0, являются 1-периодическими! Для этого нужно заметить, что для F_2 стандартная резольвента имеет вид:
.. -> F_2[Z/2] -> F_2[Z/2] -> F_2
где все отображения, кроме самого правого, это просто умножение на 1-t, где t — образующая Z/2. Действительно, в нашем случае 1+t+..+t^{n-1} и 1-t это одно и то же..
Здесь мы использовали некоторый несложный факт: Ext, вычисленный в категории Mod(F_2[Z/2]) такой же как и Ext в объемлющей категории Mod(Z[Z/2]).
Post #22 305
когда тебя забанили, но у тебя много фейков:
Post #21 171
GOAT..
Post #17 264
Кто узнаёт?
Post #16 201
Сегодня в самолёте встретил Эдуард Лоенга, который, в частности, делал доклад на ICM в 1978 году. До сегодняшнего дня я его не знал, просто увидел какого-то дедушку, который листал работу про когомологии многообразий Шимуры. На выходе из самолёта уже поговорил с ним; он даже угадал чем я занимаюсь, когда я сказал кто мой научный руководитель. Что забавно, он был на сабатикле в Энн Арборе ещё до моего рождения.
Но запомнится он мне не этим, а тем как он кекал над фильмом с Адамом Сендлером.
Wikipedia Лоенга, Эдуард Эдуард Якоб Невен Лоенга — голландский математик, известный работами в алгебраической геометрии и теории алгебраических групп.
Older posts →
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →